trace-assumption-cascade

Purpose

Trace downstream claims, methods, and conclusions that fail when a selected assumption is invalidated.

Input contract

required: [assumption, dependency_graph, downstream_claims]
optional: [failure_evidence, intervention]
constraints: [each cascade edge must identify dependency and failure mechanism]

Procedure

1. Identify the assumption and immediate dependents.
2. Propagate invalidation through claims, methods, and conclusions.
3. Distinguish local from cascading failure and record recovery points.

If the cascade identifies conclusions controlled by a small assumption set, consider search-minimal-flip as the next tactic.