What a successor receives: the obstructed package

The class $[u{]}_{\mathrm{sol}}$, its invariant ${\mathsf{W}}_u$, and the separation Theorem thm:criterion: bulk equation terms are exactly ${\mathcal{I}}_{\mathrm{sol}}$, and admission into ${\mathcal{F}}_{\mathrm{mc},\mathrm{pol}}$ is the cone condition (eq:criterion).

The nonzero Cauchy pairing $B_{\Sigma }=-2{\lambda }^2{\Lambda }_f$ on the pure-trace counter-propagating pair, and its identification as the leading onset coefficient (eq:planewave).

The covector theorem, quantified to the copied class: every representative of ${\mathcal{C}}_3(f,g){|}_{{\mathcal{C}}_{\mathrm{sol}}}$ carries $\pm (k_{1♭},k_{2♭},0)$ with $k_{1♭}+k_{2♭}=2\mathrm{d}t$.

The detection symbol $\mathsf{b}(\mathbf{n},\mathbf{p})$ and the undecided Einstein-subshell question.

The two model changes, ramped cubic source or metric data off $\Sigma$, each still a change of XI-A's prescription, each to be tested against (eq:criterion) and against XI-A's covariance.