import { z } from "zod";
export declare const recursiveExecutionIsolationLevelSchema: z.ZodEnum<["metadata-only", "read-only-inspection", "read-only-repl", "isolated-execution"]>;
export declare const recursivePolicyLevelSchema: z.ZodEnum<["metadata-only", "read-only", "typed-rlm", "bounded-code", "ai-layer-proposal", "product-proposal"]>;
export declare const recursiveExecutionPolicySchema: z.ZodObject<{
    policyId: z.ZodString;
    sessionId: z.ZodString;
    isolationLevel: z.ZodEnum<["metadata-only", "read-only-inspection", "read-only-repl", "isolated-execution"]>;
    policyLevel: z.ZodDefault<z.ZodEnum<["metadata-only", "read-only", "typed-rlm", "bounded-code", "ai-layer-proposal", "product-proposal"]>>;
    allowStructuredRun: z.ZodBoolean;
    allowTypedActions: z.ZodDefault<z.ZodBoolean>;
    allowCodeCells: z.ZodDefault<z.ZodBoolean>;
    allowMetaOps: z.ZodDefault<z.ZodBoolean>;
    allowPromotions: z.ZodDefault<z.ZodBoolean>;
    allowedInputs: z.ZodArray<z.ZodString, "many">;
    restrictedBehaviors: z.ZodArray<z.ZodString, "many">;
    allowedOperationFamilies: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
    allowedLanguages: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
    allowedWriteScopes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
    networkPosture: z.ZodDefault<z.ZodString>;
    stopConditions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
    budgetSummary: z.ZodObject<{
        maxDurationMs: z.ZodNumber;
        maxRuns: z.ZodNumber;
        maxIterations: z.ZodDefault<z.ZodNumber>;
        maxSubcalls: z.ZodDefault<z.ZodNumber>;
        maxCodeCells: z.ZodDefault<z.ZodNumber>;
        notes: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        notes: string;
        maxDurationMs: number;
        maxRuns: number;
        maxIterations: number;
        maxSubcalls: number;
        maxCodeCells: number;
    }, {
        notes: string;
        maxDurationMs: number;
        maxRuns: number;
        maxIterations?: number | undefined;
        maxSubcalls?: number | undefined;
        maxCodeCells?: number | undefined;
    }>;
    createdAt: z.ZodString;
    updatedAt: z.ZodString;
}, "strip", z.ZodTypeAny, {
    createdAt: string;
    updatedAt: string;
    sessionId: string;
    policyId: string;
    isolationLevel: "metadata-only" | "read-only-inspection" | "read-only-repl" | "isolated-execution";
    policyLevel: "metadata-only" | "read-only" | "typed-rlm" | "bounded-code" | "ai-layer-proposal" | "product-proposal";
    allowStructuredRun: boolean;
    allowTypedActions: boolean;
    allowCodeCells: boolean;
    allowMetaOps: boolean;
    allowPromotions: boolean;
    allowedInputs: string[];
    restrictedBehaviors: string[];
    allowedOperationFamilies: string[];
    allowedLanguages: string[];
    allowedWriteScopes: string[];
    networkPosture: string;
    stopConditions: string[];
    budgetSummary: {
        notes: string;
        maxDurationMs: number;
        maxRuns: number;
        maxIterations: number;
        maxSubcalls: number;
        maxCodeCells: number;
    };
}, {
    createdAt: string;
    updatedAt: string;
    sessionId: string;
    policyId: string;
    isolationLevel: "metadata-only" | "read-only-inspection" | "read-only-repl" | "isolated-execution";
    allowStructuredRun: boolean;
    allowedInputs: string[];
    restrictedBehaviors: string[];
    budgetSummary: {
        notes: string;
        maxDurationMs: number;
        maxRuns: number;
        maxIterations?: number | undefined;
        maxSubcalls?: number | undefined;
        maxCodeCells?: number | undefined;
    };
    policyLevel?: "metadata-only" | "read-only" | "typed-rlm" | "bounded-code" | "ai-layer-proposal" | "product-proposal" | undefined;
    allowTypedActions?: boolean | undefined;
    allowCodeCells?: boolean | undefined;
    allowMetaOps?: boolean | undefined;
    allowPromotions?: boolean | undefined;
    allowedOperationFamilies?: string[] | undefined;
    allowedLanguages?: string[] | undefined;
    allowedWriteScopes?: string[] | undefined;
    networkPosture?: string | undefined;
    stopConditions?: string[] | undefined;
}>;
export type RecursiveExecutionIsolationLevel = z.infer<typeof recursiveExecutionIsolationLevelSchema>;
export type RecursivePolicyLevel = z.infer<typeof recursivePolicyLevelSchema>;
export type RecursiveExecutionPolicy = z.infer<typeof recursiveExecutionPolicySchema>;
export declare function parseRecursiveExecutionPolicy(value: unknown): RecursiveExecutionPolicy;
//# sourceMappingURL=execution-policy.d.ts.map