D6: gauge corollary with explicit representatives

Closedness of $P_m\mathcal{D}(M)$ gives the same conclusion by taking limits of the differences. The displayed representatives make the passage explicit without redoing X-C's variation proof.

This remains background covariance at fixed free field. It is not a scalar pullback automorphism of the free shell, a quantum-metric identity, or an Enter readout.