import { z } from "zod";
export declare const AuditTopLevelStatusSchema: z.ZodEnum<["not_started", "active", "blocked", "complete"]>;
export type AuditTopLevelStatus = z.infer<typeof AuditTopLevelStatusSchema>;
export type { ObligationState } from "audit-tools/shared";
export declare const AuditObligationSchema: z.ZodObject<{
    id: z.ZodString;
    state: z.ZodEnum<["missing", "present", "stale", "blocked", "satisfied"]>;
    reason: z.ZodOptional<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    id: string;
    state: "blocked" | "missing" | "satisfied" | "present" | "stale";
    reason?: string | undefined;
}, {
    id: string;
    state: "blocked" | "missing" | "satisfied" | "present" | "stale";
    reason?: string | undefined;
}>;
export type AuditObligation = z.infer<typeof AuditObligationSchema>;
export declare const AuditStateSchema: z.ZodObject<{
    status: z.ZodEnum<["not_started", "active", "blocked", "complete"]>;
    last_executor: z.ZodOptional<z.ZodString>;
    last_obligation: z.ZodOptional<z.ZodString>;
    blockers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    obligations: z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        state: z.ZodEnum<["missing", "present", "stale", "blocked", "satisfied"]>;
        reason: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
        id: string;
        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
        reason?: string | undefined;
    }, {
        id: string;
        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
        reason?: string | undefined;
    }>, "many">;
}, "strict", z.ZodTypeAny, {
    status: "blocked" | "complete" | "not_started" | "active";
    obligations: {
        id: string;
        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
        reason?: string | undefined;
    }[];
    last_executor?: string | undefined;
    last_obligation?: string | undefined;
    blockers?: string[] | undefined;
}, {
    status: "blocked" | "complete" | "not_started" | "active";
    obligations: {
        id: string;
        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
        reason?: string | undefined;
    }[];
    last_executor?: string | undefined;
    last_obligation?: string | undefined;
    blockers?: string[] | undefined;
}>;
export type AuditState = z.infer<typeof AuditStateSchema>;
//# sourceMappingURL=auditState.d.ts.map