Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the separating pair uses a vertex with no path to any boundary output. Dead-code elimination or a trimmed-gadget convention removes it.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- repeat the strictness test under the condition that every internal vertex reaches a boundary port.