Boundaries, not additional calculations

XII-C retains

and its named fixed-input invariant jet remains empty. Thus $S_{\mathrm{EH}}$ has not been removed XIIC. The original detected XI-G classes, including their stated covectors $\pm (k_1,k_2,0)$ with $k_1+k_2=2\mathrm{d}t$, stay excluded under the inherited qualification XIIA. Our restriction is not a new representative theorem for those classes.

XII-B, XI-C–F, X-A–H, VII–IX, and Landmark I are not additional prerequisites. In particular, no X-G reciprocity or Bogoliubov claim is used. Smooth wave existence and finite propagation are the standard analytic input for one new compact-smearing construction BGP (Chapter 3).