import { ZodSchemaType } from '@contractspec/lib.schema';
import * as z from 'zod';
declare const ProblemSeveritySchema: z.ZodEnum<{
    medium: "medium";
    high: "high";
    low: "low";
}>;
export type ProblemSeverity = z.infer<typeof ProblemSeveritySchema>;
declare const ProblemStatementSchema: z.ZodObject<{
    problemId: z.ZodString;
    statement: z.ZodString;
    evidenceIds: z.ZodArray<z.ZodString>;
    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
    severity: z.ZodOptional<z.ZodEnum<{
        medium: "medium";
        high: "high";
        low: "low";
    }>>;
}, z.core.$strip>;
export declare const ProblemStatementModel: ZodSchemaType<z.ZodObject<{
    problemId: z.ZodString;
    statement: z.ZodString;
    evidenceIds: z.ZodArray<z.ZodString>;
    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
    severity: z.ZodOptional<z.ZodEnum<{
        medium: "medium";
        high: "high";
        low: "low";
    }>>;
}, z.core.$strip>>;
export type ProblemStatement = z.infer<typeof ProblemStatementSchema>;
declare const ProblemGroupingSchema: z.ZodObject<{
    problems: z.ZodArray<z.ZodObject<{
        problemId: z.ZodString;
        statement: z.ZodString;
        evidenceIds: z.ZodArray<z.ZodString>;
        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
        severity: z.ZodOptional<z.ZodEnum<{
            medium: "medium";
            high: "high";
            low: "low";
        }>>;
    }, z.core.$strip>>;
}, z.core.$strip>;
export declare const ProblemGroupingModel: ZodSchemaType<z.ZodObject<{
    problems: z.ZodArray<z.ZodObject<{
        problemId: z.ZodString;
        statement: z.ZodString;
        evidenceIds: z.ZodArray<z.ZodString>;
        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
        severity: z.ZodOptional<z.ZodEnum<{
            medium: "medium";
            high: "high";
            low: "low";
        }>>;
    }, z.core.$strip>>;
}, z.core.$strip>>;
export type ProblemGrouping = z.infer<typeof ProblemGroupingSchema>;
export {};
