Function verify_commitment 

pub fn verify_commitment(
    expected: &[u8; 32],
    attestation: &ProvenanceAttestation,
    public_key: &[u8],
) -> AttestationVerdict

Verify a detached attestation over an already-computed commitment — a merkle_root for a result set, or a frame_commitment.