import { type FinishAttestationDiagnostic, type FinishAttestationReceipt } from "./workflow-finish-attestation-types.js";
export declare function readSource(value: unknown, diagnostics: FinishAttestationDiagnostic[]): FinishAttestationReceipt["source"] | undefined;
export declare function readCommand(value: unknown, diagnostics: FinishAttestationDiagnostic[]): FinishAttestationReceipt["command"] | undefined;
export declare function readTest(value: unknown, diagnostics: FinishAttestationDiagnostic[]): FinishAttestationReceipt["test"] | undefined;
export declare function readPack(value: unknown, diagnostics: FinishAttestationDiagnostic[]): FinishAttestationReceipt["pack"] | undefined;
export declare function readWorkflow(value: unknown, sourceHead: string | undefined, diagnostics: FinishAttestationDiagnostic[]): FinishAttestationReceipt["workflow"] | undefined;
export declare function readRunner(value: unknown, diagnostics: FinishAttestationDiagnostic[]): FinishAttestationReceipt["runner"] | undefined;
export declare function readLifecycle(issuedAt: unknown, expiresAt: unknown, diagnostics: FinishAttestationDiagnostic[]): {
    readonly expiresAt: string;
    readonly issuedAt: string;
} | undefined;
export declare function exactKeys(value: Readonly<Record<string, unknown>>, keys: readonly string[]): boolean;
export declare function isRecord(value: unknown): value is Readonly<Record<string, unknown>>;
export declare function isDigest(value: unknown): value is string;
export declare function isCommit(value: unknown): value is string;
export declare function isIdentifier(value: unknown): value is string;
export declare function isPositiveInteger(value: unknown): value is number;
export declare function isPositiveOrZeroInteger(value: unknown): value is number;
export declare function isString(value: unknown): value is string;