import { type ResolvedProfileContext, type SemanticGraph } from './compiler.js';
import { type EvidenceReport } from './evidence.js';
import { type ProjectionResult } from './projection.js';
interface EvidenceCoverage {
    readonly observations: number;
    readonly confirmed: number;
    readonly contradicted: number;
    readonly unknown: number;
    readonly notObserved: number;
}
export interface NextSubject {
    readonly id: string;
    readonly kind: string;
    readonly name?: string;
    readonly dependsOn: readonly string[];
    readonly requiredBy: readonly string[];
    readonly evidence: EvidenceCoverage;
    readonly cycle?: true;
}
export declare const coverageClause: (coverage: EvidenceCoverage) => string;
export declare function buildNextSubjects(result: ProjectionResult, graph: SemanticGraph, profileContext: ResolvedProfileContext | undefined, reports: readonly EvidenceReport[]): readonly NextSubject[];
export {};