Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
stutter-trace compression may omit repeated terminal-looking storage labels only if completion is still marked explicitly. Otherwise a nonterminal zero-live state can be confused with a completed state.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- use a terminal marker after contracted storage traces; do not erase the obligation to execute the supplied DAG.