Green operators and the harmonic coordinate coefficient

This definition names a coefficient, not an approximation whose uncontrolled remainder is silently discarded in the classical limit. The theorem below concerns (eq:observable) itself. It asserts no $O({\kappa }^2)$ estimate for a full finite-$\kappa$ observable.