[모듈] 예약·부킹 — 가용성 검증·충돌방지·상태머신 | SpecCanvas