Constructed

1. M.0: frozen dependency ledger; Targets I/II; normalization table (now with the certified $S$ row); Gates S-bv (certified) and V; verification boundary; release ladder.

2. M.1 (unconditional): general-$h$ assembly; exact specialization to XVI-L ($1065/1065$); supports $255/255/235$.

3. Gate S-bv: certified (Theorem thm:wpA-Sbv); $S=\frac{1}{4{\pi }^2}(Q-i0{)}^{-1}$ on $\Omega$, across the nonzero null cone; $W_0$ and ${E_0}^{\mathrm{A}}$ in position space.

4. M.2 (unconditional on $\Omega$): boundary-value calculus lemma; two-direction relation equivalence; $d_N=(1,4,10,20,35)$; $\dim {\mathcal{V}}_{\mathrm{adm}}=70$; $185$ certified relations; wave-operator bound $\le 210$.

5. M.3: $\dim {\mathcal{C}}_{\mathrm{coh}}=3321$; ${\mathcal{G}}_{\mathrm{formal}}$ injective; background kernel $1750$; plateau kernel $21$.

6. M.4 (Gate V): collapse injective (formal, $\chi$-plateau, time-only), kernel $21$ (prep.\ plateau) / $22$ (double plateau); SA dimensions $26/26/47/1347$ (time-only: $26$; time-only with ${\chi }_{\mathrm{I}}\equiv 1$: $572$); variational images $26/26/26/1325$ (time-only: $26$ and $572$); Helmholtz lemma and certificates; $R^2$ and ${\mathrm{Ric}}^2$ matchings in the double plateau.

7. Stage 2: fixed-data criteria (i)–(iii), universal region comparisons, and the universal time-only classification (Theorem thm:to-timeonly, Proposition prop:to-chiplateau); explicit ${\sigma }_{\epsilon }$ and the linear independence of its derivatives (Lemma lem:to-indep).

8. M.5: named theorem thm:M5-plateau-R2 (double-plateau domain); ledgers (1)–(2); completion-gate obstruction; ledgers (3)–(4) Unresolved.

9. M.6: dilation identity; $A_{\mu }={\mathcal{A}}_{\mu }$ for all $N\le 4$ (Theorem thm:wpB-B0); $S^2$ residue $r=-i/(8{\pi }^2)$; top-order residues ($\varpi$-independent); $N=0$ component collapse; full scale-tensor collapse; in the double plateau, the cutoff-independent $D=4$ component is variational and Lorentz covariant, but not linearized-gauge invariant, and lies outside the curvature span (exact separating functional, Proposition prop:wpB-sep); the full scale tensor has cutoff-dependent lower-degree components and need not be variational (Theorem thm:wpB-dp).

10. M.7 (Constructed after audit; Gate V for SA items; exactly verified items only): so(1,3) action on $B_N$ and pull-back action on ${\partial }_{\gamma }\delta$ with explicit $\eta$ intertwiner and exact boost verification; abstract equivariant count $1,1,3,3,6$ (K $5$ + ${\mathcal{C}}_{\mathrm{reg}}$$9$) with coordinate verification; exact $V=\mathrm{Equiv}\cap \mathrm{SA}$ ($\dim V=1/1/12$) with ${\pi }_K(V)$, $V\cap {\mathcal{C}}_{\mathrm{K}}$, ${\pi }_{\mathrm{reg}}(V)$, $V\cap {\mathcal{C}}_{\mathrm{reg}}$ ($0,0,1,1$ / $0,0,1,1$ / $5,3,9,7$); linear divergence identities (A), (B), (B${}^{\prime }$), (EH). ${\mathrm{Obs}}_L({\mathfrak{R}}_{\mathrm{L}})$ Unresolved.

11. M.8–M.9: light stubs; Target II / BV Unresolved; M.8 recommended to wait for XVI-N.

Release: M-A Constructed (presentation unconditional on $\Omega$). M-B Constructed in the formal reading (Gate V convention). {M-C${}_{\mathrm{curv}}$} Proved obstructed (graph-specific); broad M-C not achieved (Unresolved; $\varpi$ unspecified by XVI-L, thm:L6); {M-C${}_{\mathrm{data}}$} Satisfied. M-D/M-E not claimed.