Manuscript IX-D-ST@1 · IX-D-ST.tex · theorem · b1dc631a
Theorem: Reference-preserving certificate transport
Shared finite Enter certificate interface › Nonempty regular transport realization · lines 2428–2447 · proof included or linked
IX-D-ST@1#thm:transport
The complete route transmits an arbitrary payload and all its untouched reference correlations exactly. All non-output payload registers end in independent blanks. The complete classical certificate is forwarded. Every dependency has a causal regular route.
Proof. After hop , the original payload factor, including its reference correlations, occupies station ; the other payload stations are blank. Tensor-factor exchange proves this by induction. Copying a designated classical record preserves its joint law and is not cloning an unknown quantum state. Each carriage path has speed in developed units. Local processing and buffering take positive duration; receiver controls wait for every required input.