search-minimal-flip

Purpose

Search for the smallest change to variables, assumptions, or conditions that flips a target conclusion.

Input contract

required: [target_conclusion, variables_or_assumptions, baseline_state]
optional: [distance_metric, constraints]
constraints: [flip criterion and change metric must be explicit]

Procedure

1. Define baseline conclusion and permitted changes.
2. Enumerate increasingly small candidate changes.
3. Test the first valid flip and verify minimality.

Output contract

produces: [minimal_flip, changed_variables, flip_evidence, minimality_check]
delta_fields: [findings, evidence_updates, uncertainties, decisions]

Quality gates