Theorem: En06-B release

Under the explicit finite-capacity convention and the target family (eq:scales)–(eq:stencil), the following are constructed and proved.

1. A deterministic payload-independent realization of every fixed finite future-causal typed instrument network at every sufficiently fine scale, using legal singleton and generator-pair partitions.

2. Every-prefix paced routes, finite-register local junctions, parallel long-route scheduling, and two-sided full-support estimates.

3. The spacetime transport contract (eq:Tphysical)–(eq:Tacquisition), with a complexity-independent coarse coefficient and vanishing fixed-source fine error.

4. Exact complete-instrument preservation, reference stability, matched payload naturality, and the full-tail diagonal theorem.

5. One nontrivial Bell instrument with local setting inputs, retained quantum outputs, an exact untouched quantum memory, and a common finite unitary apparatus dilation.

6. An isotone locally commuting finite spacetime observable net, product-preserving comparison maps, and an exact operational–algebraic pairing.

7. Bell correlations with CHSH value $2\sqrt{2}$, alongside reference-stable unconditioned no-signalling.

No result here asserts a quantum field theory, an invariant microscopic boost action, an autonomous substrate independent of the experiment skeleton, a derivation of the chosen constant $c$, or transport on every other proposed refinement family.

Proof. Items (i)–(iv) are Theorems thm:schedule, thm:identity, thm:T, and thm:diagonal, together with their routing and geometry lemmas. Items (v)–(vii) are Propositions prop:Bellinstrument, prop:dilation, prop:Belllaw, and prop:nosignalling, and Theorems thm:microcausality, thm:instrumentlimit, thm:observablelimit, and thm:pairing. The final exclusions delimit the stated construction and are not additional positive conclusions.