select-critical-case

Purpose

Select most-likely, least-likely, or otherwise inference-maximizing cases that can decisively support or refute a claim.

Input contract

required: [claim, case_universe, selection_logic]
optional: [likelihood_model, boundary_conditions]
constraints: [case selection rule and inference purpose must be explicit]

Procedure

1. Define the eligible case universe and selection objective.
2. Rank cases under the declared logic.
3. Select and justify the critical case, including excluded cases.

Output contract

produces: [critical_case, selection_rationale, excluded_cases, inference_role]
delta_fields: [findings, evidence_updates, uncertainties, decisions]

Quality gates