Scope and references

We call a smooth compact conserved tensor an FH test tensor, following the observable class of Fewster and Hunt FH. We prove the flat-space representability statements directly. In particular, we do not use radical exhaustion, separation by observables on the full Minkowski quotient, or a compact-Cauchy nondegeneracy theorem.

For the quantum calculation we use an explicitly specified two-insertion Wick normalization. Scaling degree is used in the sense of the extension theory of BF; the required coefficients and their uniqueness are also checked directly. The off-shell input convention and retarded subtraction are those of the retarded-product framework DF. Only one insertion pair is constructed.

The essential self-adjointness conclusion uses the analytic-vector criterion of Nelson Nelson, after explicit number estimates. It does not assert essential self-adjointness of the cubic vertex or existence of an interacting Hamiltonian.

No companion manuscript is a theorem premise. No result about the Enter calculus, a measurement instrument, or named record statistics is needed. There is consequently no Enter-calculus citation.