Input statement: Successor package, copied from XIV-G

A successor receives:

1. the unchanged XIV-F and XIV-E packages;

2. the selected operator/pullback route and its unentered alternatives;

3. the chosen common ambient space and codimension-eight test locus;

4. the distinction between diagnostic zero-sum covectors and an output symbol relation;

5. the complete tested-source differential typing and local symbol;

6. the compact balanced-kernel testing counterexample;

7. the individual-factor relations and the failed final pullback test, explicitly limited to the numerical incidence;

8. the exact G2 stop and the still missing internal composition and common-symbol data.

It receives no full cancellation theorem, no nonzero full symbol section, and no permission to call the tangent defect an excess. It receives no ${R_1}^{(1)}$ XIVG.