Prove when the loop stops.
Convert retries, timeouts, verifier cost, workers, and deadline into a finite maximum before the first autonomous run begins.
Stop-condition inputs
per-job max = attempts × (action + verification) + (attempts − 1) × backoff
batch max = ceil(jobs ÷ workers) × per-job max
batch max = ceil(jobs ÷ workers) × per-job max