{"id":"hotel-cancel-no-underflow-guard","text":"`cancel()` decrements `booked` without checking for `booked >= 0`, so a double-cancel bug (if the status check were bypassed) could produce negative inventory counts.","truth_value":"OUT","source":"entries/2026/06/05/hotel-reservation-system-hotel_reservation.md","source_url":"","source_hash":"","justifications":[],"dependents":["hotel-occ-prevents-overbooking","state-reversal-is-uniformly-guarded","writes-always-produce-valid-forward-progress"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:21+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:21+00:00","explanation":{"steps":[{"node":"hotel-cancel-no-underflow-guard","truth_value":"OUT","reason":"retracted premise"}]}}