Quantum gauge compatibility as a separate obligation

The relevant quantum identity requires the deformed differential on the actual renormalized domain. Renormalized BV methods provide a framework for such a construction FR; they do not determine its anomaly or counterterms for this lapse.

The following elementary interface isolates the required calculation.