λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XIV-C@1 · XIV-C.tex · section · a34d13df

Exact handoff

Decision and successor package › Exact handoff · lines 1441–1463

Back to manuscript

A successor receives:

  1. the fixed full pair and the observable naming correction;

  2. the copied branches, match labels, and line orders;

  3. the retained configuration and characteristic stratum;

  4. the rank relation (eq:rank), conormal selections, and nonzero temporal component diagnostic;

  5. the support-rigidity theorem for partial contacts;

  6. the exact J2 stop and the unchanged four obligations.

To advance beyond J2, the successor must either prove cancellation for the complete selected pair on the retained noncoincident domain or construct a prescription there with the declared normalization, degree, ambiguity, and wavefront control. Only afterwards can J3–J5 be entered.

It receives no quantum binary coefficient, Ward defect, interacting differential, reduced algebra, physical cohomology class, or numerical loop amplitude.