Theorem: Exact release

For the frozen displayed lifts, the fixed width, and the widened class ${\mathfrak{C}}_{\mathrm{part}}$:

1. The total-diagonal ambiguity class is correctly a subclass, not the complete partial-collision class.

2. The incidence inventory and elementary parallel-line extensions are constructed.

3. Collision exclusion and the $Z_3$ bounds do not establish the required global off-collision product.

4. The complete coefficient linear in $\hslash$ in (eq:order) has the ending Unresolved. No universal obstruction and no admitted joint quantum output are asserted.

Proof. Definition def:Cpart, Lemma lem:branches, the matching and collision inventory, Corollary cor:C2, Proposition prop:parallel-degree, Theorem thm:primitive-extension, and Theorem thm:joint-status. Proposition prop:conditional-admission identifies the remaining admission interface.