[BunsDev]

LM-5 (#380), AC6: context-window evidence. main still doesn't construct LocalExecution, so product behaviour is unchanged. This PR is independent of #461 and touches different code.

What changes

The window a local child runs with was already the person's explicit localContextTokens, never a cloud default. This PR keeps each of its sources apart:

• LocalModelDiscovery.advertisedContext(model). Main's record of what the runtime's last ready listing advertised for each model, by connection revision, with checkedAt. It counts Ollama's context_length, LM Studio's max_context_length and a /v1/models max_model_len.
  • A typed model records nothing.
  • A failed listing neither adds nor erases the record.
  • An edit or delete clears it.
• LocalExecution. A new optional constructor parameter reads that record.
  • validate refuses a window above a known advertised maximum, before any process starts.
  • The admitted provenance gains context: { configured, source: "person", effective, advertised | "not-checked", loaded: "unknown" }.
  • No supported runtime reports the size it actually loaded, so loaded stays unknown.

Wiring discovery's record into a constructed LocalExecution comes with product admission, which is Val's decision.

Tests

New regressions in local-model-execution.test.ts and local-model-discovery.test.ts. Disabling each of the four guards in the compiled output made its regression fail:

• the refusal;
• the provenance context;
• the discovery record;
• the invalidate cleanup.

Both passed again after a byte-for-byte restore.

Check	Result
Focused (execution, discovery, run-policy, runner local models)	58/58
pnpm build && pnpm test (head 5ea3f19)	exit 0; desktop 2,091 passed, 20 skipped, 0 failed; every other package green

No UI changes.

Docs: docs/local-models.md, docs/status.md and the review record.

Still open on #380:

• AC2, the network-denied offline canary, which needs Val;
• AC4, real-runtime overflow, OOM and restart handling;
• product admission.

🤖 Generated with Claude Code

[vercel]

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

Project	Deployment	Actions	Updated
modex	Ready	Preview	Oct 31, 2026 3:04am UTC

[github-code-quality]

Code coverage overview

Languages: TypeScript

TypeScript / code-coverage-agent

main f51ef7e	lm5-context 5ea3f19	+/-
66%	66%	0%

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