docs: clarify unapproved mana arithmetic and furnace capacity options

docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/NUMERIC_FOLLOWUP.md

@@ -0,0 +1,15 @@
+# MP-01 診断レビュー補足 r02（未承認）
+
+元のPROPOSAL.md/proposal.jsonは未受入worker成果のスナップショットとして保持する。この補足は窓口による算術・判断材料であり、worker修正、正式試験、正式レビュー、P06-01受入を代行しない。修正回数を増やさず、製品値を変更しない。
+
+余裕案の需要63・生成40では200から毎周期23減少し、9周期目に0になる。旧説明の「12周期で枯渇」は「120分時点で0」と「初めて0となる時点」を混同している。numeric-followup-r02.jsonに全9周期の列を記録した。
+
+炉100の投入前に直前残量だけで空き容量100を確認しても安全ではない。容量300・B=200・世界樹20・需要16・炉100では、需要精算後も304となり4が捨てられる。人物消費後のoverflowを許さない契約を選ぶなら、この入力は拒否する必要がある。B=196なら最終300でoverflow0、B=300なら104のoverflowになる。比較は候補式に対する計算であり、炉を動作させた結果ではない。
+
+承認候補として、(A) 世界樹と需要を仮計算した後の空き容量で炉を判定する、(B) 需要を差し引く前に世界樹込みの空き容量を予約する、を区別する。Aは当該周期の需要ぶんを有効活用でき、Bはより保守的に投入を拒否する。いずれも人物・残量・投入receiptを一括確定し、拒否時に人物を消費しない。ここでA/Bを採用しない。
+
+残量0から世界樹で復帰する案は生成Gが保持需要Dを超える場合に限られる。生成が需要以下でafter=0なら、原本の全館停止を維持する。「不足がないから稼働」とする別ルールに変更しない。生成停止と配電線断を区別し、後者では正の残量でも局所停止し得る。
+
+独立診断の「1炉100では需要63を補えない」は数値として採用しない。世界樹20+炉100は63を上回る。ただし人物消費コスト、持続可能性、副作用、未定義13施設の需要は未承認であり、バランス保証にはならない。人物分類や忠誠度の副作用を既存数値から捏造しない。
+
+not_approval_readyを維持する。次の正式段階は、未決契約の選択、全入力付き比較と保存domainの整理、Runnerのproposal-consistency検証、別セッション正式レビューである。原30パッケージ/88成果、完了9件は変えない。

docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/numeric-followup-r02.json

@@ -0,0 +1,85 @@
+{
+  "status": "unapproved_diagnostic_supplement",
+  "formal_acceptance": false,
+  "product_modified": false,
+  "original_delivery_complete": false,
+  "worker_repair_started": false,
+  "worker_snapshot_preserved": true,
+  "cases": [
+    {
+      "B": 200,
+      "C": 300,
+      "G": 20,
+      "D": 16,
+      "F": 100,
+      "available": 320,
+      "consumed": 16,
+      "after": 300,
+      "overflow": 4,
+      "post_tree_demand_headroom": 96,
+      "proposed_no_overflow_acceptance": false
+    },
+    {
+      "B": 196,
+      "C": 300,
+      "G": 20,
+      "D": 16,
+      "F": 100,
+      "available": 316,
+      "consumed": 16,
+      "after": 300,
+      "overflow": 0,
+      "post_tree_demand_headroom": 100,
+      "proposed_no_overflow_acceptance": true
+    },
+    {
+      "B": 300,
+      "C": 300,
+      "G": 20,
+      "D": 16,
+      "F": 100,
+      "available": 420,
+      "consumed": 16,
+      "after": 300,
+      "overflow": 104,
+      "post_tree_demand_headroom": -4,
+      "proposed_no_overflow_acceptance": false
+    },
+    {
+      "B": 100,
+      "C": 300,
+      "G": 20,
+      "D": 63,
+      "F": 100,
+      "available": 220,
+      "consumed": 63,
+      "after": 157,
+      "overflow": 0,
+      "post_tree_demand_headroom": 243,
+      "proposed_no_overflow_acceptance": true
+    }
+  ],
+  "generous_excess_demand": {
+    "initial": 200,
+    "generation": 40,
+    "demand": 63,
+    "intervals_to_zero": 9,
+    "amounts": [
+      200,
+      177,
+      154,
+      131,
+      108,
+      85,
+      62,
+      39,
+      16,
+      0
+    ]
+  },
+  "open_choices": [
+    "Reserve capacity after staging tree generation and demand, or reserve conservative capacity before demand; owner must approve the chosen contract.",
+    "Actor eligibility and loyalty side effects need authority; no numerical penalty invented.",
+    "Separate tree generation loss from local distribution failure; do not equate positive stock with operational power."
+  ]
+}