import { z } from 'zod';
export declare const TraceInputSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    action: z.ZodLiteral<"contract">;
}, z.core.$strict>, z.ZodObject<{
    action: z.ZodLiteral<"start">;
    mode: z.ZodEnum<{
        auto: "auto";
        manual: "manual";
    }>;
    seconds: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
    label: z.ZodOptional<z.ZodString>;
    outputDir: z.ZodOptional<z.ZodString>;
    rememberOutputDir: z.ZodOptional<z.ZodPreprocess<z.ZodBoolean, unknown>>;
}, z.core.$strict>, z.ZodObject<{
    action: z.ZodLiteral<"stop">;
}, z.core.$strict>, z.ZodObject<{
    action: z.ZodLiteral<"status">;
}, z.core.$strict>, z.ZodObject<{
    action: z.ZodLiteral<"analyze">;
    file: z.ZodOptional<z.ZodString>;
    focus: z.ZodOptional<z.ZodPreprocess<z.ZodArray<z.ZodString>, unknown>>;
    pid: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
    scope: z.ZodOptional<z.ZodEnum<{
        subtree: "subtree";
        thread: "thread";
    }>>;
    top: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
    waitSeconds: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
}, z.core.$strict>, z.ZodObject<{
    action: z.ZodLiteral<"delete">;
    file: z.ZodString;
}, z.core.$strict>], "action">;
export type TraceInput = z.infer<typeof TraceInputSchema>;
export declare function traceContract(): {
    inputSchema: z.core.ZodStandardJSONSchemaPayload<z.ZodDiscriminatedUnion<[z.ZodObject<{
        action: z.ZodLiteral<"contract">;
    }, z.core.$strict>, z.ZodObject<{
        action: z.ZodLiteral<"start">;
        mode: z.ZodEnum<{
            auto: "auto";
            manual: "manual";
        }>;
        seconds: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
        label: z.ZodOptional<z.ZodString>;
        outputDir: z.ZodOptional<z.ZodString>;
        rememberOutputDir: z.ZodOptional<z.ZodPreprocess<z.ZodBoolean, unknown>>;
    }, z.core.$strict>, z.ZodObject<{
        action: z.ZodLiteral<"stop">;
    }, z.core.$strict>, z.ZodObject<{
        action: z.ZodLiteral<"status">;
    }, z.core.$strict>, z.ZodObject<{
        action: z.ZodLiteral<"analyze">;
        file: z.ZodOptional<z.ZodString>;
        focus: z.ZodOptional<z.ZodPreprocess<z.ZodArray<z.ZodString>, unknown>>;
        pid: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
        scope: z.ZodOptional<z.ZodEnum<{
            subtree: "subtree";
            thread: "thread";
        }>>;
        top: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
        waitSeconds: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
    }, z.core.$strict>, z.ZodObject<{
        action: z.ZodLiteral<"delete">;
        file: z.ZodString;
    }, z.core.$strict>], "action">>;
    rules: string[];
    examples: ({
        action: string;
        mode: string;
        seconds: number;
        label: string;
        focus?: undefined;
        top?: undefined;
    } | {
        mode?: undefined;
        seconds?: undefined;
        label?: undefined;
        action: string;
        focus: string[];
        top: number;
    })[];
};
//# sourceMappingURL=contract.d.ts.map