import { z } from "zod";
import { type ModelDiagnosticRequest, type ModelDiagnosticResult } from "@actuarial-ts/core";
/** Internal builder for the graph's retained-model link. */
export declare function modelDiagnosticSchemaForRun<T extends z.ZodTypeAny>(run: T): z.ZodObject<{
    id: z.ZodEffects<z.ZodString, string, string>;
    version: z.ZodEffects<z.ZodString, string, string>;
    run: T;
    checks: z.ZodArray<z.ZodEnum<["calendar-rank", "factor-correlation", "mack-residuals"]>, "many">;
    policies: z.ZodObject<{
        correlationTies: z.ZodEnum<["retain-approximation", "not-evaluated"]>;
        residualReference: z.ZodLiteral<"volume-weighted-mack">;
    }, "strict", z.ZodTypeAny, {
        correlationTies: "retain-approximation" | "not-evaluated";
        residualReference: "volume-weighted-mack";
    }, {
        correlationTies: "retain-approximation" | "not-evaluated";
        residualReference: "volume-weighted-mack";
    }>;
    limits: z.ZodObject<{
        maximumInputCharacters: z.ZodNumber;
        maximumOrigins: z.ZodNumber;
        maximumCells: z.ZodNumber;
    }, "strict", z.ZodTypeAny, {
        maximumOrigins: number;
        maximumCells: number;
        maximumInputCharacters: number;
    }, {
        maximumOrigins: number;
        maximumCells: number;
        maximumInputCharacters: number;
    }>;
}, "strict", z.ZodTypeAny, z.objectUtil.addQuestionMarks<z.baseObjectOutputType<{
    id: z.ZodEffects<z.ZodString, string, string>;
    version: z.ZodEffects<z.ZodString, string, string>;
    run: T;
    checks: z.ZodArray<z.ZodEnum<["calendar-rank", "factor-correlation", "mack-residuals"]>, "many">;
    policies: z.ZodObject<{
        correlationTies: z.ZodEnum<["retain-approximation", "not-evaluated"]>;
        residualReference: z.ZodLiteral<"volume-weighted-mack">;
    }, "strict", z.ZodTypeAny, {
        correlationTies: "retain-approximation" | "not-evaluated";
        residualReference: "volume-weighted-mack";
    }, {
        correlationTies: "retain-approximation" | "not-evaluated";
        residualReference: "volume-weighted-mack";
    }>;
    limits: z.ZodObject<{
        maximumInputCharacters: z.ZodNumber;
        maximumOrigins: z.ZodNumber;
        maximumCells: z.ZodNumber;
    }, "strict", z.ZodTypeAny, {
        maximumOrigins: number;
        maximumCells: number;
        maximumInputCharacters: number;
    }, {
        maximumOrigins: number;
        maximumCells: number;
        maximumInputCharacters: number;
    }>;
}>, any> extends infer T_1 ? { [k in keyof T_1]: T_1[k]; } : never, z.baseObjectInputType<{
    id: z.ZodEffects<z.ZodString, string, string>;
    version: z.ZodEffects<z.ZodString, string, string>;
    run: T;
    checks: z.ZodArray<z.ZodEnum<["calendar-rank", "factor-correlation", "mack-residuals"]>, "many">;
    policies: z.ZodObject<{
        correlationTies: z.ZodEnum<["retain-approximation", "not-evaluated"]>;
        residualReference: z.ZodLiteral<"volume-weighted-mack">;
    }, "strict", z.ZodTypeAny, {
        correlationTies: "retain-approximation" | "not-evaluated";
        residualReference: "volume-weighted-mack";
    }, {
        correlationTies: "retain-approximation" | "not-evaluated";
        residualReference: "volume-weighted-mack";
    }>;
    limits: z.ZodObject<{
        maximumInputCharacters: z.ZodNumber;
        maximumOrigins: z.ZodNumber;
        maximumCells: z.ZodNumber;
    }, "strict", z.ZodTypeAny, {
        maximumOrigins: number;
        maximumCells: number;
        maximumInputCharacters: number;
    }, {
        maximumOrigins: number;
        maximumCells: number;
        maximumInputCharacters: number;
    }>;
}> extends infer T_2 ? { [k_1 in keyof T_2]: T_2[k_1]; } : never>;
/** Model result content remains intact for exact core replay; parsing does not certify a saved result. */
export declare function parseModelDiagnosticRequest(input: unknown): ModelDiagnosticRequest;
export declare function runModelDiagnosticsFromInput(input: unknown): ModelDiagnosticResult;
//# sourceMappingURL=modelDiagnosticsContracts.d.ts.map