Declarations

scope. The off-shell-shadow incompatibility, free-shell witness, necessary-condition obstruction, and classical defect evaluation are proved in the displayed conventions. The quantum admission interface is formulated but not solved.

. The supplied X-A is used for classical Cauchy prescriptions and plateau intertwiners. XI-A, XI-B, and XI-C supply the signed action, free multiplet, limited algebraic domain, and classical tree. The scalar completion is written explicitly, so an unsupplied X-B-v3 or X-C-v3 theorem is not required as an additional premise.

quantum certification. No admitted composite, interacting BRST cohomology class, state, renormalized retarded product, or loop extension is claimed.

. No successful pdflatex execution, proof-assistant check, executed symbolic computation, independent referee review, or journal acceptance is asserted. All nonzero witnesses are analytic.