Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
an independent dead gate creates a transition between equal storage observations. The states before and after that gate are not strongly bisimilar, but gate insertion/deletion preserves every composite schedule weight in every downstream context.
Verification notes
The dead-gate strictness witness, schedule insertion/deletion proof, explicit completion marker, and 118-context finite corroboration were rechecked on 2026-09-01. The result remains restricted to untrimmed fixed DAGs and the storage coordinate.
Limitations
- exact offline storage sees completed observable behavior, not every internal branch-preserving step.