import { type Counter, type ProveResult } from './types.js';
export declare const runProve: ({ counters, cwd, exclusiveVia, only, tier }: {
    counters: Counter[];
    cwd: string;
    /** Absent for a library caller: the lock and the raise door are then not proved. */
    exclusiveVia?: string;
    only?: readonly string[];
    tier?: string;
}) => Promise<ProveResult>;