import type { RevocationVerificationInput, RevocationVerificationResult } from './types.js';
/** Reads revocation artifacts AGAINST the objects they claim to revoke.
 *
 *  Invariants:
 *  - deterministic: same input, same output, byte for byte. subjects are
 *    sorted by (subject_kind, subject_id) and artifacts by digest;
 *  - one row per supplied delegation and binding, plus one per subject named
 *    by a classifiable artifact, so an absence of evidence is stated;
 *  - REVOKED is absorbing and counts artifacts; it is never equivocation;
 *  - no_revocation_evidence_observed is NOT a claim that the subject is
 *    unrevoked. It reports on the artifacts supplied, and says nothing about
 *    whether that set was complete;
 *  - a binding-path failure carries the existing verifier's own code string
 *    through unaltered, so this module never re-words another verifier;
 *  - discards[].index names a position in the input array and is therefore
 *    the only order-dependent field in the result. */
export declare function verifyRevocationEvidence(input: RevocationVerificationInput): Promise<RevocationVerificationResult>;
//# sourceMappingURL=verify.d.ts.map