Skip to content

LM-3 and LM-5: signed delivery of isolated local execution and admission policy - #423

Merged
BunsDev merged 4 commits into
mainfrom
lm3-signed-delivery
Oct 28, 2026
Merged

BunsDev merged 4 commits into
mainfrom
lm3-signed-delivery

Conversation

@BunsDev

@BunsDev BunsDev commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

This delivers the reviewed LM-3 foundation from #417 and the LM-5 effective-configuration policy from #419 and #424 with signed history. Production local execution remains disconnected: an attempted local target is refused without starting a child or falling back to cloud execution. Qualification fixtures retain the isolated Codex child, effective-destination admission checks and truthful reroute termination that waits for native termination before releasing the turn.

The LM-3 replacement preserves the reviewed implementation on main base b64361750983068160fe95293192ccea03000f88. PR #424 merged into this branch as 0956376f1e0a33e331afe47e44fba659132730fc; its complete tree exactly matches reviewed LM-5 candidate e0a03efb741fe264513b4787e4ef2daff03e91a8. The subsequent test repair removes partial regex escaping identified by CodeQL alert #28 and compares the expected error text literally, retaining checks for both configuration layer and governed key.

Validation: the reviewed LM-5 candidate passed root build, typecheck, 2,219 unit tests with 26 skips, and root E2E with 470 desktop passes, seven desktop skips and seven site passes. The assertion repair passed main-process build and all five focused policy tests; independent review found no blockers. The repaired branch also passed the full root build and unit command: 2,219 passed, 26 skipped, zero failures or cancellations. CodeQL alert #28 was confirmed fixed on d3d61ad; that head’s hosted macOS run failed the Jev Settings click and teardown (472 desktop passed, four skipped, one failed). Current signed head 618027ed3344274f6bad68cf36da4e182be23dbf merges main 7a01df2, including the landed CR-6 and Notes repairs. Fresh pnpm build && pnpm test passed: 2,224 passed, 26 skipped, zero failures or cancellations. Five local repetitions of the Jev case passed in 44.8s; this did not establish the hosted failure’s cause. Current-head hosted CI run 40745984553 passed: 473 desktop E2E tests with four skips, seven site tests and 43 iPhone tests with zero failures. All current-head checks, including TypeScript coverage, CodeQL and native Linux/Windows checks, passed. The protected merge queue remains required. Earlier failed hosted runs remain recorded; this does not claim those failures resolved.

Refs #379, #380, #376, #417, #419. The original PRs remain open until this delivery reaches main. Product admission, live local-server acceptance, redirect and managed-policy qualification, offline operation and runtime/UI acceptance remain open; this PR does not close those gates.

@vercel

vercel Bot commented Oct 28, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
modex Ready Ready Preview Oct 28, 2026 6:32pm UTC

Request Review

Preserves the exact reviewed source tree from PR #417 while replacing its unsigned ancestry with a signed delivery commit.
* LM-5 slice 1: admit a local Codex child on its effective configuration (#380)

Before a local child opens or resumes a thread, CodexBackend reads the
child's own config/read (effective configuration, the layer that set each
key, every layer's contents and hash) and configRequirements/read, and
admitLocalConfiguration (engine/local-models/run-policy.ts) admits it only
when every governed key comes from Modex's session flags, no project layer
is loaded, the private home is empty, no managed layer touches a governed
key, no managed requirements apply, and the effective destination, wire,
credential reference, context and tools are exactly what Modex passed.
Otherwise the turn fails naming the layer and key; nothing is rewritten or
sent. The admitted provenance is kept with the child. A model/rerouted
notification on a local turn interrupts it and reports it failed.

Real-CLI evidence (codex-cli 0.164.0): config/read reports origins and
layers as the policy expects; a requirements.toml in the private home is
not read; a 307 from the configured loopback server is followed with the
full body and never with the token, a 302 as a bodyless GET. The opt-in
native test records both. This is the refusal boundary #417's review asked
for; wiring local execution into the product stays a separate decision.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

* fix: retain rerouted local turns until native termination

* docs: record integrated LM5 delivery validation

---------

Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>
@BunsDev BunsDev changed the title LM-3: signed delivery of isolated Codex execution foundation LM-3 and LM-5: signed delivery of isolated local execution and admission policy Oct 28, 2026
@github-code-quality

Copy link
Copy Markdown

Code coverage overview

Languages: TypeScript

TypeScript / code-coverage-agent

main 7a01df2 lm3-signed-delivery 618027e +/-
66% 66% 0%
View coverage of the 6 most impacted files.
File main 7a01df2 lm3-signed-delivery 618027e +/-
apps/desktop/sr...ckends/codex.ts 98% 97% -1%
apps/desktop/sr...ngine/runner.ts 98% 98% 0%
apps/desktop/sr...point-policy.ts 100% 100% 0%
apps/desktop/sr...shared/types.ts 100% 100% 0%
apps/desktop/sr...ls/execution.ts 0% 100% +100%
apps/desktop/sr...s/run-policy.ts 0% 100% +100%

ℹ️ Calculations represent line coverage. Results may change as calculations are updated.

@BunsDev
BunsDev added this pull request to the merge queue Oct 28, 2026
Merged via the queue into main with commit c23e6be Oct 28, 2026
13 checks passed
@BunsDev
BunsDev deleted the lm3-signed-delivery branch October 28, 2026 21:36
BunsDev added a commit that referenced this pull request Nov 1, 2026
The CF-7 verification plan said step-to-check linking stayed open; Val
retired it on 2026-10-23. The worktree-hygiene plan's landing box was
unticked though #171 landed. local-models.md placed LM-5 slice 1 on a
branch; it is on main through #423. code-review.md still said nothing
had shipped; CR-1 to CR-7 are on main and in v0.4.0 behind the
modex.codeReview switch. The CF, CR and LM docs now point at the
status checklist table.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch was successfully deployed

1 active deployment
Preview — 618027ed Deployed Oct 28, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants