extract-core-conflict

Purpose

Represent a core constraint conflict in an Evaporating-Cloud-like structure with explicit assumptions on every dependency.

Input contract

required: [undesirable_effects, constraint_relations, assumption_records]
optional: [evidence, assumptions, prior_results]
constraints: [use named scientific objects; retain provenance and missingness; $\alpha$ = 0.05 and power = 0.8 where applicable]

Procedure

1. Validate the typed inputs and state the decision this operation must support.
2. Apply the declared operation to the named object; record intermediate values that affect interpretation.
3. Check boundary conditions and counterexamples, then emit the result with uncertainty and source links.

Output contract

produces: [extract_core_conflict_result, evidence_trace, uncertainties]
delta_fields: [evidence_updates, uncertainties]

Quality gates

• Inputs are named scientific objects with compatible schemas.
• Every material result has a derivation or source reference.
• Fixed statistical criteria remain exact where applicable: $\alpha$ 0.05 and power 0.8.

Failure and counterexamples

Return a failed operation with the violated precondition when inputs are incomplete, assumptions are unsupported, or a counterexample defeats the result.

Provenance map

• intermediate: experiment-execution/core-conflict-extraction