Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the dead gate still consumes an arithmetic operation and may affect depth, latency, energy, or bit cost even though its result is never live.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- Run 6 equivalence is storage-only; full receipts must label transitions with the other resource coordinates.