Input statement: Successor package, copied from XIV-E

“A successor receives:

1. the unchanged pair and six-branch germ;

2. the exact regrouping;

3. the complete root formula;

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.

”

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