M.7 Covariance and Ward-compatibility constraints

with previously stated numbers. The equivariant freedom $14=5+9$ and the formal/$\chi$-plateau value $\dim (\mathrm{Equiv}\cap \mathrm{SA})=1$ are confirmed (the formal SA vector sits at $|\gamma |=0$, where $P=1$). The previous double-plateau values “$5$ globally, $5$ on K, $3$ on ${\mathcal{C}}_{\mathrm{reg}}$” were wrong on three counts: the coordinate action was wrong for boosts (Proposition prop:M7-boost); the grade-restricted numbers were $\dim ({\mathrm{Equiv}}_G\cap {\pi }_G(\mathrm{SA}))$ (intersection with a projection of SA), not $V\cap {\mathcal{C}}_G$; and the modular reduction int(Fraction(c) % p) truncated the $14639$ non-integer rational entries of the SA basis. With the old vectors and a correct reduction the old routine gives $5/4/6$; it reproduces $5/3/5$ only with the truncating reduction (m7_legacy_reconstruction.py).

divergence identities (external data retained).