{"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":[{"type":"SL","antecedents":["2pc-coordinator-recovery-replays-commit","2pc-lock-ownership-guard"],"outlist":["2pc-timeout-unused"],"label":"Recovery replays commit decisions correctly but the unused timeout parameter means the coordinator can block indefinitely waiting for unresponsive participants, preventing termination"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"2pc-recovery-reaches-terminal-state","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"Recovery replays commit decisions correctly but the unused timeout parameter means the coordinator can block indefinitely waiting for unresponsive participants, preventing termination","violated_outlist":["2pc-timeout-unused"]}]}}