import type { CommandResult, ProofLoopConfig, ProofLoopStep } from './types.js';
export interface ProofLoopInput {
    dryRunResult?: CommandResult;
    finalDryRunResult?: CommandResult;
    buildResult?: CommandResult;
    testResult?: CommandResult;
    regressionResults?: CommandResult[];
    fixAttempts?: number;
    config: ProofLoopConfig;
}
export declare function evaluateProofLoop(input: ProofLoopInput): ProofLoopStep[];
