import type { PublicationCommitmentProof, PublicationCommitmentResult } from './types.js';
/** Answers one question: is `proof.committed_digest` the digest this exact
 *  artifact produces.
 *
 *  Invariants:
 *  - true ONLY on an exact string match against the recomputed digest;
 *  - total and fail-closed: a proof with no string committed_digest, and an
 *    artifact with no canonical form, both return false rather than throw;
 *  - no log client and no network call, here or anywhere in this module. A
 *    true answer says nothing about whether the commitment was published,
 *    whether the log is honest, or whether some other artifact exists. */
export declare function verifyPublicationCommitment(proof: PublicationCommitmentProof, artifact: unknown): PublicationCommitmentResult;
//# sourceMappingURL=publication.d.ts.map