import { z } from "zod";
export declare const TurnProofSchema: z.ZodObject<{
    at: z.ZodNumber;
    verification: z.ZodEnum<{
        failing: "failing";
        "no-code": "no-code";
        unproven: "unproven";
        verified: "verified";
    }>;
    check: z.ZodOptional<z.ZodString>;
    unviewed: z.ZodOptional<z.ZodNumber>;
}, z.core.$strip>;
export type TurnProof = z.infer<typeof TurnProofSchema>;
export declare const ReviewTallySchema: z.ZodObject<{
    at: z.ZodNumber;
    source: z.ZodEnum<{
        claude: "claude";
        codex: "codex";
    }>;
    findings: z.ZodNumber;
    open: z.ZodNumber;
}, z.core.$strip>;
export type ReviewTally = z.infer<typeof ReviewTallySchema>;
//# sourceMappingURL=work-assurance.d.ts.map