Successor package

A successor receives:

1. the unchanged pair and six-branch germ;

2. the exact regrouping (eq:fullregroup);

3. the complete root formula (eq:B9root);

4. the intermediate tested-kernel equality and balanced attachment bound;

5. the two characteristic lifts and their codimensions;

6. the non-clean phase theorem and quadratic defect identity;

7. the unchanged degree, ambiguity, and wavefront requirements;

8. the exact E1 stop.

To discharge the retained D2/J2 problem, it must construct a common representation with a full symbol and controlled remainder, proving cancellation of the complete grouped coefficient, or supply a characteristic prescription with its actual degree, normalization, ambiguity, and wavefront theorem.

It receives neither a nonzero full symbol section nor permission to infer one from $Q\lambda$. It receives no ${R_1}^{(1)}$.