Abstract

Revision o70-sync is a proof and build consistency correction so that the kernel counterterm evidence earns acceptance under a stated prescription. The intermediate wording is retained: the D11 Wick and determinant normalization is established; the tensor product, the scaling witness, and the off-diagonal Ward verification were tracked separately and are now constructed for the kernel; Gate 3 spanning stays Partial; bulk O.1 stays NOT_CLOSED.

Three verdicts are never collapsed. (1) Bulk construction is partial: the classical ${\kappa }^2$ master is Partial, four D11 prerequisites are Constructed for the kernel, the full ${\ell }_4$ polynomial is Unresolved, and O.1 is NOT_CLOSED. (2) Symmetry and counterterms: the subsector is restored under the prescription (kernel_two_point_Ward); the bulk matched set is empty; bulk symmetry_restored stays false. (3) The inherited insertion stays frozen by XVI-N, thm:massless-obstruction, and is distinct from $S_{\mathrm{inv}}$ and from the prepared defect $(S_D,S_D)$.

Coefficients $\alpha =A^2/60$ and $\beta =A^2/18$ are derived. All $256$ symbolic components are a primary check; invariant structures are documented and are not an independent claim. On the open set $U$, ${{\Pi }_{\mathrm{tr}}}^R{|}_U=(i{\kappa }^2/4)T$. The only active reference is W_w_jet_pullback_via_Pi_tr_o68. The kernel two-point Ward identity is not functional ST4b. $s_0{C}_L$ is not evaluated. The subsector verdict is Constructed_subsector_under_prescription for the kernel only. En01 and Em01 are not premises. Corpus $\mathcal{P}$ is not reused for $P_{\mathrm{tr}}$. No quantum coefficient is admitted. No compilation is asserted.