import { type IoKind } from './io-pattern.js';
export interface CoverageViolation {
    readonly rule: string;
    readonly file: string;
    readonly line: number;
    readonly message: string;
}
export interface CoverageCheckResult {
    readonly violations: readonly CoverageViolation[];
    readonly scanned: number;
}
/**
 * Tier-2 coverage check across `sourceFiles` (paths relative to `cwd`).
 *
 * `extras` extends the stock pipework I/O registry with consumer-declared
 * patterns from `config.trace.io`. Defaults to empty — the stock registry
 * (`pipe.*` writes, `pipe(...)`-chain reads) is always live.
 */
export declare function checkCoverage(cwd: string, sourceFiles: readonly string[], extras?: Readonly<Record<string, IoKind>>): CoverageCheckResult;
//# sourceMappingURL=coverage-check.d.ts.map