import type { TierStep } from './config.js';
import { type StepResult } from './run.js';
export type StepProofVerdict = 'not proven' | 'proven' | 'unproven';
export type StepProofResult = {
    command: string;
    copyBytes?: number;
    detail: string;
    id: string;
    verdict: StepProofVerdict;
};
export type TierProof = {
    ok: boolean;
    results: StepProofResult[];
};
export declare const copyTree: (from: string, to: string) => void;
export type Workspaces = (root: string) => string[];
type ProveRun = (cwd: string, history?: boolean) => (command: string) => Promise<StepResult> | StepResult;
export declare const proveRunner: (cwd: string, history?: boolean) => import('./run.js').AsyncStepRun;
export declare const proveTier: ({ copy, cwd, jobs, runIn, steps, workspaces }: {
    copy?: (from: string, to: string) => void;
    cwd: string;
    jobs?: number;
    runIn?: ProveRun;
    steps: TierStep[];
    workspaces?: Workspaces;
}) => Promise<TierProof>;
export declare const formatProof: (proof: TierProof, tier: string) => string;
export {};