Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
peak live storage depends on scheduling across the seam, output readiness, boundary liveness, fan-out, and possible interleaving. The disjoint gate-count partition does not determine those data.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- the next minimality test must use hostile extension contexts before proposing a storage sewing law.