Status: IN
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.
OCC prevents concurrent overbook, but negative inventory from cancel underflow corrupts the availability data that OCC is protecting
Depends on (SL): hotel-reservation-optimistic-locking, hotel-search-availability-is-bottleneck-date
Unless: hotel-cancel-no-underflow-guard