Release: four gates, worst ending governs

: four gates, worst ending governs{ The question decided here is

G1 (Cauchy pairing): Constructed.

$B_{\Sigma }$ is written as a bidifferential form in Cauchy data, printed on the pure-trace sector, and identified as the leading onset coefficient of the class invariant.

G2 (separation): Constructed.

Agreement on the free shell is exactly the bulk equation ideal; the class is the trisolution ${\mathsf{W}}_u$; the class meets ${\mathcal{F}}_{\mathrm{mc},\mathrm{pol}}$ iff $\mathrm{WF}({\mathsf{W}}_u)$ avoids the two causal cones.

G3 (alternative): Proved obstructed.

For every frozen $g$, every $m$, and XI-F's observation data, every compact distribution reproducing ${\mathcal{C}}_3(f,g)$ on ${\mathcal{C}}_{\mathrm{sol}}$ has covectors $\pm (k_1,k_2,0)$, $k_1,k_2$ null, co-oriented, $k_1+k_2=2\mathrm{d}t$. Quantifier: the copied class ${\mathcal{F}}_{\mathrm{mc},\mathrm{pol}}$, not every bimodule.

G4: Recorded.

No product, no differential, no loop.

Overall ending: Proved obstructed (Gate 3). The frozen-kernel theorem of XI-F stands; its covector is inherited, in split form, by the whole class.}