Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
it removes coefficient representation error in an unbounded-exponent binary model but does not prevent amplification of earlier roundoff by later scaling, nor does it address finite exponent range, overflow, or underflow.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- representation, roundoff propagation, and exponent range are separate numerical receipt fields.