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