Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
Run 4 has one memory level, free reads, no transfer gates, and no cache capacity parameter. Red-blue composition results price data movement in a different model.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- storage sewing and communication/I/O sewing must remain separate theorems.