Declarations

scope. The polynomial kernel bounds, causal contraction, normalization, support, and classical defect are proved on smooth configurations. Quantum composite admission is explicitly not included.

. XI-A supplies the signed interaction and the Einstein-jet obstruction. XI-B supplies the multiplet, normalized causal inverse, residual lemma, and limited algebraic domain. X-B-v3 and X-C-v3 supply the scalar-only comparison and completed classical background identity. X-D is not used.

. The insertion sign, forward versus backward defect sign, finite-generator versus microcausal domain, pure-gauge diagnostic, and scalar reduction are distinguished. The cubic Einstein vertex is not eliminated by a graph count. A second contraction is not declared absent.

. No successful pdflatex execution, proof-assistant verification, executed symbolic calculation, independent referee review, or journal acceptance is asserted.