Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
Smirnov's published length-46 table is displayed mainly as values at , with one non-monomial exception and Laurent powers represented numerically. Those samples are useful source data but are not yet an exact machine-verified polynomial identity.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- reconstruct and verify exact Laurent polynomials before claiming matrix-specific calibration.