Manuscript Oai212-A@1 · Oai212-A.tex · corollary · 79323841
Corollary: Serial-model shape
Bridge 4: serial teleportation and concurrent timing › A timing contract that really is additive · lines 1248–1257 · proof included or linked
The serial reachability probabilities have the exponential FPP limiting body and conditional regularity of Corollary cor:regularity, with finite-volume error controlled by Lemma lem:escape.
Proof. Apply Theorem thm:serial and the classical shape theorem.