The exact source-preserving upgrade obstruction

This is Cheung's X-G witness, with its normalization retained XG,XGST. It excludes the exact source-preserving variational upgrade class, not every possible changed classical action. Algebraic auxiliary elimination leaves a symmetric reduced Hessian and does not remove the contradiction. Corrections beginning at positive powers of $\hslash$ cannot cancel a nonzero classical formal coefficient.