import { z } from "zod";
import type { Board } from "./model.js";
import type { Entry, Op } from "./ops.js";
export declare const gitContextSchema: z.ZodEffects<z.ZodObject<{
    source: z.ZodLiteral<"local-git">;
    observedAt: z.ZodEffects<z.ZodString, string, string>;
    repository: z.ZodObject<{
        origin: z.ZodNullable<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
        origin: string | null;
    }, {
        origin: string | null;
    }>;
    branch: z.ZodNullable<z.ZodString>;
    head: z.ZodNullable<z.ZodString>;
    unborn: z.ZodBoolean;
    worktree: z.ZodBoolean;
    dirty: z.ZodObject<{
        tracked: z.ZodNumber;
        untracked: z.ZodNumber;
        isDirty: z.ZodBoolean;
    }, "strict", z.ZodTypeAny, {
        tracked: number;
        untracked: number;
        isDirty: boolean;
    }, {
        tracked: number;
        untracked: number;
        isDirty: boolean;
    }>;
    base: z.ZodOptional<z.ZodObject<{
        ref: z.ZodString;
        commit: z.ZodString;
        isAncestorOfHead: z.ZodNullable<z.ZodBoolean>;
    }, "strict", z.ZodTypeAny, {
        ref: string;
        commit: string;
        isAncestorOfHead: boolean | null;
    }, {
        ref: string;
        commit: string;
        isAncestorOfHead: boolean | null;
    }>>;
}, "strict", z.ZodTypeAny, {
    dirty: {
        tracked: number;
        untracked: number;
        isDirty: boolean;
    };
    observedAt: string;
    repository: {
        origin: string | null;
    };
    source: "local-git";
    branch: string | null;
    head: string | null;
    unborn: boolean;
    worktree: boolean;
    base?: {
        ref: string;
        commit: string;
        isAncestorOfHead: boolean | null;
    } | undefined;
}, {
    dirty: {
        tracked: number;
        untracked: number;
        isDirty: boolean;
    };
    observedAt: string;
    repository: {
        origin: string | null;
    };
    source: "local-git";
    branch: string | null;
    head: string | null;
    unborn: boolean;
    worktree: boolean;
    base?: {
        ref: string;
        commit: string;
        isAncestorOfHead: boolean | null;
    } | undefined;
}>, {
    dirty: {
        tracked: number;
        untracked: number;
        isDirty: boolean;
    };
    observedAt: string;
    repository: {
        origin: string | null;
    };
    source: "local-git";
    branch: string | null;
    head: string | null;
    unborn: boolean;
    worktree: boolean;
    base?: {
        ref: string;
        commit: string;
        isAncestorOfHead: boolean | null;
    } | undefined;
}, {
    dirty: {
        tracked: number;
        untracked: number;
        isDirty: boolean;
    };
    observedAt: string;
    repository: {
        origin: string | null;
    };
    source: "local-git";
    branch: string | null;
    head: string | null;
    unborn: boolean;
    worktree: boolean;
    base?: {
        ref: string;
        commit: string;
        isAncestorOfHead: boolean | null;
    } | undefined;
}>;
export declare const developmentOptionsSchema: z.ZodEffects<z.ZodObject<{
    requestId: z.ZodOptional<z.ZodString>;
    git: z.ZodEffects<z.ZodObject<{
        source: z.ZodLiteral<"local-git">;
        observedAt: z.ZodEffects<z.ZodString, string, string>;
        repository: z.ZodObject<{
            origin: z.ZodNullable<z.ZodString>;
        }, "strict", z.ZodTypeAny, {
            origin: string | null;
        }, {
            origin: string | null;
        }>;
        branch: z.ZodNullable<z.ZodString>;
        head: z.ZodNullable<z.ZodString>;
        unborn: z.ZodBoolean;
        worktree: z.ZodBoolean;
        dirty: z.ZodObject<{
            tracked: z.ZodNumber;
            untracked: z.ZodNumber;
            isDirty: z.ZodBoolean;
        }, "strict", z.ZodTypeAny, {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        }, {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        }>;
        base: z.ZodOptional<z.ZodObject<{
            ref: z.ZodString;
            commit: z.ZodString;
            isAncestorOfHead: z.ZodNullable<z.ZodBoolean>;
        }, "strict", z.ZodTypeAny, {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        }, {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        }>>;
    }, "strict", z.ZodTypeAny, {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    }, {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    }>, {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    }, {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    }>;
    pullRequest: z.ZodOptional<z.ZodObject<{
        url: z.ZodEffects<z.ZodString, string, string>;
        state: z.ZodDefault<z.ZodEnum<["unknown", "open", "closed", "merged"]>>;
        headCommit: z.ZodOptional<z.ZodString>;
        mergeCommit: z.ZodOptional<z.ZodString>;
        checkedAt: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
    }, "strict", z.ZodTypeAny, {
        state: "unknown" | "open" | "closed" | "merged";
        url: string;
        headCommit?: string | undefined;
        mergeCommit?: string | undefined;
        checkedAt?: string | undefined;
    }, {
        url: string;
        state?: "unknown" | "open" | "closed" | "merged" | undefined;
        headCommit?: string | undefined;
        mergeCommit?: string | undefined;
        checkedAt?: string | undefined;
    }>>;
    note: z.ZodDefault<z.ZodString>;
    supersedes: z.ZodOptional<z.ZodString>;
}, "strict", z.ZodTypeAny, {
    note: string;
    git: {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    };
    supersedes?: string | undefined;
    requestId?: string | undefined;
    pullRequest?: {
        state: "unknown" | "open" | "closed" | "merged";
        url: string;
        headCommit?: string | undefined;
        mergeCommit?: string | undefined;
        checkedAt?: string | undefined;
    } | undefined;
}, {
    git: {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    };
    supersedes?: string | undefined;
    note?: string | undefined;
    requestId?: string | undefined;
    pullRequest?: {
        url: string;
        state?: "unknown" | "open" | "closed" | "merged" | undefined;
        headCommit?: string | undefined;
        mergeCommit?: string | undefined;
        checkedAt?: string | undefined;
    } | undefined;
}>, {
    note: string;
    git: {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    };
    supersedes?: string | undefined;
    requestId?: string | undefined;
    pullRequest?: {
        state: "unknown" | "open" | "closed" | "merged";
        url: string;
        headCommit?: string | undefined;
        mergeCommit?: string | undefined;
        checkedAt?: string | undefined;
    } | undefined;
}, {
    git: {
        dirty: {
            tracked: number;
            untracked: number;
            isDirty: boolean;
        };
        observedAt: string;
        repository: {
            origin: string | null;
        };
        source: "local-git";
        branch: string | null;
        head: string | null;
        unborn: boolean;
        worktree: boolean;
        base?: {
            ref: string;
            commit: string;
            isAncestorOfHead: boolean | null;
        } | undefined;
    };
    supersedes?: string | undefined;
    note?: string | undefined;
    requestId?: string | undefined;
    pullRequest?: {
        url: string;
        state?: "unknown" | "open" | "closed" | "merged" | undefined;
        headCommit?: string | undefined;
        mergeCommit?: string | undefined;
        checkedAt?: string | undefined;
    } | undefined;
}>;
export type DevelopmentOptions = z.input<typeof developmentOptionsSchema>;
export interface DevelopmentRecord {
    id: string;
    recordedBy: string;
    recordedAt: string;
    designRevision: number;
    /** The gateway records this report; it has not independently checked Git or PR state. */
    evidence: "development-report";
    options: z.output<typeof developmentOptionsSchema>;
}
export declare function normalizeDevelopmentRecord(board: Board, record: DevelopmentRecord, actor: string, at: string, revision: number): DevelopmentRecord;
export declare function protectDevelopmentHistory(board: Board, entries: Entry[], op: Op): void;