Imagine you're assembling a jigsaw puzzle, but with a rule: you can only touch one piece at a time, and you can only pass information to your immediate neighbor. Yet somehow, at the end, you need to answer a question about the whole picture — a question that depends on the relationship between pieces that were never in the same hands simultaneously. This paper shows how to do exactly that for quantum measurements on a lattice. The committed claim: non-local quantum measurements — the kind that probe correlations between spatially separated systems — can be synthesized entirely from local operations composed along the causal structure of a quantum cellular automaton (QCA). No instantaneous collapse, no primitive non-local interventions. The non-locality in the final measurement arises from causal propagation through the automaton's own discrete-time dynamics, not from any measurement axiom bolted on from outside. The architecture is operator-algebraic, built on top of quantum cellular automata — lattice systems of finite-dimensional quantum systems evolving under a reversible, locality-preserving unitary at each discrete time step. Measurement processes are modeled as localized completely positive (CP) maps organized into what the authors call operational measurement protocols: finite, non-adaptive sequences of local instruments distributed across the causal cone of the automaton. The key structural insight is that each protocol induces an effective measurement on the initial time slice whose spatial support is bounded by the causal structure the automaton generates. They establish explicit spatial support bounds — these are the theorems that do the heavy lifting. The concrete example is sharp: a two-step protocol for a one-dimensional nearest-neighbor qubit automaton that, for specific automaton parameters, realizes a full Bell-basis projective measurement on two neighboring sites by coarse-graining local outcomes. Move away from that parameter point and you get a continuous family of deformed Bell measurements whose entanglement and stabilizer Rényi non-classicality are computed explicitly. This is not just an existence proof — it's a constructive protocol with tunable non-classicality. Where does this sit in the field? The tension between locality of observables and state-update rules in measurement has been a long-running headache in relativistic quantum information, going back to Sorkin's impossible measurements and the work of Beckman, Gottesman, Nielsen, and Preskill on causal constraints. Prior approaches either imposed non-local instruments axiomatically or worked within algebraic QFT frameworks that don't easily produce constructive protocols. This paper occupies a middle ground: it uses the QCA lattice as a discretized relativistic-causal substrate and builds everything constructively. The closest recent comparison is the instrument-based measurement theory for QFT by Fewster and Verch, but that work operates at a much more abstract level. The integrity situation is theoretical-proof-grade: the results are mathematical theorems with proofs, not simulations or experiments. The Bell-measurement protocol is fully explicit, parameters and all. There are no benchmarks to cherry-pick because the contribution is a framework plus a worked example, not a performance comparison. The validation is as honest as theory papers get — you can check the proofs. The obvious next experiment not run: applying this framework to higher-dimensional lattices or to automata with richer local Hilbert spaces. The 1D nearest-neighbor qubit case is the simplest non-trivial setting. Scaling to 2D or to qudits would test whether the coarse-graining trick generalizes or whether the combinatorics of causal cones in higher dimensions make explicit protocol construction intractable. The honest read: this is almost certainly (c) — saving it for the next paper, since the 1D case already required 23 pages of careful construction.
