refine-claim

Purpose

Repair a claim by narrowing scope, adding a lemma, or decomposing it while preserving explanatory power.

Input contract

required: [claim, failure_or_counterexample, supporting_evidence]
optional: [scope_options, mechanism]
constraints: [every repair must state what was narrowed or added]

Procedure

1. Identify the failed commitment.
2. Generate scope, lemma, or decomposition repairs.
3. Select a repair and record retained explanatory content.

Output contract

produces: [refined_claim, repair_rationale, retained_scope, lost_commitments]
delta_fields: [findings, evidence_updates, uncertainties, decisions]

Quality gates