Constructed

1. L.0: frozen XVI-K dependency ledger; coherent versus placementwise changes; declared orders; artifact reference; verification boundary; target ledger and release ladder L-A–L-D. Recorded.

2. L.1: complete source ${\mathcal{J}}_{\mathrm{D}}$ as polarized jet polynomial (eq:jet); derivative budget (Proposition prop:jet, Theorem thm:budget, Lemma lem:L1comp).

3. L.2: complete graph decomposition ${Q^{\circ \mu \nu }}_{\mathrm{L}}$ (eq:QL); term ledger; normalization gate with graph factor $1$ re-derived for the complete source (Proposition prop:Lnorm, Proposition prop:QL, Lemma lem:L2comp).

4. L.3: product existence; power counting $N\le 2,3,4$ and $\mathrm{sd}\le 6,7,8$ by sector; ambient span ${\mathcal{V}}_{\mathrm{adm}}$ with ${\mathcal{V}}_{\mathrm{K}}\subseteq {\mathcal{V}}_{\mathrm{adm}}$ and ${\mathcal{V}}_{\mathrm{graph}}\subseteq {\mathcal{V}}_{\mathrm{adm}}$; kernel inventory (Proposition prop:Lsd, Proposition prop:VLincl, Theorem thm:L3, Lemma lem:L3comp).

5. L.4: coherent extension ${\mathfrak{R}}_{\mathrm{L}}$ with ${\mathfrak{R}}_{\mathrm{L}}{|}_{{\mathcal{V}}_{\mathrm{K}}}={\mathfrak{R}}_{\mathrm{K}}$; same $\varpi$-projections for $\rho \le 2$, extended to $N=3,4$; defect ledger (Definition def:RL, Proposition prop:RL, Lemma lem:Ldefect, Theorem thm:L4).

6. L.5: coherent local collision counterterms before attachment; abstract finite-dimensional characterization by numerical-kernel relations; selected constraints exhibited; jet bounds $(2-v)+|\gamma |\le 2+s\le 4$; four interpretive categories (Lemma lem:Lamb, Propositions prop:Lcoh, prop:Ljet, Theorem thm:L5, Lemma lem:L5comp).

7. L.6: renormalization-scale family ${\mathfrak{R}}_{\mathrm{L},\mu }$ with ${\mathfrak{R}}_{\mathrm{L},{\mu }_0}={\mathfrak{R}}_{\mathrm{L}}$; first scale theorem (contact order $\le N$); infinitesimal generator $A_{\mu }$; coherence; prescription/residue distinction (Definition def:RLmu, Theorem thm:Lscale, Lemma lem:Ldiffmu, Theorem thm:L6). Explicit nonzero residue remains Unresolved (Remark rem:Lressretch).

8. L.7: root-attached coefficient ${{\mathcal{C}}^{{\mathfrak{R}}_{\mathrm{L}}}}_{\mathrm{L}}$ under (R1)–(R3); bilinearity; joint continuity; compact support; off-diagonal agreement; exact restriction to XVI-K; exact further restriction to XVI-J; propagated $\Delta {\mathcal{C}}_{\mathrm{L}}$ and scale variation through $B_{f,g}$ with net sign $+1$; locality before/after kept separate (Theorem thm:Lmain, Propositions prop:LtoK, prop:LtoJ, Lemmas lem:Lambprop, lem:Lscaleprop, Theorem thm:L7, Lemma lem:L7comp).

9. L.8: matching context and questions (Q1)–(Q6); BV boundary without BRST assertion; L-D explicitly not claimed (Proposition prop:Lmatch, Theorem thm:L8, Remarks rem:L4der, rem:LBV). Recorded as matching questions only.

Release ladder: L-A and L-C are Constructed, conditional on (R1)–(R3); L-B is an abstract finite-dimensional characterization; L-D is not claimed.