Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f
The scheduled locality theorem
Stage G: complete locality and regular report transport › The scheduled locality theorem · lines 1596–1607
This is the explicit prescribed-network mechanism of En03-A and I-B En03,IB. Ancestry need not be minimal influence and is not identified with the entire physical causal past. Postselection is not a deterministic intervention.
The metric causal inclusion requires route certificates; it is not derived from scheduler consistency alone En08A.