Manuscript VII-J-ST@1 · VII-J-ST.tex · section · f1f1d82c

Exact geometric checks

Finite tables, resources, and checkable obligations › Exact geometric checks · lines 1826–1856

The following inequalities are symbolic certificates, not reported numerical runs:

obligation spacelike margin conservative slice speed regular transverse port axial route length inbound duration gather before clock readout local gate buffer distribution before output event scratch cleanup event flags canonical matter target witness 1 - λ^{2} = 1/9 v_{*} = (1 + λ)^{- 1} (1/64, 1/128) \neq = o L = 1/64 D = (1 + λ) /16 < 1/8 - 15/64 + D < - 7/64 < - 1/32 13 (1/208) = 1/16 1/8 + D < 1/4 < 323/640 E_{out} = 0 (M, N, H) = (e, 1 - e, e) V_{01} = SWAP

All nontrivial communication and local-operation intervals have positive causal slack. For any fixed finite $n$ , sufficiently small port and timing errors preserve these checks by Proposition prop:robust, or directly by the strict developed time-minus-distance margins. Shared input/output ports are the same physical event, not independently perturbed copies of an event.

Displayed formulas in this passage

unlabeled · line 1830
$obligation spacelike margin conservative slice speed regular transverse port axial route length inbound duration gather before clock readout local gate buffer distribution before output event scratch cleanup event flags canonical matter target witness 1 - λ^{2} = 1/9 v_{*} = (1 + λ)^{- 1} (1/64, 1/128) \neq = o L = 1/64 D = (1 + λ) /16 < 1/8 - 15/64 + D < - 7/64 < - 1/32 13 (1/208) = 1/16 1/8 + D < 1/4 < 323/640 E_{out} = 0 (M, N, H) = (e, 1 - e, e) V_{01} = SWAP$