docs: preserve unapproved mana proposal and independent review findings

2026-10-13 00:29:38 +09:00
parent 5536bc0411
commit 4fb8312a33
9 changed files with 2647 additions and 3 deletions
@@ -0,0 +1,77 @@
+# 未承認・製品未反映：MP-01 マナ契約候補
+
+承認用の候補案です。P06-01の受入や原88成果の完了を意味せず、分母にも加えません。製品・人物・資源・仕様原本・台帳は変更していません。正式試験と別セッションレビューはRunnerが実施します。
+
+## 根拠と区別
+
+原本 `docs/traceability/original/BASELINE.txt` 9.1は枯渇時の全館停止、10.6はマナ炉6×3・裏地下・奴隷消費を規定します。6.1/6.5の代替不可能・解雇売却不可・原則ロストしない人物は投入から除外します。数値、容量、生成周期、炉の収率は原本にありません。
+
+現実装 `autoload/game_state.gd` の初期mana=100は残量です。`autoload/simulation_runtime.gd` のSTARTER_MANA_OUTPUT=100はネットワーク供給能力であり、100 Mana/10分という承認済み生成率ではありません。`maintenance_mana` は完成施設のconsumer需要に登録され、`mana_network_service.gd` の10ゲーム分周期で配電されます。これは現時点で残量から差し引く維持エネルギーではありません。ネットワークの優先配電・75%の縮退・10分の停止保持と、全館のreserve>0ゲートは別です。Runtimeの定期マナ更新はネットワーク評価と電力投影であり、有限残量helperの定期生成消費接続ではありません。
+
+`tests/s2/test_mana_reserve_balance.gd` の残量7・容量10・時刻360、時刻370の生成5・需要8→残量4は試験入力です。承認済み製品値ではなく、今回その試験を実行していません。現sourceのSHA256と区分はJSONのsource_pinsに記録しました。候補の来歴はcandidate、原本・実装・fixtureと区別しています。
+
+## 承認する候補範囲
+
+| 案 | 初期Mana | 容量Mana | 世界樹生成Mana/10ゲーム分 |
+|---|---:|---:|---:|
+| 推薦 | 100 | 300 | 20 |
+| 慎重 | 100 | 200 | 10 |
+| 余裕 | 200 | 600 | 40 |
+
+全て未承認です。推薦は現初期残量100を維持する候補であり、100を原本値と主張しません。容量300は初期の3倍の有限バッファ、生成20は下記の通常需要16を4だけ上回り、全定義一基ずつの需要63には足りない設計上の選択です。周期10は現配電評価境界への整合を理由に提案します。全ゲームのバランス保証ではありません。
+
+換算案は各完成・保有施設のmaintenance_manaを1周期のMana消費量とし、D=Σ(基数×定義値)とします。閉店・停止中も維持需要を計上し、枯渇による需要免除と無償復帰の振動を避けます。撤去・破壊済みは除外します。金維持費の承認A01と同一契約ではなく、別途承認するマナ案です。Manaは整数、時刻はゲーム内分、初回は初期時刻360から370までの一周期です。現実時間10秒=ゲーム内1時間との関係を生成量へ重複換算しません。
+
+B=直前残量、C=容量、G=その周期の世界樹生成、F=確定した炉生成、D=需要。
+
+- available=B+G+F
+- consumed=min(available,D)
+- shortage=D-consumed
+- overflow=max(0,available-consumed-C)
+- after=min(C,available-consumed)
+
+需要を賄ってから余剰を蓄積し、超過は明記して破棄します。after=0では需要ゼロ施設も含め全館停止。供給そのものは停止館外の世界樹から復帰可能とし、次の境界でafter>0かつ局所配電条件成立の場合だけ再開します。ネットワークstorageと残量を二重計上しません。ネットワーク供給100をGとして足すこともしません。供給能力・局所切断と残量の二つのゲートを保ちます。
+
+## 需要と計算比較
+
+JSONはdata/facilities配下の全37定義を列挙します。省略されたmaintenance_manaはFacilityDefinitionの現default=0と明示し、未定義施設のunknownとは区別します。各行のpath・definition_id・observed_maintenance_manaを入力に、全定義一基ずつの合計は63です。定義の存在を通常登録・稼働とみなしません。
+
+歴史監査CURRENT_FACILITY_AUDIT.mdにある対応定義なし13施設（VIPスイート、ドミトリー、レストラン、屋台、カジノ、闘技場、高級ソープ、SM拷問室、覗き部屋、地下牢、マナ炉、ワープ、魔法砲台）は需要unknownです。魔力制御室3×2は原本マナ炉6×3の代替ではありません。現在の定義一覧と歴史監査の登録数も混同しません。
+
+比較は候補式の計算のみです。F=0、初期時刻360、10分刻み。低負荷D=2（食堂一基）、通常D=16（食堂・厨房・大浴場・客EV・受付・警備員詰所各一基）、需要超過D=63（全37定義各一基）を120分計算します。zero・capacityは10分、供給喪失復帰は30分。全入力、各周期結果、shortage/overflowはJSONに保存しています。
+
+| 条件 | 推薦の結果 | 慎重の結果 | 余裕の結果 |
+|---|---:|---:|---:|
+| 低負荷120分 | 300 Mana | 196 Mana | 600 Mana |
+| 通常120分 | 148 Mana | 28 Mana | 488 Mana |
+| 需要超過120分 | 0 Mana | 0 Mana | 0 Mana |
+| 初期0・通常需要10分 | 4 Mana | 0 Mana | 24 Mana |
+| 初期満容量・低負荷10分 | 300 Mana | 200 Mana | 600 Mana |
+| 生成0→0→通常・需要16、30分 | 72 Mana | 62 Mana | 192 Mana |
+| 通常10分後、同分再送 | 104 Mana | 94 Mana | 224 Mana |
+
+推薦の需要超過は100→57→14→0、3周期目にshortage29、その後は毎周期shortage43。通常は100+12×(20−16)=148。供給喪失復帰は100→84→68→72。初期0は生成20−需要16=4で次境界復帰、慎重案は生成10でshortage6、停止を維持します。満容量では需要を支払った余剰のみoverflow。余裕案は復帰しやすい一方、需要63には12周期で枯渇します。
+
+同分再送は全案とも保存済み結果の返却だけで残量不変。同じ分で異なる入力は拒否します。局所供給線だけ喪失する場合もpower_available=falseを投影し、残量が正でも停止します。復帰は局所配電の停止保持条件を満たした評価境界で行い、残量が0なら再開しません。これらは設計比較で、実機受入結果ではありません。
+
+## 炉の候補
+
+原本寸法・裏地下を維持。所有する一般奴隷1名→100 Mana、一炉につき次の10分境界で一回の明示投入を提案します。ユニーク・代替不可能・売却不可・保護対象・ヒロイン・ライバル、客、一般従業員、分類不明な拘束者は除外。適格性が不明なら拒否します。自動投入は行わない案です。
+
+投入前に所有・適格性・炉稼働・空き容量100以上を再検証。人物除去、Mana加算、投入IDと境界・対象ID・適格性根拠・前後残量の履歴を一つの保存可能な原子操作として確定する案です。容量不足では投入せず、人物を消費してoverflowを捨てる案にしません。確定前中断は無変更で取消、確定後中断は保存receiptから復帰して再消費しません。枯渇中の炉は稼働しないため世界樹で先に復帰します。これは将来実装契約の候補で、今回は実際の人物消費も資源変更もありません。
+
+## 更新順序と保存
+
+D05はdecisions.jsonのpendingです。現順序はAPPLY_COMMANDS→TIME_BOUNDARIES→MANA→CONSTRUCTION→LOGISTICS→FACILITY_COMPLETION→VITALS_AND_ENVIRONMENT→INCIDENTS_AND_EVENTS→FACILITY_QUEUES→AI_DECISIONS→PUBLISH_SNAPSHOT。推薦はこのphase列を保持し、MANA内で入力snapshot→生成/炉取引のstage→残量計算→局所配電→全館ゲート→receipt確定とします。
+
+00:00の既承認Gold維持費は閉店・停電でも所有時間に応じて精算し、マナ停止を理由に取り消しません。06:00/18:00の勤務境界は保持。マナ評価後の物流・サービス完了・queueは確定電力を参照する案です。未完了サービスを完了として課金せず、EV/搬送は位置・荷物・ID・ルートを保持して停止、復帰で重複搬送しない案。日跨ぎ完了・費用時点・移動中の具体処理はD05承認前に製品へ接続しません。
+
+旧GameStateは非負値を復元でき0を許し、get_resourceで欠落も0として参照されます。0は現在の投影では停止であり、無制限・満量の証拠ではありません。ネットワークsnapshot版1、save format1/2は新しい残量容量・生成率契約の承認を意味しません。
+
+移行案は適用元版と新domain版を明示し、preview・検証済みbackup後に原子的適用。明示旧0は0・停止を維持。正値は承認容量内のみ保持。欠落、曖昧、負値、非整数、容量超過は拒否して元保存・live状態を保持し、黙って切り詰めません。新保存は残量・容量・最後の境界/flow・炉receipt・配電投影を保持。同境界同入力は再消費・イベント再発行なし、異入力/逆行は拒否。時間飛びは各10分境界を順に処理し、offline生成は別承認なしには行いません。
+
+## 不足・承認待ちと検証
+
+D04の値と換算、D05の境界処理、炉の対象判定・収率・履歴、新保存domain版と移行元適用条件を承認範囲として分けます。未定義13施設の需要、実際の配置基数、全ゲームの性能・経済バランスは未確定です。原P06-01は未達を維持します。
+
+静的に参照sourceと計算を確認した成果です。正式proposal-consistency試験・別Claudeレビュー・承認・統合・完了確定はRunnerに委ね、合格を自己宣言しません。
@@ -0,0 +1,48 @@
+{
+  "observed_at_jst": "2026-10-13T00:25:48.063475+09:00",
+  "status": "draft_unaccepted_not_approval_ready",
+  "original_counts": {
+    "packages": 30,
+    "delivery_units": 88,
+    "completed": 9
+  },
+  "applied_to_product": false,
+  "entries": [
+    {
+      "path": "docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/PROPOSAL.md",
+      "sha256": "95024959e7c301c6a68a24de36dd6629e45b189f9d038f4397757124ba0bb41f",
+      "bytes": 9918,
+      "source": "/Users/korizatou114/Projects/TheTree-managed-worktrees/mana-proposal/MP-01-implement/docs/plans/original-completion-2026-10-02/execution/mana-proposal/PROPOSAL.md",
+      "scope": "unaccepted draft snapshot only; not original unit acceptance"
+    },
+    {
+      "path": "docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/proposal.json",
+      "sha256": "aca6d781d5ce730c9f905b5dc817f27548b372b043beea68cf6de73761f6f0d2",
+      "bytes": 71713,
+      "source": "/Users/korizatou114/Projects/TheTree-managed-worktrees/mana-proposal/MP-01-implement/docs/plans/original-completion-2026-10-02/execution/mana-proposal/proposal.json",
+      "scope": "unaccepted draft snapshot only; not original unit acceptance"
+    }
+  ],
+  "root_checks": {
+    "source_pins_verified": 53,
+    "arithmetic_flows_verified": 126,
+    "demand_resources": 37,
+    "one_each_observed_load": 63,
+    "scope": "proposal arithmetic/source traceability only; no game or formal Runner acceptance"
+  },
+  "known_formal_gaps": [
+    "source_pins list differs from fixed mapping schema",
+    "formal proposal-consistency not executed",
+    "formal Runner reviewer not executed",
+    "managed worker stopped after two correction attempts; no unlimited retries"
+  ],
+  "read_only_content_review_job": "9d8583a74456470ea73a2bd531feb8ca",
+  "diagnostic_review_completed": true,
+  "content_findings": [
+    "HIGH-1 furnace headroom moment ambiguous; same-boundary tree generation can create overflow after consuming actor; furnace F>0 boundary cases absent",
+    "HIGH-2 restore from zero only possible when generation exceeds retained demand; after==0 stop must preserve original depletion constraint; unconditional recovery claim needs qualification and owner decision",
+    "MED-1 generous excess demand reaches zero on ninth interval, not twelfth",
+    "MED-2 distinguish tree generation loss from local distribution loss; stock balance and local power result separate"
+  ],
+  "review_disposition": "review-disposition.json"
+}
@@ -0,0 +1,28 @@
+{
+  "observed_at_jst": "2026-10-13T00:29:23.970192+09:00",
+  "status": "not_approval_ready",
+  "product_modified": false,
+  "original_delivery_completed": false,
+  "diagnostic_review": "diagnostic-independent-review.json",
+  "accepted_findings": [
+    "HIGH-1 furnace headroom moment ambiguous; same-boundary tree generation can create overflow after consuming actor; furnace F>0 boundary cases absent",
+    "HIGH-2 restore from zero only possible when generation exceeds retained demand; after==0 stop must preserve original depletion constraint; unconditional recovery claim needs qualification and owner decision",
+    "MED-1 generous excess demand reaches zero on ninth interval, not twelfth",
+    "MED-2 distinguish tree generation loss from local distribution loss; stock balance and local power result separate"
+  ],
+  "review_suggestions_not_auto_adopted": [
+    "Replacing depletion stop with shortage-only would change original depletion constraint; do not apply automatically",
+    "MED-3 assertion that one furnace cannot offset demand63 is numerically incorrect: generation20+furnace100 exceeds63 each interval; actual actor cost and sustainable operation still unapproved",
+    "Furnace loyalty side effects and bankruptcy actor eligibility remain proposal decisions; do not fabricate original numeric effect"
+  ],
+  "other_findings_deferred": [
+    "infirmary.tres duplicate properties and unknown queue_staff_min recorded outside proposal scope; no unsolicited fix"
+  ],
+  "formal_workflow_gaps": [
+    "source_pins list differs from registered mapping schema",
+    "formal validator and Runner review absent",
+    "worker correction stopped due forbidden reuse-input reads, despite exact local copy; retry cap respected"
+  ],
+  "next_original_candidate": "P24-03",
+  "proposal_numeric_choices_unapproved": true
+}
@@ -1,3 +1,5 @@
+現状更新（2026-10-13T00:29:23.970192+09:00）: 承認用マナ候補はcheckpoint mana-proposal-draft-r01へ原稿同一内容で保存。内容の独立診断レビューで未解決がありnot_approval_ready、製品未反映。正式完了9/88、P06-01未完。修正上限を守り再起動停止。次の独立候補P24-03はp24-03-next-scope-r01.jsonに原契約/既存実装/不足/試験計画を整理済み、実装担当未起動。
+
 現状更新（2026-10-13T00:11:39.759932+09:00）: P06-01監査は未採用・正式試験なしで終端。元成果はin_progress、正式9/88のまま。人間許可に基づきMP-01承認用マナ候補案を作成する。MP-01は原88成果に加算せず、値の本番反映も承認まで行わない。詳細はp06-audit-terminal-r01.json。以下は履歴。

 ## 現在のRunner実行（2026-10-12）
@@ -0,0 +1,44 @@
+{
+  "id": "P24-03",
+  "status": "next_scope_proposal_not_started",
+  "work": "施設・客・職員・レイヤーの選択を撤去、離脱、保存再起動に跨がせる。",
+  "acceptance": "不在対象を参照せず、有効な選択と画面値が復元される。",
+  "selection_reason": "既存復元実装と局所試験を再利用でき、P06未承認数値や延期したCtrl保持入力に依存せず、撤去/離脱/別process再開という有限範囲を閉じられる見込み。",
+  "existing_implementation": [
+    "version1 presentation IDs and open flags",
+    "valid entity/staff/guest existence checks at load",
+    "GameState active_layer and inspector restore"
+  ],
+  "reusable_test_sources": [
+    "tests/ui/test_actor_selection.gd",
+    "tests/ui/test_selection_lifecycle.gd",
+    "tests/ui/test_selection_autosave.gd"
+  ],
+  "current_pass_evidence": [],
+  "reused_pass_claim": false,
+  "missing_conditions": [
+    "実撤去後の施設選択と表示更新",
+    "実離脱/解雇後の客・職員選択と表示更新",
+    "選択とレイヤー/画面値の同一候補版・正式保存・別process再開",
+    "通常OS入力から選択保存再開までの証拠",
+    "影響範囲試験と別Claude正式独立レビュー"
+  ],
+  "test_scope": [
+    "static and local selection checks before broad runs",
+    "existing actor/lifecycle/autosave tests subject to valid current source/environment",
+    "only necessary removal/departure/cross-process gaps",
+    "final exact-candidate required regression and review"
+  ],
+  "dependencies": [
+    "existing accepted save/current UI contract applicability to be verified",
+    "package integration dependencies remain; no whole-package completion prerequisite fabricated"
+  ],
+  "windows_block_policy": "Only expressly Windows-device-specific conditions blocked; Mac selection gaps remain work, not platform block",
+  "source_pins": {
+    "scenes/main/main.gd": "a3d7d7ddd08a8df1f987806e60accf51792d728cf71c06e6b822f5a31d8ed3e3",
+    "tests/ui/test_actor_selection.gd": "f37a0f4805adce4b538fccde1404c1a417f20639fddf36947f076d88409ba0a3",
+    "tests/ui/test_selection_lifecycle.gd": "ed68b120f422e1b37b8cf0654b6d6605458fe01c7e5d84decc3ba6f4e9366c47",
+    "tests/ui/test_selection_autosave.gd": "1d7d267ef171041f77241c4c2f1a1bb55a46253f803d5c496507e934bc8fa815"
+  },
+  "observed_at_jst": "2026-10-13T00:27:34.431543+09:00"
+}
@@ -254,6 +254,6 @@
    "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
    "validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
    "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
-    "work_packages.json": "d6b9cffee3a2f75c39116afb72852ed5472ece9586c1fd5b714cb899df3e4d66"
+    "work_packages.json": "5d778c852f6ed2d952b98d6c21c4d26c4dc2ec9cbaadd2fed05a74dd42863f63"
  }
 }
@@ -6175,15 +6175,20 @@
            "path": "docs/plans/original-completion-2026-10-02/execution/multi-agent-dev-handoff/p06-audit-terminal-r01.json",
            "sha256_at_integration": "f4df9d95b5590f9087a2f37140ced59ff9ac6a49668633b7f2ecd6bb92920628",
            "scope": "terminal unaccepted audit; no formal tests or independent acceptance; proposal remains unapproved"
+          },
+          {
+            "path": "docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/manifest.json",
+            "sha256_at_integration": "fce154c54395be81e875faf76b0ec19f2be3c0e06d097d54e1b87e824b27af60",
+            "scope": "unapproved proposal draft, root arithmetic/source checks, diagnostic independent review; not formal original delivery acceptance"
          }
        ],
-        "progress_summary": "原契約監査はRunner blockedで終端。未採用3成果と50source pinを保存。有限蓄積Runtime未接続、原本の6x3裏地下マナ炉との差、旧ゼロ/境界証拠不足を確認。検証器にargv/hash比較の欠陥があり、正式試験・正式独立受入・統合なし。人間許可によりMP-01承認用候補案を別契約で作成中。P06-01未完、原30/88の分母・条件を維持。",
+        "progress_summary": "原契約監査は未採用で終端。承認用マナ候補3案と37施設需要を作成し53source pin・126比較区間を照合。別Claudeの読取専用診断レビューで炉容量判定、枯渇復帰条件、余裕案の文章誤記、供給喪失の区分に未解決を確認。原稿はnot_approval_ready、本番未反映。source_pins形式とRunner提出/読取制限が残り正式検証・正式レビュー・統合なし。修正上限を守り重複再起動しない。原P06-01未完、30/88の分母/条件を維持。次の独立候補P24-03。",
        "remaining_gaps": [
          "生成・蓄積・消費と初期値/係数の原本・承認・実装・試験用値の根拠対応。",
          "旧ゼロ保存の意味、移行、残量境界の現版証拠と矛盾の有無。",
          "13source差分を含む既存証拠の適用性、必要検証、独立レビューと全条件台帳反映。"
        ],
-        "updated_at_jst": "2026-10-13T00:11:39.759932+09:00"
+        "updated_at_jst": "2026-10-13T00:29:23.970192+09:00"
      },
      {
        "id": "P06-02",