Manuscript VII-J-ST@1 · VII-J-ST.tex · proposition · f1f1d82c
Proposition: Target-adapted reference-preserving transport
Exact regular-part benchmark through the incidence parameter › An independent exact null-transport contract · lines 1708–1728 · proof included or linked
VII-J-ST@1#prop:nulltransport
Let a developed segment of length remain in a convex regular chart. Install equal finite payload registers along it and initialize all but the source in a fixed blank. Successive content exchanges over intervals implement the logical identity at the null-related target, including every reference, using exchanges.
An already available classical record and finite location/history payload may be included in the transported packet. Nontrivial preparation, copying, or decoding time is additional.
Proof. At each hop the complete source factor replaces the next blank, and the previous site becomes blank. Induction proves the complete identity. Each communication path is the regular straight segment traversed at speed . The same argument applies to a joint quantum–classical packet.