/**
 * Verification: sample keys and compare Redis vs RespLite destination (SPEC_F §F.9 Step 7).
 */
import type { MigrationRedisClient } from './redis-client.ts';
export interface VerifyOptions {
    /** PRAGMA preset. Default `'default'`. */
    pragmaTemplate?: string;
    /** Sample percentage (0.5 = 0.5%). Default 0.5. */
    samplePct?: number;
    /** Default 10000. */
    maxSample?: number;
}
export interface VerifyMismatch {
    key: string;
    reason: string;
}
export interface VerifyResult {
    sampled: number;
    matched: number;
    mismatches: VerifyMismatch[];
}
/**
 * Run verification: sample keys from Redis, compare with destination DB.
 */
export declare function runVerify(redisClient: MigrationRedisClient, dbPath: string, options?: VerifyOptions): Promise<VerifyResult>;