AVeriTeC dev claims run through the Superthesis engine — the gold evidence each claim is judged on, and the engine's verdict beside the ground-truth label. Golden-evidence condition: the engine argues only from the evidence shown here, no live web. This set is being expanded toward the full dev split, so the label mix is not yet the natural distribution.