import { z } from "zod";
import { type CoordinationExpected, type CoordinationRecord, type RenewalProof } from "./types.js";
export declare function validRenewalProof(input: unknown): input is RenewalProof;
export declare const coordinationRecordSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"github-coordination/1.0">;
    repository: z.ZodString;
    repositoryId: z.ZodEffects<z.ZodString, string, string>;
    workItem: z.ZodString;
    branch: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
    sourceRepositoryId: z.ZodEffects<z.ZodString, string, string>;
    owner: z.ZodEffects<z.ZodString, string, string>;
    machine: z.ZodEffects<z.ZodString, string, string>;
    sessionRef: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
    generation: z.ZodNumber;
    controlEpochDigest: z.ZodString;
    createdAt: z.ZodString;
    expiresAt: z.ZodNullable<z.ZodString>;
    lastObservedHead: z.ZodString;
    lifecycleState: z.ZodEnum<["Admitted", "Prepared", "Active", "Draft", "Ready", "MergeArmed", "Integrated", "Closing", "Closed", "Abandoned"]>;
    renewal: z.ZodOptional<z.ZodObject<{
        transactionId: z.ZodEffects<z.ZodString, string, string>;
        proposedExpiresAt: z.ZodString;
        reservedAt: z.ZodString;
    }, "strict", z.ZodTypeAny, {
        transactionId: string;
        proposedExpiresAt: string;
        reservedAt: string;
    }, {
        transactionId: string;
        proposedExpiresAt: string;
        reservedAt: string;
    }>>;
    renewalConfirmation: z.ZodOptional<z.ZodObject<{
        transactionId: z.ZodEffects<z.ZodString, string, string>;
        reservationControlSha: z.ZodString;
        reservationRecordHash: z.ZodString;
        oldExpiresAt: z.ZodString;
        proposedExpiresAt: z.ZodString;
        serverDate: z.ZodEffects<z.ZodString, string, string>;
        roundTripMs: z.ZodNumber;
        elapsedMs: z.ZodNumber;
        observedUpperBoundAt: z.ZodString;
        proofHash: z.ZodString;
    }, "strict", z.ZodTypeAny, {
        transactionId: string;
        proofHash: string;
        reservationControlSha: string;
        reservationRecordHash: string;
        oldExpiresAt: string;
        proposedExpiresAt: string;
        serverDate: string;
        roundTripMs: number;
        elapsedMs: number;
        observedUpperBoundAt: string;
    }, {
        transactionId: string;
        proofHash: string;
        reservationControlSha: string;
        reservationRecordHash: string;
        oldExpiresAt: string;
        proposedExpiresAt: string;
        serverDate: string;
        roundTripMs: number;
        elapsedMs: number;
        observedUpperBoundAt: string;
    }>>;
    integration: z.ZodOptional<z.ZodObject<{
        pullRequestNumber: z.ZodNumber;
        pullRequestId: z.ZodEffects<z.ZodString, string, string>;
        integratedSourceHead: z.ZodString;
        integratedCommit: z.ZodString;
        headRef: z.ZodEffects<z.ZodString, string, string>;
        headRepositoryId: z.ZodEffects<z.ZodString, string, string>;
        baseRef: z.ZodEffects<z.ZodString, string, string>;
        baseRepositoryId: z.ZodEffects<z.ZodString, string, string>;
        mergedAt: z.ZodString;
        observedAt: z.ZodEffects<z.ZodString, string, string>;
        observer: z.ZodEffects<z.ZodString, string, string>;
        hostId: z.ZodEffects<z.ZodString, string, string>;
        credentialBindingHash: z.ZodString;
        evidenceHash: z.ZodString;
    }, "strict", z.ZodTypeAny, {
        evidenceHash: string;
        observer: string;
        hostId: string;
        observedAt: string;
        pullRequestNumber: number;
        pullRequestId: string;
        integratedSourceHead: string;
        integratedCommit: string;
        headRef: string;
        headRepositoryId: string;
        baseRef: string;
        baseRepositoryId: string;
        mergedAt: string;
        credentialBindingHash: string;
    }, {
        evidenceHash: string;
        observer: string;
        hostId: string;
        observedAt: string;
        pullRequestNumber: number;
        pullRequestId: string;
        integratedSourceHead: string;
        integratedCommit: string;
        headRef: string;
        headRepositoryId: string;
        baseRef: string;
        baseRepositoryId: string;
        mergedAt: string;
        credentialBindingHash: string;
    }>>;
    handoff: z.ZodOptional<z.ZodObject<{
        transferId: z.ZodEffects<z.ZodString, string, string>;
        source: z.ZodObject<{
            owner: z.ZodEffects<z.ZodString, string, string>;
            machine: z.ZodEffects<z.ZodString, string, string>;
            generation: z.ZodNumber;
            epoch: z.ZodString;
            head: z.ZodString;
            expiresAt: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            owner: string;
            expiresAt: string;
            machine: string;
            generation: number;
            epoch: string;
            head: string;
        }, {
            owner: string;
            expiresAt: string;
            machine: string;
            generation: number;
            epoch: string;
            head: string;
        }>;
        target: z.ZodObject<{
            owner: z.ZodEffects<z.ZodString, string, string>;
            machine: z.ZodEffects<z.ZodString, string, string>;
        }, "strict", z.ZodTypeAny, {
            owner: string;
            machine: string;
        }, {
            owner: string;
            machine: string;
        }>;
        sourceProof: z.ZodOptional<z.ZodObject<{
            freezeRecordHash: z.ZodString;
            facts: z.ZodObject<{
                sourceRepositoryId: z.ZodEffects<z.ZodString, string, string>;
                sourceRef: z.ZodEffects<z.ZodString, string, string>;
                endpointHash: z.ZodString;
                sourceHead: z.ZodString;
                remoteHead: z.ZodString;
                workspace: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
                commonDir: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
                trackedClean: z.ZodLiteral<true>;
                untracked: z.ZodTuple<[], null>;
                ignored: z.ZodTuple<[], null>;
                uniqueCommits: z.ZodLiteral<0>;
                unpushedCommits: z.ZodLiteral<0>;
                observer: z.ZodEffects<z.ZodString, string, string>;
                hostId: z.ZodEffects<z.ZodString, string, string>;
                observedAt: z.ZodString;
            }, "strict", z.ZodTypeAny, {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            }, {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            }>;
            coverage: z.ZodObject<{
                kind: z.ZodEnum<["isolated-qualification", "host-verified"]>;
                observerId: z.ZodEffects<z.ZodString, string, string>;
                entrypoints: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
                quiescenceHash: z.ZodString;
            }, "strict", z.ZodTypeAny, {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            }, {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            }>;
            proofHash: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            coverage: {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            };
            freezeRecordHash: string;
            facts: {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            };
            proofHash: string;
        }, {
            coverage: {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            };
            freezeRecordHash: string;
            facts: {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            };
            proofHash: string;
        }>>;
        targetAcceptance: z.ZodOptional<z.ZodObject<{
            sourceProofHash: z.ZodString;
            sourceRepositoryId: z.ZodEffects<z.ZodString, string, string>;
            sourceRef: z.ZodEffects<z.ZodString, string, string>;
            endpointHash: z.ZodString;
            sourceHead: z.ZodString;
            remoteHead: z.ZodString;
            retrievedHead: z.ZodString;
            targetHead: z.ZodString;
            workspace: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
            commonDir: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, string, string>;
            observer: z.ZodEffects<z.ZodString, string, string>;
            hostId: z.ZodEffects<z.ZodString, string, string>;
            observedAt: z.ZodString;
            acceptanceHash: z.ZodString;
        }, "strict", z.ZodTypeAny, {
            workspace: string;
            sourceRepositoryId: string;
            sourceRef: string;
            endpointHash: string;
            sourceHead: string;
            remoteHead: string;
            commonDir: string;
            observer: string;
            hostId: string;
            observedAt: string;
            sourceProofHash: string;
            retrievedHead: string;
            targetHead: string;
            acceptanceHash: string;
        }, {
            workspace: string;
            sourceRepositoryId: string;
            sourceRef: string;
            endpointHash: string;
            sourceHead: string;
            remoteHead: string;
            commonDir: string;
            observer: string;
            hostId: string;
            observedAt: string;
            sourceProofHash: string;
            retrievedHead: string;
            targetHead: string;
            acceptanceHash: string;
        }>>;
    }, "strict", z.ZodTypeAny, {
        target: {
            owner: string;
            machine: string;
        };
        source: {
            owner: string;
            expiresAt: string;
            machine: string;
            generation: number;
            epoch: string;
            head: string;
        };
        transferId: string;
        sourceProof?: {
            coverage: {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            };
            freezeRecordHash: string;
            facts: {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            };
            proofHash: string;
        } | undefined;
        targetAcceptance?: {
            workspace: string;
            sourceRepositoryId: string;
            sourceRef: string;
            endpointHash: string;
            sourceHead: string;
            remoteHead: string;
            commonDir: string;
            observer: string;
            hostId: string;
            observedAt: string;
            sourceProofHash: string;
            retrievedHead: string;
            targetHead: string;
            acceptanceHash: string;
        } | undefined;
    }, {
        target: {
            owner: string;
            machine: string;
        };
        source: {
            owner: string;
            expiresAt: string;
            machine: string;
            generation: number;
            epoch: string;
            head: string;
        };
        transferId: string;
        sourceProof?: {
            coverage: {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            };
            freezeRecordHash: string;
            facts: {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            };
            proofHash: string;
        } | undefined;
        targetAcceptance?: {
            workspace: string;
            sourceRepositoryId: string;
            sourceRef: string;
            endpointHash: string;
            sourceHead: string;
            remoteHead: string;
            commonDir: string;
            observer: string;
            hostId: string;
            observedAt: string;
            sourceProofHash: string;
            retrievedHead: string;
            targetHead: string;
            acceptanceHash: string;
        } | undefined;
    }>>;
    closeOwnerGeneration: z.ZodOptional<z.ZodNumber>;
    transactionId: z.ZodEffects<z.ZodString, string, string>;
    recordHash: z.ZodString;
}, "strict", z.ZodTypeAny, {
    schemaVersion: "github-coordination/1.0";
    owner: string;
    transactionId: string;
    recordHash: string;
    expiresAt: string | null;
    repository: string;
    sourceRepositoryId: string;
    machine: string;
    generation: number;
    repositoryId: string;
    workItem: string;
    branch: string;
    controlEpochDigest: string;
    createdAt: string;
    lastObservedHead: string;
    lifecycleState: "Admitted" | "Prepared" | "Active" | "Draft" | "Ready" | "MergeArmed" | "Integrated" | "Closing" | "Closed" | "Abandoned";
    sessionRef?: string | undefined;
    renewal?: {
        transactionId: string;
        proposedExpiresAt: string;
        reservedAt: string;
    } | undefined;
    renewalConfirmation?: {
        transactionId: string;
        proofHash: string;
        reservationControlSha: string;
        reservationRecordHash: string;
        oldExpiresAt: string;
        proposedExpiresAt: string;
        serverDate: string;
        roundTripMs: number;
        elapsedMs: number;
        observedUpperBoundAt: string;
    } | undefined;
    integration?: {
        evidenceHash: string;
        observer: string;
        hostId: string;
        observedAt: string;
        pullRequestNumber: number;
        pullRequestId: string;
        integratedSourceHead: string;
        integratedCommit: string;
        headRef: string;
        headRepositoryId: string;
        baseRef: string;
        baseRepositoryId: string;
        mergedAt: string;
        credentialBindingHash: string;
    } | undefined;
    handoff?: {
        target: {
            owner: string;
            machine: string;
        };
        source: {
            owner: string;
            expiresAt: string;
            machine: string;
            generation: number;
            epoch: string;
            head: string;
        };
        transferId: string;
        sourceProof?: {
            coverage: {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            };
            freezeRecordHash: string;
            facts: {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            };
            proofHash: string;
        } | undefined;
        targetAcceptance?: {
            workspace: string;
            sourceRepositoryId: string;
            sourceRef: string;
            endpointHash: string;
            sourceHead: string;
            remoteHead: string;
            commonDir: string;
            observer: string;
            hostId: string;
            observedAt: string;
            sourceProofHash: string;
            retrievedHead: string;
            targetHead: string;
            acceptanceHash: string;
        } | undefined;
    } | undefined;
    closeOwnerGeneration?: number | undefined;
}, {
    schemaVersion: "github-coordination/1.0";
    owner: string;
    transactionId: string;
    recordHash: string;
    expiresAt: string | null;
    repository: string;
    sourceRepositoryId: string;
    machine: string;
    generation: number;
    repositoryId: string;
    workItem: string;
    branch: string;
    controlEpochDigest: string;
    createdAt: string;
    lastObservedHead: string;
    lifecycleState: "Admitted" | "Prepared" | "Active" | "Draft" | "Ready" | "MergeArmed" | "Integrated" | "Closing" | "Closed" | "Abandoned";
    sessionRef?: string | undefined;
    renewal?: {
        transactionId: string;
        proposedExpiresAt: string;
        reservedAt: string;
    } | undefined;
    renewalConfirmation?: {
        transactionId: string;
        proofHash: string;
        reservationControlSha: string;
        reservationRecordHash: string;
        oldExpiresAt: string;
        proposedExpiresAt: string;
        serverDate: string;
        roundTripMs: number;
        elapsedMs: number;
        observedUpperBoundAt: string;
    } | undefined;
    integration?: {
        evidenceHash: string;
        observer: string;
        hostId: string;
        observedAt: string;
        pullRequestNumber: number;
        pullRequestId: string;
        integratedSourceHead: string;
        integratedCommit: string;
        headRef: string;
        headRepositoryId: string;
        baseRef: string;
        baseRepositoryId: string;
        mergedAt: string;
        credentialBindingHash: string;
    } | undefined;
    handoff?: {
        target: {
            owner: string;
            machine: string;
        };
        source: {
            owner: string;
            expiresAt: string;
            machine: string;
            generation: number;
            epoch: string;
            head: string;
        };
        transferId: string;
        sourceProof?: {
            coverage: {
                kind: "isolated-qualification" | "host-verified";
                observerId: string;
                entrypoints: string[];
                quiescenceHash: string;
            };
            freezeRecordHash: string;
            facts: {
                workspace: string;
                sourceRepositoryId: string;
                sourceRef: string;
                endpointHash: string;
                sourceHead: string;
                remoteHead: string;
                commonDir: string;
                trackedClean: true;
                untracked: [];
                ignored: [];
                uniqueCommits: 0;
                unpushedCommits: 0;
                observer: string;
                hostId: string;
                observedAt: string;
            };
            proofHash: string;
        } | undefined;
        targetAcceptance?: {
            workspace: string;
            sourceRepositoryId: string;
            sourceRef: string;
            endpointHash: string;
            sourceHead: string;
            remoteHead: string;
            commonDir: string;
            observer: string;
            hostId: string;
            observedAt: string;
            sourceProofHash: string;
            retrievedHead: string;
            targetHead: string;
            acceptanceHash: string;
        } | undefined;
    } | undefined;
    closeOwnerGeneration?: number | undefined;
}>;
export declare function recordWithoutHash(record: CoordinationRecord): Omit<CoordinationRecord, "recordHash">;
export declare function validRecord(input: unknown): input is CoordinationRecord;
export declare function createCoordinationRecord(input: Omit<CoordinationRecord, "schemaVersion" | "recordHash">): CoordinationRecord;
export declare function expectedRecord(record: CoordinationRecord): CoordinationExpected;
export declare function assertExpected(record: CoordinationRecord | null, expected: CoordinationExpected): void;
//# sourceMappingURL=record.d.ts.map