From aec7a2e1ee2e21ea08d1ff0a673d8a490ef336d4 Mon Sep 17 00:00:00 2001 From: Takeshi Date: Tue, 13 Oct 2026 03:16:04 +0900 Subject: [PATCH] docs: clarify unapproved mana arithmetic and furnace capacity options --- .../NUMERIC_FOLLOWUP.md | 15 ++++ .../numeric-followup-r02.json | 85 +++++++++++++++++++ 2 files changed, 100 insertions(+) create mode 100644 docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/NUMERIC_FOLLOWUP.md create mode 100644 docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/numeric-followup-r02.json diff --git a/docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/NUMERIC_FOLLOWUP.md b/docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/NUMERIC_FOLLOWUP.md new file mode 100644 index 0000000..5f1ab2a --- /dev/null +++ b/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件は変えない。 diff --git a/docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/numeric-followup-r02.json b/docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/numeric-followup-r02.json new file mode 100644 index 0000000..eaf39d0 --- /dev/null +++ b/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." + ] +}