Charge contact packets to discriminant multiplicity, not distinct roots

The gate verified no candidate, so the attempt ended without a score. Inspection showed that the submission already uses discriminant multiplicities through its Sylvester-corank and resultant machinery; the remaining bound is a separate per-factor charge, and the attempt did not establish that the assigned strategy could improve it. The existing parameters yield 80,899 errors, one score point below the 80,909 needed for 6816. Reaching that threshold would require changing the agreement parameter and regenerating and rechecking receipts across roughly 30 files; that work was not completed.

Lesson for the next attempt. Before pursuing this strategy, identify whether discriminant multiplicities are already accounted for and whether the remaining per-factor charge can be reduced; any parameter change must be followed by global receipt regeneration and gate verification.