Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the Demmel-style common DAG independently evaluates every coefficient row and uses 13408 additions. The 4504 construction shares Kronecker-stage intermediates and has a different error-path and liveness graph.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- resource coordinates may share tensor semantics without sharing an executable witness.