derive-consequences

Purpose

Trace valid consequences from an altered premise, provocation, or negated claim.

Input contract

required: [premise_change, base_model, inference_rules]
optional: [time_horizon, boundary_conditions, contradiction_policy]
constraints: [each consequence links to an explicit inference step]

Procedure

1. State the altered premise and preserve unaffected assumptions.
2. Apply inference rules stepwise, recording intermediates and branches.
3. Mark contradictions, uncertainty, and boundary violations.
4. Return consequences with dependency paths and testable implications.

Output contract

produces: [consequence_chain, intermediate_steps, contradictions, testable_implications]
delta_fields: [findings, hypothesis_updates, uncertainties]