Next obligations

obligations{ IX-B. Specify the graph outputs, their joint-test extensions, and their ambiguity classes. A finite part for one triangle is calibration data, not closure.

IX-C. Construct or obstruct quantum associativity, involution, faithful bulk-relative multiplication, and quantum presentation independence.

IX-D. Only after the free product closes, construct mixed time-ordered and retarded maps with the correct causal support.

Separate G2. Prove a switched realization of the declared coefficient gauge action, or retain the explicit first-order obstruction.

Further domain gate. Check nested second-order Cauchy insertions against the admission criterion; do not infer their membership from that of $B_f$.}