TY  - RPRT
TI  - SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
AU  - Jason Hickey
PY  - 2026
UR  - https://arxiv.org/abs/2609.11076
ID  - 2609.11076
ER  -