Function verify_result_proof 

pub fn verify_result_proof(
    proof_path: impl AsRef<Path>,
    snapshot_path: impl AsRef<Path>,
    expected_anchor_digest: [u8; 32],
    limits: &VerificationLimits,
) -> Result<VerificationReport, ProofError>

Verifies a result proof completely offline against a trusted anchor and canonical snapshot witness.

Errors

Returns an error for any proof or snapshot corruption, wrong anchor, resource exhaustion, document failure, timeout, or replay mismatch. No partial result is accepted.