The unrestricted master equation is obstructed

The witness ghost in Proposition prop:witnessA1 is supported in the falling region, outside $P_g$. Leaving ${\mathfrak{S}}_{\mathrm{kin}}$ means changing the rule, transforming a background, or changing the action: the spurion, new-sheet, or nonvariational routes of Section sec:sheet, none of which is taken here. A second, independent breaking lives in the ramp layer through $w{Q}_{\nu }(A\gamma )$ and ${{\mathfrak{R}}_{\sigma }}_{\epsilon }$; one witness suffices for the theorem.