Status: IN
`reserve()` implements optimistic concurrency via a read-then-verify-version pattern, but both phases execute synchronously with no actual interleaving, making the version check demonstrative rather than functional.
Source: entries/2026/06/05/hotel-reservation-system-hotel_reservation.md