Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · proposition · dd45e0d1
Proposition: Regular reference-preserving transport
Scheduled locality, transport, and rebuild resources · lines 2010–2025 · proof included or linked
XVI-O1-ST@5#prop:route
Let . Place equal payload registers on a straight developed segment of length in a convex regular reserve. Initialize all but the source in independent blanks. Successive SWAPs realize the identity payload channel, including every reference. Hop duration gives arrival time in geometrized units.
Proof. Each SWAP moves the entire payload and reference correlations to the next register and leaves the old site blank. Induction gives the channel identity; spacing and declared duration give the regular null routes.