import { z } from "zod";
export declare const PreparedQualificationWitnessSchema: z.ZodObject<{
    id: z.ZodString;
    label: z.ZodEnum<{
        adversarial: "adversarial";
        incomplete: "incomplete";
        incorrect: "incorrect";
        positive: "positive";
    }>;
    output: z.ZodRecord<z.ZodString, z.ZodUnknown>;
    artifacts: z.ZodArray<z.ZodObject<{
        path: z.ZodString;
        mediaType: z.ZodString;
        base64: z.ZodString;
    }, z.core.$strict>>;
}, z.core.$strict>;
/** Generated from original requirements before seeing the authored checker or
 * proposed answers. The plan remains privileged, unqualified evidence. */
export declare const PreparedQualificationPlanSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"openpond.preparedQualificationPlan.v1">;
    requirementRefs: z.ZodArray<z.ZodString>;
    supported: z.ZodBoolean;
    limitations: z.ZodArray<z.ZodString>;
    independentVerifier: z.ZodNullable<z.ZodObject<{
        runtime: z.ZodEnum<{
            isolated_javascript: "isolated_javascript";
            sandbox_process: "sandbox_process";
        }>;
        source: z.ZodString;
        exportName: z.ZodLiteral<"verify">;
        timeoutMs: z.ZodNumber;
    }, z.core.$strict>>;
    witnesses: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        label: z.ZodEnum<{
            adversarial: "adversarial";
            incomplete: "incomplete";
            incorrect: "incorrect";
            positive: "positive";
        }>;
        output: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        artifacts: z.ZodArray<z.ZodObject<{
            path: z.ZodString;
            mediaType: z.ZodString;
            base64: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export type PreparedQualificationPlan = z.infer<typeof PreparedQualificationPlanSchema>;
export type PreparedQualificationWitness = z.infer<typeof PreparedQualificationWitnessSchema>;
/** A second, blinded adjudication sees source requirements and actual witness
 * outputs, but no planned labels, verifier code or claimed checker verdicts. */
export declare const PreparedWitnessAdjudicationSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"openpond.preparedWitnessAdjudication.v1">;
    witnesses: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        failureMode: z.ZodEnum<{
            adversarial: "adversarial";
            incomplete: "incomplete";
            incorrect: "incorrect";
            none: "none";
            unverifiable: "unverifiable";
        }>;
        requirements: z.ZodArray<z.ZodObject<{
            reference: z.ZodString;
            status: z.ZodEnum<{
                satisfied: "satisfied";
                unverifiable: "unverifiable";
                violated: "violated";
            }>;
            reason: z.ZodString;
        }, z.core.$strict>>;
    }, z.core.$strict>>;
}, z.core.$strict>;
export type PreparedWitnessAdjudication = z.infer<typeof PreparedWitnessAdjudicationSchema>;
export declare const PreparedCheckerAuditSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"openpond.preparedCheckerAudit.v1">;
    requirements: z.ZodArray<z.ZodObject<{
        reference: z.ZodString;
        adequatelyChecked: z.ZodBoolean;
        oracleAdequatelyChecked: z.ZodBoolean;
        reason: z.ZodString;
    }, z.core.$strict>>;
    executionIsolationPassed: z.ZodBoolean;
    futureEvidenceLeak: z.ZodBoolean;
    unresolvedLimitations: z.ZodArray<z.ZodString>;
    passed: z.ZodBoolean;
}, z.core.$strict>;
//# sourceMappingURL=dataset-preparation-qualification-contracts.d.ts.map