Manuscript XIII-D@1 · XIII-D.tex · section · bab69024

Handoff

D7: decision and exact successor package › Handoff · lines 1238–1263

Back to manuscript

A successor receives:

  1. the exact frozen class, including parameter locality of its unpropagated components;

  2. the theorem forcing its induced shell action to vanish;

  3. the explicit commutator parameters and the nonzero Chevalley–Eilenberg test;

  4. the admitted cancellation cochain and its kernel formula, with the warning that it is not an integrated functional;

  5. the observation-qualified obstruction and the unchanged scalar-slot and coupling bookkeeping.

A proposed successor can leave the class by allowing a nonlocal action on Cauchy data, nonzero past data, a different domain, or a different integration interface. It must state that change before claiming that the present obstruction has been avoided. No such construction is supplied here.

It receives no reduced algebra, completed quantum binary datum, interacting differential, or physical cohomology class. The class exclusion supplies no permission to differentiate the unconstructed .