Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the model has one storage level, free reads, no cache capacity, and no transfer edges. Recursive CDAG expansion alone does not identify red-blue pebbling cost.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- compare with Ballard et al. but keep the resources and theorems separate.