import { type SourceIdentity } from "./source-identity.js";
import { type ReceiptDiagnostic, type VerificationCommandIdentity, type VerificationDigest, type VerificationIssuer, type VerificationResult, type VerificationWorkspaceIdentity } from "./workflow-verification-receipt-types.js";
export declare function checkKeys(record: Readonly<Record<string, unknown>>, allowed: readonly string[], path: string, diagnostics: ReceiptDiagnostic[]): void;
export declare function readBindingFields(record: Readonly<Record<string, unknown>>, path: string, diagnostics: ReceiptDiagnostic[]): {
    readonly attemptId: string;
    readonly command: VerificationCommandIdentity;
    readonly dirtyWorktreeDigest: VerificationDigest;
    readonly finishId: string;
    readonly phVersion: string;
    readonly sessionId: string;
    readonly sourceHead: string;
    readonly sourceIdentity: SourceIdentity;
    readonly workspaceIdentity: VerificationWorkspaceIdentity;
} | undefined;
export declare function readIssuer(value: unknown, path: string, diagnostics: ReceiptDiagnostic[]): VerificationIssuer | undefined;
export declare function readWorkspaceIdentity(value: unknown, path: string, diagnostics: ReceiptDiagnostic[]): VerificationWorkspaceIdentity | undefined;
export declare function readCommand(value: unknown, path: string, diagnostics: ReceiptDiagnostic[]): VerificationCommandIdentity | undefined;
export declare function readResult(value: unknown, path: string, diagnostics: ReceiptDiagnostic[]): VerificationResult | undefined;
export declare function readIdentifier(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): string | undefined;
export declare function readOptionalIdentifier(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): string | null;
export declare function readSourceHead(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): string | undefined;
export declare function readDigest(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): VerificationDigest | undefined;
export declare function readVersion(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): string | undefined;
export declare function readTimestamp(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): string | undefined;
export declare function readOptionalTimestamp(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): string | null;
export declare function readNonNegativeInteger(value: unknown, field: string, path: string, diagnostics: ReceiptDiagnostic[]): number | undefined;
export declare function readEnum<T extends string>(value: unknown, allowed: readonly T[], field: string, path: string, diagnostics: ReceiptDiagnostic[]): T | undefined;
export declare function isCanonicalTimestamp(value: string): boolean;