{"id":"2pc-abort-guarantees-no-side-effects","text":"When any participant is unavailable, `execute()` returns `\"aborted\"` and no participant's state is modified, even for participants that were available and could have committed independently","truth_value":"IN","source":"entries/2026/05/29/two-phase-commit-test_2pc.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"2pc-abort-guarantees-no-side-effects","truth_value":"IN","reason":"premise"}]}}