docs: record P04 submitted preflight limits and failed acceptance

2026-10-13 03:02:18 +09:00
parent 9444b43d3f
commit a257976ae2
6 changed files with 112 additions and 6 deletions
@@ -0,0 +1,5 @@
+{
+  "action": "wait",
+  "task_id": "P04-01",
+  "reason": "waitが妥当。新しいrepairは出さない。\n1) 失敗の性質: 正式validateの失敗は、証拠index欠損とD05 pendingによる設計どおりのfail-closedである。checkerは最後に必ず非0で終わる初期preflightで、元成果を完了させる検証器ではない。root検査12caseは欠損/重複JSON/nonfinite/symlink/traversal/stale hash/pointer型/bool schema/stale commitをすべて拒否し、original acceptedはfalseだった。ここから見つかる技術的なfail-open欠陥は、提供されたsource全文とroot結果の範囲ではない。ただし、この診断は読取専用の別セッションによるもので、正式な独立acceptance reviewではない。\n2) 区別すべき欠落: 次の3点は欠陥ではなく、未承認の原規約と未収集の生証跡に起因する欠落である。(a) D05の原規約が未承認。(b) 自己申告receiptとraw native source/log/receiptの意味的結合、および別PID保存memberの一致が未対応。(c) 必須scenario coverageと期待値の承認根拠が未対応。これらは第3repairで解消できない。解消すると、仕様変更・原条件緩和・受入基準の実質変更に当たる。\n3) 現在gateの採用可否: 原受入gateとしては不採用。正式独立acceptance reviewを通ったとは扱わない。a19737b(ソース/成果単位)のmain採用もしない。有効なのは、常時失敗する読取専用preflightと、欠落を可視化した監査記録としての位置づけだけである。\n4) 旧境界の証拠: Runtime旧→現diff(3519 bytes)は、施設/客の候補path query batch、pathcost、connector reuseに限られ、phase登録は変更されていない。ただし、移動・勤務・客の再計画には影響し得る。このため、旧境界のraw proofは一括承認せず、適用可否を個別に判断する。\n5) 次の判断(オーナー判断が必要): repair上限は2/2使用済みで、再登録、上限変更、原条件緩和は禁止されている。したがって、D05具体承認候補の作成が必要かを、有限の選択としてオーナーに提示する。必要性は高い。D05が承認されない限り、どの証拠でもgateは解除できないためである。候補の範囲は、EV/搬送停止、費用時点、日跨ぎ順序、閉店/停電/退出/課金/シフト交代の同一Tick順序に限り、A01承認済みの維持費時点は再確認しない。承認、仕様変更、受入分母の変更はオーナーのみが決める。Commanderは承認可否を決めない。\n6) 以上より、オーナーの明示判断(D05方針、または別契約での検証器拡張と生証跡の供給)が出るまでwaitとする。"
+}
@@ -0,0 +1,14 @@
+{
+  "task_id": "P04-01",
+  "commit": "a19737b1606ba360a18c8fe0914594f038034924",
+  "kind": "validation",
+  "checks": [
+    {
+      "id": "p04-acceptance",
+      "exit_code": 1,
+      "artifact": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-p04-01/runs/60378a7c53904a54846b0752a7914209",
+      "passed": false
+    }
+  ],
+  "passed": false
+}
@@ -0,0 +1,58 @@
+{
+  "scope": "Synthetic negative tests of submitted checker; not native execution, original-unit acceptance or independent review",
+  "candidate_commit": "a19737b1606ba360a18c8fe0914594f038034924",
+  "checker_sha256": "a80a0145064d25a7b8c8e7708cd3a280a1a3c87f335b42236ac020db2ce219a7",
+  "cases": [
+    {
+      "case": "no-index",
+      "rejected": true
+    },
+    {
+      "case": "duplicate-json-keys",
+      "rejected": true
+    },
+    {
+      "case": "nonfinite-json",
+      "rejected": true
+    },
+    {
+      "case": "symlink",
+      "rejected": true
+    },
+    {
+      "case": "traversal",
+      "rejected": true
+    },
+    {
+      "case": "absolute-path",
+      "rejected": true
+    },
+    {
+      "case": "stale-hash",
+      "rejected": true
+    },
+    {
+      "case": "invalid-pointer-escape",
+      "rejected": true
+    },
+    {
+      "case": "leading-zero-array-index",
+      "rejected": true
+    },
+    {
+      "case": "bool-is-not-int",
+      "rejected": true
+    },
+    {
+      "case": "bool-schema-version",
+      "rejected": true
+    },
+    {
+      "case": "stale-candidate",
+      "rejected": true
+    }
+  ],
+  "negative_cases": 12,
+  "unexpected_accepts": 0,
+  "original_unit_accepted": false
+}
@@ -0,0 +1,28 @@
+{
+  "original_id": "P04-01",
+  "candidate_commit": "a19737b1606ba360a18c8fe0914594f038034924",
+  "submitted": true,
+  "formal_validation_job": "4be66cbedd2b4b6287c82a4215244053",
+  "formal_validation_passed": false,
+  "validation_gap": "mandatory evidence index absent; no native/current7boundary proof collected",
+  "negative_rejection_cases": 12,
+  "unexpected_accepts": 0,
+  "initial_preflight_only": true,
+  "semantic_native_provenance_binding_implemented": false,
+  "mandatory_scenario_coverage_implemented": false,
+  "D05_approved": false,
+  "current_task_state": "repair_pending",
+  "repairs_used": 2,
+  "max_repairs": 2,
+  "third_repair_authorized": false,
+  "main_adopted": false,
+  "formal_independent_acceptance_review": false,
+  "diagnostic_only_independent_Claude_session": "94101c515aa7418dba422a1f71acd6ed",
+  "original_unit_complete": false,
+  "root_disposition": [
+    "Do not adopt always-reject initial preflight as completed acceptance verifier.",
+    "Semantic provenance and coverage are unfinished original-required verification, not waived conditions. Adding those checks does not by itself relax original conditions, contrary to that broad implication in commander diagnosis.",
+    "No third repair/new project to bypass cap. D05 candidates can be prepared as unapproved planning documents, without adopting game rules or changing task state.",
+    "Formal independent acceptance review remains required after actual complete applicable evidence and validation."
+  ]
+}