import type { PriorDecisionLink, ContradictionFinding } from '../../types/prior-decisions.js';
/**
 * Detect contradictions between acceptance criteria and prior decisions.
 *
 * A contradiction is raised when:
 * - A decision says "use TOOL_A" (positive)
 * - A criterion says "use TOOL_B" (positive) where TOOL_B ≠ TOOL_A but they
 *   share the same technology category.
 *
 * Severity is 'hard' when the decision is explicitly positive ("use X")
 * and the criterion explicitly prefers something else in the same slot;
 * 'soft' for indirect signals.
 */
export declare function detectContradictions(criteria: string[], priorDecisions: PriorDecisionLink[], decisionTexts: Map<string, string>): ContradictionFinding[];
//# sourceMappingURL=contradiction-detector.d.ts.map