Release: proved obstructed

: proved obstructed{ The construction below is not advertised as a gauge-invariant regulated observable. Its defining problems and coefficients exist, but its first-order gauge identity fails on the gauge algebra frozen before the calculation.

The defect is retained. The gauge algebra is not reduced after the defect is found, and no second-order or quantum correction is used to cancel a nonzero first-order classical coefficient.}