Gate 4: inventory, assembly, and the selected identity

Evaluate every entry of eq:completecoefficient, including ghosts, preparation terms, and insertion normalizations. Count scalar completion once. Construct the full defect and admissible counterterm map before applying thm:ward.

If the leading classical coefficient fails, its repair must be classical; positive-$\hslash$ cancellation is excluded by prop:hbar.

condition. One complete fixed-order interacting correlator or response with one proved symmetry identity on its declared domain.

not release. The abstract affine quotient is not an interacting BRST complex. A result for a newly specified model does not admit the inherited companion quantum coefficient without an explicit identification theorem.