Passed 42 Boolean dictionaries with scalar and multiclass residuals.
Verified incidence counts, exact integer search, and rational certificates at four early-stop budgets.
