import { ZodSchemaType } from '@contractspec/lib.schema';
import * as z from 'zod';
declare const TicketPrioritySchema: z.ZodEnum<{
    medium: "medium";
    high: "high";
    low: "low";
}>;
export type TicketPriority = z.infer<typeof TicketPrioritySchema>;
declare const TicketSchema: z.ZodObject<{
    ticketId: z.ZodString;
    title: z.ZodString;
    summary: z.ZodString;
    evidenceIds: z.ZodArray<z.ZodString>;
    acceptanceCriteria: z.ZodArray<z.ZodString>;
    priority: z.ZodOptional<z.ZodEnum<{
        medium: "medium";
        high: "high";
        low: "low";
    }>>;
    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$strip>;
export declare const TicketModel: ZodSchemaType<z.ZodObject<{
    ticketId: z.ZodString;
    title: z.ZodString;
    summary: z.ZodString;
    evidenceIds: z.ZodArray<z.ZodString>;
    acceptanceCriteria: z.ZodArray<z.ZodString>;
    priority: z.ZodOptional<z.ZodEnum<{
        medium: "medium";
        high: "high";
        low: "low";
    }>>;
    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
}, z.core.$strip>>;
export type Ticket = z.infer<typeof TicketSchema>;
declare const TicketCollectionSchema: z.ZodObject<{
    tickets: z.ZodArray<z.ZodObject<{
        ticketId: z.ZodString;
        title: z.ZodString;
        summary: z.ZodString;
        evidenceIds: z.ZodArray<z.ZodString>;
        acceptanceCriteria: z.ZodArray<z.ZodString>;
        priority: z.ZodOptional<z.ZodEnum<{
            medium: "medium";
            high: "high";
            low: "low";
        }>>;
        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
    }, z.core.$strip>>;
}, z.core.$strip>;
export declare const TicketCollectionModel: ZodSchemaType<z.ZodObject<{
    tickets: z.ZodArray<z.ZodObject<{
        ticketId: z.ZodString;
        title: z.ZodString;
        summary: z.ZodString;
        evidenceIds: z.ZodArray<z.ZodString>;
        acceptanceCriteria: z.ZodArray<z.ZodString>;
        priority: z.ZodOptional<z.ZodEnum<{
            medium: "medium";
            high: "high";
            low: "low";
        }>>;
        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
    }, z.core.$strip>>;
}, z.core.$strip>>;
export type TicketCollection = z.infer<typeof TicketCollectionSchema>;
export {};
