The named family and a late switching witness

This vacuum statement depends on the cubic-only freeze. It would be false for the flat background of the rejected full-density formula in Proposition prop:fullweight.

Other scalar inputs are not classified. The necessary condition (eq:new-compatibility) is not promoted to a general sufficiency theorem. Gauge-fixed solvability is a different equation because $e_{\mathrm{gf}}$ changes the divergence constraint. No gauge-fixed solution is constructed here, and none is declared an Einstein-jet repair.