Declarations

scope. The new proofs concern the entire retained smooth-slot regrouping, its root representation, the characteristic ambient-space distinction, and the elementary phase audit. No common characteristic principal symbol is asserted.

scope. XIV-D supplies the six-branch germ and derivative ledger. XIV-C supplies the rank-two characteristic geometry. XII-C fixes the actual source representative. XII-E supplies the classical completion and response formulas. XIII-E is a recorded regulator attempt, not a completed characteristic prescription.

branch deletion. The exact cancellation of explicit second scalar-test derivatives does not delete $B_4$ or $B_7$. Both gravitational-response legs remain present. Terms with fewer explicit derivatives are retained and are not declared microlocally negligible.

scope. The class ${\mathfrak{C}}_{\mathrm{part}}$ is unchanged. No characteristic-supported difference is reclassified as a collision contact, and no normalization is selected after the diagnostic.

scope. No renormalized quantum coefficient, Ward defect, antifield construction, interacting differential, state, loop value, or sharp-width limit is supplied.

. No successful pdflatex execution, proof-assistant verification, independently executed symbolic computation, independent referee review, or journal acceptance is asserted. The mathematical calculations claimed in this release are the displayed analytic proofs.