Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
is exact only for one eager materialized-row schedule. The copy count is minimal only under sealed copy-only transformation, while the copied depth and storage bounds deliberately keep coarse worst-case splitter overheads.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- distinguish exact schedule evaluation, restricted graph lower bounds, and constructive upper bounds.