import { z } from "zod";
import type { CoordinationRecord } from "./types.js";
declare const sourceProof: 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;
}>;
declare const targetAcceptance: 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;
}>;
export declare const handoffSchema: 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;
}>;
export type CoordinationHandoff = z.infer<typeof handoffSchema>;
export type HandoffSourceProof = z.infer<typeof sourceProof>;
export type HandoffTargetAcceptance = z.infer<typeof targetAcceptance>;
/** Shape/hash consistency is not permission: native handlers must collect and validate the actual facts. */
export declare function validHandoff(record: CoordinationRecord): boolean;
export {};
//# sourceMappingURL=handoff_record.d.ts.map