/**
 * Annotation coverage checks: missing annotations, pure-annotation validation,
 * domain consistency, and purpose-role mismatches.
 */
import type { IndexDatabase } from '../../../../db/database.js';
import type { SupportedLanguage } from '../prompts.js';
import type { CoverageCheckResult } from './verify-types.js';
/**
 * Check annotation coverage for the given aspects.
 * Reports missing annotations as issues.
 */
export declare function checkAnnotationCoverage(db: IndexDatabase, aspects: string[], fileLanguageMap?: Map<string, SupportedLanguage>): CoverageCheckResult;
//# sourceMappingURL=annotation-checker.d.ts.map