Status: IN
Two-phase commit has a systematic gap between its safety design and implementation: the coordinator has a known blocking window between logging and sending the decision, timeouts are accepted as a parameter but never enforced, and recovery requires all participants to be available — defeating the protocol's availability goals.
Three independent implementation gaps each weaken a distinct 2PC safety property (atomicity, liveness, recovery)
Depends on (SL): 2pc-blocking-window, 2pc-timeout-unused, recovery-requires-participant-availability