Finite-Sample Coverage Audits for High-Recall Candidate Generation: Certification and Learning-Theoretic Design
Finite-sample certification that a high-recall first stage misses little relevant mass; label complexity, excluded-pool audits, and matching lower bounds.