Retirement surfaces are owned by the base builder: no release-time refit - #557

Merged

MaxGhenis merged 7 commits into

mainfrom

retirement-refit-ownership

Jul 27, 2026

Commits on Jul 26, 2026

Preserve completed retirement draws after support selection

MaxGhenis
and
claude
committed
59192da
Fail closed on narrowed retirement surfaces

MaxGhenis
and
claude
committed
4a99b5e
Keep incomplete retirement supports out of release refits

MaxGhenis
and
codex
committed
b79d593
Invalidate checkpoints that can restore release-refitted leaves

MaxGhenis
and
codex
committed
b6481c4
Prevent stale reform vectors from crossing retirement surfaces

MaxGhenis
and
codex
committed
a0a0902
Round 3: close the residual masking, fail-closed cache contract, resume pin

MaxGhenis
and
claude
committed
5c12c3e
Round 4: the degraded run actually reaches the solve; no duplicates; secure-before-report

MaxGhenis
and
claude
committed
3acef81