Function verify_bundle 

pub fn verify_bundle(
    bundle: &ProofBundle,
    opts: &VerifyOptions<'_>,
) -> VerifyResult

verify_bundle is the entry point. Audit hook (SPEC §17.3) wraps the inner verifier so it fires on every call — success AND failure — and its errors are swallowed so auditing never alters the verdict.