Imagine you're building with LEGO, but the bricks themselves don't exist until you snap them together — and the boundary of your finished structure isn't something you drew on a blueprint, it emerges from how the bricks compete for connections. That's the core mechanism here: quantum 'contacts' (interactions) compete to bind field degrees of freedom into a composite body, and the boundary of that body is not specified in advance but arises dynamically from the binding process itself. The committed claim: you can construct approximately isolated quantum bodies from bare field vacuum and zero-centred contact packets, and on those dynamically formed bodies, coarse collective records behave classically while microscopic spin degrees of freedom still violate Bell inequalities — all within a single dynamical evolution, with finite resources, residual interactions, and preparation costs explicitly retained. This is not a thought experiment about idealized subsystems; the authors keep the mess in. What makes this interesting is the simultaneous coexistence of two things the foundations community often treats as living in separate conceptual boxes. Classical records — the kind of coarse-grained, stable information that underwrites measurement outcomes and decoherence narratives — appear on the same formed body whose microscopic spins exhibit all-outcome Bell violations. The binding contribution has vanishing mean energy density, yet it shifts a bounded formation signal by order one at the same clock time. That's a nontrivial structural result: something energetically invisible is doing real dynamical work. The architecture is field-theoretic and algebraic, not circuit-based. This sits in the tradition of algebraic quantum field theory (AQFT) and operator-algebraic approaches to subsystem definition, not in the variational-quantum-eigensolver or quantum-circuit world. The method leans on constructing subsystem algebras from dynamical binding rather than specifying tensor-product factorizations by hand. The polynomial resource claim refers to the preparation and measurement class, not to a computational simulation — this is a mathematical physics result, not a numerical one. Integrity is the hardest dimension to score here. The validation is internal mathematical construction — no simulation, no experiment, no benchmark. The result lives or dies on the rigor of the construction and whether the stated approximations (approximate isolation, vanishing mean energy density, polynomial resource class) are honestly bounded. There is no external check yet. The paper retains residual boundary interactions, failed records, and preparation costs, which is a good-faith move — many theory papers idealize those away. The milestone question is subtle. This is foundational theory, not an engineering result with a qubit count to track. The next concrete thing to watch is whether the construction can be instantiated in a specific lattice model or tensor-network simulation where the Bell violation and classical records can be numerically verified. That would convert this from a mathematical existence proof to something the broader quantum-information community can stress-test. The obvious experiment not run: numerical simulation of the construction on even a toy lattice model. Honest read: this is a mathematical physics paper, and the authors are doing the hard algebraic work first. Numerical instantiation is likely either (a) planned for a follow-up, or (c) being saved for a collaboration with a numerics group. The absence is natural for the genre, not suspicious.
