{"id":"hotel-occ-prevents-overbooking","text":"Hotel reservations prevent overbooking through optimistic concurrency control with per-date version counters, rejecting concurrent conflicting bookings via version mismatch — unless a double-cancel bypasses the underflow guard and drives inventory counts negative, making the system believe more rooms are available than exist.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["hotel-reservation-optimistic-locking","hotel-search-availability-is-bottleneck-date"],"outlist":["hotel-cancel-no-underflow-guard"],"label":"OCC prevents concurrent overbook, but negative inventory from cancel underflow corrupts the availability data that OCC is protecting"}],"dependents":["concurrency-safety-strategy-varies-by-financial-risk"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"hotel-occ-prevents-overbooking","truth_value":"IN","reason":"SL justification valid","antecedents":["hotel-reservation-optimistic-locking","hotel-search-availability-is-bottleneck-date"],"label":"OCC prevents concurrent overbook, but negative inventory from cancel underflow corrupts the availability data that OCC is protecting","outlist":["hotel-cancel-no-underflow-guard"]},{"node":"hotel-reservation-optimistic-locking","truth_value":"IN","reason":"premise"},{"node":"hotel-search-availability-is-bottleneck-date","truth_value":"IN","reason":"premise"}]}}