Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
adjoining as two rank-one terms preserves the target, order, and error degree while making coefficient norms and adverse roundoff arbitrarily large.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- numerical realization needs coefficient norms or a circuit condition certificate in addition to algebraic degeneration data.