diff --git a/docs/plans/original-completion-2026-10-02/checkpoints/d05-decision-draft-r01/PROPOSAL.md b/docs/plans/original-completion-2026-10-02/checkpoints/d05-decision-draft-r01/PROPOSAL.md new file mode 100644 index 0000000..6f52589 --- /dev/null +++ b/docs/plans/original-completion-2026-10-02/checkpoints/d05-decision-draft-r01/PROPOSAL.md @@ -0,0 +1,40 @@ +# D05 同時発生と安全処理:未承認候補 + +状態は not_approval_ready。原P04-01未完、原30パッケージ/88成果・部分点なしを維持する。これは判断用の草案で、承認・製品変更・修正上限追加・別タスク再登録を行わない。金額、マナ量、猶予時間を新設しない。 + +原本BASELINE.txt64/67は18:00交代と06:00–18:00/18:00–06:00の勤務枠、71/72は00:00決算、183はマナ枯渇時の全館停止。A01の保有時間按分維持費・00:00精算・未払い繰越は承認済みで、再確認対象ではない。閉店後の開始済サービスや最終勤務区間の意味は原本値として補わない。 + +## 現在の観測 + +kernel123–153はcommand適用→時計増分/日境界→TIME_BOUNDARIES→MANA→建設→物流→施設完了→生理→事故/イベント→施設queue→AI→公開。同phase内はhandler ID順。Runtime8421では施設/厨房進行、8441では閉店queue解放後patience、8597では勤務/通勤/出勤投影/清掃と客再計画。FacilityService853以降は非稼働・停電・不足人員を確認して休止/待機/失敗を処理する。この順序の観測自体を承認規約とはしない。 + +## 判断候補1:閉店と開始済サービス + +A(継続契約案): 閉店を新規受付・待ち列の終了と区別し、開始済サービスは完了まで継続可能とする。ただし停電・破壊・必要人員不足等の停止を無効にしない。営業時間終了とプレイヤーの手動閉店を同じ扱いにするかは別に確定する。開始済契約を窓口の閉店だけで失敗させない利点があるが、閉店後も資源・人員が必要になる。 + +B(境界休止案): 営業終了を完了処理より先に反映し、開始済サービスを進捗/人物/予約保持のまま休止する。営業復帰時に再開し、未完了のサービス完了課金をしない。閉店直前に始めた長時間サービスの滞在が翌営業時間まで延びるため、宿泊等の適用例外と人物退出との衝突を承認前に整理する。 + +どちらも原本に明示された既存規約とは主張しない。定義ごとの営業時間・有償処理・手動閉店の現実装を照合してから推薦を決める。全施設へ一律に適用する案としては未完成。 + +## 判断候補2:18:00最終区間 + +A(区間完了案): [17:59,18:00)の実働が完了条件を満たしたサービスは18:00境界で一回完了できる。以後の新規受付/実働には夜番の実到着を必要とし、前の昼番の出勤投影を再利用しない。『18:00交代』と前区間の精算を分ける案。新規受付の前に勤務境界を反映する接続は、現コードでまだ証明されていない。 + +B(交代先行案): 18:00の勤務終了と出勤解除を施設完了判定より先に適用する。夜番が未到着ならサービスは待機し、前の投影による完了を許さない。18:00ちょうどに終わる予定でも人員不足の待機が起きる可能性があり、最終1分の意味を規約として明記する必要がある。 + +原本の通勤渋滞による業務停止を両案で維持する。勤務・通勤・給与・サービスを別々に時間更新して二重進行する実装は採らない。候補はsource変更ではない。 + +## 安全処理と残る照合 + +マナ枯渇では全館停止を維持し、未完了を完了として課金しない。復帰が破壊/摘発等の別停止理由を解除しないことを検証する。EV/搬送の現在位置、乗客/対象ID、荷物、予約、残作業を保存することを受入不変条件にするが、緊急降車するか・移動途中のどの位置で停止するかは現EV/救護/物流処理との照合前に確定しない。 + +費用時点は、既承認の費目をこの草案で動かさない。建設/仕入/給与/サービス/ワープ/炉取引等の対象を列挙し、承認済時点と未確定を分ける必要がある。サービス完了取引の再送/復元は同じidentityを再計上しない。00:00はA01を保持し、同時service売上を終了日のどちらへ所属させるかは現帳簿の期間・UI・保存を突合して候補を仕上げる。 + +## 承認前に揃える内容 + +1. 全サービス種別の営業時間終了/手動閉店/必要人員/完了課金を、既存定義と実関数に対応させる。 +2. EV/救護/物流の停止位置と復帰、関連費目の既承認時点、日跨ぎ帰属を有限表で示す。 +3. 各選択肢について原7領域の具体ケースと、進捗・予約・位置・人物・全台帳・通知の期待関係を示す。未承認の値をfixtureの数値で本番値にしない。 +4. 独立した読取専用レビューを受け、未承認差異と影響を揃えてオーナーへ選択を提示する。 + +P04-01修正2/2は維持し、第3repair/再登録を始めない。現在のalways-fail preflightを完成受入gateとして採用しない。原規約の決定後も、生証拠・意味的来歴結合・全coverage・正式独立レビュー・統合が必要であり、規約承認だけで成果を完了にしない。 diff --git a/docs/plans/original-completion-2026-10-02/checkpoints/d05-decision-draft-r01/manifest.json b/docs/plans/original-completion-2026-10-02/checkpoints/d05-decision-draft-r01/manifest.json new file mode 100644 index 0000000..cf76f36 --- /dev/null +++ b/docs/plans/original-completion-2026-10-02/checkpoints/d05-decision-draft-r01/manifest.json @@ -0,0 +1,26 @@ +{ + "status": "not_approval_ready", + "source_head": "a257976ae2b448c27b5756ed86c52cec5d17109f", + "source_pins": { + "docs/traceability/original/BASELINE.txt": "75e4bdbdeb379c9269553f0c776bdb9cc96e01f2d6aa5ca650d132c63a8aeb1a", + "docs/plans/original-completion-2026-10-02/decisions.json": "ad0673051b0fa601e525f05128e0b11e2dddd9d4bae6a3e0170bbf47da35efe9", + "autoload/simulation_runtime.gd": "d52a995ae715542bbc550f68d35889540658275d12e04ae0b21ac276f5843f39", + "scripts/core/simulation_kernel.gd": "341c0c878c4894adbac628d0db6362ff69fc3347bdd9e61e50936e15dc2d1edb", + "scripts/facility/facility_service.gd": "ceb4a3e9224587423f273cdb2b56e6843ab176ac1fc4fe79dd498b5ed5c33b77" + }, + "product_modified": false, + "D05_approved": false, + "original_unit_complete": false, + "repair_budget_changed": false, + "remaining": [ + "all service scope and manual closure semantics", + "EV/rescue/logistics stopping position and restart", + "cost timing authority and day-period attribution", + "independent proposal review" + ], + "original_denominator": { + "packages": 30, + "delivery_units": 88, + "completed": 9 + } +}