import { z } from "zod";
export declare const ProofBundleScenarioSchema: z.ZodEnum<["no-kimi-smoke", "evidence-block", "fallback-route", "dag-dependent-block", "replay-inspect", "example-generation", "doctor-provider", "native-safety", "contract-version-smoke"]>;
export declare const ProofBundleFilesSchema: z.ZodObject<{
    rawPrompt: z.ZodString;
    commands: z.ZodString;
    stdout: z.ZodOptional<z.ZodString>;
    stderr: z.ZodOptional<z.ZodString>;
    verifyJson: z.ZodString;
    decisionsJsonl: z.ZodString;
    runManifest: z.ZodString;
    evidenceJsonl: z.ZodString;
    diffPatch: z.ZodOptional<z.ZodString>;
    replay: z.ZodOptional<z.ZodString>;
    inspectJson: z.ZodOptional<z.ZodString>;
    limitations: z.ZodString;
}, "strip", z.ZodTypeAny, {
    commands: string;
    rawPrompt: string;
    verifyJson: string;
    decisionsJsonl: string;
    runManifest: string;
    evidenceJsonl: string;
    limitations: string;
    stdout?: string | undefined;
    stderr?: string | undefined;
    replay?: string | undefined;
    diffPatch?: string | undefined;
    inspectJson?: string | undefined;
}, {
    commands: string;
    rawPrompt: string;
    verifyJson: string;
    decisionsJsonl: string;
    runManifest: string;
    evidenceJsonl: string;
    limitations: string;
    stdout?: string | undefined;
    stderr?: string | undefined;
    replay?: string | undefined;
    diffPatch?: string | undefined;
    inspectJson?: string | undefined;
}>;
export declare const ProofBundleSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"omk.proof-bundle.v1">;
    proofId: z.ZodString;
    title: z.ZodString;
    omkVersion: z.ZodString;
    runtimeVersion: z.ZodLiteral<"v1.2">;
    commit: z.ZodString;
    runId: z.ZodString;
    providerPolicy: z.ZodString;
    scenario: z.ZodEnum<["no-kimi-smoke", "evidence-block", "fallback-route", "dag-dependent-block", "replay-inspect", "example-generation", "doctor-provider", "native-safety", "contract-version-smoke"]>;
    files: z.ZodObject<{
        rawPrompt: z.ZodString;
        commands: z.ZodString;
        stdout: z.ZodOptional<z.ZodString>;
        stderr: z.ZodOptional<z.ZodString>;
        verifyJson: z.ZodString;
        decisionsJsonl: z.ZodString;
        runManifest: z.ZodString;
        evidenceJsonl: z.ZodString;
        diffPatch: z.ZodOptional<z.ZodString>;
        replay: z.ZodOptional<z.ZodString>;
        inspectJson: z.ZodOptional<z.ZodString>;
        limitations: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        commands: string;
        rawPrompt: string;
        verifyJson: string;
        decisionsJsonl: string;
        runManifest: string;
        evidenceJsonl: string;
        limitations: string;
        stdout?: string | undefined;
        stderr?: string | undefined;
        replay?: string | undefined;
        diffPatch?: string | undefined;
        inspectJson?: string | undefined;
    }, {
        commands: string;
        rawPrompt: string;
        verifyJson: string;
        decisionsJsonl: string;
        runManifest: string;
        evidenceJsonl: string;
        limitations: string;
        stdout?: string | undefined;
        stderr?: string | undefined;
        replay?: string | undefined;
        diffPatch?: string | undefined;
        inspectJson?: string | undefined;
    }>;
    verdict: z.ZodEnum<["passed", "failed", "partial"]>;
    knownLimitations: z.ZodArray<z.ZodString, "many">;
    checksums: z.ZodRecord<z.ZodString, z.ZodString>;
}, "strip", z.ZodTypeAny, {
    runId: string;
    commit: string;
    schemaVersion: "omk.proof-bundle.v1";
    title: string;
    files: {
        commands: string;
        rawPrompt: string;
        verifyJson: string;
        decisionsJsonl: string;
        runManifest: string;
        evidenceJsonl: string;
        limitations: string;
        stdout?: string | undefined;
        stderr?: string | undefined;
        replay?: string | undefined;
        diffPatch?: string | undefined;
        inspectJson?: string | undefined;
    };
    providerPolicy: string;
    omkVersion: string;
    runtimeVersion: "v1.2";
    proofId: string;
    scenario: "no-kimi-smoke" | "evidence-block" | "fallback-route" | "dag-dependent-block" | "replay-inspect" | "example-generation" | "doctor-provider" | "native-safety" | "contract-version-smoke";
    verdict: "failed" | "partial" | "passed";
    knownLimitations: string[];
    checksums: Record<string, string>;
}, {
    runId: string;
    commit: string;
    schemaVersion: "omk.proof-bundle.v1";
    title: string;
    files: {
        commands: string;
        rawPrompt: string;
        verifyJson: string;
        decisionsJsonl: string;
        runManifest: string;
        evidenceJsonl: string;
        limitations: string;
        stdout?: string | undefined;
        stderr?: string | undefined;
        replay?: string | undefined;
        diffPatch?: string | undefined;
        inspectJson?: string | undefined;
    };
    providerPolicy: string;
    omkVersion: string;
    runtimeVersion: "v1.2";
    proofId: string;
    scenario: "no-kimi-smoke" | "evidence-block" | "fallback-route" | "dag-dependent-block" | "replay-inspect" | "example-generation" | "doctor-provider" | "native-safety" | "contract-version-smoke";
    verdict: "failed" | "partial" | "passed";
    knownLimitations: string[];
    checksums: Record<string, string>;
}>;
