import type { Policy, InputSnapshot } from "./dsl.js";
export interface ComplianceCommit {
    policyHash: string;
    readSetHash: string;
    inputsHash: string;
    verdict: "ALLOW" | "DENY";
}
export declare function complianceCommit(policy: Policy, inputs: InputSnapshot): ComplianceCommit;
export interface ComplianceResult {
    ok: boolean;
    reason?: string;
    attribution?: "KID_LEVEL" | "AGENT_BOUND";
    policyVerdict?: "ALLOW" | "DENY";
    ruleFired?: string | null;
}
export interface VerifyComplianceOptions {
    keyring?: Uint8Array | string;
    identityManifest?: Uint8Array | string;
}
export declare function verifyReceiptCompliance(receipt: Uint8Array | string, policy: Uint8Array | string, inputs: Uint8Array | string, opts?: VerifyComplianceOptions): ComplianceResult;