Remark: Audit log (M.7 audited revision; retained)

Curvature-square divergence (bug). Old: covariance_constraints.py computed ${\sum }_{\mu }{\eta }^{\mu \mu }{\partial }_{\mu }{E}^{\mu \nu }$, inserting a metric sign into the divergence of an upper-index Euler tensor, and recorded “does not vanish” through a check that always passed[1] (require(True,)). The Euler tensor itself (jet_euler.euler, factor $1/w$) and the off-diagonal multiplicities were correct. Fix: ${\partial }_{\mu }{E}^{\mu \nu }$ with no metric factor; hard assertions $=0$ for $R^2$, ${\mathrm{Ric}}^2$ and the combination in all readings; independent metric-based construction; targets and preimages checked. The matched coefficient $188813/88456$ is unchanged (the matching code never used the divergence routine).

Intersection dimensions (bug). Old: grade-restricted SA projections intersected with ${\mathrm{Equiv}}_G$, and a truncating modular reduction; reported $5/5/3$. Fix: exact kernel of the adjoint-defect map on $\mathrm{Equiv}$, four objects per reading (Proposition prop:M7-inter); legacy reconstruction archived.

Stage 2 fixed data (overstatement). Old: criterion without the adjoint-defect map; transition bound $0\le \dim \ker {\mathrm{Collapse}}_{\mathrm{fixed}}\le 22$ unsupported. Fix: criteria (i)–(iii), time-only caveat, universal-versus-actual separation, domain-size bound $3321$ (Section sec:m4-fixed).

Contact representation (bug). Old: ${\partial }_{\gamma }\delta$ identified with $z^{\gamma }$ “by the same formula”, giving the wrong boost action; “homogeneous cokernel $=$ codimension” was a misnomer. Fix: explicit $\eta$ intertwiner, exact boost verification (Proposition prop:M7-boost), corrected equivariant vectors; rank/codimension and cokernel (with codomain) reported separately.

M.6 scope (overstatement). $C_{\mathrm{anom}}$ renamed the $N=0$ anomaly component; the M-C sentence is replaced (Section sec:m6).

Status. M.7 downgraded to “Constructed after audit” for exactly verified items; the former “ALL CHECKS PASSED” covering wrong expected identities is replaced by assertions of the corrected identities in covariance_constraints.py and regression_M.py.