import { z } from "zod";
/** Where a session's checklist stands. `unpublished` is legal only while the
 *  session is still carrying its own version-1 pending revision — an active
 *  session can never be bound to nothing. */
export declare const ChecklistBindingSchema: z.ZodUnion<readonly [z.ZodObject<{
    kind: z.ZodLiteral<"unpublished">;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"published">;
    version: z.ZodNumber;
    hash: z.ZodString;
}, z.core.$strict>]>;
export type ChecklistBinding = z.infer<typeof ChecklistBindingSchema>;
export declare const SessionBindingSchema: z.ZodObject<{
    traceIds: z.ZodArray<z.ZodString>;
    checklistId: z.ZodString;
    checklist: z.ZodUnion<readonly [z.ZodObject<{
        kind: z.ZodLiteral<"unpublished">;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"published">;
        version: z.ZodNumber;
        hash: z.ZodString;
    }, z.core.$strict>]>;
    annotator: z.ZodObject<{
        kind: z.ZodEnum<{
            human: "human";
            grader: "grader";
            judge: "judge";
            harness: "harness";
        }>;
        id: z.ZodString;
    }, z.core.$strict>;
}, z.core.$strict>;
export type SessionBinding = z.infer<typeof SessionBindingSchema>;
export declare const PendingRevisionSchema: z.ZodObject<{
    revision: z.ZodObject<{
        schemaVersion: z.ZodLiteral<1>;
        checklistId: z.ZodString;
        name: z.ZodString;
        version: z.ZodNumber;
        parentVersion: z.ZodNullable<z.ZodNumber>;
        createdAt: z.ZodString;
        hash: z.ZodString;
        questions: z.ZodArray<z.ZodObject<{
            id: z.ZodString;
            text: z.ZodString;
            weight: z.ZodNumber;
            deleted: z.ZodBoolean;
        }, z.core.$strict>>;
    }, z.core.$strict>;
    expectedParentVersion: z.ZodNullable<z.ZodNumber>;
    expectedParentHash: z.ZodNullable<z.ZodString>;
}, z.core.$strict>;
export declare const DraftSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<1>;
    sessionId: z.ZodString;
    binding: z.ZodObject<{
        traceIds: z.ZodArray<z.ZodString>;
        checklistId: z.ZodString;
        checklist: z.ZodUnion<readonly [z.ZodObject<{
            kind: z.ZodLiteral<"unpublished">;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"published">;
            version: z.ZodNumber;
            hash: z.ZodString;
        }, z.core.$strict>]>;
        annotator: z.ZodObject<{
            kind: z.ZodEnum<{
                human: "human";
                grader: "grader";
                judge: "judge";
                harness: "harness";
            }>;
            id: z.ZodString;
        }, z.core.$strict>;
    }, z.core.$strict>;
    currentIndex: z.ZodNumber;
    answersByTraceId: z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodBoolean>>;
    notesByTraceId: z.ZodRecord<z.ZodString, z.ZodString>;
    reviewedByTraceId: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
    stagedQuestions: z.ZodNullable<z.ZodArray<z.ZodObject<{
        id: z.ZodString;
        text: z.ZodString;
        weight: z.ZodNumber;
        deleted: z.ZodBoolean;
    }, z.core.$strict>>>;
    pendingRevision: z.ZodNullable<z.ZodObject<{
        revision: z.ZodObject<{
            schemaVersion: z.ZodLiteral<1>;
            checklistId: z.ZodString;
            name: z.ZodString;
            version: z.ZodNumber;
            parentVersion: z.ZodNullable<z.ZodNumber>;
            createdAt: z.ZodString;
            hash: z.ZodString;
            questions: z.ZodArray<z.ZodObject<{
                id: z.ZodString;
                text: z.ZodString;
                weight: z.ZodNumber;
                deleted: z.ZodBoolean;
            }, z.core.$strict>>;
        }, z.core.$strict>;
        expectedParentVersion: z.ZodNullable<z.ZodNumber>;
        expectedParentHash: z.ZodNullable<z.ZodString>;
    }, z.core.$strict>>;
    pendingAnnotation: z.ZodNullable<z.ZodObject<{
        kind: z.ZodLiteral<"checklist">;
        checklist: z.ZodString;
        version: z.ZodNumber;
        hash: z.ZodString;
        answers: z.ZodRecord<z.ZodString, z.ZodBoolean>;
        note: z.ZodString;
        activeMs: z.ZodOptional<z.ZodNumber>;
        v: z.ZodLiteral<1>;
        id: z.ZodString;
        traceId: z.ZodString;
        createdAt: z.ZodString;
        annotator: z.ZodObject<{
            kind: z.ZodEnum<{
                human: "human";
                grader: "grader";
                judge: "judge";
                harness: "harness";
            }>;
            id: z.ZodString;
        }, z.core.$strict>;
        sessionId: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>>;
    activeMsByTraceId: z.ZodRecord<z.ZodString, z.ZodNumber>;
}, z.core.$strict>;
export type Draft = z.infer<typeof DraftSchema>;
/** A draft lives beside the checklist it is bound to, so a run directory shows
 *  which checklists have labeling in flight: `checklists/<id>/drafts/<session>.json`. */
export declare function draftPath(dir: string, checklistId: string, sessionId: string): string;
export declare function saveDraftFile(dir: string, draft: Draft): void;
export declare function loadDraftFile(dir: string, checklistId: string, sessionId: string): Draft | undefined;
export type DraftBindingCheck = {
    traceIds: string[];
    checklistId: string;
    annotator: {
        kind: string;
        id: string;
    };
};
/**
 * A draft may only be resumed against exactly the session it was made for.
 *
 * Trace ORDER is part of that: answers are stored by trace id, but the
 * cursor is an index, so resuming against a reordered source would put a
 * person in front of a different trace than the one their position implies.
 */
export declare function assertDraftMatches(draft: Draft, expected: DraftBindingCheck): void;
/** The bootstrap rule, stated once. An unpublished binding is only ever legal
 *  while the session still holds its own version-1 pending revision. */
export declare function assertBindingIsCoherent(draft: Draft): void;