Successor package

A successor receives:

1. the two remainder functionals and their shell identification;

2. the companion's switching display, its sampling support, and the distinction between (CP) and a uniform carrier hypothesis;

3. the local cancellation subclass $D^{\ast }b=0$ near $S_{\xi }$;

4. the explicit compact plateau witness, with auxiliary pairing value (eq:pairing-value);

5. the nonzero carrier class and the qualification that the finite parameter shift is not a quotient automorphism;

6. the prospective cancelling interface, without an asserted solution, and the scalar-sourced slot recorded once.

It receives no Ward identity, quantum retarded product, interacting BRST class, or completed auxiliary co-transformation.