Manuscript En06-A@1 · En06-A.tex · section · e04c9892
The layer table
Purpose, sources, and the layer distinction › The layer table · lines 200–251
The following table is normative for the conclusions of this paper. “Conditional” means a mathematical hypothesis is still needed; it does not mean merely that a proof has not been machine checked.
{}1.12
| Layer | Source ownership | Status in En06-A |
|---|---|---|
| 0–1: complete discrete dynamics and causal cone | CONE; En05-A comparison | Proved for complete partitioned range- instruments. |
| Legal reorderings and foliation independence | CONE; VII-E; En03-A | Proved for one finite wired network. Not a boost symmetry. |
| Euclidean limiting cone envelope | STEN | Proved for changing increasing-stencil word metrics. |
| Coarse operational domain of dependence and speed | TRANSPORT proposal | Proved below for the explicitly restricted full-tail, fixed-wire relational theory. Not an instrument-level limit. |
| General transport and coarse frame action | TRANSPORT | Conditional on the corrected transport contract. The literal common-final-tick source class is not boost closed. |
| Observable algebra and microcausality | TRANSPORT; En05-A | Discrete reversible commutation is proved. A matching algebraic limit requires a localized observable realization. |
| Unrestricted device resynchronization closure | CONE Stage 7 | Withdrawn: incompatible with ordinary bidirectional relays and well-founded executability. |
| Field content and curved-background dynamics | CONE, C8–C11 | Not constructed. Separate convergence and covariance obligations. |