docs: freeze P04 order audit inputs and original acceptance scope
This commit is contained in:
Takeshi
+19
@@ -0,0 +1,19 @@
|
||||
# P04-01 現採用版の更新順序・証拠対応草案
|
||||
|
||||
原work: 閉店、停電、破壊、退出、課金、シフト交代、00:00決算の順序を明記する。
|
||||
|
||||
原acceptance: 順序境界で停止中課金、二重決算、予約の孤立がない。
|
||||
|
||||
現source1299地図SHA `df8328ea8b6a7bc400caad8a52f6ead710c01942a726e5a6b530b82411c55da5`。旧順序監査からの変更は人物復元validatorとその回帰試験の2refsだけで、Runtime/Clock/施設/帳簿/勤務の順序ソースは同一。これは現実装の観測と不足を示す草案であり、未確定D05を承認した規約ではない。88成果単位・部分点なしを維持し、この7行を成果単位の追加や完了点に換算しない。
|
||||
|
||||
| 原7種 | 現実装の順序 | 有効な証拠の範囲 | 残条件 |
|
||||
|---|---|---|---|
|
||||
| 閉店 | 施設処理で営業ポリシーを適用し、後続FACILITY_QUEUESで閉店待機列を解放する。開始済serviceの方針は未確定。 | 一致版business/operations関連回帰は部分適用。open serviceの00:00課金を閉店条件へ転用しない。 | D05:閉店後開始済service継続/中断の確定と依存する境界証拠 |
|
||||
| 停電 | APPLY_COMMANDS→MANA→FACILITY_COMPLETION。960停電でACTIVE44をPAUSED44に保ち、961停止を保持する。 | 元formal停止961/復電962の各4membersを全保持コピー。fresh Reader A/Bで公開復電操作→962元recovered全literal一致、同予約一回消費/通知1、963経済全不変/在庫clock以外全不変を独立受入。 | 有限条件の証拠適用性を原7種規約の全条件レビューで確認 |
|
||||
| 破壊 | command破壊はAPPLY_COMMANDSで先行。automatic Event破壊はINCIDENTSで施設完了後。入口を区別する。 | 先行破壊は失敗44/課金0/同予約release一回。後段破壊は完了45後破壊、未完了は次分に無課金失敗/予約release。原formal状態の別PID/全通常tick一致。 | 具体的な有限ケースを原条件全体へ広げず、更新規約の全条件適合性レビュー |
|
||||
| 退出 | 公開leave commandは受付処理前。自動patience放棄/同予約解放はFACILITY_QUEUES。後続再計画/予定退出はAI_DECISIONS。LEAVINGから次分にdespawn。 | 同分service完了消費/一回課金後退出、実queue予約の公開leave解放、自動45分patience解放/孤立0。元formal状態別PID/全通常tick一致。 | 有限Guest/予約条件の適用性を規約全条件レビューで確認 |
|
||||
| 課金 | 施設完了取引が確定した後に通知scopeを公開する。停止/失敗時は進捗と予約を保持/解放する。 | P04-02正式完了の4領域と現一致版full、P04-01有償service境界の全帳簿/通知/予約状態。原価格時間を保持。 | 未確定閉店/勤務終端の課金境界を承認後必要分だけ補完 |
|
||||
| シフト交代 | 施設完了がAIのスタッフ勤務/通勤/出勤投影更新より先。18:00ちょうどの最終区間の解釈は未確定。 | 通常shift/payroll回帰と原1080診断の観測を保持。診断predicate失敗を原本違反へ格上げしない。 | D05:18:00最終勤務区間の確定/勤務終了先行の意味を確定 |
|
||||
| 00:00決算 | TIME_BOUNDARIESのOperations決算は施設完了より先。終了Day1 [0,1440)の帳簿と同分1440service売上の時間区分を区別。 | 本番決算/payroll/upkeep各一回→同分service25一回、1441全帳簿/履歴不変。原formal状態別PID/全通常tick一致。fixture給与0は非ゼロ同分給与証拠に数えない。 | 原本/承認済み決算時刻と更新規約全条件への適合性を最終レビュー |
|
||||
|
||||
原本64/67行は18:00交代と勤務枠、71/72行は00:00決算を指定する。閉店後serviceと最終勤務区間の先後を独断で補わない。A01は維持費の保有時間按分と00:00精算を承認済み。正式保存の有限証拠と実OS/Windows/全原本受入を混同しない。
|
||||
+1232
File diff suppressed because it is too large
Load Diff
+1301
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,875 @@
|
||||
{
|
||||
"original_unit": {
|
||||
"id": "P04-01",
|
||||
"title": "同時発生の更新規約",
|
||||
"work": "閉店、停電、破壊、退出、課金、シフト交代、00:00決算の順序を明記する。",
|
||||
"acceptance": "順序境界で停止中課金、二重決算、予約の孤立がない。",
|
||||
"state": "in_progress",
|
||||
"evidence": [
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-audit-r01/audit.json",
|
||||
"sha256_at_integration": "90d2dbd3c04aed7ab409afa4f05f884832a4661cc506d28b818c72aadc352950",
|
||||
"scope": "Bounded original order-contract audit actually started; no conditions accepted",
|
||||
"linked_at_jst": "2026-10-10T10:55:03.652723+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-order-independent-gap-review-r01.json",
|
||||
"sha256_at_integration": "121cf18c180052999bc99f207524818ae6bc724476d26727d27910078f877b68",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:15:29.671098+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-shift-end-actual-independent-review-r01.json",
|
||||
"sha256_at_integration": "343f717048088909e91cb5855540d00c9a6623d9008560cbc59f9249ee600efd",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:15:29.671098+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-completion-root-review-r01.json",
|
||||
"sha256_at_integration": "b239308b4da2019bc219eb88b854f76d8b528e1fdb6643cd60633d21248e8a9f",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:15:29.671098+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-completion-actual-independent-review-r01.json",
|
||||
"sha256_at_integration": "9bc5500ca30fede1abca19c61d0ca7cf8735a4021cfb5fcee4fd33811f11920f",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:15:29.671098+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-reachability-independent-review-r01.json",
|
||||
"sha256_at_integration": "d18010f3b5df83be60b66f1fbeeb1fb6588bfe6fd36cc27c240f99eee888ec59",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:24:23.490534+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-completion-independent-static-review-r02.json",
|
||||
"sha256_at_integration": "a51a8433054d22d8fc4d4de23f0b0a1af5a79753780b2ab692c1d9b9c319ee90",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:24:23.490534+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-completion-root-review-r02.json",
|
||||
"sha256_at_integration": "974365ec551cb6da35d5fbf58d796df1d713bc0cdaa8762c55c1606bd9f168ee",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:24:23.490534+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-completion-actual-independent-review-r02.json",
|
||||
"sha256_at_integration": "e10deb826ef1f356e4031a6e8631cd47680f117a43893d14ad1f5fb0bdbcffa0",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:24:23.490534+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-failed-diagnostic-root-r01.json",
|
||||
"sha256_at_integration": "aaf88d286ae40e6c23e04a840b3a903f612f34071d87722704d96d6873f8d214",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:30:43.372288+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-failure-and-static-independent-review-r02.json",
|
||||
"sha256_at_integration": "e24dca41d5e588915fd75028ec4a3b4467463c4198c5e78e77348d9558b84801",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:30:43.372288+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-root-review-r02.json",
|
||||
"sha256_at_integration": "30b575d1f7e6b399be1592da539561610d80d5c8e4d185289d3758d1ff9a98f7",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:30:43.372288+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-actual-independent-review-r02.json",
|
||||
"sha256_at_integration": "2f9fbfb283f6226622f4cd1d794ed88390852c990e4ae6be0d96e659f657538f",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:30:43.372288+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-exit-boundary-independent-static-review-r01.json",
|
||||
"sha256_at_integration": "ef2749d7c7c846fa2f7961d3e72253fdb4e50c0fa058b3815f9ec8a8132443ad",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:37:40.975162+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-exit-boundary-root-review-r01.json",
|
||||
"sha256_at_integration": "5b9d96bb1932eaf6bd7012d32f6bfbd89eb0eb6543f9397663567b173e646557",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:37:40.975162+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-exit-boundary-actual-independent-review-r01.json",
|
||||
"sha256_at_integration": "a1e4fc1311a097a5893901e6ab88b7bb958a440fec0718c680666e22831c30e0",
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:37:40.975162+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-independent-static-review-r01.json",
|
||||
"sha256_at_integration": "c3f2b5d06af4ce3bb4b7d60dca41e3eb6efdc05367d8c390b13b3d7bd50f1410",
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:48:41.046651+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-existing-proof-reuse-r01.json",
|
||||
"sha256_at_integration": "71f996eb0293a629f3da5daca74fa34fd6e87f299d0b5ad33442b0251054d768",
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:48:41.046651+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-root-review-r01.json",
|
||||
"sha256_at_integration": "594fb5ec7c51995f3f423141522097969a141e62ec11fed0192e403f53f741da",
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:48:41.046651+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-actual-independent-review-r01.json",
|
||||
"sha256_at_integration": "61bfc23a4412d0c0af0ddd319ddf569c861921b1f20ac25007d38c55c5bc5d08",
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:48:41.046651+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-independent-static-review-r01.json",
|
||||
"sha256_at_integration": "5f79fd03231abeb71b7e7cb38ebb518594a28836add3525ed9d0f3bbfebeccc7",
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:55:46.922924+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-existing-proof-reuse-r01.json",
|
||||
"sha256_at_integration": "3a7dab539dada77d03546654f3486b8df11beabf0f2d15349803c0fbe74fbef9",
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:55:46.922924+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-root-review-r02.json",
|
||||
"sha256_at_integration": "cb9ccdcd057a8ea52c78e4454871cff4d497ccd779a1c468ad507226ada11974",
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:55:46.922924+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-actual-independent-review-r01.json",
|
||||
"sha256_at_integration": "275ffebf790f08a061a88f4b4e2540f356ff09773088adb632676909e24dfdd8",
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T11:55:46.922924+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-independent-failure-review-r02.json",
|
||||
"sha256_at_integration": "690eb0260f492d711eb2a25514d1a9b99de3ff2330ae9c85a6118a2aa8def7ac",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-validation-independent-static-review-r01.json",
|
||||
"sha256_at_integration": "16484fdfc26cda498abe300ab7418df2ed4070807daeaf0547ae1ff64b96b38e",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-root-review-r04/review.json",
|
||||
"sha256_at_integration": "49432eeec5acd04e7f7b804160780bdb89739e45621069ac0e0a41b7ceb9de4e",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-actual-independent-review-r03.json",
|
||||
"sha256_at_integration": "8ecdde2c88f7f56cf0b212095ac2b109398426ff7b0ee1e3a97e01ac84a7e235",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-final-full-root-review-r01/review.json",
|
||||
"sha256_at_integration": "cbabbb9f6604cd58b5253b2d3e18b21f6ef272958c2bd65d05904f7d86958dca",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-final-candidate-independent-review-r01.json",
|
||||
"sha256_at_integration": "678ca9ad1ffddf828016e0cdd04e8817822859a25da00f1f7d4c2f6ee108d8fd",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-source-adoption-r01/adoption.json",
|
||||
"sha256_at_integration": "df25c45b14b62db9fb28e9edcc51923ab5bfbeff26056bd6cbafbe6715e70940",
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:38:07.429656+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-local-seal-r04.json",
|
||||
"sha256_at_integration": "0b9e7f3ca62c9dc8d830fc17407da94bf46a062b9749b275ba0ffcaaf639ee20",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-independent-static-review-r03.json",
|
||||
"sha256_at_integration": "140362e6d769525e8aac821e7a3b571bffd3616d26b56f94cc6610d994f30ec7",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-failure-attribution-independent-review-r03.json",
|
||||
"sha256_at_integration": "eeb221d2c8e49878a0f9818fa6c1f9db9a595f4d69c57fe3521d6d188723c4a6",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-root-review-r05/review.json",
|
||||
"sha256_at_integration": "aff6056537dc6b2c923419c340f2707a7d53efeff6ea93e239e9e66839f1e289",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-full-reuse-r04.json",
|
||||
"sha256_at_integration": "ecd8fdfb7650abe7eadc2c9588a281216005b919029f8278ebec997b9de614f5",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-evidence-matrix-r03/matrix.json",
|
||||
"sha256_at_integration": "9e4686031332ff3c023fea7e3c1591712dc3e8227046dc32fc56ca0042289f08",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-evidence-matrix-r03/ORDER_CONTRACT_DRAFT.md",
|
||||
"sha256_at_integration": "c4dd8b907321b8859ba0744b9ae3d1447615d98fbe548983f9bb9fcad2d9d989",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
},
|
||||
{
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-actual-independent-review-r04.json",
|
||||
"sha256_at_integration": "7ae5702cd20d267bbf54cfafd89e1f7b5542c91073b04b8b958b380b19147ef5",
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"linked_at_jst": "2026-10-10T12:56:16.880626+09:00"
|
||||
}
|
||||
],
|
||||
"current_summary": "P04-01の既存8境界27状態の正式保存/別PID受入とFORMAL-LEAVING-01修正採用を維持し、残の停電→復電進行を現採用1299/Runtime2d7e2ceaで補完。元Writerの停止961/復電962正式package各4membersを保持し、fresh Reader A/Bの公開load/Runtime restoreから元beforeの有限Mana reserveを同公開change_resources・同idempotency keyで戻し通常tick。両PIDの962状態は元recovered.var全literal一致、元25G/45分serviceを同予約一回消費/通知1で完了、963通知追加0/全経済snapshot不変/在庫clockのみ963へ更新し全他field不変。20typed/原2保存8members/コピー4保存16members/両commandと通知ID962全帳簿をrootと同1名が独立受入。r03はQA経済時計0保持の誤期待によりReaderA70/2fail・ReaderB未起動であり負履歴を保存し製品不具合へ分類しない。r04は両Reader各70/0・303parse・4owned終了。製品編集0、実engine/全1299一致の最終full172/14721を再利用し重複全回帰なし。原7種更新順序/証拠対応草案を現版に更新したが、閉店後serviceと18:00最終勤務区間D05は未承認、規約凍結/全条件独立受入を残す。正式完了追加0、通常OS/Windows/全ゲーム受入へ拡張しない。",
|
||||
"remaining_conditions": [
|
||||
"原7種更新順序・証拠対応草案は現採用版で整理済み。原本/承認済み仕様への全条件適合性と規約凍結を最終独立受入する",
|
||||
"D05: 閉店後の開始済サービス継続/中断方針の承認待ち。00:00open service証拠を閉店条件へ代用しない",
|
||||
"D05: 18:00最終勤務区間の完了確定/勤務終了先行の意味の承認待ち",
|
||||
"D05確定後に依存境界だけ検証し、正確な最終版への既存証拠適用性・同1名の全条件独立受入と台帳反映"
|
||||
]
|
||||
},
|
||||
"original_package": {
|
||||
"work": "一分更新、00:00決算、時間帯・天候更新、施設稼働判定、客選択の適用順を仕様化。新機能は分離サービスで実装しRuntimeから接続。全体の一括書換えはしない。",
|
||||
"acceptance": "同一Tickでの閉店/停電/退出/課金順が決定的。コマンド再送で二重課金・二重生成しない。",
|
||||
"depends_on": [
|
||||
"P03"
|
||||
],
|
||||
"decisions": [
|
||||
"D05"
|
||||
]
|
||||
},
|
||||
"D05": {
|
||||
"id": "D05",
|
||||
"title": "同時発生と安全処理",
|
||||
"details": "EV／搬送停止、費用時点、日跨ぎ順序の未確定部分。承認済み維持費時点を再確認しない。",
|
||||
"needed_at": "更新規約の凍結",
|
||||
"independent_work": "原状保持と重複防止、具体的な境界事例を作る。",
|
||||
"kind": "implementation_contract"
|
||||
},
|
||||
"historical_audit": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-audit-r01/audit.json",
|
||||
"sha256": "90d2dbd3c04aed7ab409afa4f05f884832a4661cc506d28b818c72aadc352950",
|
||||
"bytes": 79269
|
||||
},
|
||||
"historical_source_map_original": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-full-reuse-r04.json",
|
||||
"sha256": "ecd8fdfb7650abe7eadc2c9588a281216005b919029f8278ebec997b9de614f5",
|
||||
"bytes": 156086
|
||||
},
|
||||
"historical_source_map_local_copy": {
|
||||
"path": "docs/plans/original-completion-2026-10-02/execution/p04-01-input-r01/historical-source-map.json",
|
||||
"sha256": "df8328ea8b6a7bc400caad8a52f6ead710c01942a726e5a6b530b82411c55da5",
|
||||
"bytes": 152598
|
||||
},
|
||||
"historical_count": 1299,
|
||||
"changed_existing_paths": [
|
||||
{
|
||||
"path": "autoload/simulation_runtime.gd",
|
||||
"old_sha256": "2d7e2cea5424585e9aa4302ab66d1fc4dbaefe743ce4328fccc1efa2f19b82e4",
|
||||
"current_sha256": "d52a995ae715542bbc550f68d35889540658275d12e04ae0b21ac276f5843f39"
|
||||
},
|
||||
{
|
||||
"path": "scenes/main/main.gd",
|
||||
"old_sha256": "a7ae44c680eb9b70a117ddc8c6cbf0ca290b8e8d485eac41b4122698fde2a620",
|
||||
"current_sha256": "a3d7d7ddd08a8df1f987806e60accf51792d728cf71c06e6b822f5a31d8ed3e3"
|
||||
},
|
||||
{
|
||||
"path": "scenes/main/world_preview.gd",
|
||||
"old_sha256": "3df29be32d3a016d8fb9dc1ee2bd32e2360ac8fad9810293f6be9b58d26046e0",
|
||||
"current_sha256": "75d5b0bd23204f5a485540512e44b89e1d2a4596b368f70177a238ba078ff42d"
|
||||
},
|
||||
{
|
||||
"path": "scripts/core/performance_budget.gd",
|
||||
"old_sha256": "79d18e8f0dcc3932801cd02ea8a8ba037af02ef57665387cba8dbe3b3e9af917",
|
||||
"current_sha256": "0e2278f88d29919a0634fc1b527328a0d0c12d87e2cd612f3eee1526aabdb073"
|
||||
},
|
||||
{
|
||||
"path": "scripts/world/path_service.gd",
|
||||
"old_sha256": "2e68653e4898387cb5a76402813a10595bd5ca7d5fb841c7ed8c55af77d7a918",
|
||||
"current_sha256": "447135729a1106639a6eee6754af3195c8a8b458ca26980ae91fa39d80dcfbd4"
|
||||
},
|
||||
{
|
||||
"path": "tests/s1/test_path_service.gd",
|
||||
"old_sha256": "0f48bb44c27e32f08477b9aed61a0db5c8808219490928f734c3570a07efb251",
|
||||
"current_sha256": "17d9fd42b35004376bf96e435f53d6bce41e79258ec7f6daf3ab04ae5d8c3e1d"
|
||||
},
|
||||
{
|
||||
"path": "tests/ui/test_pixel_tower.gd",
|
||||
"old_sha256": "93bdbb195f2ceec07dbe052e0d0a3017d84b56f1e8ec46b87be8d98105ec0f88",
|
||||
"current_sha256": "f149f4b5507247dadf623e777e90b9bdb81f54324b406a8f55adaf89b649866a"
|
||||
}
|
||||
],
|
||||
"evidence_refs": [
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-audit-r01/audit.json",
|
||||
"sha256": "90d2dbd3c04aed7ab409afa4f05f884832a4661cc506d28b818c72aadc352950",
|
||||
"bytes": 79269
|
||||
},
|
||||
"registered_sha256": "90d2dbd3c04aed7ab409afa4f05f884832a4661cc506d28b818c72aadc352950",
|
||||
"matches_registered": true,
|
||||
"scope": "Bounded original order-contract audit actually started; no conditions accepted",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"source_edits": 0,
|
||||
"formal_completion": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-order-independent-gap-review-r01.json",
|
||||
"sha256": "121cf18c180052999bc99f207524818ae6bc724476d26727d27910078f877b68",
|
||||
"bytes": 5811
|
||||
},
|
||||
"registered_sha256": "121cf18c180052999bc99f207524818ae6bc724476d26727d27910078f877b68",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"Windows_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-shift-end-actual-independent-review-r01.json",
|
||||
"sha256": "343f717048088909e91cb5855540d00c9a6623d9008560cbc59f9249ee600efd",
|
||||
"bytes": 1693
|
||||
},
|
||||
"registered_sha256": "343f717048088909e91cb5855540d00c9a6623d9008560cbc59f9249ee600efd",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-completion-root-review-r01.json",
|
||||
"sha256": "b239308b4da2019bc219eb88b854f76d8b528e1fdb6643cd60633d21248e8a9f",
|
||||
"bytes": 17514
|
||||
},
|
||||
"registered_sha256": "b239308b4da2019bc219eb88b854f76d8b528e1fdb6643cd60633d21248e8a9f",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-completion-actual-independent-review-r01.json",
|
||||
"sha256": "9bc5500ca30fede1abca19c61d0ca7cf8735a4021cfb5fcee4fd33811f11920f",
|
||||
"bytes": 3295
|
||||
},
|
||||
"registered_sha256": "9bc5500ca30fede1abca19c61d0ca7cf8735a4021cfb5fcee4fd33811f11920f",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-reachability-independent-review-r01.json",
|
||||
"sha256": "d18010f3b5df83be60b66f1fbeeb1fb6588bfe6fd36cc27c240f99eee888ec59",
|
||||
"bytes": 25552
|
||||
},
|
||||
"registered_sha256": "d18010f3b5df83be60b66f1fbeeb1fb6588bfe6fd36cc27c240f99eee888ec59",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-completion-independent-static-review-r02.json",
|
||||
"sha256": "a51a8433054d22d8fc4d4de23f0b0a1af5a79753780b2ab692c1d9b9c319ee90",
|
||||
"bytes": 1936
|
||||
},
|
||||
"registered_sha256": "a51a8433054d22d8fc4d4de23f0b0a1af5a79753780b2ab692c1d9b9c319ee90",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-completion-root-review-r02.json",
|
||||
"sha256": "974365ec551cb6da35d5fbf58d796df1d713bc0cdaa8762c55c1606bd9f168ee",
|
||||
"bytes": 23741
|
||||
},
|
||||
"registered_sha256": "974365ec551cb6da35d5fbf58d796df1d713bc0cdaa8762c55c1606bd9f168ee",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-destruction-completion-actual-independent-review-r02.json",
|
||||
"sha256": "e10deb826ef1f356e4031a6e8631cd47680f117a43893d14ad1f5fb0bdbcffa0",
|
||||
"bytes": 3614
|
||||
},
|
||||
"registered_sha256": "e10deb826ef1f356e4031a6e8631cd47680f117a43893d14ad1f5fb0bdbcffa0",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-failed-diagnostic-root-r01.json",
|
||||
"sha256": "aaf88d286ae40e6c23e04a840b3a903f612f34071d87722704d96d6873f8d214",
|
||||
"bytes": 8943
|
||||
},
|
||||
"registered_sha256": "aaf88d286ae40e6c23e04a840b3a903f612f34071d87722704d96d6873f8d214",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": false,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-failure-and-static-independent-review-r02.json",
|
||||
"sha256": "e24dca41d5e588915fd75028ec4a3b4467463c4198c5e78e77348d9558b84801",
|
||||
"bytes": 2484
|
||||
},
|
||||
"registered_sha256": "e24dca41d5e588915fd75028ec4a3b4467463c4198c5e78e77348d9558b84801",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-root-review-r02.json",
|
||||
"sha256": "30b575d1f7e6b399be1592da539561610d80d5c8e4d185289d3758d1ff9a98f7",
|
||||
"bytes": 13436
|
||||
},
|
||||
"registered_sha256": "30b575d1f7e6b399be1592da539561610d80d5c8e4d185289d3758d1ff9a98f7",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-early-destruction-actual-independent-review-r02.json",
|
||||
"sha256": "2f9fbfb283f6226622f4cd1d794ed88390852c990e4ae6be0d96e659f657538f",
|
||||
"bytes": 3454
|
||||
},
|
||||
"registered_sha256": "2f9fbfb283f6226622f4cd1d794ed88390852c990e4ae6be0d96e659f657538f",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-exit-boundary-independent-static-review-r01.json",
|
||||
"sha256": "ef2749d7c7c846fa2f7961d3e72253fdb4e50c0fa058b3815f9ec8a8132443ad",
|
||||
"bytes": 1914
|
||||
},
|
||||
"registered_sha256": "ef2749d7c7c846fa2f7961d3e72253fdb4e50c0fa058b3815f9ec8a8132443ad",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-exit-boundary-root-review-r01.json",
|
||||
"sha256": "5b9d96bb1932eaf6bd7012d32f6bfbd89eb0eb6543f9397663567b173e646557",
|
||||
"bytes": 23324
|
||||
},
|
||||
"registered_sha256": "5b9d96bb1932eaf6bd7012d32f6bfbd89eb0eb6543f9397663567b173e646557",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-exit-boundary-actual-independent-review-r01.json",
|
||||
"sha256": "a1e4fc1311a097a5893901e6ab88b7bb958a440fec0718c680666e22831c30e0",
|
||||
"bytes": 3645
|
||||
},
|
||||
"registered_sha256": "a1e4fc1311a097a5893901e6ab88b7bb958a440fec0718c680666e22831c30e0",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-independent-static-review-r01.json",
|
||||
"sha256": "c3f2b5d06af4ce3bb4b7d60dca41e3eb6efdc05367d8c390b13b3d7bd50f1410",
|
||||
"bytes": 2314
|
||||
},
|
||||
"registered_sha256": "c3f2b5d06af4ce3bb4b7d60dca41e3eb6efdc05367d8c390b13b3d7bd50f1410",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-existing-proof-reuse-r01.json",
|
||||
"sha256": "71f996eb0293a629f3da5daca74fa34fd6e87f299d0b5ad33442b0251054d768",
|
||||
"bytes": 5304
|
||||
},
|
||||
"registered_sha256": "71f996eb0293a629f3da5daca74fa34fd6e87f299d0b5ad33442b0251054d768",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-root-review-r01.json",
|
||||
"sha256": "594fb5ec7c51995f3f423141522097969a141e62ec11fed0192e403f53f741da",
|
||||
"bytes": 25390
|
||||
},
|
||||
"registered_sha256": "594fb5ec7c51995f3f423141522097969a141e62ec11fed0192e403f53f741da",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-actual-independent-review-r01.json",
|
||||
"sha256": "61bfc23a4412d0c0af0ddd319ddf569c861921b1f20ac25007d38c55c5bc5d08",
|
||||
"bytes": 3487
|
||||
},
|
||||
"registered_sha256": "61bfc23a4412d0c0af0ddd319ddf569c861921b1f20ac25007d38c55c5bc5d08",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-independent-static-review-r01.json",
|
||||
"sha256": "5f79fd03231abeb71b7e7cb38ebb518594a28836add3525ed9d0f3bbfebeccc7",
|
||||
"bytes": 2383
|
||||
},
|
||||
"registered_sha256": "5f79fd03231abeb71b7e7cb38ebb518594a28836add3525ed9d0f3bbfebeccc7",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-existing-proof-reuse-r01.json",
|
||||
"sha256": "3a7dab539dada77d03546654f3486b8df11beabf0f2d15349803c0fbe74fbef9",
|
||||
"bytes": 2487
|
||||
},
|
||||
"registered_sha256": "3a7dab539dada77d03546654f3486b8df11beabf0f2d15349803c0fbe74fbef9",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-root-review-r02.json",
|
||||
"sha256": "cb9ccdcd057a8ea52c78e4454871cff4d497ccd779a1c468ad507226ada11974",
|
||||
"bytes": 15550
|
||||
},
|
||||
"registered_sha256": "cb9ccdcd057a8ea52c78e4454871cff4d497ccd779a1c468ad507226ada11974",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-automatic-patience-actual-independent-review-r01.json",
|
||||
"sha256": "275ffebf790f08a061a88f4b4e2540f356ff09773088adb632676909e24dfdd8",
|
||||
"bytes": 3028
|
||||
},
|
||||
"registered_sha256": "275ffebf790f08a061a88f4b4e2540f356ff09773088adb632676909e24dfdd8",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-independent-failure-review-r02.json",
|
||||
"sha256": "690eb0260f492d711eb2a25514d1a9b99de3ff2330ae9c85a6118a2aa8def7ac",
|
||||
"bytes": 797
|
||||
},
|
||||
"registered_sha256": "690eb0260f492d711eb2a25514d1a9b99de3ff2330ae9c85a6118a2aa8def7ac",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-validation-independent-static-review-r01.json",
|
||||
"sha256": "16484fdfc26cda498abe300ab7418df2ed4070807daeaf0547ae1ff64b96b38e",
|
||||
"bytes": 820
|
||||
},
|
||||
"registered_sha256": "16484fdfc26cda498abe300ab7418df2ed4070807daeaf0547ae1ff64b96b38e",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-root-review-r04/review.json",
|
||||
"sha256": "49432eeec5acd04e7f7b804160780bdb89739e45621069ac0e0a41b7ceb9de4e",
|
||||
"bytes": 114797
|
||||
},
|
||||
"registered_sha256": "49432eeec5acd04e7f7b804160780bdb89739e45621069ac0e0a41b7ceb9de4e",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"normal_OS_accepted": false,
|
||||
"Windows_accepted": false,
|
||||
"D05_resolved": false,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-actual-independent-review-r03.json",
|
||||
"sha256": "8ecdde2c88f7f56cf0b212095ac2b109398426ff7b0ee1e3a97e01ac84a7e235",
|
||||
"bytes": 2830
|
||||
},
|
||||
"registered_sha256": "8ecdde2c88f7f56cf0b212095ac2b109398426ff7b0ee1e3a97e01ac84a7e235",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"D05_resolved": false,
|
||||
"normal_OS_accepted": false,
|
||||
"Windows_accepted": false,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-final-full-root-review-r01/review.json",
|
||||
"sha256": "cbabbb9f6604cd58b5253b2d3e18b21f6ef272958c2bd65d05904f7d86958dca",
|
||||
"bytes": 264831
|
||||
},
|
||||
"registered_sha256": "cbabbb9f6604cd58b5253b2d3e18b21f6ef272958c2bd65d05904f7d86958dca",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-final-candidate-independent-review-r01.json",
|
||||
"sha256": "678ca9ad1ffddf828016e0cdd04e8817822859a25da00f1f7d4c2f6ee108d8fd",
|
||||
"bytes": 158669
|
||||
},
|
||||
"registered_sha256": "678ca9ad1ffddf828016e0cdd04e8817822859a25da00f1f7d4c2f6ee108d8fd",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"unit_accepted": false,
|
||||
"D05_resolved": false,
|
||||
"normal_OS_accepted": false,
|
||||
"Windows_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-overdue-exit-source-adoption-r01/adoption.json",
|
||||
"sha256": "df25c45b14b62db9fb28e9edcc51923ab5bfbeff26056bd6cbafbe6715e70940",
|
||||
"bytes": 414
|
||||
},
|
||||
"registered_sha256": "df25c45b14b62db9fb28e9edcc51923ab5bfbeff26056bd6cbafbe6715e70940",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-local-seal-r04.json",
|
||||
"sha256": "0b9e7f3ca62c9dc8d830fc17407da94bf46a062b9749b275ba0ffcaaf639ee20",
|
||||
"bytes": 353695
|
||||
},
|
||||
"registered_sha256": "0b9e7f3ca62c9dc8d830fc17407da94bf46a062b9749b275ba0ffcaaf639ee20",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-independent-static-review-r03.json",
|
||||
"sha256": "140362e6d769525e8aac821e7a3b571bffd3616d26b56f94cc6610d994f30ec7",
|
||||
"bytes": 1035
|
||||
},
|
||||
"registered_sha256": "140362e6d769525e8aac821e7a3b571bffd3616d26b56f94cc6610d994f30ec7",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"unit_accepted": false,
|
||||
"D05_resolved": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-failure-attribution-independent-review-r03.json",
|
||||
"sha256": "eeb221d2c8e49878a0f9818fa6c1f9db9a595f4d69c57fe3521d6d188723c4a6",
|
||||
"bytes": 1337
|
||||
},
|
||||
"registered_sha256": "eeb221d2c8e49878a0f9818fa6c1f9db9a595f4d69c57fe3521d6d188723c4a6",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-root-review-r05/review.json",
|
||||
"sha256": "aff6056537dc6b2c923419c340f2707a7d53efeff6ea93e239e9e66839f1e289",
|
||||
"bytes": 20350
|
||||
},
|
||||
"registered_sha256": "aff6056537dc6b2c923419c340f2707a7d53efeff6ea93e239e9e66839f1e289",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"product_source_changes": 0,
|
||||
"D05_resolved": false,
|
||||
"unit_accepted": false,
|
||||
"Windows_accepted": false,
|
||||
"normal_OS_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-full-reuse-r04.json",
|
||||
"sha256": "ecd8fdfb7650abe7eadc2c9588a281216005b919029f8278ebec997b9de614f5",
|
||||
"bytes": 156086
|
||||
},
|
||||
"registered_sha256": "ecd8fdfb7650abe7eadc2c9588a281216005b919029f8278ebec997b9de614f5",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"passed": true,
|
||||
"product_source_changes": 0,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-evidence-matrix-r03/matrix.json",
|
||||
"sha256": "9e4686031332ff3c023fea7e3c1591712dc3e8227046dc32fc56ca0042289f08",
|
||||
"bytes": 21004
|
||||
},
|
||||
"registered_sha256": "9e4686031332ff3c023fea7e3c1591712dc3e8227046dc32fc56ca0042289f08",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"D05_resolved": false,
|
||||
"unit_accepted": false
|
||||
}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-current-order-evidence-matrix-r03/ORDER_CONTRACT_DRAFT.md",
|
||||
"sha256": "c4dd8b907321b8859ba0744b9ae3d1447615d98fbe548983f9bb9fcad2d9d989",
|
||||
"bytes": 3996
|
||||
},
|
||||
"registered_sha256": "c4dd8b907321b8859ba0744b9ae3d1447615d98fbe548983f9bb9fcad2d9d989",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {}
|
||||
},
|
||||
{
|
||||
"reference": {
|
||||
"path": "artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-actual-independent-review-r04.json",
|
||||
"sha256": "7ae5702cd20d267bbf54cfafd89e1f7b5542c91073b04b8b958b380b19147ef5",
|
||||
"bytes": 3161
|
||||
},
|
||||
"registered_sha256": "7ae5702cd20d267bbf54cfafd89e1f7b5542c91073b04b8b958b380b19147ef5",
|
||||
"matches_registered": true,
|
||||
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
||||
"result_not_reaccepted": true,
|
||||
"declared_status": {
|
||||
"product_source_changes": 0,
|
||||
"unit_accepted": false,
|
||||
"D05_resolved": false,
|
||||
"normal_OS_accepted": false,
|
||||
"Windows_accepted": false
|
||||
}
|
||||
}
|
||||
],
|
||||
"historical_status_only": true,
|
||||
"native_runs_started": 0,
|
||||
"original_unit_accepted": false
|
||||
}
|
||||
@@ -0,0 +1,103 @@
|
||||
{
|
||||
"id": "P04-01",
|
||||
"title": "同時発生の更新規約",
|
||||
"work": "閉店、停電、破壊、退出、課金、シフト交代、00:00決算の順序を明記する。",
|
||||
"acceptance": "順序境界で停止中課金、二重決算、予約の孤立がない。",
|
||||
"counting_scope": "Existing original P04-01 among30packages/88deliveries; audit is not new deliverable or completion",
|
||||
"original_authority": "docs/traceability/original/BASELINE.txt",
|
||||
"original_package": {
|
||||
"work": "一分更新、00:00決算、時間帯・天候更新、施設稼働判定、客選択の適用順を仕様化。新機能は分離サービスで実装しRuntimeから接続。全体の一括書換えはしない。",
|
||||
"acceptance": "同一Tickでの閉店/停電/退出/課金順が決定的。コマンド再送で二重課金・二重生成しない。",
|
||||
"depends_on": [
|
||||
"P03"
|
||||
],
|
||||
"decisions": [
|
||||
"D05"
|
||||
]
|
||||
},
|
||||
"D05": {
|
||||
"id": "D05",
|
||||
"title": "同時発生と安全処理",
|
||||
"details": "EV／搬送停止、費用時点、日跨ぎ順序の未確定部分。承認済み維持費時点を再確認しない。",
|
||||
"needed_at": "更新規約の凍結",
|
||||
"independent_work": "原状保持と重複防止、具体的な境界事例を作る。",
|
||||
"kind": "implementation_contract"
|
||||
},
|
||||
"domains": [
|
||||
"閉店",
|
||||
"停電",
|
||||
"破壊",
|
||||
"退出",
|
||||
"課金",
|
||||
"シフト交代",
|
||||
"00:00決算"
|
||||
],
|
||||
"required_outcomes": [
|
||||
"All7 domain order rules traced to current source, original and approved changes; original unknown rules explicitly pending.",
|
||||
"No charging while legitimately stopped, no double midnight settlement, no orphan reservations proved by applicable exact-version boundary evidence.",
|
||||
"Source/config/input/environment applicability checked before reuse. Tests alone do not establish original acceptance.",
|
||||
"Required current verification and formal independent review/integration; nativeWindows only conditions individually pending if required."
|
||||
],
|
||||
"initial_phase": "Bounded current-source and existing-evidence audit only. Product logic/Clock/values are not to be changed in this dispatch. This is preparation within original unit, not formal completion.",
|
||||
"input_paths": [
|
||||
"docs/plans/original-completion-2026-10-02/execution/p04-01-input-r01/input.json",
|
||||
"docs/plans/original-completion-2026-10-02/execution/p04-01-input-r01/historical-audit.json",
|
||||
"docs/plans/original-completion-2026-10-02/execution/p04-01-input-r01/historical-source-map.json",
|
||||
"docs/plans/original-completion-2026-10-02/execution/p04-01-input-r01/ORDER_CONTRACT_DRAFT.md"
|
||||
],
|
||||
"current_source_pins": {
|
||||
"autoload/simulation_runtime.gd": "d52a995ae715542bbc550f68d35889540658275d12e04ae0b21ac276f5843f39",
|
||||
"scripts/facility/facility_service.gd": "ceb4a3e9224587423f273cdb2b56e6843ab176ac1fc4fe79dd498b5ed5c33b77",
|
||||
"scripts/economy/economy_service.gd": "95aedd0a0421c93e8fa39f0f76fa890cd0a46905d9a25c88c8b17c4d6d47728e",
|
||||
"scripts/guest/guest_service.gd": "56880410e9a00816f9a95d30821982955532de8dd976980934e12016a9f2b21e",
|
||||
"scripts/staff/staff_service.gd": "355ad5c3c9f85dc4d4ffc3bc4293e36f81078c403d1662512a735b2c8d815fb3",
|
||||
"scripts/mana/mana_network_service.gd": "96f195cf2a28b0966d12cd7c6fab86d13eae97c8342d07d70f52e598fbf49af9"
|
||||
},
|
||||
"historical_differences": [
|
||||
{
|
||||
"path": "autoload/simulation_runtime.gd",
|
||||
"old_sha256": "2d7e2cea5424585e9aa4302ab66d1fc4dbaefe743ce4328fccc1efa2f19b82e4",
|
||||
"current_sha256": "d52a995ae715542bbc550f68d35889540658275d12e04ae0b21ac276f5843f39"
|
||||
},
|
||||
{
|
||||
"path": "scenes/main/main.gd",
|
||||
"old_sha256": "a7ae44c680eb9b70a117ddc8c6cbf0ca290b8e8d485eac41b4122698fde2a620",
|
||||
"current_sha256": "a3d7d7ddd08a8df1f987806e60accf51792d728cf71c06e6b822f5a31d8ed3e3"
|
||||
},
|
||||
{
|
||||
"path": "scenes/main/world_preview.gd",
|
||||
"old_sha256": "3df29be32d3a016d8fb9dc1ee2bd32e2360ac8fad9810293f6be9b58d26046e0",
|
||||
"current_sha256": "75d5b0bd23204f5a485540512e44b89e1d2a4596b368f70177a238ba078ff42d"
|
||||
},
|
||||
{
|
||||
"path": "scripts/core/performance_budget.gd",
|
||||
"old_sha256": "79d18e8f0dcc3932801cd02ea8a8ba037af02ef57665387cba8dbe3b3e9af917",
|
||||
"current_sha256": "0e2278f88d29919a0634fc1b527328a0d0c12d87e2cd612f3eee1526aabdb073"
|
||||
},
|
||||
{
|
||||
"path": "scripts/world/path_service.gd",
|
||||
"old_sha256": "2e68653e4898387cb5a76402813a10595bd5ca7d5fb841c7ed8c55af77d7a918",
|
||||
"current_sha256": "447135729a1106639a6eee6754af3195c8a8b458ca26980ae91fa39d80dcfbd4"
|
||||
},
|
||||
{
|
||||
"path": "tests/s1/test_path_service.gd",
|
||||
"old_sha256": "0f48bb44c27e32f08477b9aed61a0db5c8808219490928f734c3570a07efb251",
|
||||
"current_sha256": "17d9fd42b35004376bf96e435f53d6bce41e79258ec7f6daf3ab04ae5d8c3e1d"
|
||||
},
|
||||
{
|
||||
"path": "tests/ui/test_pixel_tower.gd",
|
||||
"old_sha256": "93bdbb195f2ceec07dbe052e0d0a3017d84b56f1e8ec46b87be8d98105ec0f88",
|
||||
"current_sha256": "f149f4b5507247dadf623e777e90b9bdb81f54324b406a8f55adaf89b649866a"
|
||||
}
|
||||
],
|
||||
"instructions": [
|
||||
"Read local input copies and current source; these files are present in this worktree, do not read former external worktree paths. Original artifact paths are provenance only unless root supplies verified raw material.",
|
||||
"Write docs/plans/original-completion-2026-10-02/execution/p04-01/order-audit.json and ORDER_AUDIT.md: each domain current functions/phase ordering, original/approved/pending authority, applicable old evidence and concrete missing evidence. Keep known original completion questions and all7domains, no extra countedunits.",
|
||||
"D05 stays pending. A01 already approved midnight ownership-based upkeep is not re-asked. Distinguish actual code behavior from approved design. Never invent service completion/cost/EV rules.",
|
||||
"Recompute oldmap/current hashes with exact localcopy. Existing7differences may affect boundary paths; analyze simulation_runtime diff using Git and actual called functions. No broad route/performance overhaul.",
|
||||
"Create tools/check_p04_order_evidence.py --verify-only: BUILD_OUTPUT_DIR/p04-evidence/index.json required. Verify required7domains, immutable source pins, raw proof hashes and applicability. Missing original requirement evidence, undefined mandatory rule, stale source, unexecuted proof must fail; no selfreported pass or pass based solely testcount. Review may be pending for machine stage but full required original evidence must already exist. Initial audit may honestly remain submitted and machine gate unavailable pending evidence.",
|
||||
"No engine/all-regression runs; no package/code/state/policy/cap changes; no tests disabled. Output finite minimal validation plan using known differences and existing applicable proofs.",
|
||||
"Finish by submitting actual created files and remaining gaps. Do not mark original unit complete. Root performs necessary validation/OS proof/independent review later."
|
||||
],
|
||||
"game_source_write_authorized": false
|
||||
}
|
||||
Reference in New Issue
Block a user