Manuscript VII-F-ST@1 · VII-F-ST.tex · theorem · 9eee7a44
Theorem: Reference-preserving payload transport
Buffered regular realization and exact causal transport › An explicit regular route · lines 1698–1717 · proof included or linked
VII-F-ST@1#thm:transport
After hop , an arbitrary input has become
Thus the logical payload channel is exactly the identity, including every reference. Arrival is , and all communication dependencies lie inside the prescribed causal cone.
Proof. The first exchange moves the whole payload factor and its reference correlations into , leaving a blank in . Repeat inductively. Each hop covers distance in time , so its transfer paths are null in the developing chart and causal after pullback.
Displayed formulas in this passage
unlabeled · line 1701