Quantum gauge compatibility as a separate obligation

The actual coefficient spaces may be quotients by equations of motion or exact terms. Those quotients and all maps must be defined before using this proposition. At a simultaneous field/coupling truncation, the differential must preserve the retained coefficient equations, including the coupling in (eq:classical-Ward).

No $s_1$, anomaly $\mathcal{A}$, or physical space $A$ for the present lapse has been constructed here. Gauge-fixing independence likewise remains a separate unproved condition.

A convergent scalar pairing is not, by itself, a class in quantum BRST cohomology.