import { z } from 'zod';
export declare const SpecRequirementSchema: z.ZodObject<{
    id: z.ZodString;
    text: z.ZodString;
}, "strip", z.ZodTypeAny, {
    text: string;
    id: string;
}, {
    text: string;
    id: string;
}>;
export declare const SpecValidationInputSchema: z.ZodObject<{
    requirements: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        text: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        text: string;
        id: string;
    }, {
        text: string;
        id: string;
    }>, "many">;
    observed: z.ZodObject<{
        url: z.ZodOptional<z.ZodString>;
        summary: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        summary: string;
        url?: string | undefined;
    }, {
        summary: string;
        url?: string | undefined;
    }>;
    enableLlmJudge: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
    requirements: {
        text: string;
        id: string;
    }[];
    observed: {
        summary: string;
        url?: string | undefined;
    };
    enableLlmJudge?: boolean | undefined;
}, {
    requirements: {
        text: string;
        id: string;
    }[];
    observed: {
        summary: string;
        url?: string | undefined;
    };
    enableLlmJudge?: boolean | undefined;
}>;
export declare const RequirementVerdictSchema: z.ZodObject<{
    id: z.ZodString;
    text: z.ZodString;
    conforms: z.ZodEnum<["yes", "no", "unknown"]>;
    confidence: z.ZodNumber;
    rationale: z.ZodString;
    scoringPath: z.ZodEnum<["llm-judge", "deterministic-fallback"]>;
}, "strip", z.ZodTypeAny, {
    text: string;
    id: string;
    confidence: number;
    rationale: string;
    scoringPath: "llm-judge" | "deterministic-fallback";
    conforms: "unknown" | "yes" | "no";
}, {
    text: string;
    id: string;
    confidence: number;
    rationale: string;
    scoringPath: "llm-judge" | "deterministic-fallback";
    conforms: "unknown" | "yes" | "no";
}>;
export declare const SpecConformanceResultSchema: z.ZodObject<{
    requirements: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        text: z.ZodString;
        conforms: z.ZodEnum<["yes", "no", "unknown"]>;
        confidence: z.ZodNumber;
        rationale: z.ZodString;
        scoringPath: z.ZodEnum<["llm-judge", "deterministic-fallback"]>;
    }, "strip", z.ZodTypeAny, {
        text: string;
        id: string;
        confidence: number;
        rationale: string;
        scoringPath: "llm-judge" | "deterministic-fallback";
        conforms: "unknown" | "yes" | "no";
    }, {
        text: string;
        id: string;
        confidence: number;
        rationale: string;
        scoringPath: "llm-judge" | "deterministic-fallback";
        conforms: "unknown" | "yes" | "no";
    }>, "many">;
    conformanceRate: z.ZodNumber;
    verdict: z.ZodEnum<["conforms", "partial", "violates", "insufficient-evidence"]>;
    unmet: z.ZodArray<z.ZodString, "many">;
    schemaVersion: z.ZodLiteral<1>;
}, "strip", z.ZodTypeAny, {
    requirements: {
        text: string;
        id: string;
        confidence: number;
        rationale: string;
        scoringPath: "llm-judge" | "deterministic-fallback";
        conforms: "unknown" | "yes" | "no";
    }[];
    conformanceRate: number;
    verdict: "partial" | "conforms" | "violates" | "insufficient-evidence";
    unmet: string[];
    schemaVersion: 1;
}, {
    requirements: {
        text: string;
        id: string;
        confidence: number;
        rationale: string;
        scoringPath: "llm-judge" | "deterministic-fallback";
        conforms: "unknown" | "yes" | "no";
    }[];
    conformanceRate: number;
    verdict: "partial" | "conforms" | "violates" | "insufficient-evidence";
    unmet: string[];
    schemaVersion: 1;
}>;
export type SpecRequirement = z.infer<typeof SpecRequirementSchema>;
export type SpecValidationInput = z.infer<typeof SpecValidationInputSchema>;
export type RequirementVerdict = z.infer<typeof RequirementVerdictSchema>;
export type SpecConformanceResult = z.infer<typeof SpecConformanceResultSchema>;
//# sourceMappingURL=spec-conformance.schema.d.ts.map