Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
Theorem R7.1 is exact for a declared sequential depth-first macro schedule with pinned read-only child inputs. Transparent interleaving, streamed block formation, mutable inputs, accumulation, cross-output SLPs, other rank-seven schemes, and recomputation may change the optimum.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- report the formulas as constructive realization points, not lower bounds for recursive Strassen.