M.9 Conditional symmetry-restoration result (stub)

Unresolved. Depends on M.8 (closed sector). Possible outcomes once M.8 is specified: Constructed / Conditionally constructed / Obstructed / Unresolved. M.4 already shows that not every collision term can be made into a bulk gravitational counterterm: in the formal reading, no derivative term can. M.7 supplies prescription-covariant variational contacts of low dimension; it does not restore interacting Ward identities.