import type { ActiveRun } from "./types.ts";
export type ToolPostconditionStatus = "passed" | "blocked" | "not-applicable";
export interface ToolPostconditionInput {
    cwd: string;
    toolName: string;
    path?: string;
    run?: ActiveRun;
    expected?: "write-file" | "read-file" | "verify-evidence";
}
export interface ToolPostconditionResult {
    status: ToolPostconditionStatus;
    reason: string;
    checks: string[];
}
export declare function evaluateToolPostcondition(input: ToolPostconditionInput): ToolPostconditionResult;