Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
Stable source locators
Introduction, inheritance, and scope › Stable source locators · lines 204–249
The following table records the relationship between the legacy “EC” locators used in the earlier draft and the stable labels of registered manuscript I. The legacy numbers are historical locators, not a second collection of independent premises.
| Subject | Registered manuscript I | Legacy draft locator |
|---|---|---|
| Concrete redex diamond | :diamond | EC Lemmas 4.3–4.4 |
| Observational confluence | :confluence | EC Theorem 4.5 |
| Uniform correlations | :uniformity | EC Theorem 9.3 |
| Decohered fine-graining | :fine-anchor | EC Theorem 10.3 |
| Born probabilities | :born | EC Theorem 11.1 |
| Projective residuals | :update | EC Corollary 11.2 |
| Three-qubit symmetry witness | :three | Additional anchoring route |
| Budgeted record stability | :stability | Separate record-stage budget |
The local proofs below state the assumptions they use and reproduce the finite arguments needed here. In particular, no unbounded characterization theorem is invoked to identify a finite-capacity strategy.