import { type DetectorCanaryResult } from "./canaries.js";
import type { AdapterConformanceReport } from "./conformance/check.js";
import type { RunComparison } from "./runner/compare.js";
import type { ReplaySummary } from "./runner/replay.js";
import type { ProofResult, ProofScenarioSummary } from "./scenarios/proof.js";
export interface DoctorCheck {
    name: string;
    ok: boolean;
    required: boolean;
    detail: string;
}
export declare function formatDoctorChecks(checks: DoctorCheck[]): string;
export declare function doctorHasBlockingFailure(checks: DoctorCheck[]): boolean;
export declare function formatCanaryResults(results: readonly DetectorCanaryResult[]): string;
export declare function formatAdapterConformance(report: AdapterConformanceReport): string;
export declare function formatProofSummary(result: ProofResult): string;
export declare function formatReplaySummary(summary: ReplaySummary): string;
export declare function formatRunComparison(comparison: RunComparison): string;
export declare function formatScenarioCatalog(scenarios: readonly ProofScenarioSummary[]): string;
//# sourceMappingURL=cli-output.d.ts.map