Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the Run 3 pair has the same arrival vector but composed peaks two and three.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- record port-labelled internal future use or an equivalent continuation/frontier profile.