Reconcile mana proposal progress and pin arithmetic preflight

2026-10-13 17:06:46 +09:00
parent 231085cf29
commit 15168ffd47
3 changed files with 35 additions and 3 deletions
@@ -0,0 +1,32 @@
+{
+  "recorded_at": "2026-10-13T08:06:24.867850+00:00",
+  "submitted_commit": "6b78f8fd71131e61ba695939f4629fec9f51d7a9",
+  "scope": "proposal arithmetic and source applicability; no game acceptance",
+  "passed": true,
+  "flow_rows_independently_recomputed": 126,
+  "comparisons": 21,
+  "formula": "F=0: available=B+G, consumed=min(available,D), shortage=D-consumed, overflow=max(0,available-consumed-C), after=min(C,available-consumed), global_stop=(after==0)",
+  "surplus_first_zero_interval": 9,
+  "surplus_interval_8_after": 16,
+  "furnace_arithmetic_and_both_headroom_policies_recomputed": true,
+  "source_pins_current_production_matches": 53,
+  "changed_paths": [
+    "docs/plans/original-completion-2026-10-02/execution/mana-proposal/PROPOSAL.md",
+    "docs/plans/original-completion-2026-10-02/execution/mana-proposal/proposal.json"
+  ],
+  "product_changed": false,
+  "original_completed_units_added": 0,
+  "document_hashes": {
+    "docs/plans/original-completion-2026-10-02/execution/mana-proposal/PROPOSAL.md": "f063ecfe70c097080bfdbfec92f9da57edfe05bb02af0485e5d8b0430a81d060",
+    "docs/plans/original-completion-2026-10-02/execution/mana-proposal/proposal.json": "2043eaafd27fb963e804f57b20585aa66cc9682446b4c507bb3ec2e2c3a8dfbc"
+  },
+  "registered_validation_source": {
+    "argv": [
+      "{python}",
+      "-B",
+      "-c",
+      "import json,hashlib,re\nfrom pathlib import Path\np=Path(\"docs/plans/original-completion-2026-10-02/execution/mana-proposal\")\nj=json.loads((p/\"proposal.json\").read_text());assert j[\"status\"]==\"proposed_unapproved\" and j[\"applied_to_product\"] is False\nfor k in [\"recommended\",\"alternatives\",\"demand_catalog\",\"ordering\",\"legacy_zero\",\"open_decisions\",\"source_pins\",\"comparisons\"]: assert j[k],k\nr=j[\"recommended\"]\nfor k in [\"initial_amount\",\"storage_capacity\",\"world_tree_generation_per_interval\",\"interval_minutes\"]: assert isinstance(r[k],(int,float)) and not isinstance(r[k],bool) and r[k]>0,k\nassert r[\"initial_amount\"]<=r[\"storage_capacity\"]\nfor f,h in j[\"source_pins\"].items():\n q=Path(f);assert not q.is_absolute() and \"..\" not in q.parts;assert hashlib.sha256(q.read_bytes()).hexdigest()==h,f\nrows=j[\"demand_catalog\"];assert len({x[\"definition_id\"] for x in rows})==len(rows)\nfor x in rows:\n q=Path(x[\"path\"]);t=q.read_text();v=re.search(r\"^maintenance_mana\\s*=\\s*([\\d.]+)\",t,re.M);assert (float(v.group(1)) if v else 0)==x[\"observed_maintenance_mana\"],str(q)\nassert (p/\"PROPOSAL.md\").stat().st_size>1000\nprint(\"proposal structure, current-source pins and observed demand validated; no product acceptance implied\")\n"
+    ],
+    "timeout_seconds": 120
+  }
+}
@@ -254,6 +254,6 @@
    "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
    "validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
    "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
-    "work_packages.json": "f1290e14c465f9c83725d7dbcaade78fdc3097f5bfe5ec0c4774a6dc8a04882c"
+    "work_packages.json": "1d2e35b9c38e8fc18ac256620aabcf576221562dc3178548c77d5cdac2a14b9f"
  }
 }
@@ -6170,7 +6170,7 @@
    },
    "legacy_state": "in_progress",
    "state_scope": "package-level; completed means whole package accepted; partial implementation is not completion",
-    "current_summary": "停電、厨房、救護の停止復帰は部分実装。有限マナ供給の契約が残る。 制御したEV乗車中救護の停電保存/再開691/0・10全状態pair・無制限journal各9件を限定照合。安全階での緊急降車・自然停電・全館停止・通常UIは未受入。 最新現1299参照で通常建設からの物流/厨房の制御停電・復旧、2正式保存/別PID全状態一致を460/0で限定受入。利用中サービス0件なので途中販売/中断は未受入。全P06未完。 現版の自然入館客の食事/宿泊の制御停電・復旧・一回請求、既存RAIDED休止時の安全終了と正式保存別PID全状態一致を1906/0で限定受入。再開の不具合仮説は反証、ゲーム変更0。全P06未完。 2026-10-12: 旧限定停電証拠から現Runtime等13sourceが変化しており現受入へ自動適用しない。P06-01の原契約監査をRunner経由で開始。正式完了なし。 MP-01-r02継続調査: 同一worktree内の旧案2filesを元のSHAとbyte一致で確認。OpusはSolでrequest-repair、個別cap1/使用1を確認し追加実装未起動。Rootの共通cap2との混同を訂正し、このタスク追加1回だけ質問中。製品値/原成果受入は未変更。",
+    "current_summary": "停電、厨房、救護の停止復帰は部分実装。有限マナ供給の契約が残る。 制御したEV乗車中救護の停電保存/再開691/0・10全状態pair・無制限journal各9件を限定照合。安全階での緊急降車・自然停電・全館停止・通常UIは未受入。 最新現1299参照で通常建設からの物流/厨房の制御停電・復旧、2正式保存/別PID全状態一致を460/0で限定受入。利用中サービス0件なので途中販売/中断は未受入。全P06未完。 現版の自然入館客の食事/宿泊の制御停電・復旧・一回請求、既存RAIDED休止時の安全終了と正式保存別PID全状態一致を1906/0で限定受入。再開の不具合仮説は反証、ゲーム変更0。全P06未完。 2026-10-12: 旧限定停電証拠から現Runtime等13sourceが変化しており現受入へ自動適用しない。P06-01の原契約監査をRunner経由で開始。正式完了なし。 MP-01-r02継続: 追加1回を直接承認（call_de866e18b25942ee8992263aa0189278）、個別cap2/使用2を保持。同一SHAの旧案2文書を再利用し、実Opus5.5のrun判断/Sol選択で同一登録ワーカーを起動。資料の正式検証・独立レビュー・統合は未了。製品値/P06-01受入/30・88分母は未変更。",
    "remaining_deliverables": [
      {
        "id": "P06-01",
@@ -6201,7 +6201,7 @@
            "current_game_acceptance_inferred": false
          }
        ],
-        "progress_summary": "停電、厨房、救護の停止復帰は部分実装。有限マナ供給の契約が残る。 制御したEV乗車中救護の停電保存/再開691/0・10全状態pair・無制限journal各9件を限定照合。安全階での緊急降車・自然停電・全館停止・通常UIは未受入。 最新現1299参照で通常建設からの物流/厨房の制御停電・復旧、2正式保存/別PID全状態一致を460/0で限定受入。利用中サービス0件なので途中販売/中断は未受入。全P06未完。 現版の自然入館客の食事/宿泊の制御停電・復旧・一回請求、既存RAIDED休止時の安全終了と正式保存別PID全状態一致を1906/0で限定受入。再開の不具合仮説は反証、ゲーム変更0。全P06未完。 2026-10-12: 旧限定停電証拠から現Runtime等13sourceが変化しており現受入へ自動適用しない。P06-01の原契約監査をRunner経由で開始。正式完了なし。 MP-01-r02継続調査: 同一worktree内の旧案2filesを元のSHAとbyte一致で確認。OpusはSolでrequest-repair、個別cap1/使用1を確認し追加実装未起動。Rootの共通cap2との混同を訂正し、このタスク追加1回だけ質問中。製品値/原成果受入は未変更。",
+        "progress_summary": "停電、厨房、救護の停止復帰は部分実装。有限マナ供給の契約が残る。 制御したEV乗車中救護の停電保存/再開691/0・10全状態pair・無制限journal各9件を限定照合。安全階での緊急降車・自然停電・全館停止・通常UIは未受入。 最新現1299参照で通常建設からの物流/厨房の制御停電・復旧、2正式保存/別PID全状態一致を460/0で限定受入。利用中サービス0件なので途中販売/中断は未受入。全P06未完。 現版の自然入館客の食事/宿泊の制御停電・復旧・一回請求、既存RAIDED休止時の安全終了と正式保存別PID全状態一致を1906/0で限定受入。再開の不具合仮説は反証、ゲーム変更0。全P06未完。 2026-10-12: 旧限定停電証拠から現Runtime等13sourceが変化しており現受入へ自動適用しない。P06-01の原契約監査をRunner経由で開始。正式完了なし。 MP-01-r02継続: 追加1回を直接承認（call_de866e18b25942ee8992263aa0189278）、個別cap2/使用2を保持。同一SHAの旧案2文書を再利用し、実Opus5.5のrun判断/Sol選択で同一登録ワーカーを起動。資料の正式検証・独立レビュー・統合は未了。製品値/P06-01受入/30・88分母は未変更。",
        "remaining_gaps": [
          "生成・蓄積・消費と初期値/係数の原本・承認・実装・試験用値の根拠対応。",
          "旧ゼロ保存の意味、移行、残量境界の現版証拠と矛盾の有無。",