export interface ProveFixInput {
    diff: string;
    bug?: string;
    scenario?: string;
    sandbox_id?: string;
    path?: string;
    timeout_s?: number;
}
export declare const proveFixTool: {
    readonly name: "prove_fix";
    readonly description: string;
    readonly inputSchema: {
        readonly type: "object";
        readonly properties: {
            readonly diff: {
                readonly type: "string";
                readonly description: "The unified diff returned by fix_bug.";
            };
            readonly bug: {
                readonly type: "string";
                readonly description: "The finding being fixed — used to select FetchSandbox's scenario.";
            };
            readonly scenario: {
                readonly type: "string";
                readonly description: "OPTIONAL. Explicit scenario id, if known.";
            };
            readonly sandbox_id: {
                readonly type: "string";
                readonly description: string;
            };
            readonly path: {
                readonly type: "string";
                readonly description: string;
            };
            readonly timeout_s: {
                readonly type: "number";
                readonly description: "OPTIONAL. Budget in seconds (default 300).";
            };
        };
        readonly required: readonly ["diff"];
        readonly additionalProperties: false;
    };
};
export declare function runProveFix(input: ProveFixInput): Promise<{
    green_allowed: boolean;
    state?: string;
    reproduced?: boolean;
    verified?: boolean;
    reason?: string;
    /**
     * Why we could not recreate and run the app, in words for the developer.
     * Declared or tsc drops it.
     */
    cannot_run?: string;
    /**
     * The backend's instruction to the AGENT reading this result — the lever that
     * stops an autonomous agent writing its own ungated harness and reporting a
     * false green. The backend has always sent it. Until 2026-09-12 this type and
     * the return below both omitted it, so it was dropped at the client and no
     * agent ever saw it.
     */
    agent_guidance?: string;
    scenario?: unknown;
    receipt_url?: string;
    engine: string;
    /** Backend-authored text addressed to the HUMAN. Declared or tsc drops it. */
    message_for_user?: string;
}>;