import { z } from "zod";
export declare const JevReasoningQuerySchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    route: z.ZodLiteral<"hunch_check">;
    state: z.ZodObject<{
        goal: z.ZodString;
        hunch: z.ZodString;
        basis: z.ZodString;
    }, z.core.$strict>;
    willChangeAction: z.ZodBoolean;
    directCheck: z.ZodDiscriminatedUnion<[z.ZodObject<{
        available: z.ZodLiteral<false>;
    }, z.core.$strict>, z.ZodObject<{
        available: z.ZodLiteral<true>;
        action: z.ZodString;
    }, z.core.$strict>], "available">;
    evidenceFresh: z.ZodDefault<z.ZodBoolean>;
    jevCallsAtCrossroad: z.ZodDefault<z.ZodNumber>;
    model: z.ZodOptional<z.ZodString>;
    deliberation: z.ZodOptional<z.ZodObject<{
        observations: z.ZodString;
        uncertainty: z.ZodString;
        strongestCounter: z.ZodOptional<z.ZodString>;
        falsifier: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    context: z.ZodOptional<z.ZodObject<{
        cot: z.ZodOptional<z.ZodString>;
        thinking: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$catchall<z.ZodUnknown>>>;
    goal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    route: z.ZodLiteral<"hypothesis_triage">;
    state: z.ZodObject<{
        goal: z.ZodString;
        evidence: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            source: z.ZodString;
            scope: z.ZodString;
            content: z.ZodString;
        }, z.core.$strict>>;
        hypotheses: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            statement: z.ZodString;
            assumption: z.ZodString;
            predicts: z.ZodArray<z.ZodString>;
            weakenedBy: z.ZodString;
        }, z.core.$strict>>;
        nextChecks: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            action: z.ZodString;
            cost: z.ZodEnum<{
                trivial: "trivial";
                low: "low";
                medium: "medium";
                high: "high";
            }>;
            expectedOutcomes: z.ZodArray<z.ZodObject<{
                observation: z.ZodString;
                effect: z.ZodRecord<z.ZodString, z.ZodEnum<{
                    strengthen: "strengthen";
                    weaken: "weaken";
                    neutral: "neutral";
                }>>;
            }, z.core.$strict>>;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    willChangeAction: z.ZodBoolean;
    directCheck: z.ZodDiscriminatedUnion<[z.ZodObject<{
        available: z.ZodLiteral<false>;
    }, z.core.$strict>, z.ZodObject<{
        available: z.ZodLiteral<true>;
        action: z.ZodString;
    }, z.core.$strict>], "available">;
    evidenceFresh: z.ZodDefault<z.ZodBoolean>;
    jevCallsAtCrossroad: z.ZodDefault<z.ZodNumber>;
    model: z.ZodOptional<z.ZodString>;
    deliberation: z.ZodOptional<z.ZodObject<{
        observations: z.ZodString;
        uncertainty: z.ZodString;
        strongestCounter: z.ZodOptional<z.ZodString>;
        falsifier: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    context: z.ZodOptional<z.ZodObject<{
        cot: z.ZodOptional<z.ZodString>;
        thinking: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$catchall<z.ZodUnknown>>>;
    goal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    route: z.ZodLiteral<"reflection_delta">;
    state: z.ZodObject<{
        goal: z.ZodString;
        priorLead: z.ZodString;
        hypotheses: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            statement: z.ZodString;
            assumption: z.ZodString;
            predicts: z.ZodArray<z.ZodString>;
            weakenedBy: z.ZodString;
        }, z.core.$strict>>;
        check: z.ZodObject<{
            id: z.ZodString;
            action: z.ZodString;
            cost: z.ZodEnum<{
                trivial: "trivial";
                low: "low";
                medium: "medium";
                high: "high";
            }>;
            expectedOutcomes: z.ZodArray<z.ZodObject<{
                observation: z.ZodString;
                effect: z.ZodRecord<z.ZodString, z.ZodEnum<{
                    strengthen: "strengthen";
                    weaken: "weaken";
                    neutral: "neutral";
                }>>;
            }, z.core.$strict>>;
        }, z.core.$strict>;
        newEvidence: z.ZodObject<{
            id: z.ZodString;
            source: z.ZodString;
            scope: z.ZodString;
            content: z.ZodString;
        }, z.core.$strict>;
    }, z.core.$strict>;
    willChangeAction: z.ZodBoolean;
    directCheck: z.ZodDiscriminatedUnion<[z.ZodObject<{
        available: z.ZodLiteral<false>;
    }, z.core.$strict>, z.ZodObject<{
        available: z.ZodLiteral<true>;
        action: z.ZodString;
    }, z.core.$strict>], "available">;
    evidenceFresh: z.ZodDefault<z.ZodBoolean>;
    jevCallsAtCrossroad: z.ZodDefault<z.ZodNumber>;
    model: z.ZodOptional<z.ZodString>;
    deliberation: z.ZodOptional<z.ZodObject<{
        observations: z.ZodString;
        uncertainty: z.ZodString;
        strongestCounter: z.ZodOptional<z.ZodString>;
        falsifier: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    context: z.ZodOptional<z.ZodObject<{
        cot: z.ZodOptional<z.ZodString>;
        thinking: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$catchall<z.ZodUnknown>>>;
    goal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    route: z.ZodLiteral<"decision_review">;
    state: z.ZodObject<{
        goal: z.ZodString;
        proposal: z.ZodString;
        assumptions: z.ZodArray<z.ZodString>;
        risks: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            description: z.ZodString;
        }, z.core.$strict>>;
        actionCost: z.ZodEnum<{
            trivial: "trivial";
            low: "low";
            medium: "medium";
            high: "high";
        }>;
        difficultToReverse: z.ZodBoolean;
    }, z.core.$strict>;
    willChangeAction: z.ZodBoolean;
    directCheck: z.ZodDiscriminatedUnion<[z.ZodObject<{
        available: z.ZodLiteral<false>;
    }, z.core.$strict>, z.ZodObject<{
        available: z.ZodLiteral<true>;
        action: z.ZodString;
    }, z.core.$strict>], "available">;
    evidenceFresh: z.ZodDefault<z.ZodBoolean>;
    jevCallsAtCrossroad: z.ZodDefault<z.ZodNumber>;
    model: z.ZodOptional<z.ZodString>;
    deliberation: z.ZodOptional<z.ZodObject<{
        observations: z.ZodString;
        uncertainty: z.ZodString;
        strongestCounter: z.ZodOptional<z.ZodString>;
        falsifier: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    context: z.ZodOptional<z.ZodObject<{
        cot: z.ZodOptional<z.ZodString>;
        thinking: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$catchall<z.ZodUnknown>>>;
    goal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    route: z.ZodLiteral<"disputed_inference">;
    state: z.ZodObject<{
        goal: z.ZodString;
        claim: z.ZodString;
        counterclaim: z.ZodString;
        evidence: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            source: z.ZodString;
            scope: z.ZodString;
            content: z.ZodString;
        }, z.core.$strict>>;
        evidenceBases: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            description: z.ZodString;
            evidenceIds: z.ZodArray<z.ZodString>;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    willChangeAction: z.ZodBoolean;
    directCheck: z.ZodDiscriminatedUnion<[z.ZodObject<{
        available: z.ZodLiteral<false>;
    }, z.core.$strict>, z.ZodObject<{
        available: z.ZodLiteral<true>;
        action: z.ZodString;
    }, z.core.$strict>], "available">;
    evidenceFresh: z.ZodDefault<z.ZodBoolean>;
    jevCallsAtCrossroad: z.ZodDefault<z.ZodNumber>;
    model: z.ZodOptional<z.ZodString>;
    deliberation: z.ZodOptional<z.ZodObject<{
        observations: z.ZodString;
        uncertainty: z.ZodString;
        strongestCounter: z.ZodOptional<z.ZodString>;
        falsifier: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    context: z.ZodOptional<z.ZodObject<{
        cot: z.ZodOptional<z.ZodString>;
        thinking: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$catchall<z.ZodUnknown>>>;
    goal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>, z.ZodObject<{
    route: z.ZodLiteral<"hallucination_gate">;
    state: z.ZodObject<{
        goal: z.ZodString;
        claim: z.ZodString;
        claimScope: z.ZodOptional<z.ZodString>;
        evidence: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            source: z.ZodString;
            scope: z.ZodString;
            content: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    willChangeAction: z.ZodBoolean;
    directCheck: z.ZodDiscriminatedUnion<[z.ZodObject<{
        available: z.ZodLiteral<false>;
    }, z.core.$strict>, z.ZodObject<{
        available: z.ZodLiteral<true>;
        action: z.ZodString;
    }, z.core.$strict>], "available">;
    evidenceFresh: z.ZodDefault<z.ZodBoolean>;
    jevCallsAtCrossroad: z.ZodDefault<z.ZodNumber>;
    model: z.ZodOptional<z.ZodString>;
    deliberation: z.ZodOptional<z.ZodObject<{
        observations: z.ZodString;
        uncertainty: z.ZodString;
        strongestCounter: z.ZodOptional<z.ZodString>;
        falsifier: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    context: z.ZodOptional<z.ZodObject<{
        cot: z.ZodOptional<z.ZodString>;
        thinking: z.ZodOptional<z.ZodString>;
        context: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$catchall<z.ZodUnknown>>>;
    goal: z.ZodOptional<z.ZodString>;
    reasoning: z.ZodOptional<z.ZodString>;
    debug: z.ZodDefault<z.ZodBoolean>;
}, z.core.$strict>], "route">;
export type JevReasoningQuery = z.infer<typeof JevReasoningQuerySchema>;
export declare const JevReasoningBulkQuerySchema: z.ZodObject<{
    responseCharOffset: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
    responseCharLength: z.ZodOptional<z.ZodPreprocess<z.ZodNumber, unknown>>;
    responseSnapshot: z.ZodOptional<z.ZodString>;
    queries: z.ZodArray<z.ZodTypeAny<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>>;
}, z.core.$strict>;