/**
 * Coverage display utilities for LLM annotation.
 */
export interface CoverageInfo {
    aspect: string;
    covered: number;
    total: number;
    percentage: number;
}
export interface AnnotationResult {
    symbolId: number;
    symbolName: string;
    aspect: string;
    value: string;
    success: boolean;
    error?: string;
}
export interface RelationshipAnnotationResult {
    fromId: number;
    fromName: string;
    toId: number;
    toName: string;
    value: string;
    success: boolean;
    error?: string;
}
export interface RelationshipCoverageInfo {
    annotated: number;
    total: number;
    percentage: number;
}
export interface IterationSummary {
    iteration: number;
    results: AnnotationResult[];
    relationshipResults: RelationshipAnnotationResult[];
    coverage: CoverageInfo[];
    relationshipCoverage: RelationshipCoverageInfo;
    readyCount: number;
    blockedCount: number;
}
/**
 * Format coverage stats as a single line.
 */
export declare function formatCoverageLine(coverage: CoverageInfo): string;
/**
 * Format all coverage stats.
 */
export declare function formatCoverageStats(coverage: CoverageInfo[], previousCoverage?: CoverageInfo[]): string[];
/**
 * Format iteration results.
 */
export declare function formatIterationResults(summary: IterationSummary): string[];
/**
 * Format final summary.
 */
export declare function formatFinalSummary(totalAnnotations: number, totalRelationshipAnnotations: number, totalErrors: number, iterations: number, coverage: CoverageInfo[], relationshipCoverage: RelationshipCoverageInfo): string[];
/**
 * Build coverage info for specified aspects from database coverage data.
 */
export declare function filterCoverageForAspects(allCoverage: CoverageInfo[], aspects: string[], totalSymbols: number): CoverageInfo[];
//# sourceMappingURL=coverage.d.ts.map