docs: freeze P07 weather auxiliary acceptance scope

docs/plans/original-completion-2026-10-02/execution/p07-01/wx/PROVENANCE.json

@@ -0,0 +1,74 @@
+{
+  "task": "P07-01-WX",
+  "by": "Claude Opus 5.5 Desktop (local_a7f85421-3eed-4482-8030-c0dca669573a), the actual commander; registration is Root's",
+  "kind": "auxiliary successor of the original P07-01 (Root work sequencing and scope decomposition)",
+  "root_decision": {
+    "record": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-control-r01/ROOT_AUXILIARY_SCOPE_ORDER_R01.json",
+      "sha256": "bd54c728301de9318faa9c077995c945172be1074ee8e95718a9f1e5ab1d659b"
+    },
+    "at_utc": "2026-10-23T19:36:14.185700+00:00",
+    "relayed_message_verbatim_parts": [
+      "提案B「原加算0の補助後継」を進めます。これはRootの作業範囲の分割であり、新たな人のゲーム仕様承認でも原P07-01の受入削除でもありません。原P07全F1〜F8/炉120/原88分母は未達のまま保全し、P13炉施設・D04消費・A06別承認を残要件と明示してください。",
+      "現mainから、完成済みの自然天候/雨/世界樹霧/成人客霧/HUD/保存移行を受け入れる補助SPEC・原全8条件との対応と炉の残件・contract/baseline/policy/validation/登録手順を用意してRootへ渡してください。既存製品差分を再実装しない。後継も別Sで正式native/全roster/fresh別Opus wholeunit/通常統合が必要で、旧成功を新S実測として流用しない。",
+      "照合不具合はVERIFY_OLD_BOUNDED_FIX_DRAFT_R01.mdに沿う実修正を後継の許可範囲に含め、old_bounded/ordinary双方の厳密な環境とteardown証明・hash/proofを照合し、検査削除や任意環境容認にしない。後継登録後に通常開始判断・委任実装で修正してください。",
+      "P16はこの補助統合後のmainで続行可、原P07完了待ちを新しい循環待ちにしない。"
+    ],
+    "authority": "Root's existing owner authority under the existing human instruction that prioritizes functional implementation. Not a new human gameplay rule or approval, and not a deletion of the original P07-01 acceptance."
+  },
+  "human_decision_unchanged": {
+    "id": "A13",
+    "record": {
+      "path": "artifacts/original-completion-2026-10-02/USER_DECISIONS_WEATHER_SEVERANCE_R01.json",
+      "sha256": "c4a08ad4369ceec1738543540611a8c8921bd263d9fbe6b3e2621698f2957390"
+    },
+    "answer_verbatim": "この初期仕様で進める",
+    "original_spec_provenance": "docs/plans/original-completion-2026-10-02/execution/p07-01/PROVENANCE.json"
+  },
+  "original_task": {
+    "project": "the-tree-p07-01",
+    "id": "P07-01",
+    "state": "submitted (held by commander decision wait, event 5)",
+    "submitted": "dfacc83d0afdd322a6389e131b87d3205e5ac9c8",
+    "base_commit": "4654789b01369a0d43915060db1f425e18a5e4a9",
+    "spec_sha256_runner": "2626d70bd6d4b68dbffe2470d9e0726177d6704132da2f75282affa803287956"
+  },
+  "inputs": {
+    "carry_over_patch": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-wx-registration-r01/CARRY_OVER_DFACC83.patch",
+      "sha256": "a880ea89680a03f2e41f2c7118935a02c16a39995471a2b971a901513ade58f9"
+    },
+    "carry_over_manifest": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-wx-registration-r01/CARRY_OVER_DFACC83.json",
+      "sha256": "b13aacebc6f445c57be33dd548e2d08526e4c04853cfd7b9ce829534fc17c9a6"
+    },
+    "verifier_fix_draft": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-control-r01/VERIFY_OLD_BOUNDED_FIX_DRAFT_R01.md",
+      "sha256": "ee88ec3460c54c09778981965128e6b37aebd294cdd594f7759697d9b2085693"
+    },
+    "furnace_scope_decision": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-control-r01/P07_01_F5_FURNACE_SCOPE_DECISION_R01.md",
+      "sha256": "f496aa8159e0d7324fb6517163327a0d21b438a379dfe1c2aa547f846ceccf35"
+    },
+    "commander_hold_decision": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-control-r01/COMMANDER_DECISION_P07_01_R02.json",
+      "sha256": "7c0f67469772c053e27c3992cc7cfd49bf8c528a2ecc2f278a6a82bea4085f99"
+    },
+    "native_failure_record": {
+      "path": "artifacts/original-completion-2026-10-02/p07-01-control-r01/NATIVE_DFACC83_FAILURE_R01.json",
+      "sha256": "af53fe3eeb58ff9a17274e8c17644407062aa75f1534a661d0dbdc1f7a4b4db5"
+    }
+  },
+  "native_raw_kept": "artifacts/original-completion-2026-10-02/p07-01-control-r01/p07-01-native-dfacc83-r01 (and NATIVE_DFACC83.stdout/.stderr/.exit; SHA-256 in the Root record above). Not evidence for the successor.",
+  "interpretation_boundary": [
+    "Accepted here: the finished natural weather, rain arrivals and stay, storm, the world tree fog yield 24, the adult guest fog intimacy floor(x1.5), the HUD forecast, and save/migration/rejection, as implemented in S dfacc83 and carried byte-for-byte.",
+    "Not accepted here: the furnace yield 120 at fog boundaries and AR.weather.fog_magic. They stay original residuals that need the P13 furnace facility, the D04 unit consumption and the A06 separate approval.",
+    "In scope as a real fix: the registered verifier of tools/run_p07_weather_tests.py, strict for both ordinary_cleanup_prepared and old_bounded_teardown suites (environment, teardown proof re-check, hashes). No check is removed and no arbitrary environment is accepted.",
+    "Implementer details of the carried code remain implementer choices, not human approvals (original SPEC section 2)."
+  ],
+  "limits": [
+    "Original credit 0. Original P07-01 F1-F8, the furnace 120 and the 88 denominator stay unmet. Original completion remains 24/88 and 4/30 packages.",
+    "The successor needs its own S, native collection, registered validation, full roster, fresh separate Opus whole-unit review and normal integration. Old S dfacc83 results are not new S measurements.",
+    "P05-03 questions remain unanswered and are not inferred."
+  ]
+}

docs/plans/original-completion-2026-10-02/execution/p07-01/wx/SPEC.md

@@ -0,0 +1,103 @@
+# P07-01-WX 仕上がった天候の機能の受入（マナ炉の産出を除く） 仕様（登録版 r01。P07-01 の補助の作業）
+
+- 状態: 登録の前の仕様。Root が main の `docs/plans/original-completion-2026-10-02/execution/p07-01/wx/SPEC.md` に固定し、その commit を `base_commit` にして通常の登録をする。出典は同じフォルダの `PROVENANCE.json`。
+- 位置づけ: Root の通常の owner の順序づけ（Root の記録 2026-10-23T19:36:14Z）による、原 P07-01 の作業の範囲の分割。人の新しいゲームの仕様の承認ではなく、原 P07-01 の受入の削除でもない。
+  - 原 P07-01（仕様 `../SPEC.md`。決定 A13、`../PROVENANCE.json`）の F1〜F8、霧の境界のマナ炉 120、原 88 の分母は、どれも未達のまま保つ。
+  - この補助の作業の原本への加算は 0。
+- 前提: ユーザーの言葉（原文。Root が確かめたもの）「開発作業を進めて。」「統合試験の動作速度のチューニングを、今やるよりも機能実装の完了を優先して」。発言の日時は、元の答えを特定できないので書かない。原 P07-01 の task（project `the-tree-p07-01`）は、commander の判断 wait（event 5）で保持している。
+
+## 1. 原本の条件と決定（変えない）
+
+- 原 P07-01 の work・acceptance・原子要件・横断条件・決定 A13 は、原の仕様 `../SPEC.md` §1・§2 のとおり。
+- 原の受入 F1〜F8 は `../SPEC.md` §6 のとおりで、この補助の作業はそれを書き換えない。
+
+## 2. この補助の作業が受け入れるもの
+
+原の仕様 §4・§5 の挙動のうち、次のものを受け入れる。§3 の持ち越しで、もう実装されている。
+
+- 自然天候（原 §4.1）: 毎日 06:00 の1回の抽選、保存される系列 `weather`、出来事 `WEATHER_FORECAST_DRAWN`。
+- 雨の来客（原 §4.2）、雨の滞在（原 §4.3）、嵐（原 §4.5）。
+- マナ霧のうち、世界樹の産出（20→24）と、成人確認済みの客の性欲の増加（floor(×1.5)）（原 §4.4）。
+- 上部の表示と予報（原 §4.6）、同時の扱い（原 §4.7）、保存と移行と拒否（原 §5）。
+
+受け入れないもの（§6 の残件）: 霧の境界のマナ炉の産出 120（原 §4.4 の炉の部分、原 F5 の炉の句）。
+
+- この補助の作業の要件 ID: `P07-01-WX`（受入 WX1〜WX8 の要件）。
+- 契約に並べる原子要件（原 §1。この補助の範囲で全部を満たすもの）:
+  - `AR.weather.rain_arrivals`
+  - `AR.weather.rain_stay`
+  - `AR.weather.fog_excitation`
+  - `AR.weather.storm_no_arrivals`
+  - `AR.ui.hud_weather`
+- 並べない原子要件: `AR.weather.fog_magic`（マナの霧で魔法効率が上がる）。A13 の問いの3項目め（原文は `../PROVENANCE.json`）は「マナ霧の「魔法効率上昇」は世界樹・マナ炉の産出1.2倍」なので、炉の部分の無いこの作業では閉じない。
+- 原 §1 の横断条件（P07）は、この補助の範囲でもそのまま求める。
+
+## 3. 持ち越しと、この作業で直すもの
+
+- 持ち越し: 原の task の提出 S `dfacc83d0afdd322a6389e131b87d3205e5ac9c8`（基準 `4654789`）の差分 24 ファイルを、bytes のまま後継の W に当てる。
+  - 当て方は `CARRY_OVER_DFACC83.patch`（`git apply`）で、当てた後に全ての path を `CARRY_OVER_DFACC83.json` の SHA-256 と照合する。2つのファイルの path と SHA-256 は `PROVENANCE.json` の `inputs`。
+  - 製品を作り直さない。持ち越した 24 ファイルは、下の照合の直し（`tools/run_p07_weather_tests.py`）を除いて変えない。
+  - この作業の記録は `./IMPLEMENTATION_NOTES.md`（この `wx/` のフォルダ）に新しく書く（持ち越しの方法、照合の直し、§6 の訂正）。
+  - S `dfacc83` の局所の確認と native の収集（照合で exit 1）は、原の task の記録のままにし、後継の証拠に流用しない。
+  - 持ち越す `../IMPLEMENTATION_NOTES.md` §3 の「（P06 の未決定）」は誤り。正しい前提は §6 のとおりで、訂正は `./IMPLEMENTATION_NOTES.md` に書く（持ち越しのファイルは bytes のまま）。
+- 直すもの: 登録の照合の道具 `tools/run_p07_weather_tests.py` の照合（`verify`）。S `dfacc83` の native の収集では 14 本の suite が全て PASS したが、照合が `old_bounded_teardown` の suite の制御の環境を知らずに止まった。
+  - 直し方は `VERIFY_OLD_BOUNDED_FIX_DRAFT_R01.md`（原の task の管理の記録。path と SHA-256 は `PROVENANCE.json`）のとおり。
+  - `ordinary_cleanup_prepared` と `old_bounded_teardown` の両方の suite について、次を厳密に照合する。
+    - 共通の収集（main `4654789` の `tools/run_all_tests.py` 172〜176・207〜208 行）と同じ制御の環境
+    - 後片付けの証明（`ordinary_gate`・`teardown_gate`）の再照合
+    - hash と証明
+  - 検査を消したり、任意の環境を許したりしない。
+- 後継の検証で別の失敗が出た時: 失敗の原文を保存し、`./IMPLEMENTATION_NOTES.md` に原因と直しを書いてから、契約の `allowed_paths` の中で直す。直した後の確かめは、その失敗に関係する範囲だけにする。
+- 変えないもの: 固定された `../SPEC.md`・`../PROVENANCE.json`・`./SPEC.md`（この文書）・`./PROVENANCE.json`。
+
+## 4. 受入条件（acceptance_baseline の本文と同じ）
+
+- P07-01-WX1 自然天候: 毎日 06:00 に1回だけ、原 SPEC §4.1 の確率・開始の時刻・続く時間で天候が自然に予定され、同じ world_seed と同じ操作で同じ天候の列になる。新しいゲームの開始の日も抽選され、旧 save は原 SPEC §5.2 のとおり移行する。
+- P07-01-WX2 雨の来客: 雨の間の来客の計画の新規の人数が、同じ条件の晴れの半分（切り捨て）になり、嵐の 0 と定員・マナの上限を壊さない。
+- P07-01-WX3 雨の滞在: 雨の間に帰りの時刻になった客が、雨の終わりか元の予定 + 240 分の早い方まで1回だけ残り、その後は今の規則で帰る。嵐と霧では延びない。
+- P07-01-WX4 嵐: 自然の嵐を含め、嵐の間の新規入館が 0。
+- P07-01-WX5 マナ霧（炉を除く）: 霧の間のマナの境界で世界樹 24（上限 300 のまま）、成人確認済みの客の性欲の増加が floor(×1.5) になり、霧の外と成人確認の無い客は変わらない。マナ炉の産出 120 はこの補助の作業では受け入れず、通常の営業での達成を主張しない（炉の産出の経路が無いので、貯蔵の規則の単体の確かめは開示として扱う）。
+- P07-01-WX6 表示と予報: ゲームの本物の Runtime と Main の上部の表示で、今の天候・次の切り替え（種類と時刻）・効果の案内が Runtime の値と一致する。
+- P07-01-WX7 保存と再開: 天候の切り替えの直前・直後・途中の保存を、同じ process と別の process で読み、天候・予定・系列・来客・滞在の延長・霧の効果が同じになり、二重に効かない。旧 save は原 SPEC §5.2 で読め、不正な状態は原 SPEC §5.3 で拒否して状態を保つ。
+- P07-01-WX8 回帰と照合: 関連の回帰（狭い roster と再開の2段）と後継の S の全 roster（既存の代表負荷の性能の suite を含む）が PASS。登録の照合が、`ordinary_cleanup_prepared` と `old_bounded_teardown` の両方の suite について、制御の環境と後片付けの証明・hash を厳密に照合する。既存の試験の期待値の変更は `EXPECTATION_CHANGES.json` に変更前後と根拠を一覧にする。元の失敗（S `dfacc83` の native の照合の失敗を含む）を保存し、未解決の試験を除いて PASS にしない。
+
+## 5. 原 F1〜F8 との対応
+
+| 原の受入 | この補助 | 扱い |
+|---|---|---|
+| F1 自然天候 | WX1 | 同じ本文 |
+| F2 雨の来客 | WX2 | 同じ本文 |
+| F3 雨の滞在 | WX3 | 同じ本文 |
+| F4 嵐 | WX4 | 同じ本文 |
+| F5 マナ霧 | WX5 | 世界樹 24 と性欲 ×1.5 だけ。炉 120 は §6 の残件 |
+| F6 表示と予報 | WX6 | 同じ本文 |
+| F7 保存と再開 | WX7 | 同じ本文 |
+| F8 回帰 | WX8 | 同じ要求に、照合の厳密さ（両方の後片付けの suite）を足す |
+
+- この補助の作業が合格しても、原 F1〜F8 の whole-unit の受入にはならない。原 P07-01 の完了は、§6 の残件を満たした後に、原の全8条件の独立レビューと通常の統合・final を経てだけ数える。
+
+## 6. 残件（原 P07-01 の未達として保つもの）
+
+- 霧の境界のマナ炉の産出 120（原 §4.4・F5 の炉の句）と、マナの霧で魔法効率が上がる原子要件。今のゲームには、炉の施設も、炉が産出を入れる経路も無い（持ち越しの `../IMPLEMENTATION_NOTES.md` §3、原の task の `P07_01_F5_FURNACE_SCOPE_DECISION_R01.md`。path と SHA-256 は `PROVENANCE.json`）。満たすのに要るもの:
+  - P13 の炉の施設（`AR.facility.mana_furnace.exists`・`footprint`（D06）・`zone`・`layer` など）
+  - D04 のユニットの消費（`AR.facility.mana_furnace.unit_consumption`）
+  - A06 の別承認（炉の人物の適格性と収率の実接続。`docs/plans/original-completion-2026-10-02/decisions.json` の A06 の原文「炉の人物適格性・収率の実接続は別承認。」）
+- 原 P07-01 の whole-unit の独立レビュー・通常の統合・final。
+
+## 7. 検証
+
+- validation `p07-weather`（`tools/run_p07_weather_tests.py --output {build_dir}/p07-weather-evidence`。持ち越した道具に §3 の直しを入れたもの）。
+- 狭い roster は原 SPEC §8 と同じ 12 本と再開の2段（実 16 段）。
+- 手順: 持ち越しと照合の直し → 局所の確認（直した道具の `--prepare-only` を含む）→ 通常の submit → 後継の S で native の収集 → 正式の validation → 空きを 2.6 GB 以上と実測してから全 roster を1回 → 後の圧縮 → 配置 → 凍結 → 別の新しい Opus の独立レビュー（この補助の範囲で whole-unit。炉の産出を主張していないことの確かめを含む）→ 通常の統合と final。
+- 速度の調整の作業と、微小な変更ごとの全回帰はしない。
+
+## 8. 開示
+
+- 持ち越した `IMPLEMENTATION_NOTES.md` §2・§3 のとおり。
+  - 実装担当の詳細は人の承認ではない。
+  - 霧の性欲は正の増分だけに効く。
+  - 予報はその日の分だけを出す。
+  - UI は今の部品のまま。
+  - Windows の実機は後。
+  - 毎日の出来事が1件増える。
+- 原本の完了数は 24/88 のまま。