Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
interpolation, field choice, coefficient height, and numerical conditioning require the actual polynomial degeneration. Membership in a border-rank variety is not itself an executable witness.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- the input to an effective ASI compiler is a curve plus linear maps, not the integer alone.