Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
Runs 9--12 now cover square closure, debordering, truncation, two recursive DAGs, storage, bounded copying, and graph-specific roundoff. Further local scheduling may be useful engineering, but no remaining BCLR obligation currently outranks asymptotic-sum extraction for the excursion's north star.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- pivot at a natural proof checkpoint when the next work would elaborate constants rather than strengthen the certificate-to-DAG transfer frontier.