Manuscript En06-A@1 · En06-A.tex · theorem · e04c9892
Theorem: Directional geometric and coarse relays
A precise coarse relational outcome-law theory › Sharp speed and nondegenerate relays · lines 1410–1437 · proof included or linked
En06-A@1#thm:relays
For every Euclidean unit , duration , and source position , there are matched full-tail experiments with source modifications approaching , report events approaching , and laws exactly at every scale. Their declared supports converge to the closed segment from to .
Proof. Choose a long generator with direction within of , a source site , and with . A singleton source payload writes bit or . Relay the bit along successive -edges using the matching phases of Proposition prop:matchings, then read it locally. The constant finite number of preparation/readout ticks adds , which vanishes.
The displacement is , with length between and , and direction tending to . It tends to . The footprints and paths lie within vanishing neighborhoods of the segment, and all source differences lie in a shrinking neighborhood of . The report laws remain deterministic and distinct.