Manuscript XIV-D@1 · XIV-D.tex · section · 1a7f173d
Handoff
Decision and exact release › Handoff · lines 1516–1539
A successor receives:
the unchanged pair and ambiguity contract;
the full polarized Hessian formulas and species factors;
every mixed and scalar branch derivative;
the common attachment/residual-variable kernel description;
the exact six-branch retained germ and its local zero proofs;
the full fiber identity, explicitly limited to its branch;
the necessary wavefront and characteristic-ambiguity checks;
the unresolved complete joint-symbol test.
To discharge J2, the successor must prove cancellation of the complete expression (eq:retainedfull) with its lower-order control, or construct a prescription for that expression with its actual transverse degree, normalization, ambiguity, and wavefront theorem.
It receives neither failure of full cancellation nor permission to infer it from Proposition prop:B6tensor. It receives no admitted quantum coefficient.