Manuscript XVI-L@1 · XVI-L.tex · theorem · 35081099
Theorem: L.8 summary
L.8 Bridge to gravitational EFT (matching questions only) › BV boundary · lines 1551–1559 · proof included or linked
XVI-L@1#thm:L8
The collision counterterms of XVI-L are interpreted in the gravitational-EFT distinction between local higher-curvature operators and long-distance nonanalytic contributions; matching questions (Q1)–(Q6) are recorded for every candidate; the four-derivative jet bound is not a curvature-squared identity (Remark rem:L4der); objects are prepared for later symmetry analysis without any assertion of BRST closure (Remark rem:LBV). Release level L-D remains not claimed.
Proof. The interpretive paragraph of this section; Proposition prop:Lmatch; Remarks rem:L4der, rem:LBV.