generate-counterexample

Purpose

Generate a counterexample candidate within the target claim scope and record whether exclusion is principled.

Input contract

required: [claim, scope, claimed_conclusion]
optional: [known_cases, construction_rules]
constraints: [candidate must satisfy stated scope before challenging conclusion]

Procedure

1. Identify the claim's necessary commitments.
2. Construct a candidate satisfying scope but violating conclusion.
3. Test the candidate and classify principled versus ad hoc exclusion.

Output contract

produces: [counterexample_candidate, scope_check, violation, exclusion_assessment]
delta_fields: [findings, evidence_updates, uncertainties, decisions]

Quality gates