Non-claims

L-D is not claimed; no bulk gravitational or insertion matching is proved (Proposition prop:Lmatch).

The object constructed is the complete-source contribution for the specified two-edge graph; it is not called, and is not, the complete one-loop gravitational correction.

Collision counterterms are not evidence that this graph determines gravitational Wilson coefficients (Section sec:l8).

The four-derivative jet bound is not a proved curvature-squared counterterm identity (Remark rem:L4der).

Scale-dependent subtraction is not a physical beta function of a complete gravitational quantity (Remark rem:Lscale).

The four interpretive counterterm categories of Section sec:l5D are kept distinct as attributes (not a disjoint partition); they are not identified with bulk gravitational action counterterms.

The unrooted changes are collision-local; their propagated images are given by the root pairing. Locality or nonlocality of those functionals is not established here (Remark rem:Lloc).

Coupling and loop weights are undetermined; only the combinatorial graph factor $1$ is fixed (Proposition prop:Lnorm).

No BRST, BV, or Ward identity, no all-orders renormalization, no gravitational-symmetry compatibility is claimed (Remark rem:LBV).

No limit $\epsilon \to 0$; no state; no ultraviolet completion; no physical observable; nonvanishing of ${{\mathcal{C}}^{{\mathfrak{R}}_{\mathrm{L}}}}_{\mathrm{L}}$ is not claimed.

XVI-K's statements are cited as stated; none is upgraded, and XVI-A–XVI-K are not modified.

The imported root hypotheses (R1)–(R3) are used, not re-proved.

Declared orders $N_{\lambda }:=|a|+|b|+|p|+|q|$ are not defined through $\mathrm{sd}-4$.

Computational regressions support the stated identities; they do not replace the written proofs.