import { type SkillHeadToHeadSummary } from "../benchmark/skillHeadToHead.js"; export declare function proveSkillHeadToHead(options: { codexBin?: string; maxIterations?: number; startIteration?: number; }): Promise<{ success: boolean; finalSummary: SkillHeadToHeadSummary | null; iterations: number; honestStopReason?: string; }>;