Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
exact gate-level Laurent propagation returns the same uniform majorant as the independently evaluated row graph. Sharing changes the rounded-path increment from 17 to 23, but not the amplification base in the proved envelope.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- intermediate sharing must be audited at the path level; neither degradation nor preservation of a coefficient-row bound follows from sharing alone.