Two-tier comparison on the Verus hard band
Determine whether the treatment and control arms differ on the 13-task Verus hard band when evaluated at a lower model tier with a sufficiently high call budget to avoid censoring by the registered 40-call cap, and compare that result with the higher-tier evaluation.
References
The two-tier comparison is therefore open and belongs to version~2.
— SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
(2609.11076 - Hickey, 10 Sep 2026) in Section 5, “The treatment question, open,” item 1 (Section \ref{sec:open})