What this dataset tests
Whether a counterfactual respects causal separation.
Change one node.
Only descendants should change.
Non-descendants should remain stable.
Why this exists
Models often treat counterfactuals like stories.
They let everything drift.
This benchmark tests graph discipline.
Data format
Each row contains
a node set and edge list
an intervention do(X=...)
baseline and counterfactual states
expected changed nodes
expected unchanged nodes
