Manuscript IV-B@1 · IV-B-v1.tex · scope · dfb66408

Global apparatus boundary

Certified transport and the precise locality statement › Ledger and the boundary of the causal theorem · lines 1851–1861

Back to manuscript

apparatus boundary{ Theorems thm:locality and thm:transport certify the finite carrier and control network. The global field operations remain admitted global apparatuses. Their assignment to an externally scheduled experiment does not prove that their action on local field observables lies inside a compact spacetime region.

No local causal-support theorem for those global apparatuses, no within-tick SWAP Hamiltonian, and no compact system–probe field interaction is inferred. A full causal field implementation would require an additional same-model construction.}

Nearby in this section