Potential use and novelty boundary

The classical diffeomorphism algebra and canonical BV mechanism are standard, and the X-G normalization and reciprocity obstruction are Cheung's results FRBV,XG. No priority claim is made for them.

The useful contribution is the explicit same-model audit of four different operations:

The construction shows exactly which can coexist and which implication fails. The signed antifield lift, the free-solution non-descent witness, the background-tadpole accounting, and the typed separation of the two obstructions prevent a local classical success from being advertised as an interacting quantum completion.

The complete instruments add a genuine finite implementation interface for supplied reports. Their value is not inflated into a continuum detector, a cohomology measurement, or an independent experimental verification of a universal identity.