docs: record final P04 repair protocol and input delivery

2026-10-13 02:55:37 +09:00
parent 94642345b5
commit 9444b43d3f
6 changed files with 144 additions and 3 deletions
@@ -0,0 +1,65 @@
+{
+  "schema_version": 1,
+  "scope": "Internal evidence-format design within P04-01 checker work, not a new game rule or acceptance waiver. Missing or unsupported semantic proof must fail.",
+  "input_path": "BUILD_OUTPUT_DIR/p04-evidence/index.json",
+  "required_index_fields": {
+    "schema_version": 1,
+    "task_id": "P04-01",
+    "candidate_commit": "exact candidate Git SHA",
+    "source_map": "repository-relative file to raw SHA256; all observed runtime/kernel/affected service sources required",
+    "environment": "engine path/hash, OS, configuration and inputs raw pins",
+    "artifacts": "unique artifact id to build-relative path/bytes/sha256/type; resolve safely within evidence dir; reject missing, duplicate, symlink, traversal",
+    "domains": "exact7 required domain objects",
+    "authority": "original file raw pin + applicable approved decision refs; pending mandatory rules are errors",
+    "review_status": "pending_review or approved; pending review may pass mechanical stage only if every original evidence predicate passed",
+    "formal_acceptance": false
+  },
+  "required_domains": [
+    "閉店",
+    "停電",
+    "破壊",
+    "退出",
+    "課金",
+    "シフト交代",
+    "00:00決算"
+  ],
+  "domain_fields": {
+    "source_refs": "actual current functions/phase order source pins",
+    "authority_refs": "original/approved refs; implementation observations alone do not authorize a missing rule",
+    "cases": "finite scenario IDs and artifact IDs binding input, before state, delivered operation/clock boundary, after state, producer/consumer PID and unchanged raw save package where applicable",
+    "invariants": "supported predicate descriptors on actual raw JSON observation/state data; not boolean pass claims or test counts",
+    "applicability": "exact source/config/input/environment bindings; old mismatch cannot auto-pass"
+  },
+  "native_receipt_predicates": [
+    "actual owned PID>0; start/end PID identical; exit0 and engine_ended; receipt bound to pinned rawstdout/native logs",
+    "source pins in observation and phase receipt match index and checkout; config/input pins are verified",
+    "where cross-process evidence is claimed, PIDs differ and exact formal save members match producer and consumer pins"
+  ],
+  "invariant_predicate_format": {
+    "artifact_id": "existing pinned raw observation or state artifact",
+    "json_pointer": "RFC6901 JSON pointer into artifact JSON",
+    "operator": "one of eq, nonnegative, distinct, same_literal, count_eq; reject unknown",
+    "expected": "only applicable original/approved rule values or independently computed actual state relationships, never unapproved numeric policy",
+    "paired_artifact_id": "when comparing before/after or restart, required paired pinned raw artifact",
+    "paired_json_pointer": "comparison source if needed",
+    "authority_ref": "original/approved authority for this condition",
+    "raw_origin": "actual engine-produced source or explicit root derivation with each raw input hash and documented formula; unsupported derivation rejected"
+  },
+  "original_invariant_mapping": [
+    "停止が有効な区間のactual service/payment/accounting before-after差が許可されない売上を含まない。停止が未確定D05ならfail。",
+    "同じ00:00境界の精算receiptが1回、同境界再送と再開で資金/台帳が不変。A01時点は承認済み。",
+    "閉店/破壊/退出でlive reservationsとactive targetの対応が一致し、除去/復元後の孤立が0。",
+    "課金の再送/再開で同じservice/payment identityが重複反映されない。",
+    "閉店後serviceとシフト最終区間等の未承認解釈を実装観測だけでpassしない。"
+  ],
+  "fail_closed": [
+    "missing index or mandatory fields",
+    "duplicate keys/IDs, invalid field types or paths",
+    "unknown predicate or unsupported proof source",
+    "raw file hash/size, source/config/input/environment mismatch",
+    "mandatory D05 rule pending or authority missing",
+    "unexecuted proof, incomplete7domain or required boundary coverage",
+    "selfreported pass/test count as substitute for actual state invariants"
+  ],
+  "implementation_note": "Implement this finite mechanical protocol and document exact supported predicates. If evidence is absent, output actual missing IDs and exit nonzero. No requirement to create fake pass evidence. Do not change source/Clock/game numbers; no engine/test run by worker."
+}
@@ -0,0 +1,23 @@
+# Runner実行担当からの第1修正入力
+
+これは原ゲーム仕様の変更ではありません。旧Runtimeと差分診断を追加試験入力として供給します。既存監査を再実装せず、技術的な証拠index形式とfailclosed checkerを作成してください。原7領域とD05 pendingを維持します。原条件の証拠欠損は検証失敗です。rootは検証器のsourceを変更していません。
+
+読取専用入力（Runner allocation.build_dir内）:
+- /Users/korizatou114/Projects/TheTree-managed-worktrees/p04-01/.runtime/P04-01/build/audit-support/support.json
+- /Users/korizatou114/Projects/TheTree-managed-worktrees/p04-01/.runtime/P04-01/build/audit-support/historical-runtime.txt
+
+旧Runtime SHA256: 2d7e2cea5424585e9aa4302ab66d1fc4dbaefe743ce4328fccc1efa2f19b82e4。入力を検証してからdiffしてください。
+
+内部indexの形式設計はspecの検証器作成指示に含まれる技術判断であり、原ゲーム規則の補完ではありません。欠損/古いソース/不正hash/未実行/未定義必須規則は必ず非0にしてください。全証拠が揃わないまま元成果を完了扱いにしないでください。エンジン・全回帰・製品source編集は0。
+
+実際のClaude commanderの記録済み判断:
+
+{
+  "action": "request-repair",
+  "task_id": "P04-01",
+  "reason": "初回Codex blockedの原因は、検証器tools/check_p04_order_evidence.pyが未作成だったこと(missing gate schemaで仕様補完を避けて停止)。これは内部証拠formatの実装判断で、原ゲーム仕様の不足ではない。既存specの検証器作成指示が、元要件を守るfailclosed形式の設計を許可している。repairs=0で、第1repairは残2/2以内。入力は再起動に十分: input.json等のlocal copy、current source pins、14差分(production7とmanaged14を区別、追加7はroot対managedでCRLF→LFのみbyte検証済み、rawSHA差は隠さない)、正確な旧Runtime(SHA 2d7e2cea完全一致)をbuild_dir/audit-support/historical-runtime.txtへraw保存済み。support.jsonとこのtxtを読取専用の追加試験入力として使う(Git変更scopeなし)。repair範囲: (1) 既存のorder-audit.jsonとORDER_AUDIT.mdは保持し、重複作成しない。必要なら最小の追記・訂正のみ。(2) --verify-onlyのcheckerを作成する。BUILD_OUTPUT_DIR/p04-evidence/index.jsonを必須とし、7領域、不変のsource pin、raw proof hash、適用性を検証する。欠損、D05 pending、stale source、未実行proof、自己申告pass、test count単独のpassは非0で終了する。raw証拠が全て不足していてもcheckerは作成する。生証拠を作ったことにはしない。D05は未承認のまま、その不足がある受入をpassにしない。(3) 全回帰・engine実行、ゲームsource変更、Clock・値の変更は0。原7領域/元30/88/部分点なしの受入分母は維持し、仕様変更・分母変更・予算拡大・main統合は含めない。allowed_pathsは検証器と実行ディレクトリ配下に限る。"
+}
+
+追加技術入力: 同じaudit-support内のruntime-diff.patchは旧SHA確認済みRuntimeと現Runtimeのdiff -u出力です。原ソース2件と突合して利用できます。
+
+前回shellのhere-documentは/tmp作成制限で失敗しています。sandbox/権限を変更せず、既存のpython -c等の一時ファイル不要の方式、または許可scopeへのapply_patchを使ってください。前回未読だったこの文書とP04_ORDER_EVIDENCE_PROTOCOL.jsonを最初に読んでください。index形式は技術設計であり、未知ゲーム規則の確定ではありません。D05や証拠不足は非0を維持し、検証器と設計書をsubmittedとして提出することは元成果acceptedではありません。
@@ -0,0 +1,21 @@
+{
+  "task_id": "P04-01",
+  "base_commit": "deb1bcb2374eb378b840ca345db952bd8572cb6e",
+  "status": "blocked",
+  "preexisting_files": ["order-audit.json", "ORDER_AUDIT.md"],
+  "verifier_created": false,
+  "blockers": [
+    "Local inputs specify no evidence index schema, mandatory proof identifiers, raw-proof predicates or authority binding. Implementing an accepting verifier would supplement unspecified requirements.",
+    "D05 remains pending; approved A01 is retained without reconfirmation.",
+    "Verified local historical raw proofs and exact old Runtime source are required for reuse and exact diff. Artifact paths are provenance only."
+  ],
+  "read_only_observations": [
+    "Current kernel lines 123-153 and Runtime registrations 364-427 confirm the phase sequence recorded in the preexisting audit.",
+    "Git read-only path history lists ten Runtime revisions; this turn has not scanned their content hashes."
+  ],
+  "hash_reconfirmation": "Not completed: shell rejected temporary-file creation for the Python here-document before execution. Preexisting hash claims are not new verification results.",
+  "tests_executed": false,
+  "original_unit_complete": false,
+  "counted_units_added": 0,
+  "next_step": "Supply evidence protocol and verified local historical source/raw proofs; Runner performs formal validation and independent review."
+}
@@ -0,0 +1,32 @@
+{
+  "original_id": "P04-01",
+  "first_repair_terminal_job": "c1adc9490e8e4e86b84ff631527e7a56",
+  "first_repair_result": "worker_blocked; verifier not created",
+  "verified_unread_input_cause": "worker command log did not read ROOT_REPAIR_INPUT or audit-support; file search matched P04/ORDER",
+  "final_repair_decision": {
+    "action": "request-repair",
+    "task_id": "P04-01",
+    "reason": "残り1回(repairs 1/2)の使用を妥当と判断します。前回blockedの原因は仕様不足ではなく入力不足です。実stdoutのcommand記録では、workerはROOT_REPAIR_INPUT.mdとbuild/audit-supportを読んでいませんでした。探索パターンが*P04*/*ORDER*だったため、供給された補足入力に当たらなかったと見られます。現在はP04_ORDER_REPAIR_INPUT.mdとP04_ORDER_EVIDENCE_PROTOCOL.jsonをallowed docsに供給済みです。両ファイルを実際に読むよう、既存の補足inputに指示も保存済みです。protocolは内部証拠schemaの技術設計です。具体field、typed raw predicate、native receipt、authority binding、全7 domain、failcaseを定めており、原ゲーム仕様、受入分母、予算の変更には当たりません。旧Runtime pinとraw pinは解決済みで、追加7件の差分は改行差として解決済みです。再試行の条件は次のとおりです。(1) 変更はtools/check_p04_order_evidence.pyと許可されたexecution/p04-01配下の最小docに限る。(2) D05がpendingならfailにする。(3) 証拠が未収集なら具体的な不足を出す。(4) 新projectでも修正回数はresetしない。このrepairでも仕様不足でblockedになった場合は、3回目の自動再試行はせず、オーナー判断に回します。"
+  },
+  "final_run_decision": {
+    "action": "run",
+    "task_id": "P04-01",
+    "reason": "P04-01は repair_ready で、repairs は 2/2(max_repair_attempts=2)です。第2repairは実dispatch済みで、必要な入力は供給済みです。入力はP04_ORDER_REPAIR_INPUT.mdとP04_ORDER_EVIDENCE_PROTOCOL.json、pin検証済みのoldRuntime/raw diff、here-doc不要の実行方法です。これは同一taskの最終runで、上限回避の新projectではありません。範囲はallowed_paths内の tools/check_p04_order_evidence.py と execution/p04-01/** に限ります。元spec範囲のまま、具体的な技術schemaに従って検証器を作成します。D05 pendingと証拠不足はfailとし、製品source変更、engine実行、full回帰は行いません。元の7/30/88分母も維持します。仕様変更、分母変更、予算拡大、承認、main統合は含みません。このrunが再失敗した場合は第3repairを行わず、オーナー判断へ戻します。"
+  },
+  "repair_job": "4d757d5ee0064fcb8732ac020797e5f9",
+  "final_run_job": "7ee8c11565634ed2946c68ca7977e8dc",
+  "final_run_id": "c7923e00641d4d988a4b3729ef6a4e79",
+  "input_read_confirmed_in_command_log": true,
+  "repairs": 2,
+  "max_repairs": 2,
+  "verifier_source_written_by_root": false,
+  "technical_protocol_only": true,
+  "D05_approved": false,
+  "formal_acceptance": false,
+  "original_denominator": {
+    "packages": 30,
+    "deliveries": 88,
+    "completed": 9,
+    "partial_credit": false
+  }
+}
@@ -254,6 +254,6 @@
    "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
    "validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
    "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
-    "work_packages.json": "bcfa6c9eb72a0c90c3c5838d82e6eac2cf89d25719d43c32ae720e654a480966"
+    "work_packages.json": "dc639b2cc3125425685a920d94591af503571a826cc6ff731897fae689dfc981"
  }
 }
@@ -3854,13 +3854,13 @@
          "D05: 18:00最終勤務区間の完了確定/勤務終了先行の意味の承認待ち",
          "D05確定後に依存境界だけ検証し、正確な最終版への既存証拠適用性・同1名の全条件独立受入と台帳反映"
        ],
-        "progress_summary": "初回監査で7領域の現行順序と不足を文書化、D05未承認/生証拠不足を保持。workerは内部index形式未定義を理由にgate未作成でblocked。Rootは旧RuntimeのSHA完全一致コピーを既存native stageから供給し、追加7件がKenneyサンプル/URLのCRLF→LFだけであることをbyte照合（製品7差分/管理worktree14差分）。原SHA差を隠さない。既存39参照pin一致。実Claude判断とRunner操作により同一task第1repairを開始、1/2使用。技術index設計とfailclosed gate作成のみ、D05pendingと証拠欠損は失敗とする。ゲーム変更/engine/全回帰/正式完了0。",
+        "progress_summary": "初回監査で7領域の現行順序と不足を文書化、D05未承認/生証拠不足を保持。workerは内部index形式未定義を理由にgate未作成でblocked。Rootは旧RuntimeのSHA完全一致コピーを既存native stageから供給し、追加7件がKenneyサンプル/URLのCRLF→LFだけであることをbyte照合（製品7差分/管理worktree14差分）。原SHA差を隠さない。既存39参照pin一致。実Claude判断とRunner操作により同一task第1repairを開始、1/2使用。技術index設計とfailclosed gate作成のみ、D05pendingと証拠欠損は失敗とする。ゲーム変更/engine/全回帰/正式完了0。 第1repairも内部形式未定義でblocked。実commandから補足未読を確認し、探索で一致するP04_ORDER入力2件と具体技術protocolを供給。Claude確認/Runner第2repairを経て最終run起動、2/2使用。現在runで2入力を実読したことを確認。第三repair/新登録による上限回避はしない。",
        "remaining_gaps": [
          "原7種の順序規約を現ソースと原本/承認/pendingに対応付ける。",
          "差分7の影響と旧境界証拠の版/設定/入力/環境/適用性を照合し、必要不足だけ補完する。",
          "D05未確定部分を承認なく確定しない。停止中課金/二重決算/予約孤立の全必要証拠、正式独立レビューと統合を完了する。"
        ],
-        "updated_at_jst": "2026-10-13T02:48:00.002149+09:00"
+        "updated_at_jst": "2026-10-13T02:55:37.009922+09:00"
      },
      {
        "id": "P04-02",