Manuscript En06-A@1 · En06-A.tex · section · e04c9892
The five-part transport proposal and its exact boundary
The five-part transport proposal and its exact boundary · lines 1492–1530
TRANSPORT proposes the following chain CheungTRANSPORT:
The parts have different mathematical content.
| Part | Source statement | Treatment here |
|---|---|---|
| P1 | Support-preserving fixed-wire compilation | A separate normalization obligation for arbitrary adaptive wiring. We use fixed-wire experiments explicitly. |
| P2 | Midpoint-event causal embedding | The midpoint causality lemma is proved below. Causal endpoint placement is not yet digital realization. |
| P3 | Collision-managed routing, scheduling, and lateness | Quantitative transport obligation. The supplied proof does not establish its spacetime-support bound. |
| P4 | Exact relabelled payload simulation | Proved below whenever a valid realization with matching wires is given. |
| P5 | Coarse/fine diagonal transport | Proved below under an explicit transport contract. It cannot repair a failed P1–P3 hypothesis. |
Displayed formulas in this passage
unlabeled · line 1496