Proposition: Matching ledger; no match claimed

The questions (Q1)–(Q6) are well-posed for every coherent collision summand classified in Theorem thm:L5 and for every propagated image under Lemma lem:Lambprop. No answer to (Q1)–(Q6) is proved in this note. In particular, no instance of release level L-D is claimed: no particular counterterm is matched to a local gravitational functional or to a composite-insertion functional.

Proof. Well-posedness: the four interpretive categories of Section sec:l5D and the jet bounds of Proposition prop:Ljet supply the data against which (Q1)–(Q5) are checked; (Q6) is a scope question about the ambient theory, not about the numerical extension. Absence of a match: no identity equating a summand of $\Delta Q_{\mathrm{L}}$ or $\Delta {\mathcal{C}}_{\mathrm{L}}$ to the variation of a named local gravitational or insertion functional is stated or proved above; Remark rem:L4der blocks the jet-bound shortcut.