detect-contradiction

Purpose

Detect and classify explicit contradictions in derivations, claims, or evidence relations.

Input contract

required: [claims_or_derivation, evidence_relations, scope_context]
optional: [logic_rules, causal_graph, contradiction_taxonomy]
constraints: [distinguish formal, empirical, scope-dependent, and unresolved contradiction; preserve both sides]

Procedure