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

Back to manuscript

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

Nearby in this section