import { z } from "zod";
export declare const LoopContextSchema: z.ZodEnum<{
    continue: "continue";
    fresh: "fresh";
}>;
export type LoopContext = z.infer<typeof LoopContextSchema>;
export declare const LoopOutputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"none">;
}, z.core.$strip>, z.ZodObject<{
    kind: z.ZodLiteral<"claim">;
}, z.core.$strip>, z.ZodObject<{
    kind: z.ZodLiteral<"json">;
    fields: z.ZodArray<z.ZodObject<{
        name: z.ZodString;
        type: z.ZodEnum<{
            boolean: "boolean";
            number: "number";
            string: "string";
            "string[]": "string[]";
        }>;
        description: z.ZodString;
        required: z.ZodBoolean;
    }, z.core.$strip>>;
}, z.core.$strip>], "kind">;
export type LoopOutput = z.infer<typeof LoopOutputSchema>;
export declare const LoopCheckSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"command">;
    command: z.ZodString;
}, z.core.$strip>, z.ZodObject<{
    kind: z.ZodLiteral<"judge">;
    rubric: z.ZodString;
    model: z.ZodOptional<z.ZodString>;
}, z.core.$strip>], "kind">;
export type LoopCheck = z.infer<typeof LoopCheckSchema>;
export declare const LoopDocumentSchema: z.ZodObject<{
    done: z.ZodBoolean;
    reason: z.ZodString;
    evidence: z.ZodOptional<z.ZodString>;
    data: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strip>;
export type LoopDocument = z.infer<typeof LoopDocumentSchema>;
export declare const LoopSchema: z.ZodObject<{
    conversationId: z.ZodString;
    goal: z.ZodString;
    prompt: z.ZodString;
    context: z.ZodEnum<{
        continue: "continue";
        fresh: "fresh";
    }>;
    output: z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"none">;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"claim">;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"json">;
        fields: z.ZodArray<z.ZodObject<{
            name: z.ZodString;
            type: z.ZodEnum<{
                boolean: "boolean";
                number: "number";
                string: "string";
                "string[]": "string[]";
            }>;
            description: z.ZodString;
            required: z.ZodBoolean;
        }, z.core.$strip>>;
    }, z.core.$strip>], "kind">;
    checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"command">;
        command: z.ZodString;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"judge">;
        rubric: z.ZodString;
        model: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>], "kind">>;
    maxIterations: z.ZodNumber;
    maxSpendUsd: z.ZodOptional<z.ZodNumber>;
    stallLimit: z.ZodNumber;
    isolated: z.ZodBoolean;
    agent: z.ZodOptional<z.ZodString>;
    harness: z.ZodOptional<z.ZodEnum<{
        "claude-code": "claude-code";
        codex: "codex";
        muse: "muse";
        native: "native";
        opencode: "opencode";
        pi: "pi";
        vendor: "vendor";
    }>>;
    account: z.ZodOptional<z.ZodString>;
    model: z.ZodOptional<z.ZodString>;
    actsAs: z.ZodOptional<z.ZodString>;
    worktreeBase: z.ZodOptional<z.ZodArray<z.ZodObject<{
        repo: z.ZodString;
        base: z.ZodString;
    }, z.core.$strip>>>;
    autoLand: z.ZodOptional<z.ZodBoolean>;
}, z.core.$strip>;
export type Loop = z.infer<typeof LoopSchema>;
export declare const loopCanConverge: (loop: Pick<Loop, "output" | "checks">) => boolean;
export declare const LOOP_DIR = ".intentic/records/artifacts/loops";
export declare const LoopIterationSchema: z.ZodObject<{
    n: z.ZodNumber;
    at: z.ZodNumber;
    outcome: z.ZodEnum<{
        continue: "continue";
        done: "done";
        error: "error";
    }>;
    detail: z.ZodOptional<z.ZodString>;
    costUsd: z.ZodOptional<z.ZodNumber>;
    changed: z.ZodBoolean;
    sessionId: z.ZodOptional<z.ZodString>;
}, z.core.$strip>;
export type LoopIteration = z.infer<typeof LoopIterationSchema>;
export declare const LoopStateSchema: z.ZodEnum<{
    done: "done";
    error: "error";
    exhausted: "exhausted";
    overspent: "overspent";
    running: "running";
    stalled: "stalled";
    stopped: "stopped";
    unpriced: "unpriced";
}>;
export type LoopState = z.infer<typeof LoopStateSchema>;
export declare const LoopRecordSchema: z.ZodObject<{
    conversationId: z.ZodString;
    goal: z.ZodString;
    prompt: z.ZodString;
    context: z.ZodEnum<{
        continue: "continue";
        fresh: "fresh";
    }>;
    output: z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"none">;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"claim">;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"json">;
        fields: z.ZodArray<z.ZodObject<{
            name: z.ZodString;
            type: z.ZodEnum<{
                boolean: "boolean";
                number: "number";
                string: "string";
                "string[]": "string[]";
            }>;
            description: z.ZodString;
            required: z.ZodBoolean;
        }, z.core.$strip>>;
    }, z.core.$strip>], "kind">;
    checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"command">;
        command: z.ZodString;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"judge">;
        rubric: z.ZodString;
        model: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>], "kind">>;
    maxIterations: z.ZodNumber;
    maxSpendUsd: z.ZodOptional<z.ZodNumber>;
    stallLimit: z.ZodNumber;
    isolated: z.ZodBoolean;
    agent: z.ZodOptional<z.ZodString>;
    harness: z.ZodOptional<z.ZodEnum<{
        "claude-code": "claude-code";
        codex: "codex";
        muse: "muse";
        native: "native";
        opencode: "opencode";
        pi: "pi";
        vendor: "vendor";
    }>>;
    account: z.ZodOptional<z.ZodString>;
    model: z.ZodOptional<z.ZodString>;
    actsAs: z.ZodOptional<z.ZodString>;
    worktreeBase: z.ZodOptional<z.ZodArray<z.ZodObject<{
        repo: z.ZodString;
        base: z.ZodString;
    }, z.core.$strip>>>;
    autoLand: z.ZodOptional<z.ZodBoolean>;
    state: z.ZodEnum<{
        done: "done";
        error: "error";
        exhausted: "exhausted";
        overspent: "overspent";
        running: "running";
        stalled: "stalled";
        stopped: "stopped";
        unpriced: "unpriced";
    }>;
    startedAt: z.ZodNumber;
    endedAt: z.ZodOptional<z.ZodNumber>;
    resumed: z.ZodNumber;
    detail: z.ZodOptional<z.ZodString>;
    iterations: z.ZodArray<z.ZodObject<{
        n: z.ZodNumber;
        at: z.ZodNumber;
        outcome: z.ZodEnum<{
            continue: "continue";
            done: "done";
            error: "error";
        }>;
        detail: z.ZodOptional<z.ZodString>;
        costUsd: z.ZodOptional<z.ZodNumber>;
        changed: z.ZodBoolean;
        sessionId: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>>;
}, z.core.$strip>;
export type LoopRecord = z.infer<typeof LoopRecordSchema>;
export declare const LoopsListSchema: z.ZodObject<{
    loops: z.ZodArray<z.ZodObject<{
        conversationId: z.ZodString;
        goal: z.ZodString;
        prompt: z.ZodString;
        context: z.ZodEnum<{
            continue: "continue";
            fresh: "fresh";
        }>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"none">;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"claim">;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"json">;
            fields: z.ZodArray<z.ZodObject<{
                name: z.ZodString;
                type: z.ZodEnum<{
                    boolean: "boolean";
                    number: "number";
                    string: "string";
                    "string[]": "string[]";
                }>;
                description: z.ZodString;
                required: z.ZodBoolean;
            }, z.core.$strip>>;
        }, z.core.$strip>], "kind">;
        checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"command">;
            command: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"judge">;
            rubric: z.ZodString;
            model: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>], "kind">>;
        maxIterations: z.ZodNumber;
        maxSpendUsd: z.ZodOptional<z.ZodNumber>;
        stallLimit: z.ZodNumber;
        isolated: z.ZodBoolean;
        agent: z.ZodOptional<z.ZodString>;
        harness: z.ZodOptional<z.ZodEnum<{
            "claude-code": "claude-code";
            codex: "codex";
            muse: "muse";
            native: "native";
            opencode: "opencode";
            pi: "pi";
            vendor: "vendor";
        }>>;
        account: z.ZodOptional<z.ZodString>;
        model: z.ZodOptional<z.ZodString>;
        actsAs: z.ZodOptional<z.ZodString>;
        worktreeBase: z.ZodOptional<z.ZodArray<z.ZodObject<{
            repo: z.ZodString;
            base: z.ZodString;
        }, z.core.$strip>>>;
        autoLand: z.ZodOptional<z.ZodBoolean>;
        state: z.ZodEnum<{
            done: "done";
            error: "error";
            exhausted: "exhausted";
            overspent: "overspent";
            running: "running";
            stalled: "stalled";
            stopped: "stopped";
            unpriced: "unpriced";
        }>;
        startedAt: z.ZodNumber;
        endedAt: z.ZodOptional<z.ZodNumber>;
        resumed: z.ZodNumber;
        detail: z.ZodOptional<z.ZodString>;
        iterations: z.ZodArray<z.ZodObject<{
            n: z.ZodNumber;
            at: z.ZodNumber;
            outcome: z.ZodEnum<{
                continue: "continue";
                done: "done";
                error: "error";
            }>;
            detail: z.ZodOptional<z.ZodString>;
            costUsd: z.ZodOptional<z.ZodNumber>;
            changed: z.ZodBoolean;
            sessionId: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>>;
    }, z.core.$strip>>;
}, z.core.$strip>;
export declare const LoopIdParamSchema: z.ZodObject<{
    conversationId: z.ZodString;
}, z.core.$strip>;
export declare const LoopDesignSchema: z.ZodObject<{
    id: z.ZodString;
    name: z.ZodString;
    description: z.ZodOptional<z.ZodString>;
    prompt: z.ZodOptional<z.ZodString>;
    context: z.ZodEnum<{
        continue: "continue";
        fresh: "fresh";
    }>;
    output: z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"none">;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"claim">;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"json">;
        fields: z.ZodArray<z.ZodObject<{
            name: z.ZodString;
            type: z.ZodEnum<{
                boolean: "boolean";
                number: "number";
                string: "string";
                "string[]": "string[]";
            }>;
            description: z.ZodString;
            required: z.ZodBoolean;
        }, z.core.$strip>>;
    }, z.core.$strip>], "kind">;
    checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"command">;
        command: z.ZodString;
    }, z.core.$strip>, z.ZodObject<{
        kind: z.ZodLiteral<"judge">;
        rubric: z.ZodString;
        model: z.ZodOptional<z.ZodString>;
    }, z.core.$strip>], "kind">>;
    maxIterations: z.ZodNumber;
    maxSpendUsd: z.ZodOptional<z.ZodNumber>;
    stallLimit: z.ZodNumber;
}, z.core.$strip>;
export type LoopDesign = z.infer<typeof LoopDesignSchema>;
export declare const LoopDesignsListSchema: z.ZodObject<{
    designs: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        description: z.ZodOptional<z.ZodString>;
        prompt: z.ZodOptional<z.ZodString>;
        context: z.ZodEnum<{
            continue: "continue";
            fresh: "fresh";
        }>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"none">;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"claim">;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"json">;
            fields: z.ZodArray<z.ZodObject<{
                name: z.ZodString;
                type: z.ZodEnum<{
                    boolean: "boolean";
                    number: "number";
                    string: "string";
                    "string[]": "string[]";
                }>;
                description: z.ZodString;
                required: z.ZodBoolean;
            }, z.core.$strip>>;
        }, z.core.$strip>], "kind">;
        checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"command">;
            command: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"judge">;
            rubric: z.ZodString;
            model: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>], "kind">>;
        maxIterations: z.ZodNumber;
        maxSpendUsd: z.ZodOptional<z.ZodNumber>;
        stallLimit: z.ZodNumber;
    }, z.core.$strip>>;
}, z.core.$strip>;
export declare const LoopDesignSaveSchema: z.ZodObject<{
    design: z.ZodObject<{
        id: z.ZodString;
        name: z.ZodString;
        description: z.ZodOptional<z.ZodString>;
        prompt: z.ZodOptional<z.ZodString>;
        context: z.ZodEnum<{
            continue: "continue";
            fresh: "fresh";
        }>;
        output: z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"none">;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"claim">;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"json">;
            fields: z.ZodArray<z.ZodObject<{
                name: z.ZodString;
                type: z.ZodEnum<{
                    boolean: "boolean";
                    number: "number";
                    string: "string";
                    "string[]": "string[]";
                }>;
                description: z.ZodString;
                required: z.ZodBoolean;
            }, z.core.$strip>>;
        }, z.core.$strip>], "kind">;
        checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"command">;
            command: z.ZodString;
        }, z.core.$strip>, z.ZodObject<{
            kind: z.ZodLiteral<"judge">;
            rubric: z.ZodString;
            model: z.ZodOptional<z.ZodString>;
        }, z.core.$strip>], "kind">>;
        maxIterations: z.ZodNumber;
        maxSpendUsd: z.ZodOptional<z.ZodNumber>;
        stallLimit: z.ZodNumber;
    }, z.core.$strip>;
    create: z.ZodBoolean;
}, z.core.$strip>;
export declare const LoopDesignIdParamSchema: z.ZodObject<{
    id: z.ZodString;
}, z.core.$strip>;
export declare const loopFromDesign: (design: LoopDesign, aim: {
    conversationId: string;
    goal: string;
    isolated: boolean;
}) => Loop;
export declare const loopDesignLine: (design: LoopDesign) => string;
//# sourceMappingURL=loops.d.ts.map