Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the construction currently enumerates the ideal graph, and even the compressed naive family has classes for labelled independent output components.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- finite-state minimization removes redundancy but does not by itself solve asymptotic state explosion.