Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
strong bisimulation preserves every scheduling branch, including branches never used by an optimal min-max schedule. Peak-context equivalence may therefore be coarser.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- prove a separating-context theorem or a strictness example before claiming minimality.