Release and proof boundary

and proof boundary{ Constructed: one fixed classical evaluation subclass and its conditional cancellation identity; the free-differential display; the $b\gamma$ commutator; compact detecting smearings; and the rank-one ordering calculation.

Proved obstructed: the coefficientwise restriction quotient with the inherited linear fields, unchanged causal brackets, and nonzero formal unit. The new vanishing space is not a two-sided ${\star }_H$-ideal and is not preserved by every admissible ordering transport.

Unresolved: a separately constructed reduced algebra or an integrated observable completion cancelling the full-shell remainder. Neither absence is a universal no-go theorem.

The inherited carrier is unchanged. No $R_1$, time ordering, quantum Ward identity, interacting differential, physical BRST class, loop, state, antibracket, master equation, or sharp-width limit is supplied.}