Successor package

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.

To advance this route, the successor must construct the internal relations and a justified common operator representation of the complete grouped coefficient. It must then supply the joint section and remainder, or one fully specified characteristic prescription.

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)}$.