Finite-Sample Coverage Audits for High-Recall Candidate Generation: Certification and Learning-Theoretic Design | Digital Library | PAMCET | PAMCET