Successor requirement

The next step requires the items D0.1, D0.2, D0.4, D0.8, D0.10–D0.12, D0.14, D0.16–D0.18, D0.20 in status S, and the promotion or rejection of the four candidates of sec:candidates by reproduction of XIV-H's eq:L and the XIV-H/XIV-I definitions of $\mathsf{A}$ and $R$. With them, the programme of Section sec:jet is to be repeated for the actual module: define $F_0$ on each presentation by the supplied composition rule; prove $r_O{F}_0=m^{\circ }\mathsf{Rec}$ on the supplied domain; compute $\ker \mathsf{Rec}$ and classify its relations as universal, flat-annihilator, or jet-detected relative to the supplied characteristic locus; evaluate $d_0$ on the jet-detected relations; and decide cancellation in the supplied class $\mathcal{A}$. If the actual target has a finite normal-jet structure along a finite puncture, Theorem thm:point would apply; whether it does is not known from the record. The characteristic compositions of $K_{47}$ and both $K_5$ placements require a composition theorem not in the record and not supplied here.