/**
 * openlore verify command
 *
 * Tests generated spec accuracy against actual source code.
 * Samples files and validates that specs accurately describe behavior.
 */
import { Command } from 'commander';
import { type VerificationReport, type VerificationResult } from '../../core/verifier/verification-engine.js';
/**
 * Display individual verification result
 */
export declare function displayResult(result: VerificationResult, index: number, total: number, threshold: number, verbose: boolean): void;
/**
 * Display verification summary
 */
export declare function displaySummary(report: VerificationReport, _threshold: number): void;
export declare const verifyCommand: Command;
//# sourceMappingURL=verify.d.ts.map