Trait AuditProvider 

pub trait AuditProvider {
    // Required method
    fn log_verification(&self, result: &VerifyResult, bundle: &ProofBundle);
}

Pluggable audit-receipt persistence (SPEC §17.3).

Invoked on every verify_bundle call (success AND failure). Errors are swallowed — auditing MUST NOT alter the verdict.

Required Methods

fn log_verification(&self, result: &VerifyResult, bundle: &ProofBundle)

Implementors