What comes after, and only after

Gate 3 is obstructed, so the next legal paper is a model change: a ramped cubic source ${\sigma }_{\epsilon }{J}_3$, or metric Cauchy data off $\Sigma$, as a new prescription with its own covariance check against XI-A. Neither is a repair of XI-F; Remark rem:mechanism records what the first would do to the kernel, and Theorem thm:criterion(b) records what either must prove.