Sparse challenge-based auditing gives probabilistic detection only

In the frontier design, proofs are generated only for training steps the auditor challenges after the hash chain is frozen. The authors describe this as "detection-grade, not universal": the verifier "cannot make universal claims about every step", but can detect deviations with high probability when sampling occurs ⁴.