Proposition: No cancellation verdict follows from F2

The geometric exclusion in Theorem thm:route proves neither cancellation nor failure of cancellation of the grouped six-branch coefficient.

Proof. The theorem concerns the clean matching and reduction hypotheses of one selected geometric construction. It assigns no joint amplitude or principal-symbol section to (eq:target). It supplies no estimate for terms remaining after a proposed leading cancellation.

The copied $Q\lambda$ identity concerns $B_6$ alone, and the copied regrouping is a smooth-slot identity. Neither replaces those missing amplitude and remainder data.