予約と資源の状態

予約

stateDiagram-v2
  [*] --> confirmed: 予約作成（重複なし・資源有効）
  confirmed --> cancelled: 本人または管理者が開始前に取消
  cancelled --> [*]

• 予約区間は[開始, 終了)。終了済みかどうかは時刻から判定し、状態として二重管理しない。
• cancelledは重複判定から除き、取消の確定と同時にその枠を再予約できる。
• 取消済み予約への取消は409（already_cancelled）で、履歴を追加しない。
• 楽観ロックの公開versionが取得時と異なる取消は409（stale_version）。

資源

stateDiagram-v2
  [*] --> active: 管理者が登録
  active --> inactive: 未来のconfirmed予約がない状態で無効化
  inactive --> active: 管理者が再有効化

• inactiveの資源には新規予約できない（resource_inactive）。
• 未来のconfirmed予約がある資源は無効化できない（future_reservations_exist）。
• 予約作成・取消・無効化は内部control_versionを更新して同一資源の書込みを直列化する。