Non-inputs

No state for the graviton is an input. The graviton Hadamard form ${\mathsf{H}}_{\mathrm{gr}}$ enters only the definition of Wick ordering of the graviton-quadratic monomials $\hat{Q}[\hat{h},\hat{h}]$ and ${\mathsf{T}}_{\mathrm{self}}$; no computed quantity, no classical value, and no step of Theorem thm:main depends on it.

The switch on the gravitational source is a frozen input. It is not derived from a switched action, and no claim is made about the layer terms by which a switched density would differ from it.

VII-C VIIC is audited in Section sec:F6. Its assumptions are copied, not inferred. X-D's convergence theorem is not used. The regulator is not removed.