Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
with free inputs and a global topological scheduler, an independent output can usually be postponed until the exterior needs it. Merely swapping which independent branch is shallow need not change optimal peak storage.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- the successful witness must couple a labelled boundary value to internal unfinished work.