Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the powered volume sum factorizes exactly as , while the border-rank upper bound becomes . Taking roots recovers the original inequality.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- laser leverage comes from zeroing/merging an overlapping partitioned power into a strategically chosen direct sum, not from powering a direct sum already in hand.