Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the exact -addition count belongs to one separable Kronecker compilation, while no matching storage schedule, raw-fan-out profile, buffer placement, or floating-point error proof has yet been constructed for that same graph.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- a simultaneous resource vector must be witnessed by one executable DAG and schedule; individually good coordinates from different realizations cannot be sewn into a fictitious Pareto point.