import type { ResultIdentity } from '../../../integrity/claim-binding/types.js';
import { type ClaimVerificationRow } from './verificationTypes.js';
/** Reuse receipt bounds; declared values have the compact binding-request cap. */
export declare const VERIFICATION_LIMITS: Readonly<{
    rowBytes: number;
    valueBytes: 8192;
    identityText: number;
}>;
/** A runtime-reserved claim occurrence cannot collide with a result occurrence. */
export declare function claimIdentityOf(raw: ResultIdentity): string;
/** Canonical claim tuple reader, shared with checkpoint lineage/counter checks. */
export declare function readClaimIdentity(value: unknown): ResultIdentity;
/** Validate the recorded protocol without evaluating whether its value agrees. */
export declare function readClaimVerificationRow(raw: unknown): ClaimVerificationRow;
/** Non-throwing checkpoint union guard; admission uses the same strict reader. */
export declare function isClaimVerificationRow(raw: unknown): raw is ClaimVerificationRow;