Exact handoff

A successor receives:

1. one fixed evaluation domain ${\mathcal{C}}_W$, its nonemptiness and properness, and the uniform support hypothesis;

2. the cancellation identity for the full displayed coefficient;

3. the observation-qualified defect set and the copied witness outside it;

4. the correctly typed $b\gamma$ commutator and compact positive scalar test;

5. the rank-one ordering counterexample;

6. the free-differential display, separated from finite plateau variation;

7. the unsolved slot and co-transformation interfaces (eq:slot-target) and (eq:Y-interface).

It receives no reduced algebra, integrated completion, quantum restriction domain, retarded product, or interacting differential. Before XIII-B opens a product calculation, its opening sentence must declare whether it uses evaluation-only claims in the unchanged carrier, a separately constructed reduction, or a completed observable. The cancellation theorem alone supplies none of the missing product-domain or gauge-consistency obligations.