Variable ModelConfigFileSchemaConst

ModelConfigFileSchema: ZodObject<
    {
        default: ZodObject<
            {
                description: ZodOptional<ZodString>;
                options: ZodOptional<
                    ZodObject<
                        {
                            maxTokens: ZodOptional<ZodNumber>;
                            reasoningEffort: ZodOptional<
                                ZodEnum<["none", "minimal", "low", "medium", "high", "xhigh"]>,
                            >;
                            temperature: ZodOptional<ZodNumber>;
                            thinking: ZodOptional<
                                ZodObject<
                                    { budgetTokens: ZodOptional<(...)>; type: ZodEnum<(...)> },
                                    "strip",
                                    ZodTypeAny,
                                    { budgetTokens?: (...) | (...); type: (...) | (...) },
                                    { budgetTokens?: (...) | (...); type: (...) | (...) },
                                >,
                            >;
                            topP: ZodOptional<ZodNumber>;
                        },
                        "passthrough",
                        ZodTypeAny,
                        objectOutputType<
                            {
                                maxTokens: ZodOptional<ZodNumber>;
                                reasoningEffort: ZodOptional<
                                    ZodEnum<[(...), (...), (...), (...), (...), (...)]>,
                                >;
                                temperature: ZodOptional<ZodNumber>;
                                thinking: ZodOptional<
                                    ZodObject<
                                        { budgetTokens: ...; type: ... },
                                        "strip",
                                        ZodTypeAny,
                                        { budgetTokens?: ...; type: ... },
                                        { budgetTokens?: ...; type: ... },
                                    >,
                                >;
                                topP: ZodOptional<ZodNumber>;
                            },
                            ZodTypeAny,
                            "passthrough",
                        >,
                        objectInputType<
                            {
                                maxTokens: ZodOptional<ZodNumber>;
                                reasoningEffort: ZodOptional<
                                    ZodEnum<[(...), (...), (...), (...), (...), (...)]>,
                                >;
                                temperature: ZodOptional<ZodNumber>;
                                thinking: ZodOptional<
                                    ZodObject<
                                        { budgetTokens: ...; type: ... },
                                        "strip",
                                        ZodTypeAny,
                                        { budgetTokens?: ...; type: ... },
                                        { budgetTokens?: ...; type: ... },
                                    >,
                                >;
                                topP: ZodOptional<ZodNumber>;
                            },
                            ZodTypeAny,
                            "passthrough",
                        >,
                    >,
                >;
                ref: ZodObject<
                    {
                        model: ZodString;
                        provider: ZodString;
                        subProvider: ZodOptional<ZodString>;
                    },
                    "strip",
                    ZodTypeAny,
                    { model: string; provider: string; subProvider?: string },
                    { model: string; provider: string; subProvider?: string },
                >;
            },
            "strip",
            ZodTypeAny,
            {
                description?: string;
                options?: objectOutputType<
                    {
                        maxTokens: ZodOptional<ZodNumber>;
                        reasoningEffort: ZodOptional<
                            ZodEnum<["none", "minimal", "low", "medium", "high", "xhigh"]>,
                        >;
                        temperature: ZodOptional<ZodNumber>;
                        thinking: ZodOptional<
                            ZodObject<
                                { budgetTokens: ZodOptional<(...)>; type: ZodEnum<(...)> },
                                "strip",
                                ZodTypeAny,
                                { budgetTokens?: (...) | (...); type: (...) | (...) },
                                { budgetTokens?: (...) | (...); type: (...) | (...) },
                            >,
                        >;
                        topP: ZodOptional<ZodNumber>;
                    },
                    ZodTypeAny,
                    "passthrough",
                >;
                ref: { model: string; provider: string; subProvider?: string };
            },
            {
                description?: string;
                options?: objectInputType<
                    {
                        maxTokens: ZodOptional<ZodNumber>;
                        reasoningEffort: ZodOptional<
                            ZodEnum<["none", "minimal", "low", "medium", "high", "xhigh"]>,
                        >;
                        temperature: ZodOptional<ZodNumber>;
                        thinking: ZodOptional<
                            ZodObject<
                                { budgetTokens: ZodOptional<(...)>; type: ZodEnum<(...)> },
                                "strip",
                                ZodTypeAny,
                                { budgetTokens?: (...) | (...); type: (...) | (...) },
                                { budgetTokens?: (...) | (...); type: (...) | (...) },
                            >,
                        >;
                        topP: ZodOptional<ZodNumber>;
                    },
                    ZodTypeAny,
                    "passthrough",
                >;
                ref: { model: string; provider: string; subProvider?: string };
            },
        >;
        lastUpdated: ZodNumber;
        subStages: ZodOptional<
            ZodRecord<
                ZodEnum<
                    [
                        "plan-research",
                        "plan-blueprint",
                        "plan-critique",
                        "apply-slicing",
                        "apply-codegen",
                        "apply-debug",
                        "unify-diff-analysis",
                        "unify-verification",
                        "unify-documentation",
                    ],
                >,
                ZodObject<
                    {
                        description: ZodOptional<ZodString>;
                        options: ZodOptional<
                            ZodObject<
                                {
                                    maxTokens: ZodOptional<ZodNumber>;
                                    reasoningEffort: ZodOptional<ZodEnum<(...)>>;
                                    temperature: ZodOptional<ZodNumber>;
                                    thinking: ZodOptional<ZodObject<(...), (...), (...), (...), (...)>>;
                                    topP: ZodOptional<ZodNumber>;
                                },
                                "passthrough",
                                ZodTypeAny,
                                objectOutputType<
                                    {
                                        maxTokens: ZodOptional<(...)>;
                                        reasoningEffort: ZodOptional<(...)>;
                                        temperature: ZodOptional<(...)>;
                                        thinking: ZodOptional<(...)>;
                                        topP: ZodOptional<(...)>;
                                    },
                                    ZodTypeAny,
                                    "passthrough",
                                >,
                                objectInputType<
                                    {
                                        maxTokens: ZodOptional<(...)>;
                                        reasoningEffort: ZodOptional<(...)>;
                                        temperature: ZodOptional<(...)>;
                                        thinking: ZodOptional<(...)>;
                                        topP: ZodOptional<(...)>;
                                    },
                                    ZodTypeAny,
                                    "passthrough",
                                >,
                            >,
                        >;
                        ref: ZodObject<
                            {
                                model: ZodString;
                                provider: ZodString;
                                subProvider: ZodOptional<ZodString>;
                            },
                            "strip",
                            ZodTypeAny,
                            { model: string; provider: string; subProvider?: string },
                            { model: string; provider: string; subProvider?: string },
                        >;
                    },
                    "strip",
                    ZodTypeAny,
                    {
                        description?: string;
                        options?: objectOutputType<
                            {
                                maxTokens: ZodOptional<ZodNumber>;
                                reasoningEffort: ZodOptional<ZodEnum<(...)>>;
                                temperature: ZodOptional<ZodNumber>;
                                thinking: ZodOptional<ZodObject<(...), (...), (...), (...), (...)>>;
                                topP: ZodOptional<ZodNumber>;
                            },
                            ZodTypeAny,
                            "passthrough",
                        >;
                        ref: { model: string; provider: string; subProvider?: string };
                    },
                    {
                        description?: string;
                        options?: objectInputType<
                            {
                                maxTokens: ZodOptional<ZodNumber>;
                                reasoningEffort: ZodOptional<ZodEnum<(...)>>;
                                temperature: ZodOptional<ZodNumber>;
                                thinking: ZodOptional<ZodObject<(...), (...), (...), (...), (...)>>;
                                topP: ZodOptional<ZodNumber>;
                            },
                            ZodTypeAny,
                            "passthrough",
                        >;
                        ref: { model: string; provider: string; subProvider?: string };
                    },
                >,
            >,
        >;
        version: ZodLiteral<"1.0">;
    },
    "strip",
    ZodTypeAny,
    {
        default: {
            description?: string;
            options?: objectOutputType<
                {
                    maxTokens: ZodOptional<ZodNumber>;
                    reasoningEffort: ZodOptional<
                        ZodEnum<["none", "minimal", "low", "medium", "high", "xhigh"]>,
                    >;
                    temperature: ZodOptional<ZodNumber>;
                    thinking: ZodOptional<
                        ZodObject<
                            {
                                budgetTokens: ZodOptional<ZodNumber>;
                                type: ZodEnum<[(...), (...)]>;
                            },
                            "strip",
                            ZodTypeAny,
                            { budgetTokens?: number; type: "enabled"
                            | "disabled" },
                            { budgetTokens?: number; type: "enabled" | "disabled" },
                        >,
                    >;
                    topP: ZodOptional<ZodNumber>;
                },
                ZodTypeAny,
                "passthrough",
            >;
            ref: { model: string; provider: string; subProvider?: string };
        };
        lastUpdated: number;
        subStages?: Partial<
            Record<
                | "plan-research"
                | "plan-blueprint"
                | "plan-critique"
                | "apply-slicing"
                | "apply-codegen"
                | "apply-debug"
                | "unify-diff-analysis"
                | "unify-verification"
                | "unify-documentation",
                {
                    description?: string;
                    options?: objectOutputType<
                        {
                            maxTokens: ZodOptional<ZodNumber>;
                            reasoningEffort: ZodOptional<ZodEnum<(...)>>;
                            temperature: ZodOptional<ZodNumber>;
                            thinking: ZodOptional<ZodObject<(...), (...), (...), (...), (...)>>;
                            topP: ZodOptional<ZodNumber>;
                        },
                        ZodTypeAny,
                        "passthrough",
                    >;
                    ref: { model: string; provider: string; subProvider?: string };
                },
            >,
        >;
        version: "1.0";
    },
    {
        default: {
            description?: string;
            options?: objectInputType<
                {
                    maxTokens: ZodOptional<ZodNumber>;
                    reasoningEffort: ZodOptional<
                        ZodEnum<["none", "minimal", "low", "medium", "high", "xhigh"]>,
                    >;
                    temperature: ZodOptional<ZodNumber>;
                    thinking: ZodOptional<
                        ZodObject<
                            {
                                budgetTokens: ZodOptional<ZodNumber>;
                                type: ZodEnum<[(...), (...)]>;
                            },
                            "strip",
                            ZodTypeAny,
                            { budgetTokens?: number; type: "enabled"
                            | "disabled" },
                            { budgetTokens?: number; type: "enabled" | "disabled" },
                        >,
                    >;
                    topP: ZodOptional<ZodNumber>;
                },
                ZodTypeAny,
                "passthrough",
            >;
            ref: { model: string; provider: string; subProvider?: string };
        };
        lastUpdated: number;
        subStages?: Partial<
            Record<
                | "plan-research"
                | "plan-blueprint"
                | "plan-critique"
                | "apply-slicing"
                | "apply-codegen"
                | "apply-debug"
                | "unify-diff-analysis"
                | "unify-verification"
                | "unify-documentation",
                {
                    description?: string;
                    options?: objectInputType<
                        {
                            maxTokens: ZodOptional<ZodNumber>;
                            reasoningEffort: ZodOptional<ZodEnum<(...)>>;
                            temperature: ZodOptional<ZodNumber>;
                            thinking: ZodOptional<ZodObject<(...), (...), (...), (...), (...)>>;
                            topP: ZodOptional<ZodNumber>;
                        },
                        ZodTypeAny,
                        "passthrough",
                    >;
                    ref: { model: string; provider: string; subProvider?: string };
                },
            >,
        >;
        version: "1.0";
    },
> = ...