reductio-counterexample-analysis

Purpose

Negate claims, derive consequences, detect contradictions and counterexamples, then refine scope.

Input contract

required: [claim, scope, supporting_reasoning]
optional: [known_counterexamples, boundary_conditions]
constraints: [negation must preserve the stated scope]

Execution protocol

Do not perform called SOP operations inline; each loaded SOP owns its contract and thresholds.