{"id":"2pc-recovery-reaches-terminal-state","text":"Two-phase commit recovery drives all interrupted transactions to a terminal state by replaying committed decisions to participants, with lock ownership guards preventing cross-transaction interference during the recovery process.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"2pc-recovery-reaches-terminal-state","truth_value":"OUT","reason":"retracted premise"}]}}