P07-01-WX: 仕上がった天候の機能の受入：自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行（マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0）

2026-10-24 05:04:48 +09:00
parent 7ac2224e47
commit c50136017b
25 changed files with 1868 additions and 28 deletions
@@ -0,0 +1,53 @@
+# P07-01-WX 実装の記録（実 Opus の実装担当、2026-10-24）
+
+- 仕様: 同じフォルダの `SPEC.md`（main `7ac2224` に固定。Runner の `spec_sha256` は `f1cd4262…fbd783`）。出典は `PROVENANCE.json`。
+- 原本への加算は 0。原 P07-01 の F1〜F8・炉 120・`AR.weather.fog_magic`・原 88 の分母は未達のまま。
+- 管理の記録は `artifacts/original-completion-2026-10-02/p07-01-wx-control-r01/` にある（git の外）。
+
+## 1. 持ち越し（SPEC §3）
+
+- 原 task の提出 S `dfacc83` の差分 24 ファイルを、`CARRY_OVER_DFACC83.patch`（SHA-256 `a880ea89…58f9`）で W に1回だけ当てた。
+- 当てた後、24 ファイル全部が manifest（`CARRY_OVER_DFACC83.json`）の bytes・SHA-256 と、S `dfacc83` の blob の両方に一致した（`CARRY_OVER_APPLY_R01.json`）。
+- 1回目は sandbox が W への書き込みを拒み、何も当たらなかった（W は clean のまま）。その記録を残してから当て直した。
+- 製品と試験は持ち越しのまま。変えたのは下の照合の道具だけ。
+
+## 2. 照合の直し（`tools/run_p07_weather_tests.py` の `verify`）
+
+- 原因:
+  - S `dfacc83` の native の収集では、14 本の suite が全て PASS した。その後の照合が「exact controlled Guard/proof environment」で止まった。
+  - 照合は `ordinary_cleanup_prepared` の suite の環境しか期待していなかった。`old_bounded_teardown` の suite（`tests/environment/test_p07_weather_runtime.gd` と `tests/ui/test_main_dashboard.gd`）には、共通の収集が `THE_TREE_AUDIO_TEARDOWN_PROOF_DIR` を渡しているのに、それを期待していなかった。
+- 直し（`VERIFY_OLD_BOUNDED_FIX_DRAFT_R01.md` のとおり）:
+  1. 段ごとの分類（ordinary・old_bounded）を、共通の収集（`tools/run_all_tests.py`）と同じ `phase_policy` から決める。
+  2. 期待する環境:
+     - ordinary の時は今のまま（`<段>-teardown/owned-audio` と `control.json`）。
+     - old_bounded の時は `<段>-teardown`（共通の収集と同じ）。
+     - どちらでもない時は無し。
+  3. old_bounded の suite は、共通の `teardown_gate` で証明を照合し直し、収集の記録（`old_bounded_proof`）と一致することを求める。
+  4. 照合を build の場所の写しにかけた時のために、`teardown_gate` が読む証明の path を読み替える。方法は ordinary の照合（`owners.read`）と同じ。照合の道具の中で作った module の写しだけを変え、共通の gate は変えていない。
+  5. ordinary の証明・old_bounded の証明・`<段>-teardown` のファイルが、分類された suite にだけあることを求める（import と parse の段を含む）。
+- 消した検査は無い。任意の環境は許さない。
+
+## 3. 訂正
+
+- 持ち越した `../IMPLEMENTATION_NOTES.md` §3 の「（P06 の未決定）」は誤り。
+- 炉の産出を通常の営業で示すのに要るものは、次の3つ（SPEC §6）:
+  - P13 の炉の施設
+  - D04 のユニットの消費
+  - A06 の別承認
+- 持ち越しのファイルは bytes のまま残し、訂正はここに書く。
+
+## 4. 確かめ（局所。正式の証拠ではない）
+
+- 直した判定を、旧 S の native の生の出力（読むだけ）に当てた（`VERIFIER_FIX_LOCAL_CHECK_R01.json`）。照合の全体は、受領が旧い道具の bytes を固定しているので、旧い出力にはかけられない。
+  - 16 段の環境と分類が記録と一致した。
+  - bounded の 2 本の証明が、元の場所と別の場所の写しの両方で記録と一致した。
+  - 直す前の期待は、元の失敗と同じ 000・011 の段で外れる。
+  - 読み替えの無い写しと、1 byte 変えた写しは拒まれる。
+- 直した道具の `--prepare-only` は exit 0（engine 0）。
+- 製品は S `dfacc83` と同じ bytes なので、engine の局所の再実行はしていない。
+- 正式の証拠は、新しい S の native の収集、登録の validation、全 roster、独立レビュー。旧 S の結果は流用しない。
+
+## 5. 開示
+
+- 炉 120 と `AR.weather.fog_magic` は受け入れない（SPEC §6）。
+- 他の開示は、持ち越した `../IMPLEMENTATION_NOTES.md` §2・§3（P06 の句を除く）と `../EXPECTATION_CHANGES.json` のとおり。