Exact auditing proves a model's low-risk predictions are safe to skip in each new batch. — Synthesis