import { ACTION_CLASS_RANK } from './types.js';
import type { RegulatedActionReceiptV0, VerificationContext, RegulatedVerifyResult } from './types.js';
/**
 * Verify a RegulatedActionReceiptV0 against a VerificationContext. Returns the disposition,
 * every terminal condition that held (violations[]), missing evidence, the computed
 * trust-domain separation, the authority basis, and judgment_correctness: not_claimed.
 */
export declare function verifyRegulatedAction(receipt: RegulatedActionReceiptV0, ctx: VerificationContext): RegulatedVerifyResult;
export declare function actionClassRank(c: keyof typeof ACTION_CLASS_RANK): number;
//# sourceMappingURL=verify.d.ts.map