Constrained massless Gaussian laws [fdip-003V]

Removing the mass from the four-cycle action leaves constant fields unpenalized, so the full-space integral diverges. Restricting to mean-zero fields removes this direction, but requires the subspace's own volume. The zero-mass cycle calculation gives the resulting normalizer and a finite variance for the difference of opposite field values.

The positive Gaussian law on the orthogonal complement of the kernel yields this constrained probability and its pseudoinverse covariance. Kernel factorization and projected limits distinguish the divergent full normalizer from finite difference observables. Pinning a vertex gives another constraint, with a generally different coordinate covariance; the two-vertex comparison makes the distinction explicit. These choices also matter when eliminating singular directions.