Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
row-wise evaluation of two identical rows uses two additions, while a shared SLP computes one sum and fans it to both outputs, using one addition in the unbounded-fan-out model.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- sparsity gives a canonical compilation upper bound. An explicit linear SLP is needed to verify the count and dependency order of a particular realization.