import { z } from 'zod';
export declare const ContextBudgetSchema: z.ZodObject<{
    schemaVersion: z.ZodDefault<z.ZodString>;
    model: z.ZodObject<{
        name: z.ZodDefault<z.ZodString>;
        contextWindowTokens: z.ZodDefault<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        name: string;
        contextWindowTokens: number;
    }, {
        name?: string | undefined;
        contextWindowTokens?: number | undefined;
    }>;
    budgets: z.ZodObject<{
        maxHotPathInputTokens: z.ZodDefault<z.ZodNumber>;
        reservedOutputTokens: z.ZodDefault<z.ZodNumber>;
        reservedToolTokens: z.ZodDefault<z.ZodNumber>;
        reservedSafetyMargin: z.ZodDefault<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        maxHotPathInputTokens: number;
        reservedOutputTokens: number;
        reservedToolTokens: number;
        reservedSafetyMargin: number;
    }, {
        maxHotPathInputTokens?: number | undefined;
        reservedOutputTokens?: number | undefined;
        reservedToolTokens?: number | undefined;
        reservedSafetyMargin?: number | undefined;
    }>;
    thresholds: z.ZodObject<{
        evaluateAt: z.ZodDefault<z.ZodNumber>;
        trimAt: z.ZodDefault<z.ZodNumber>;
        summarizeAt: z.ZodDefault<z.ZodNumber>;
        rollupAt: z.ZodDefault<z.ZodNumber>;
        rolloverAt: z.ZodDefault<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        evaluateAt: number;
        trimAt: number;
        summarizeAt: number;
        rollupAt: number;
        rolloverAt: number;
    }, {
        evaluateAt?: number | undefined;
        trimAt?: number | undefined;
        summarizeAt?: number | undefined;
        rollupAt?: number | undefined;
        rolloverAt?: number | undefined;
    }>;
    current: z.ZodObject<{
        estimatedInputTokens: z.ZodDefault<z.ZodNumber>;
        estimatedOutputNeed: z.ZodDefault<z.ZodNumber>;
        state: z.ZodDefault<z.ZodEnum<["none", "evaluate", "trim", "summarize", "rollup", "rollover"]>>;
    }, "strip", z.ZodTypeAny, {
        estimatedInputTokens: number;
        estimatedOutputNeed: number;
        state: "trim" | "none" | "evaluate" | "summarize" | "rollup" | "rollover";
    }, {
        estimatedInputTokens?: number | undefined;
        estimatedOutputNeed?: number | undefined;
        state?: "trim" | "none" | "evaluate" | "summarize" | "rollup" | "rollover" | undefined;
    }>;
}, "strip", z.ZodTypeAny, {
    schemaVersion: string;
    model: {
        name: string;
        contextWindowTokens: number;
    };
    budgets: {
        maxHotPathInputTokens: number;
        reservedOutputTokens: number;
        reservedToolTokens: number;
        reservedSafetyMargin: number;
    };
    thresholds: {
        evaluateAt: number;
        trimAt: number;
        summarizeAt: number;
        rollupAt: number;
        rolloverAt: number;
    };
    current: {
        estimatedInputTokens: number;
        estimatedOutputNeed: number;
        state: "trim" | "none" | "evaluate" | "summarize" | "rollup" | "rollover";
    };
}, {
    model: {
        name?: string | undefined;
        contextWindowTokens?: number | undefined;
    };
    budgets: {
        maxHotPathInputTokens?: number | undefined;
        reservedOutputTokens?: number | undefined;
        reservedToolTokens?: number | undefined;
        reservedSafetyMargin?: number | undefined;
    };
    thresholds: {
        evaluateAt?: number | undefined;
        trimAt?: number | undefined;
        summarizeAt?: number | undefined;
        rollupAt?: number | undefined;
        rolloverAt?: number | undefined;
    };
    current: {
        estimatedInputTokens?: number | undefined;
        estimatedOutputNeed?: number | undefined;
        state?: "trim" | "none" | "evaluate" | "summarize" | "rollup" | "rollover" | undefined;
    };
    schemaVersion?: string | undefined;
}>;
export type ContextBudget = z.infer<typeof ContextBudgetSchema>;
//# sourceMappingURL=context-budget.d.ts.map