import type { LexiconPlugin } from "../../lexicon.js";
export interface CheckItem {
    name: string;
    tier: 1 | 2 | 3;
    pass: boolean;
    detail?: string;
}
export interface CheckResult {
    items: CheckItem[];
    tier1Pass: boolean;
}
/**
 * #1330 — gate on the plugin's own spec-coverage accounting.
 *
 * fountain's `coverage.test.ts` asserts `unaccountedKinds == []` in CI, but a
 * lexicon-local test is a convention, not a check-lexicon contract — the same
 * class of gap #1342 closed for LSP providers. `coverageReport()` gives core
 * the one fact to gate on: which upstream spec kinds are neither modeled nor
 * on the lexicon's exclusion list. A lexicon without the member passes
 * vacuously, the same conditional shape as the docs-reachability and
 * Diátaxis checks; a report that throws fails, for the same reason `safeList`
 * treats a throw as worse than absence.
 */
export declare function coverageReportCheck(plugin: LexiconPlugin | undefined): Promise<CheckItem>;
/**
 * Run all completeness checks against a lexicon directory.
 */
export declare function checkLexicon(dir: string): Promise<CheckResult>;
/**
 * Print the check result as a colored table or JSON.
 */
export declare function printCheckResult(result: CheckResult, json: boolean): void;
//# sourceMappingURL=check-lexicon.d.ts.map