Preserve reviewed P22 candidate and start P08 mixed migration audit

2026-10-13 19:26:37 +09:00
parent e4dc1efac0
commit 25b77f1d14
11 changed files with 322 additions and 9 deletions
@@ -0,0 +1,43 @@
+{
+  "original_plan_id": "P22-02",
+  "original_unit_completed": false,
+  "preservation_branch": "codex/p22-02-preserved-finalization-r05",
+  "preserved_commit": "aad6284fb75d32a73d0a4c00a53e9660ce76aad8",
+  "tree": "b56e0ddc03b705f8898387079f7bb636e3f0594d",
+  "actual_packet_bytes": 491572,
+  "packet_limit": 500000,
+  "all_sources_included": true,
+  "actual_worker_run": "6faa74aed45644b59ddd4c64e215b2f8",
+  "worker_exit_code": 0,
+  "worker_result_status": "blocked",
+  "worker_result_preserved": true,
+  "root_coordinator_reference_gap_resolved": true,
+  "ordinary_submission_not_recovered": true,
+  "new_provider_or_repair_not_started": true,
+  "repairs_used": 3,
+  "repair_cap": 3,
+  "retained_code_same_sha": {
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/asset-contracts.json": true,
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/build_contract.py": true,
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/test_contract.py": true,
+    "tools/check_p22_asset_contracts.py": true
+  },
+  "actual_root_tests": "13 passed, same unchanged code, diagnostic not formal original acceptance",
+  "original_require_ready_exit_code": 2,
+  "pending_exact_uses": 614,
+  "selected_usable_count": 0,
+  "independent_technical_review": {
+    "artifact": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-p22-02-contract/runs/25eefc570e4540d9aacd05c9763233b1",
+    "model": "claude-opus-5-5",
+    "original_unit_accepted": false,
+    "findings_by_severity": {
+      "critical": 0,
+      "high": 1,
+      "medium": 5,
+      "low": 3
+    },
+    "formal_acceptance_review": false
+  },
+  "product_main_adoption": false,
+  "original_denominator": "30 packages / 88 delivery units; no partial points"
+}
@@ -0,0 +1,7 @@
+{
+  "action": "wait",
+  "task_id": "P22-02",
+  "reason": "P22-02は blocked のまま、ordinary submitは許可されないため wait とします。正規の提出状態に戻す手段はありません。根拠は以下のとおりです。(1) 唯一の正規経路はworkerによる新しいsubmitted結果ですが、repairは3/3を使い切っており、cap4の追加とworker再実行はオーナーが禁止しています。(2) Rootがblocked状態を直接書き換えることや、run6faa74aeの結果をsubmittedに置き換えることは、結果の偽装になり、ゲートの例外を作ることになります。(3) Rootの実測（実際のRunner.packet、probe aad6284f/tree b56e0ddc/parent c6ccc5a6、491572<500000、8 sources+2 validator sources、省略なし、passed receiptなし）は有効な補強証拠です。ただし、worker自身が提出した結果の代わりにはなりません。candidateがnullなので、formalなreview・validate・prepare-integrationは成立しません。\n\nコーディネーターの次手順（実装・状態変更なし）は5つです。\n(a) probe commit aad6284fをそのまま保存専用の証拠branchに固定し、tree hash・parent・packet実測値・source一覧・4つの保持コードSHA・13テストPASS・require-ready exit 2をmanifestに記録する。このbranchはcandidateフィールドにもmainにも載せない。\n(b) 完全なpacketで、読み取り専用の独立技術レビュー（Opus）を任意で行う。結果は参考所見として扱い、正式な原受入レビューの代わりにはしない。require-readyは引き続き非ゼロのままで、614 pendingのunit未完了を明記する。\n(c) blocked理由に、ブロックの原因はコーディネーター側の計測参照の未供給だけであり、Rootの実測で解消済みであることを証拠として追記するかどうかは、オーナーが判断する。新しいworker結果を正規の提出として認める場合も、オーナーの判断が必要。\n(d) 依存関係のない別の原単位のうち、価値が高く単独で閉じられるものへ移る。\n(e) cap変更、provider再起動、受入の免除、未達コードのmain採用は行わない。",
+  "codex_model": "gpt-6.1-sol",
+  "codex_model_reason": "今回はrunもrepairも承認されておらず、modelフィールドが必須なのでデフォルトのSolを入れています。Astraを選ぶ根拠になる難しい実装作業はありません。"
+}
@@ -0,0 +1,7 @@
+{
+  "action": "wait",
+  "task_id": "P22-02",
+  "reason": "P22-02 stays on wait. Advisory 25eefc570e4540d9aacd05c9763233b1 found original_unit_accepted=false. High: the positive integration path is unproved. Medium: negatives for rights, quantity, layout and the real ledger are missing, and some evidence is stale. All three repairs are used. No cap 4, no repeated full regression and no main adoption. Keep candidate aad6284f and the exact 491572-token full packet as they are. Do not count P22-02 as an original acceptance, and do not award partial points against 30/88. P02-01 and P02-02 are already formally complete, so they are not repeated.\n\nNEXT CHOSEN PLAN: P08-02, safe change to old placements. Why: it is the only candidate whose dependencies are met now. P04 waits on the owner's D05 decision. P06 waits on value approval. P13 and P18 repairs wait on the owner. P23 gestures wait on Windows. P24-01 needs UI for thoughts, emotion and shield that is not wired yet, plus a P18 candidate and unknown values. P26-01 depends on D08 and D09, which are unresolved. P08-02 can reuse the accepted P03-02 inputs. Bad migrations damage saves, so it has high value.\n\nBefore the contract is frozen, reread the exact P08-02 entry in docs/traceability/original/BASELINE.txt and the accepted-input files. Do not rely on this summary. All original acceptance conditions must be met: (1) problems with original dimensions are shown to the player, who chooses what happens; (2) unsafe auto-correction is rejected; (3) nothing overlaps, is orphaned or disappears; (4) when a problem cannot be solved, the original placements and saves are kept byte-identical, and formal backups stay intact.\n\nMissing evidence:\n- The player-choice display has been run and observed, including cancel and confirm.\n- Negatives show that unsafe auto-corrections are refused.\n- Each P03-02 rejected batch has overlap, orphan and disappearance checks: native cross-PID moving, boarded EV, rescue, logistics, and concurrent build.\n- Raw-state and save hashes are byte-identical before and after an unsolvable case, and backups are kept.\n- An independent review is done.\n\nMigration diagnostics alone do not prove P08-02.\n\nEvidence reuse: only reuse P03-02's exact raw states and formal backups after checking the version, the input SHA and the source applicability. Do not guess D07 relation conversions; record unknowns explicitly.\n\nRead-only audit scope:\n- Placement migration and validation code, the save load and write path, and backup handling.\n- The P03-02 evidence manifests and hashes.\n- Existing tests that cover placement conflicts.\n- Find which product and UI gaps remain, and which files would need to change.\n\nAfter that: targeted local tests for the touched modules, an impact analysis, a full final regression only if a change touches shared save or placement paths at integration, and then an independent Opus review. No registration and no worker run until the contract is frozen. The criteria are not weakened, and the owner decides spec, denominator, budget and main changes.",
+  "codex_model": "gpt-6.1-sol",
+  "codex_model_reason": "This decision is wait, so no worker runs. Sol is the default. Its quality is enough for the next step, a bounded read-only audit and contract preparation, and it saves time and usage. Consider Astra only if the frozen P08-02 contract needs complex changes to save and placement migration code."
+}
@@ -0,0 +1,23 @@
+{
+  "task_id": "P22-02",
+  "commit": "10c62e1fa7b71576598583f434824b59816d4705",
+  "status": "blocked",
+  "summary": "ASSET_CONTRACTS.mdとvalidation.jsonのみ同期。保持済みコードは変更なし。python3 -Bで13テスト合格、AST確認成功、ordinary exit 0、require-ready exit 2。出力フィールドとspec両hashを確認。指定patch・計測証拠がworktreeに存在せず参照先もアクセス拒否のため、完全最終パケットの500000未満を確認できない。487283は実測として報告していない。",
+  "acceptance_ids": [
+    "P22-02"
+  ],
+  "findings": [
+    {
+      "severity": "high",
+      "message": "完全最終レビューパケットの構築定義・参照証拠が不足し、必須サイズ計測がblocked。"
+    },
+    {
+      "severity": "high",
+      "message": "原成果未完了：614 pending、0 selected。最終命名・解像度・frame/layout・差替参照、使用可能資産とcreator/rights証拠、mandatory_scope/disclosure、必要な表示・聴感証拠が不足。D08/D09内容・数量はunknown。"
+    },
+    {
+      "severity": "high",
+      "message": "Root正式静的検証・meaningful negatives、独立Opusレビュー、統合、原30パッケージ/88成果の最終受入が未完了。ローカル整合性合格は原成果完了を意味しない。"
+    }
+  ]
+}
@@ -0,0 +1,30 @@
+{
+  "project": "the-tree-p22-02-contract",
+  "task": "P22-02",
+  "commit": "aad6284fb75d32a73d0a4c00a53e9660ce76aad8",
+  "method": "sys.settrace observes the actual unchanged Runner.packet locals; guard not bypassed",
+  "control": "/private/tmp/the-tree-p24-02-control-r02",
+  "packet_source_sha256": "34d0f62ec5b17b070a2d1ad4f58d06f3be7e9b6fb649ec86b366bc03b07c1329",
+  "actual_guard_bytes": 491572,
+  "guard_limit": 500000,
+  "fits": true,
+  "actual_packet_result": "built",
+  "model_called": false,
+  "task_state_changed": false,
+  "body_file_sha256": "f64acba470e9c3182af7e4fef9344464a4c32e1de818468f1dd6c806a082eded",
+  "source_names": [
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/ASSET_CONTRACTS.md",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/P22_FINAL_REPAIR_CONTEXT.md",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/P22_SPEC_HASH_CONTEXT.md",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/asset-contracts.json",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/build_contract.py",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/test_contract.py",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/validation.json",
+    "tools/check_p22_asset_contracts.py"
+  ],
+  "validation_source_names": [
+    "docs/spec/inputs/P22-02-accepted-usage.json",
+    "tools/check_p22_asset_contracts.py"
+  ],
+  "passed_validation_receipts_included": 0
+}
@@ -0,0 +1,19 @@
+{
+  "probe_commit": "aad6284fb75d32a73d0a4c00a53e9660ce76aad8",
+  "tree": "b56e0ddc03b705f8898387079f7bb636e3f0594d",
+  "parent": "c6ccc5a6ab4b1670f1ccf813937edf339ca19139",
+  "worktree_HEAD_unchanged": true,
+  "task_state_unchanged": "blocked",
+  "source_names": [
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/ASSET_CONTRACTS.md",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/P22_FINAL_REPAIR_CONTEXT.md",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/P22_SPEC_HASH_CONTEXT.md",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/asset-contracts.json",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/build_contract.py",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/test_contract.py",
+    "docs/plans/original-completion-2026-10-02/execution/p22-02/validation.json",
+    "tools/check_p22_asset_contracts.py"
+  ],
+  "worker_result_unchanged": true,
+  "submitted_or_accepted": false
+}
@@ -0,0 +1,70 @@
+{
+  "probe_commit": "aad6284fb75d32a73d0a4c00a53e9660ce76aad8",
+  "artifact": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-p22-02-contract/runs/25eefc570e4540d9aacd05c9763233b1",
+  "model": "claude-opus-5-5",
+  "read_only": true,
+  "formal_original_review": false,
+  "task_state_unchanged": true,
+  "result": {
+    "summary": "判定: changes_requested（形式受入は不可、要求もなし）。前回Rootが指摘した3件の欠陥のうち、登録argvの受付、常に失敗するreadinessの撤去、検証・レビュー・統合の循環の除去は対応済みで、コード上でも確認できた。Rootの実測では、パケット491,572 bytes（500,000未満）、テスト13件合格、整合性検査exit 0、require-readyはexit 2（pending 614件、selected 0件）。\n\n具体的なコード欠陥（このタスクの範囲内で直すもの）:\n- 到達可能性の正例がreducer（technical_readiness）単体のテストしかない。実際の経路（selection_ready、receipt、check）を通る正例がない。\n- 権利文書、命名、寸法・レイアウトが、選定した素材や用途の要件と結び付いていない。結び付きはRoot発行の証明（receipt）任せになっている。\n- 未知の数量（null）が明示的な解決なしにreadinessへ到達できる。\n- ledgerを改変するnegativeをcheck()経由で試していない。\n- 文書とvalidation.jsonの記述が古く、実測値と食い違っている。\n\n原成果側の未完了（コード欠陥とは別）:\n- 614件すべて未選定（候補495件、欠損119件）。\n- 作者・権利の確定、画面表示・聴感の証拠、必須範囲・開示の証拠、D08/D09がまだない。\n- 独立レビュー、統合、最終受入（原30パッケージ/88成果、部分点なし）も残っている。",
+    "original_unit_accepted": false,
+    "technical_findings": [
+      {
+        "severity": "high",
+        "file": "docs/plans/original-completion-2026-10-02/execution/p22-02/test_contract.py",
+        "message": "到達可能性の正例（test_isolated_reachable…）は、proof_matchesの戻り値Trueをtechnical_readinessに渡しているだけで、selection_ready、receipt（checkpoint配下の文書のピン固定、anchor検証、p22-evidence-v1形式）、check()の正の経路を一度も通っていない。修理指示の「純関数で到達可能性を証明」の核心部分が未証明で、実際の経路で到達不能なバグがあっても検出できない。checkpointsを模した一時ROOTか、raw/safe_pathのモックを使い、selection_readyとreceiptを通る正例を1件追加する必要がある。"
+      },
+      {
+        "severity": "medium",
+        "file": "tools/check_p22_asset_contracts.py",
+        "message": "selection_readyのrights.documentsは、ピンが合っているかしか見ておらず、選定した素材との関係を検証していない。例えば内部由来のBGMや出所不明の素材にKenneyのLicense.txtを付け、license='CC0'とすれば構造検査を通る。publisher-archive-byte-verificationの該当member（同一バイト）か、内部由来の記録との一致を必須にする必要がある。現状は防止がRootのrights receiptだけに依存している。"
+      },
+      {
+        "severity": "medium",
+        "file": "tools/check_p22_asset_contracts.py",
+        "message": "quantities_validは、受入記録側がnullの数量（施設の全行など）について値の欠如（None）を許している。コメントでは「quantity receiptで解決」とあるが、それを強制するコードがない。全数量が未知のままreadinessに到達でき、spec原文の「unknownを確定しない」とreadinessの非空虚性が両立していない。"
+      },
+      {
+        "severity": "medium",
+        "file": "tools/check_p22_asset_contracts.py",
+        "message": "命名（nameがパスのbasenameと等しいだけ）と差替履歴（replacement_chainは先頭と末尾しか見ない）が実質的に恒真になっている。region（領域）もsourceの範囲内かどうかしか見ず、受入記録のusage_condition.original_size（2x1など）やatlasのcell・grid境界に結び付いていない。解像度・レイアウトの不一致を構造的に検出できない。"
+      },
+      {
+        "severity": "medium",
+        "file": "docs/plans/original-completion-2026-10-02/execution/p22-02/test_contract.py",
+        "message": "negativeが純関数への合成入力と、snapshotの複製の改変にとどまっている。実際のledgerを改変したうえでcheck()経由で拒否されることを試していない（selectionsの欠落・追加・偽の'selected'、source_pinsの削除・改ざん、referencesの改ざん、unit_proofsへのbool注入）。spec原文の「negativeはledgerの該当値の改変・削除を含める」を満たしていない。"
+      },
+      {
+        "severity": "medium",
+        "file": "tools/check_p22_asset_contracts.py",
+        "message": "verify_existing_evidenceは、observed-existing-asset-contractsのsource_pinsを無条件にpinned()で照合する。そのため、文書で提案している製品差分（pixel_tower_art.gdなど）を適用すると、ledgerを更新しても整合性検査がexit 1になる。Kenneyのmemberと内部BGMについては、バイトが異なると黙ってskipし、staleであることを報告しない。製品変更後にreadinessへ到達する経路（evidenceの再観測が必要なこと）を明記し、staleを検出・報告する必要がある。"
+      },
+      {
+        "severity": "low",
+        "file": "tools/check_p22_asset_contracts.py",
+        "message": "referencesの期待集合がEVIDENCEディレクトリのiterdirで決まるため、Rootが証拠ファイルを1件追加しただけでledgerが不一致（exit 1）になる。issuer.role='root'/'owner'は自己申告のフィールドで、認証されていない（checkpointsが書き込み禁止であることに依存している）。Oggの判定も先頭128 bytes内の文字列だけで弱い。"
+      },
+      {
+        "severity": "low",
+        "file": "docs/plans/original-completion-2026-10-02/execution/p22-02/validation.json",
+        "message": "complete_packet_bytes=nullで、文書でも「487283はprospective、未確認」とされているが、Rootの実測は491,572 bytesで、上限500,000未満は確認済み。ASSET_CONTRACTS.mdは存在しないキー名「evidence_pins」に言及している（実際のキーはreferences）。いずれも記録が古いか不整合で、Root側で事実に基づき訂正が必要。CLIのテストがpending=614を固定値で表明しているため、正規の選定が1件入っただけで壊れる。"
+      },
+      {
+        "severity": "low",
+        "file": "docs/plans/original-completion-2026-10-02/execution/p22-02/build_contract.py",
+        "message": "build_contract.pyはledger全体を上書きし、selectionsを初期化する。read_textのencodingも指定していない。読み取り専用の検証からは呼ばれないが、誤って実行すると選定作業が失われる。"
+      }
+    ],
+    "remaining_original_conditions": [
+      "614の正確な用途すべてで、使用可能な選定素材がまだない（候補495件、欠損119件、選定0件）",
+      "用途ごとに最終の解像度、frame・layout、命名、差替参照、製品側の参照を確定する",
+      "作者・権利の欠落を解消する（権利が未確定の媒体20件を含む。内部BGMの由来記録は最終承認ではない）",
+      "必須だが未制作の範囲と開示の証拠（unit_proofsのmandatory_scopeとdisclosure）がまだない",
+      "D08/D09の内容と数量はunknownのまま。発明せず、owner証拠で確定させる",
+      "該当する画面表示・聴感の実証拠（usability receipt）がない",
+      "Rootによる正式な静的検証と、意味のあるnegative（ledgerを改変しcheck()経由で拒否されることの確認を含む）",
+      "独立したOpusレビュー",
+      "統合と最終受入（原30パッケージ/88成果、部分点なし）"
+    ]
+  }
+}
@@ -0,0 +1,23 @@
+"""Read-only advisory review of preserved P22 content; no original acceptance receipt."""
+import sys, os, json
+from pathlib import Path
+control = Path(os.environ['OWNER_RUNNER_CONTROL'])
+sys.path.insert(0, str(control))
+from runner.core import Runner, read_json
+coordinator = Path('/private/tmp/the-tree-owner-model-cli.py').read_text().rsplit('from runner.cli import main', 1)[0]
+exec(compile(coordinator, '/private/tmp/the-tree-owner-model-cli.py', 'exec'))
+r = Runner('the-tree-p22-02-contract')
+task = r.task('P22-02')
+sha = 'aad6284fb75d32a73d0a4c00a53e9660ce76aad8'
+prompt = r.packet('P22-02', 'reviewer', sha)
+supplement = {"purpose": "Independent advisory technical review ONLY; formal acceptance validator remains failed, no submitted worker result, no original acceptance or integration.", "actual_root_packet_guard_bytes": 491572, "actual_retained_code_sha_equal": True, "actual_root_tests": "13 PASS; independent Root diagnostic execution; unchanged code SHA", "actual_cli": "integrity exit0, require-ready exit2, pending614 selected0", "coordinator_failure_resolved": "References outside worker sandbox missing, Root actual complete packet now measured on exact probe tree. Do not falsify worker blocked result."}
+prompt = 'Read-only independent technical review, no editing, tools or execution. Review every original acceptance and all technical defects using provided full packet. Distinguish concrete code defects from original unfinished assets/values. Formal acceptance cannot pass and is not requested. Return concise Japanese findings with file and severity. Nothing you return changes task state or original denominator.\n' + prompt + '\nCOORDINATOR_DIAGNOSTIC_FACTS:\n' + json.dumps(supplement, ensure_ascii=False)
+schema = {"type": "object", "additionalProperties": False, "required": ["summary", "original_unit_accepted", "technical_findings", "remaining_original_conditions"], "properties": {"summary": {"type": "string"}, "original_unit_accepted": {"type": "boolean", "enum": [False]}, "technical_findings": {"type": "array", "items": {"type": "object", "additionalProperties": False, "required": ["severity", "file", "message"], "properties": {"severity": {"type": "string", "enum": ["critical", "high", "medium", "low"]}, "file": {"type": "string"}, "message": {"type": "string"}}}}, "remaining_original_conditions": {"type": "array", "items": {"type": "string"}}}}
+with r.lease('operation:P22-02', 'advisory-review:P22-02:' + str(os.getpid())):
+    result, artifact = r.llm('P22-02', 'reviewer', 'claude', prompt, Path(task['worktree']), schema)
+    assert r.task('P22-02')['state'] == task['state']
+    r.event('P22-02', 'independent_technical_advisory_review', {"probe_commit": sha, "artifact": str(artifact), "formal_acceptance": False, "state_changed": False})
+    report = {"probe_commit": sha, "artifact": str(artifact), "model": "claude-opus-5-5", "read_only": True, "formal_original_review": False, "task_state_unchanged": True, "result": result}
+    output = Path('/Users/korizatou114/Projects/とりにく工房ゲーム制作部/docs/plans/original-completion-2026-10-02/checkpoints/p22-02-slot-contract-r02/independent-technical-review-r05.json')
+    output.write_text(json.dumps(report, ensure_ascii=False, indent=2) + '\n')
+    print(json.dumps(report, ensure_ascii=False))