{"id":"2pc-coordinator-recovery-replays-commit","text":"A coordinator with a `\"committing\"` log entry will re-send commit decisions to all participants during `recover()`, ensuring that a crash after the commit decision but before delivery still completes the transaction","truth_value":"IN","source":"entries/2026/05/29/two-phase-commit-test_2pc.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"if state == \"committing\":\n    for pid in pids:\n        if p.is_available() and p.get_transaction_state(tx_id) == \"prepared\":\n            p.commit(tx_id)"},"explanation":{"steps":[{"node":"2pc-coordinator-recovery-replays-commit","truth_value":"IN","reason":"premise"}]}}