5.5 KiB
P04-01 監査状態
原単位は未完了。D05の閉店後開始済サービスと18:00最終勤務区間は未承認であり、現実装の観測を承認済み規約に置き換えない。A01の00:00保有時間按分維持費は承認済み。
正式試験はRunnerが実行する。旧証跡参照は来歴であり、現版の生証跡・ソース・設定・入力・環境の適用性確認なしに合格として再利用しない。
現行ソースの観測
scripts/core/simulation_kernel.gd:123-153 の順序は APPLY_COMMANDS → 時計増分・日境界signal → TIME_BOUNDARIES → MANA → CONSTRUCTION → LOGISTICS → FACILITY_COMPLETION → VITALS_AND_ENVIRONMENT → INCIDENTS_AND_EVENTS → FACILITY_QUEUES → AI_DECISIONS → PUBLISH_SNAPSHOT。同phase内はhandler IDの辞書順（242行）。Runtimeの登録は364-427行。時計や製品ロジックは変更していない。
| 領域 | 現行呼出しと先後 | 原本・承認・不足 |
|---|---|---|
| 閉店 | _advance_facilities の後、_advance_guest_queues が _release_closed_business_queues を実行し、patienceより先に予約解放を試みる。 |
閉店後開始済サービスはD05保留。旧business試験は部分候補。open serviceの00:00証拠を代用しない。 |
| 停電 | _advance_mana → mana_power_projection.apply → FacilityService _prepare_service_for_tick。NO_POWERはpause、復電はresume。 |
草案の961停止/962復電/963不変は生証跡未確認。進捗・予約・帳簿・通知を現版で確認する必要がある。 |
| 破壊 | commandはAPPLY_COMMANDSで先行。_advance_defense は完了後のINCIDENTS。BROKENはサービス準備時に失敗。 |
先行破壊44と後段完了45を区別。失敗診断も保持し、原本適合と断定しない。 |
| 退出 | 公開queue leave → 完了 → INCIDENTS → queue patience解放 → AI再計画/予定退出。LEAVINGのdespawnは入状態分より後。 | 公開leave・自動patience・overdue退出の正式保存/別PID証跡は参照のみ。孤立0を現版で証明する必要がある。 |
| 課金 | _complete_service callback → _complete_service_transaction → _apply_service_transaction。予約消費後、service IDによるpayment keyで記帳し、通知scopeを終了。 |
原価格・時間を変えない。静的なidempotency keyの存在や試験数だけで二重課金・二重生成なしとしない。 |
| シフト交代 | 完了後の _advance_staff_ai 内でstaff更新・commute・staffing投影。 |
原本64/67行の18:00交代を保持。最終区間の解釈はD05保留。1080診断を承認規約に格上げしない。 |
| 00:00決算 | TIME_BOUNDARIESのweather/upkeep/operationsが完了より先。OperationsCoordinatorのdaily closeと同分service売上は別区間。 | 原本71/72行、承認済A01を保持。1440一回/1441不変の生証跡と適用性が必要。給与0fixtureを非ゼロ給与証拠に数えない。 |
再利用の制限
詳細ハッシュ・7領域の不足は order-audit.json に記録した。ローカル旧mapはSHA256 df8328ea8b6a7bc400caad8a52f6ead710c01942a726e5a6b530b82411c55da5、1299件、欠落0件。主要6ソースの指定pinは一致。旧mapとの差は14件で、契約記載のRuntime/main/preview/performance/path/2試験の7件に加え、Kenney同梱サンプル/URL7件がバイト不一致だった。追加7件の原因・境界への無影響は未確定で、素材を編集していない。
Runtimeは現行の施設・勤務・Mana・課金・退出の呼出しを読んだ。ローカルGitのRuntime path履歴10版を検索したが、旧SHA 2d7e2cea 完全一致版を得られなかったため、正確な旧版diffは実施できていない。旧ソースの検証済ローカルコピーが必要。現在のpath/infrastructure連携は移動・勤務・客選択・復元到達性に関わるため、主要サービス一致だけで全旧証跡を再利用しない。
ローカル入力は旧summary/map/draftであり、生の保存package・stdout・engineログ・開始終了記録・設定・入力・環境証拠は提供されていない。外部worktreeのartifactパスは来歴に留め、読んでいない。正式保存8境界27状態、fresh Reader A/B、P04-02/fullの成功記載は未検証参照で、P04-01受入を意味しない。
blockedと有限検証計画
BUILD_OUTPUT_DIR/p04-evidence/index.json の項目形式、必須証跡ID、生証跡の判定形式と原本規約への結合方法は入力にない。これらを独自規約で補完しないため tools/check_p04_order_evidence.py は未作成。D05未定義・証跡欠落・stale/unexecutedを必ず失敗させ、独立レビューはmachine段階だけ保留可能とする要件を保持する。
- Rootから証跡形式、検証済旧Runtime、生証跡のローカルコピーを受領する。
- 14差分と実呼出しの適用性を確認し、設定・入力・環境とハッシュが揃う有限証跡だけ再利用する。
- D05承認後に閉店/18:00の依存境界だけ補完し、停止復電・先行後段破壊・公開/自動退出・00:00・再送/復元の不足分を絞る。
- Runnerがp04-acceptanceと全条件の独立レビュー・統合を実施する。native Windows限定条件が必要なら個別保留とする。
試験・Runner操作・Git書込み・他エージェント起動は行っていない。原30パッケージ/88成果の既存1単位内の準備であり、成果追加0、正式完了0。