import { z } from "zod";
/** A frame by its stack and its position on it. `depth` counts from the
 *  end of the stack, 0 the last frame; `scope` is the nearest frame of
 *  that scope name from the end. Neither means the frame the stop
 *  shows. */
export declare const frameAddressSchema: z.ZodUnion<readonly [z.ZodObject<{
    branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    depth: z.ZodOptional<z.ZodNumber>;
}, z.core.$strict>, z.ZodObject<{
    branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    scope: z.ZodString;
}, z.core.$strict>]>;
/** A thread by id, by label, or the active one. */
export declare const threadAddressSchema: z.ZodUnion<readonly [z.ZodObject<{
    id: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    label: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    active: z.ZodLiteral<true>;
}, z.core.$strict>]>;
/** A branch by its key path from the root, or by a key alone when it
 *  is unique. */
export declare const branchAddressSchema: z.ZodUnion<readonly [z.ZodObject<{
    path: z.ZodArray<z.ZodString>;
}, z.core.$strict>, z.ZodObject<{
    key: z.ZodString;
}, z.core.$strict>]>;
/** A guard by label, or by its index in the guards pane. */
export declare const guardAddressSchema: z.ZodUnion<readonly [z.ZodObject<{
    label: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    index: z.ZodNumber;
}, z.core.$strict>]>;
export type FrameAddress = z.infer<typeof frameAddressSchema>;
export type ThreadAddress = z.infer<typeof threadAddressSchema>;
export type BranchAddress = z.infer<typeof branchAddressSchema>;
export type GuardAddress = z.infer<typeof guardAddressSchema>;
/** The edits a checkpoint takes, each named for what a person wants.
 *  An omitted address means the stop's own: the frame the stop shows,
 *  the active thread, the nearest tool loop above the stop. */
export declare const checkpointEditSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    op: z.ZodLiteral<"appendMessage">;
    thread: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        label: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        active: z.ZodLiteral<true>;
    }, z.core.$strict>]>>;
    role: z.ZodOptional<z.ZodEnum<{
        user: "user";
        assistant: "assistant";
    }>>;
    text: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"removeTool">;
    loop: z.ZodOptional<z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    }, z.core.$strict>>;
    tool: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setGuard">;
    guard: z.ZodUnion<readonly [z.ZodObject<{
        label: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        index: z.ZodNumber;
    }, z.core.$strict>]>;
    branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    limit: z.ZodOptional<z.ZodNumber>;
    disarmed: z.ZodOptional<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setLocal">;
    frame: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        depth: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strict>, z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        scope: z.ZodString;
    }, z.core.$strict>]>>;
    name: z.ZodString;
    value: z.ZodUnknown;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setBranchResult">;
    branch: z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodArray<z.ZodString>;
    }, z.core.$strict>, z.ZodObject<{
        key: z.ZodString;
    }, z.core.$strict>]>;
    value: z.ZodUnknown;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setArg">;
    frame: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        depth: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strict>, z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        scope: z.ZodString;
    }, z.core.$strict>]>>;
    name: z.ZodString;
    value: z.ZodUnknown;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setGlobal">;
    module: z.ZodOptional<z.ZodString>;
    branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    name: z.ZodString;
    value: z.ZodUnknown;
}, z.core.$strict>], "op">;
export declare const checkpointEditsSchema: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
    op: z.ZodLiteral<"appendMessage">;
    thread: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
        id: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        label: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        active: z.ZodLiteral<true>;
    }, z.core.$strict>]>>;
    role: z.ZodOptional<z.ZodEnum<{
        user: "user";
        assistant: "assistant";
    }>>;
    text: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"removeTool">;
    loop: z.ZodOptional<z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    }, z.core.$strict>>;
    tool: z.ZodString;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setGuard">;
    guard: z.ZodUnion<readonly [z.ZodObject<{
        label: z.ZodString;
    }, z.core.$strict>, z.ZodObject<{
        index: z.ZodNumber;
    }, z.core.$strict>]>;
    branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    limit: z.ZodOptional<z.ZodNumber>;
    disarmed: z.ZodOptional<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setLocal">;
    frame: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        depth: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strict>, z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        scope: z.ZodString;
    }, z.core.$strict>]>>;
    name: z.ZodString;
    value: z.ZodUnknown;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setBranchResult">;
    branch: z.ZodUnion<readonly [z.ZodObject<{
        path: z.ZodArray<z.ZodString>;
    }, z.core.$strict>, z.ZodObject<{
        key: z.ZodString;
    }, z.core.$strict>]>;
    value: z.ZodUnknown;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setArg">;
    frame: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        depth: z.ZodOptional<z.ZodNumber>;
    }, z.core.$strict>, z.ZodObject<{
        branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
        scope: z.ZodString;
    }, z.core.$strict>]>>;
    name: z.ZodString;
    value: z.ZodUnknown;
}, z.core.$strict>, z.ZodObject<{
    op: z.ZodLiteral<"setGlobal">;
    module: z.ZodOptional<z.ZodString>;
    branchPath: z.ZodOptional<z.ZodArray<z.ZodString>>;
    name: z.ZodString;
    value: z.ZodUnknown;
}, z.core.$strict>], "op">>;
export type CheckpointEdit = z.infer<typeof checkpointEditSchema>;
/** Why an edit, an address, or a patched checkpoint was refused. One
 *  shape for the whole directory. */
export type Refusal = {
    refused: string;
};
export declare function isRefusal<T>(value: T | Refusal): value is Refusal;