docs: record managed P04 audit start without acceptance credit

2026-10-13 02:39:15 +09:00
parent deb1bcb237
commit 7097eadf41
3 changed files with 38 additions and 2 deletions
@@ -0,0 +1,29 @@
+{
+  "original_plan_id": "P04-01",
+  "original_work": "閉店、停電、破壊、退出、課金、シフト交代、00:00決算の順序を明記する。",
+  "original_acceptance": "順序境界で停止中課金、二重決算、予約の孤立がない。",
+  "project": "the-tree-p04-01",
+  "base_commit": "deb1bcb",
+  "spec_ref": "docs/spec/acceptance/P04-01.json",
+  "commander_job_id": "d78910043e7c46a7b14a4e46ae28cb70",
+  "commander_decision": {
+    "action": "run",
+    "task_id": "P04-01",
+    "reason": "原P04-01(原88の1件)を継続するため、Codex1名での開始を可とする。価値: 閉店/停電/破壊/退出/課金/シフト交代/00:00決算の7種順序について、現在ソースと既存証拠の有限監査と、failclosedな検証器(tools/check_p04_order_evidence.py --verify-only)を用意できる。これは後続の正式検証・独立レビューの前提になる。依存: depends_on なし。入力コピー4件はrepo内に固定済みで外部旧worktreeの読取は不要。resource_lock p04-order-evidence-audit も単独。空き2.6GiBに対しtrackedcheckoutは137MBで、1worktreeの静的監査は収まる。残工数: 監査成果物(order-audit.json/ORDER_AUDIT.md)と検証器スクリプトの作成のみで小さい。最小範囲: (1)allowed_paths(tools/check_p04_order_evidence.py と execution/p04-01/**)だけを編集する。(2)旧map/現hashを入力コピーで再計算し、現在との差分7件(特にsimulation_runtime.gd)をGitと実呼出関数で分析する。旧1299pinsの証拠は全面流用せず、適用可否を個別に判定する。(3)7領域それぞれについて、現在の関数と段階順序、原仕様/承認済み/pendingの根拠、適用可能な旧証拠、不足証拠を記録する。D05未確定部分はpendingとし、A01の承認済み維持費時点は再確認しない。サービス完了・費用・EV規則は創作しない。(4)検証器は、BUILD_OUTPUT_DIR/p04-evidence/index.json の欠落、7領域の欠落、ソースpinの不一致、生証拠hashの不一致、未実行証明、必須規則の未定義を失敗にする。自己申告の合格やテスト件数だけの合格は認めない。初回は証拠不足により機械ゲート不可(submittedのまま)でよい。制約: 製品source/数値/更新順の変更0、エンジン・全回帰など重い試験0、設定/上限/本体の変更0、テストの無効化0。P24のRunnerレビューpacket範囲追加承認はまだ無いので、P24には触れず本体変更・上限増・第3repairは行わない。3CLIは既存許可の範囲で、API課金への切替はしない。成果物の提出だけでacceptedにはせず、受入分母(原88)と元の受入条件は変えない。正式検証、OS別証拠、独立レビュー、統合はRunnerが後で行う。"
+  },
+  "dispatch_job_id": "d48e47c6b6e64a8298d2b80894750116",
+  "scope": "bounded source/evidence audit; product source changes and heavy tests not authorized in initial dispatch",
+  "denominator": {
+    "packages": 30,
+    "delivery_units": 88,
+    "completed": 9,
+    "partial_credit": false
+  },
+  "D05": "pending; no invented rules",
+  "source_difference_count": 7,
+  "existing_evidence_refs": 39,
+  "existing_ref_pin_matches": 39,
+  "native_runs_by_this_dispatch": 0,
+  "formal_acceptance": false,
+  "P24_03": "4cefcff review_pending preserved"
+}
@@ -254,6 +254,6 @@
    "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
    "validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
    "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
-    "work_packages.json": "6f6c1f52420f3fa8c6dea9c357bb856c72bef8361a72a90048325fe55d344d81"
+    "work_packages.json": "8ba93354c50cca83432859b82ecff50b9152b3466431d7a75f7bd07f02b540ce"
  }
 }
@@ -3848,7 +3848,14 @@
          "D05: 閉店後の開始済サービス継続/中断方針の承認待ち。00:00open service証拠を閉店条件へ代用しない",
          "D05: 18:00最終勤務区間の完了確定/勤務終了先行の意味の承認待ち",
          "D05確定後に依存境界だけ検証し、正確な最終版への既存証拠適用性・同1名の全条件独立受入と台帳反映"
-        ]
+        ],
+        "progress_summary": "原7種順序の既存39証拠参照SHAを再照合、旧1299sourceから現差分7（simulation_runtimeを含む）を確認。P04-01専用Runner契約を登録し、Claude run判断によりCodex1名で有限の現版適用性監査とfailclosed gate作成を起動。D05 pendingを維持、A01再確認不要。製品source変更/重い試験/正式完了は0。P24-03レビュー待ち候補は凍結。",
+        "remaining_gaps": [
+          "原7種の順序規約を現ソースと原本/承認/pendingに対応付ける。",
+          "差分7の影響と旧境界証拠の版/設定/入力/環境/適用性を照合し、必要不足だけ補完する。",
+          "D05未確定部分を承認なく確定しない。停止中課金/二重決算/予約孤立の全必要証拠、正式独立レビューと統合を完了する。"
+        ],
+        "updated_at_jst": "2026-10-13T02:37:37.420591+09:00"
      },
      {
        "id": "P04-02",