Positive formal quantum order cannot remove a fixed classical coefficient

This is a coefficientwise statement. It makes no claim about numerical cancellation at one chosen nonzero value of $\hslash$, or a singular regrading that introduces inverse powers of $\hslash$.

It applies to a fixed nonzero classical defect only after that defect and its domain have been established. The classical switch defect of VI, the direct coordinate mismatch of XIX-B, and the source-preserving upgrade obstruction reported for X-G are separate objects CheungVI,XIXB,CheungXG. No identity among their witnesses is asserted.