Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
classical proofs give asymptotic tensor derivations, and later speedup theorems can be constructive. The asymptotic-spectrum route may package existence nonconstructively, but that does not erase constructive proofs.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- audit a chosen ASI proof and its finite overhead instead of inferring non-effectivity from the theorem's concise statement.