Corollary: Transported finite instrument–observable specimen

For each fixed $g\in {\mathsf{P}}_{+}^{\uparrow }$, the Bell specimen has a full-tail realization with transformed compact support and separately transformed acquisition events, the same complete logical instrument, and the product-preserving observable comparison for ${\mathfrak{A}}_g$.

Proof. Apply the finite graph realization to the transformed dilation skeleton. The proofs of Theorems thm:identity, thm:observablelimit, and thm:pairing concern the unchanged logical factor network and therefore apply under the same logical identifications. Its geometry converges by Lemma lem:finegeometry. The definition (eq:transportednet) transfers local commutativity.