SKU ごとの在庫。入荷で増え、注文のために 30 分押さえ、出荷で確定し、キャンセルで取り消す。返品は棚に戻す
chobo doc が examples/inventory/inventory.ja.book から作ったページ。勘定ごとに残高を持ち、残高は入った量から出た量を引いたもの。どの振替も勘定の下限と上限を守り、守れない振替は、その境界に付けた名前で拒否されて、どの移動も行われない。振替には、すぐに動かすもの（do）と、動かす量をまず押さえるもの（hold）がある。押さえた分は、あとで確定される（post。全部か一部）か、取り消される（void）か、有効期限で切れる。
| 勘定 | 分け方 | 単位 | 境界 | 説明 |
|---|---|---|---|---|
在庫 | sku ごと | 個 | 0 以上。下回る振替は 在庫切れ で拒否される | 倉庫の棚にある数 |
仕入先 | 一つだけ | 個 | 外の勘定。境界は無く、マイナスにもなる | |
客 | 一つだけ | 個 | 外の勘定。境界は無く、マイナスにもなる |
四角は勘定で、矢印は振替の移動。角の丸い破線の四角は外の勘定で、境界を持たない。破線の矢印は仮押さえの振替で、まず押さえ、確定したときに動く。
仕入先 から 在庫(sku) へ 数。納品書 と sku の組ごとに一度だけ動く。同じ呼び出しの二度目は何もせず、done_before を返す。キーが同じで 数 が違う二度目の呼び出しは、key_conflict で拒否される。do）。| 操作 | 拒否されうる理由 | いつ |
|---|---|---|
入荷.do | key_conflict | 納品書 と sku が同じで、ほかの引数が違う呼び出しが、前に済んでいる |
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 1) 通る 2 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) key_conflict で拒否される
出荷で確定し、キャンセルで取り消す
在庫(sku) から 客 へ 数。注文 と sku の組ごとに一度だけ動く。同じ呼び出しの二度目は何もせず、done_before を返す。キーが同じで 数 が違う二度目の呼び出しは、key_conflict で拒否される。仮押さえが終わったあとに同じキーでもう一度押さえると、done_before を返し、何も押さえない。| 仮押さえの状態 | post（確定） | void（取消） |
|---|---|---|
| 押さえ中 | 確定する。額を渡せばその額、渡さなければ全額で、残りは元に戻る。押さえた額を超えれば over_hold で拒否される。押さえてから 30 分たっていれば expired で拒否される | 取り消す。押さえた量は元に戻る。押さえてから 30 分たっていれば expired で拒否される |
| 確定 | 同じ額なら done_before、違う額なら key_conflict で拒否される | already_posted で拒否される |
| 取消 | already_voided で拒否される | done_before |
| 期限切れ | expired で拒否される | expired で拒否される |
| 仮押さえが無い | no_such_hold で拒否される | no_such_hold で拒否される |
| 操作 | 拒否されうる理由 | いつ |
|---|---|---|
引当.hold | 在庫切れ | 在庫(sku) が 0 を下回る |
引当.hold | key_conflict | 注文 と sku が同じで、ほかの引数が違う呼び出しが、前に済んでいる |
引当.hold | already_refused | 注文 と sku が同じ呼び出しが、前に境界で拒否されている。境界で拒否されたキーは、あとで足りるようになっても通らない |
引当.post | key_conflict | 仮押さえは、違う額で確定済み |
引当.post | already_voided | 仮押さえはもう取り消されている |
引当.post | expired | 仮押さえの期限が切れている |
引当.post | over_hold | 押さえた額より多く確定しようとした |
引当.post | no_such_hold | その 注文 と sku の仮押さえが無い |
引当.void | already_posted | 仮押さえはもう確定している |
引当.void | expired | 仮押さえの期限が切れている |
引当.void | no_such_hold | その 注文 と sku の仮押さえが無い |
1 引当.hold(注文: 注文-1, sku: sku-2, 数: 1) 在庫切れ で拒否される（1 つ目の移動が 在庫(sku-2) から 1 を取ろうとしたときの残高は、確定 0、出ていく仮押さえ 0）
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 1) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 1) 通る 3 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) key_conflict で拒否される
1 引当.hold(注文: 注文-1, sku: sku-2, 数: 1) 在庫切れ で拒否される（1 つ目の移動が 在庫(sku-2) から 1 を取ろうとしたときの残高は、確定 0、出ていく仮押さえ 0） 2 引当.hold(注文: 注文-1, sku: sku-2, 数: 1) already_refused で拒否される
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) 通る 3 引当.post(注文: 注文-3, sku: sku-2) 通る 4 引当.post(注文: 注文-3, sku: sku-2, 数: 1) key_conflict で拒否される
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) 通る 3 引当.void(注文: 注文-3, sku: sku-2) 通る 4 引当.post(注文: 注文-3, sku: sku-2) already_voided で拒否される
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) 通る 3 pass 30 分 引当(注文-3, sku-2) が期限切れ 4 引当.post(注文: 注文-3, sku: sku-2) expired で拒否される
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) 通る 3 引当.post(注文: 注文-3, sku: sku-2, 数: 3) over_hold で拒否される
1 引当.post(注文: 注文-1, sku: sku-2) no_such_hold で拒否される
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) 通る 3 引当.post(注文: 注文-3, sku: sku-2) 通る 4 引当.void(注文: 注文-3, sku: sku-2) already_posted で拒否される
1 入荷.do(納品書: 納品書-1, sku: sku-2, 数: 2) 通る 2 引当.hold(注文: 注文-3, sku: sku-2, 数: 2) 通る 3 pass 30 分 引当(注文-3, sku-2) が期限切れ 4 引当.void(注文: 注文-3, sku: sku-2) expired で拒否される
1 引当.void(注文: 注文-1, sku: sku-2) no_such_hold で拒否される
客から返ってきた品を棚に戻す
客 から 在庫(sku) へ 数。返品番号 と sku の組ごとに一度だけ動く。同じ呼び出しの二度目は何もせず、done_before を返す。キーが同じで 数 が違う二度目の呼び出しは、key_conflict で拒否される。do）。| 操作 | 拒否されうる理由 | いつ |
|---|---|---|
返品.do | key_conflict | 返品番号 と sku が同じで、ほかの引数が違う呼び出しが、前に済んでいる |
1 返品.do(返品番号: 返品番号-1, sku: sku-2, 数: 1) 通る 2 返品.do(返品番号: 返品番号-1, sku: sku-2, 数: 2) key_conflict で拒否される
chobo scenarios が帳簿から作ったシナリオ 21 本。一つ選び、ステップを一つずつ進めると、そのあとの残高と仮押さえが見られる。図では、そのステップで呼んだ振替の矢印に色が付く（拒否されたものは赤）。
| 勘定 | 確定 | 出ていく仮押さえ | 入ってくる仮押さえ |
|---|
| 仮押さえ | 状態 |
|---|