P14-03: Versioned shaft-wait saves, keep riders aboard, real-actor proof
- ElevatorService snapshot v2 carries the shaft-wide wait; v1 saves (written
with every elevator dynamic_cost 0) migrate by deriving it on load, and any
v2 mismatch, including all zeros, is rejected atomically. A genuine save
from 50ceca0 is kept as tests/fixtures/p14-03/legacy_rush_v1.
- A guest aboard a cabin no longer decides, leaves or despawns until the
elevator sets it down at a real landing; previously a rider told to leave
vanished from a moving cabin.
- test_route_wait_choice now proves the rush detour and route loss with a
worker who actually walks, every shared rider's arrival cell, service
elevator and stair congestion, legacy migration and a new-PID restart.
- Register completion markers for the seven suites added this session and
bring the P14 ledger in line with P14-02's completion.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Takeshi
co-authored by
Claude Opus 5.5
Claude Opus 5.5
parent
62d1dcecad
commit
a8edd3c3a1
+35
-17
@@ -1,29 +1,47 @@
|
||||
# P14-03 混雑と経路選択：証拠（候補 0754f41）
|
||||
# P14-03 混雑と経路選択：証拠
|
||||
|
||||
作業内容は「客用・業務用EV、階段、ワープの待ち時間をA*費用へ反映する」です。受入条件は「ラッシュ、相乗り、50%減速、救護同伴、経路喪失を、実際の位置と人数で検証する」です。
|
||||
|
||||
## A*費用に入るもの
|
||||
候補は、実装 `0754f41` に次の修正を加えた正確版です。正確な commit は ACCEPTANCE.json に記録します。
|
||||
- 保存契約 v2
|
||||
- 乗車中の客の退館修正
|
||||
- 試験の強化
|
||||
|
||||
| 移動手段 | 費用の内訳 |
|
||||
## 製品の変更
|
||||
|
||||
1. **EVの待ち時間を shaft 全体で数える。** 同じ籠で別の階の組を待っている人も、1人あたり1分（ORTHOGONAL_MOVE_COST）として各接続の `dynamic_cost` に公開します。更新するのは、乗車の要求・取消の時と、籠の毎分処理の時です。同じ階の組の行列、満員の籠1回あたり2分、移動階数×階あたり時間は、これまでどおり `estimate_elevator_wait_cost` が数えます。
|
||||
2. **保存契約を v2 にする。** ElevatorService の snapshot version を 1 から 2 に上げます。
|
||||
- v1 は旧版の保存で、昇降機の `dynamic_cost` は常に0でした。v1 は0のときだけ受理し、読込後に待ち時間を導出します。
|
||||
- v2 は、行列から導いた値との完全一致を必須にします。全0を含めて、一致しなければ原子的に拒否します。
|
||||
- 旧版 `50ceca0` が書き出した本物の保存（`tests/fixtures/p14-03/legacy_rush_v1`）で移行を確認しました。
|
||||
3. **乗車中の客は籠の中で判断・退館しない。** 乗車中（BOARDED）の客は、籠が有効な階に降ろすまで判断も退館もしません。試験で再現した欠陥は、乗車中に退館を決めた客が乗車中のまま消えるものでした（1094分）。修正後は1115分に1階で降車し、そのあと退館します。
|
||||
|
||||
## A*費用
|
||||
|
||||
| 移動手段 | 内訳 |
|
||||
|---|---|
|
||||
| EV | 基本費用と移動階数×階あたり時間に、待ち時間を足します。待ち時間は2つの和です。1つは同じ階の組の待ち行列（1人1分と、満員の籠1回ごとに2分）。もう1つは今回追加した「同じ籠で別の階の組を待つ人数×1分」で、各接続の dynamic_cost として公開します。行列が変わるたび（乗車の要求・取消・籠の毎分処理）に更新し、保存を読むときは行列から再計算した値と一致するかを検証します。 |
|
||||
| 階段 | 費用150です。待ち時間はありません。移動は半速（2分）です。セルの混雑費用が足されます。 |
|
||||
| ワープ | 費用400です。到着先セルの混雑費用（定員を超えた1人ごとに75）が足されます。停止中や残量不足のときは経路から除外します（P14-02）。 |
|
||||
| 通路・セル | 定員を超えた1人ごとに75を足します。2人以上が重なると移動速度は50%になります。 |
|
||||
| EV（客用・業務用） | 基本費用＋移動階数×階あたり時間＋同じ組の待ち行列＋shaft の他の組の待ち人数×1分 |
|
||||
| 階段 | 費用150（移動は半速の2分）＋セルの混雑費用 |
|
||||
| ワープ | 費用400＋到着先セルの混雑費用。停止中・残量不足のときは除外 |
|
||||
| 通路 | 定員を超えた1人ごとに75。2人以上が重なると移動速度は50% |
|
||||
|
||||
## 証拠
|
||||
## 証拠（`tests/transport/test_route_wait_choice.gd`。full は119 checks、`-- writer` は39、`-- reader` は7）
|
||||
|
||||
| 観点 | 試験 |
|
||||
| 観点 | 確認したこと |
|
||||
|---|---|
|
||||
| ラッシュ | `test_route_wait_choice`: 実際の客12人が籠Aで3階行きを待つと、0→1階の経路は空いている籠Bへ迂回します。籠Aの0→1階の接続は、12人分の待ちを費用に含みます。取消後は、その分の費用がちょうど消えます。保存・読込で完全に一致し、待ち費用を改ざんした保存は原子的に拒否されます。`test_shift_rush`: シフト交代時の通勤ラッシュです。 |
|
||||
| 相乗り | `test_route_wait_choice`: 実際の客6人が籠Bで同乗し、同時に乗るのは定員4人以内です。6人全員が運ばれ、消えた客はいません。 |
|
||||
| 50%減速 | `test_path_congestion`: 同じ経路の5人で定員を超える密度を作り、半速、2分目までに必ず進むこと、混雑した経路を避けることを確認します。 |
|
||||
| 救護同伴 | `test_rescue_elevator`: 救護者と患者の2人組が同じ籠を予約し、乗車中に保存・読込しても一致し、停電時は2人一緒に降ります。ワープでの2人分課金はコードで確認済みです（P14-02 レビュー）。 |
|
||||
| 経路喪失 | `test_route_wait_choice`: 籠Bを撤去すると、経路は残る籠Aに切り替わります。`test_path_congestion` と `test_runtime_path_traffic`: 30分動けない状態からの安全な回復と、構造の再構築を確認します。 |
|
||||
| ワープの混雑 | `test_route_wait_choice`: 出口に客6人がいると、ワープ経路のA*費用が上がります。 |
|
||||
| ラッシュ | 実際の客12人が籠Aで3階行きを待つと、0→1階の経路は籠Bへ迂回します。籠Aの0→1階の接続は12人分の待ちを費用に含みます。登録した従業員が実際に歩き、籠Bに乗り、籠Aには乗らずに目的地へ着きます。取消後は、待ち費用がちょうど消えます。 |
|
||||
| 保存・再開 | v2 の保存は完全に往復します。v2 の待ち費用を0や300に改ざんした保存は、原子的に拒否されます。旧版 v1 の本物の保存は移行し、v2 として往復します。v1 に非0値を入れた改ざんは拒否されます。別PIDで再開すると、同じ従業員が同じ物理経路を歩き、全状態の digest が一致します。 |
|
||||
| 相乗り | 実際の客6人が目的地を持ち、Runtime 自身が乗車を要求します。同時に乗るのは定員4人以内です。全員の乗車が終わり、乗車中に退館を指示された1人を除く5人は、存在したまま1階の乗り場 (4,1,0) にいます。退館を指示された1人も、1階で降車してから退館します。 |
|
||||
| 経路喪失 | 籠Bを撤去すると、経路は籠Aに切り替わります。実際に歩く従業員も籠Aで目的地へ着きます。撤去後の状態も保存・往復します。 |
|
||||
| 業務用EV | 裏層の業務用 shaft は従業員専用です。実際の従業員4人が並ぶと、A*費用が上がります。 |
|
||||
| 階段 | 階段で2階をつなぎ、上の乗り場に客6人がいると、階段経路の費用が上がります。 |
|
||||
| ワープ | 出口に客6人がいると、ワープ経路の費用が上がります。 |
|
||||
| 50%減速 | `test_path_congestion` で、同じ経路の5人が定員を超えると半速になり、2分目までに必ず進み、混雑した経路を避けることを確認します。 |
|
||||
| 救護同伴 | `test_rescue_elevator` で、2人組が同じ籠を予約し、乗車中の保存・読込が完全に一致し、停止時は2人一緒に降りることを確認します。ワープの2人分課金は P14-02 のレビュー（コード確認）です。 |
|
||||
|
||||
## 主張しないこと
|
||||
|
||||
- 階段の費用150（2分）とEVの階あたり10分の釣り合いは変えていません。近くに階段があればEVより優先されます。
|
||||
- 階段（150、2分）とEV（階あたり10分）の費用の釣り合いは変えていません。近くに階段があればEVより優先されます。
|
||||
- ワープ到着先の定員4は、混雑費用以外では扱いません。
|
||||
- Windows 実機は対象外です。
|
||||
- 退館中の客は位置に関係なく次の分に消えます（既存の仕組み。P06-02 の非主張）。今回の修正は、乗車中だけに限ったものです。
|
||||
- Windows 実機は、適用ありの未検証として残します。
|
||||
|
||||
Reference in New Issue
Block a user