import { z } from "zod";
import { type AnalysisReviewFinding } from "@actuarial-ts/core";
import type { DiagnosticRunInput, DiagnosticExecutionGateReceipt } from "./diagnosticInput.js";
/** Bounds for the finite-JSON execution gateway, not latency or peak-memory estimates. */
export declare const DIAGNOSTIC_EXECUTION_LIMITS: Readonly<{
    maximumInputRows: 100000;
    maximumPreparationPositions: 1000000;
    maximumPreparedCells: 100000;
    maximumMetricPositions: 1000000;
    maximumReviewEvaluationPositions: 1000000;
    maximumInputCharacters: 20000000;
}>;
export interface DiagnosticExecutionRequest {
    readonly source: DiagnosticRunInput;
    readonly limits: {
        readonly [K in keyof typeof DIAGNOSTIC_EXECUTION_LIMITS]: number;
    };
}
export interface DiagnosticExecutionPreflight {
    readonly storage: "eager" | "compact";
    readonly work: {
        readonly inputRows: number;
        readonly preparationPositionUpperBound: number;
        readonly preparedCells: number;
        readonly metricPositionUpperBound: number;
        readonly reviewEvaluationUpperBound: number;
    };
    readonly policy: Pick<DiagnosticExecutionGateReceipt, "allowedReviewStatuses" | "allowedMetricFindingSeverities" | "rationaleRef">;
    readonly findings: readonly AnalysisReviewFinding[];
    readonly assurance: "prepared-input-only";
}
export declare const diagnosticExecutionRequestSchema: z.ZodType<DiagnosticExecutionRequest>;
/** Internal shared refusal; its path always refers to the complete execution request. */
export declare function diagnosticExecutionLimit(path: string, message: string): never;
/** Internal: own a request already checked by the safe-JSON boundary, preserving native free-metadata semantics. */
export declare function ownDiagnosticGatewayRequest<T>(value: T): T;
/** Safe JSON plus declared raw-input bounds; native semantic validation is separate. */
export declare function parseDiagnosticExecutionRequest(input: unknown): DiagnosticExecutionRequest;
/** Descriptor limits include the shared safe-JSON scanner's independent ceilings. */
export declare const DIAGNOSTIC_EXECUTION_BOUNDARY_LIMITS: Readonly<{
    maximumJsonDepth: 256;
    maximumJsonNodes: 1000000;
    maximumInputRows: 100000;
    maximumPreparationPositions: 1000000;
    maximumPreparedCells: 100000;
    maximumMetricPositions: 1000000;
    maximumReviewEvaluationPositions: 1000000;
    maximumInputCharacters: 20000000;
}>;
//# sourceMappingURL=diagnosticExecutionContracts.d.ts.map