Repairs to the proposed proof architecture

A bounded effect requires the Weyl algebra. The polynomial scalar field algebra is not used as though it contained the requested nontrivial effects.

The two signs are fixed together. With $P=-{\square }_g$, the interaction $-ϵ\rho \varphi \psi$ gives the positive off-diagonal operator entries. The causal propagator is advanced minus retarded, and the time-slice pairing is $p\Psi -q{\partial }_t\Psi$.

The packet is identified in the bulk before coupling. The coefficient $k_{\ast }$, the real Cauchy data, and $F_{R,T}$ are constructed using complete stationary scattering. Em03-C's effective port is not used to prove the bulk-to-radiation identification.

A derivative filter is needed for the truncation estimate. Energy completeness alone would not control the $n_{\mathrm{H}}\sim 1/\omega$ covariance weight. The filtered Cauchy construction supplies the powers of $\omega$ used in (eq:packeterror).

Generic compact transfer errors need their own infrared bound. They are not assumed to retain the target's derivative filter. The s-wave zero-energy calculation proves their finite covariance through Proposition prop:compactcovariance.

The time-slice parameter is not a packet-time cutoff. Its identity is exact. The actual approximation is spatial Cauchy truncation of a backward-continued outgoing packet.

Residual probe noise remains in the induced effect. Weak coupling with a fixed probe state would suppress the signal. The squeezed preparation is explicit and its resource growth is proved.

No effect is divided by an attenuation factor. The final probe observable stays between zero and one. This differs from reconstructing a general Weyl element by unbounded amplification of its measurement estimator.

Full-shell access is a real restriction. The proof does not establish a pointlike or finite angular-patch scheme. Its increasing coupling region includes access near both spatial ends.

State-class convergence is not operator-norm convergence. The error uses a common regular representation and controlled second moments. It is not a uniform bound over all states.

One observable is not a transfer channel. No number distribution, coherent oscillator extraction, joint-packet tomography, or reference-stable channel equivalence with Em03-C is proved.

The probe measurement chain has a declared endpoint. A local bilinear interaction and induced effect are constructed. An engineering realization of the final probe POVM and of its squeezed preparation remains separate.