Repository navigation

C2: typecheck materialization through the local store - #13482

Open

gunbai-bot[bot] wants to merge 25 commits into

mainfrom

session/jolly-ant-542

Commits on Oct 6, 2026

WIP: C2: typecheck materialization through the local store
gunbc-ci-auto-heal
committed
15026a5
Wire the seed typecheck path through the local store without retiring the frontier on a unused declaration.

Brian Searls
and
cursoragent
committed
051b023
Stop calling the typecheck-store family budget a measurement.

Brian Searls
and
cursoragent
committed
2634f57
Type the typecheck-store per-entry budget as a TranscribedUncited bet.

Brian Searls
and
cursoragent
committed
4da3c8e
Fix typecheck-store compile: ArtifactPayload lives on the object layer.

Brian Searls
and
cursoragent
committed
8654240
Brand InterfaceHash at a typed return, not with a runtime cast.

Brian Searls
and
cursoragent
committed
47785a9
Enroll typecheck-store wet claims as LocalRepoWetLane route gaps.

Brian Searls
and
cursoragent
committed
8fa3964
WIP: typecheck-store own-interface split (pre-regen)
x
committed
0d6cb0a
Merge origin/main into typecheck-store C2
gunbc-ci-auto-heal
committed
c472d3f

Commits on Oct 7, 2026

C2 typecheck store: own-interface entries, lookup-first, one door authority, typed counted outcomes

gunbc-ci-auto-heal
and
claude
committed
a38f3f1
Typecheck store: resolve the store closure through the caller's own index; counted unreachable outcomes; commit on nested-hit

gunbc-ci-auto-heal
and
claude
committed
0bcf22d
Typecheck store: open once per session; live-corpus controls leave the default lib run

gunbc-ci-auto-heal
and
claude
committed
8cde6d4
Typecheck store: commit once per key (compute only); drop the in-process-hit commit

gunbc-ci-auto-heal
and
claude
committed
ff187d1
Typecheck store: retire the two satisfied-unbound conditions and the permanently green unbound witnesses; budget frontier stays open

gunbc-ci-auto-heal
and
claude
committed
84abd2a
Remove scratch script t_tmp.sh

gunbc-ci-auto-heal
and
claude
committed
52c0568
Typecheck store: seed-growth justification for the session Rust; delete dangling with-provider floor decls

gunbc-ci-auto-heal
and
claude
committed
a355d29
Typecheck store: delete dangling decls; observed largest entry is the stored object size read back from the door

gunbc-ci-auto-heal
and
claude
committed
fac8a08
Typecheck store: size control measures the committed modules, not the whole cold index

gunbc-ci-auto-heal
and
claude
committed
76c6e70
Typecheck store: an unread stored size is its own arm, never zero; excluded from the largest-entry reading

gunbc-ci-auto-heal
and
claude
committed
96fe602
Typecheck store: an invocation without a configured store never opens or writes it (counted not_configured); enroll the three hermetic-unreachable wet claims as the route-gap triple

gunbc-ci-auto-heal
and
claude
committed
c35787d
Typecheck store: the selector is a declared .dag fact read through the caller's pool; CI-never-exercises-the-store is a declared frontier; re-entry guard around selector resolve; clippy fix

gunbc-ci-auto-heal
and
claude
committed
1e950f8
Typecheck store: a non-ignored fixture-pool control runs the real reconcile -> lookup -> restore integration

gunbc-ci-auto-heal
and
claude
committed
5f68516
Typecheck store: size control serializes only the largest own tails
gunbc-ci-auto-heal
committed
55e6258
Merge origin/main into session/jolly-ant-542 (infer mirror to be regenerated)
gunbc-ci-auto-heal
committed
3c52b06

Commits on Oct 8, 2026

Regenerate the infer mirror after merging main
gunbc-ci-auto-heal
committed
f5c8748