import type { ConflictReport, Contradiction, SpecAnalysisInput } from '../types/index.js';
export type { SpecAnalysisInput as SpecInput };
/**
 * Detect semantic contradictions between a list of specs.
 * Each spec is compared against every other spec for all known patterns.
 */
export declare function detectContradictions(specs: SpecAnalysisInput[]): Contradiction[];
/**
 * Build a full ConflictReport from a list of specs.
 */
export declare function buildConflictReport(specs: SpecAnalysisInput[]): ConflictReport;
/**
 * Format a ConflictReport as a markdown string.
 */
export declare function formatConflictReport(report: ConflictReport): string;
//# sourceMappingURL=contradiction-detector.d.ts.map