Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
a live subset does not say which internal progress states are reachable next or what nonboundary frontier they carry. Run 4 retains the entire order-ideal transition system to make sufficiency provable.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- any proposed compression must preserve continuation behavior, not just the current set of exposed ports.