状態更新書くたびに毎回 Math.min と対応する上限値入れるのがダルかったので, DTO の外部に制約を定義し自動参照して (型安全に!) 操作できる仕組みを作った.
DTO をクリーンに保ちつつ TS の型でやる方法を考えるのちょっと面倒だったし, 型パズルも難易度高かったな.