Declarations

scope. The proved model is the real free massless scalar in the declared vacuum Fock representation. The coverage theorem is exhaustive for Definition def:stressclass, not for all QFT stress tensors or all distributional contact prescriptions.

net. Affiliation of $L$ is proved in the scalar Weyl net (eq:net). No net is enlarged merely to make that assertion true. Compatible affiliation of every higher Wick polynomial, or every originally supplied realization in another framework, is not asserted.

fixed-point transfer. The free benchmark is not marked “imported from Family 282”. The supplied Family 282 record is not a verification of its own hypotheses in this model. No interacting renormalization-group fixed point is identified.

provenance. Cheung references below identify supplied manuscripts or supplied synopses by their identifiers. Where an exact title was not supplied, no bibliographic title is invented. The comparison ledger is not an exhaustive series audit.

and formal verification. This is a single-file pdfLaTeX source with an internal bibliography and no external figures or bibliography database. Two pdfLaTeX passes are intended to resolve references. No successful execution of those passes, machine checking, independently executed symbolic calculation, referee review, or acceptance is claimed.