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
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.}