Building Counterfactual Execution. Change one event in committed history. Re-execute what follows. Verify what survives.