s977043 · s977043 · Jul 22, 2026 · Jul 22, 2026 · Jul 22, 2026 · Jul 22, 2026
@@ -1,10 +1,7 @@
 # current-state — TASK-0896
 
-- **フェーズ**: C-2 確定反映済み（R-001〜R-010）→ 次 = **C-3 Human 承認待ち**
-- **branch**: `docs/task-0896-plan`（origin/main 53879e1 から分岐）
-- **Mode**: high-risk / lite_eligible=false / autonomous APPROVE 不可（人間 C-3 必須）
-- **Metrics**: 変更ファイル実数 9（見積 9・比率 1.0・採用）。重複 5 点の実在を行番号で裏取り済み
-- **設計確定**: c3_contract.py 新設（論点 1 案 A・REQUIRED_KEYS 系含む）/ 三つ組照合は strictness 引数で非対称保存（論点 2 案 A・reviewer 集合非対称も保存）/ 返り値 = 理由文字列リスト + 順序契約（論点 3）
-- **C-1**: PASS（WARN 1）/ **C-2**: 2 レーン完了（A=Codex major 4→採用 3・不採用 1〔経路違い〕、B=整合 9/9 照合 OK・minor 2 info 4 全採用）→ 1 回確定反映済み・簡易 C-1 PASS
-- **次アクション**: 人間 C-3（論点 1: #873 との実装順 / 論点 2: EPIC #870 追記コメント要否）→ APPROVED なら `bin/plangate approve TASK-0896`（c3.json 発行）→ exec
-- **ブロッカー**: C-3 Human 判断待ち
+- **フェーズ**: exec 完了（コミット a〜d + 敵対レビュー + handoff 発行）→ 次 = **exec PR 作成 → C-4**
+- **branch**: `feat/task-0896-c3-contract`（99816f8・origin/main b632a91 から分岐）
+- **検証**: 4 系 green（22/247/30/12）+ run-tests 412 passed 0 failed + 敵対レビュー 2 レーン critical/major 0（behavior diff 37+37 全一致）
+- **残**: PR 作成 → C-4 merge → issue #896 close 判定
+- **#873 並行**: c3_contract 先行 merge 後に #873 が rebase（C-3 決定・EPIC #870 コメント済み）
@@ -5,3 +5,5 @@
 {"ts":"2026-07-22T12:40:00+09:00","phase":"C-1","decision":"PASS（WARN 1 = T-11 粒度・exec 時サブ分割）","rationale":"17 項目全チェック・FAIL 0","actor":"agent"}
 {"ts":"2026-07-22T13:10:00+09:00","phase":"C-2","decision":"2 レーン完了: A=Codex 設計妥当性 major 4（採用 3/不採用 1）・B=コードベース整合 9/9 照合 OK minor 2 info 4 全採用","rationale":"R-002（C1-VERDICT マーカー）は経路違いで不採用 — c3-prime evidence マーカーは ai-loop run 経路用・本タスクは human C-3 経路（前例 TASK-0872 grep 0 件で受理）","actor":"agent"}
 {"ts":"2026-07-22T13:25:00+09:00","phase":"C-2 確定反映","decision":"R-001/R-003〜R-010 を plan/todo/test-cases へ 1 回確定反映・簡易 C-1 PASS","rationale":"主要変更: REQUIRED_KEYS 系の共通化対象化 / 理由リスト順序契約 + 代表文言回帰 / 純粋性 I/O 封じテスト / 残置列挙の完全化（reviewers 2 者・source_sha 照合）/ ta-55 CI 経路追加（実数 8→9）","actor":"agent"}
+{"ts":"2026-07-22T18:40:00+09:00","phase":"exec","decision":"コミット a〜d 完了（91dbd81/673112d/cf925c9/99816f8）・各コミットで 4 系 green 維持","rationale":"1 コミット 1 種類（定数→hash→trio→sync）。run-tests 412 passed 0 failed","actor":"agent"}
+{"ts":"2026-07-22T18:55:00+09:00","phase":"敵対レビュー","decision":"2 レーン完了・critical/major 0。AF-1 採用（記録対応）/ AF-2 不採用（R-008 確定設計）/ AF-3 採用（記録）/ AF-4 不採用（スコープ外）","rationale":"独立レーンが新旧 behavior diff 37+37 パターンで tuple/exit code 全一致を実測。Codex も強度低下・偽造受理・fail-open なしを確認","actor":"agent"}
@@ -0,0 +1,33 @@
+# 敵対レビュー disposition — TASK-0896（AC-8）
+
+> 実施: 2026-07-22 / 2 レーン並列（Codex + 独立 behavior-diff 実測）/ 対象 = feat/task-0896-c3-contract 4 コミット
+> 結果: **critical / major 0**。両レーンとも「受理/拒否の強度低下・偽造受理・import fail-open なし」を実測で確認
+
+## レーン実測サマリ
+
+- **独立レーン（behavior diff）**: 新旧実装を同一敵対入力で駆動 — plan_package_check 37/37 tuple 全一致 / c3prime_verify 37/37 exit code 全一致 / producer 出力 byte 同一（sha256 一致）/ bundled 自立 4 系全 OK / cmp 10 ファイル byte 一致 / run-tests 412 passed
+- **Codex レーン**: strict/lenient 両経路の偽造（余剰 reviewer・非 dict snapshot・未知キー・空値・None==None）全 reject / import 欠落は未捕捉 ImportError で停止（fail-open でない）/ SnapshotTrioTests 等 13+11 件実行成功
+
+## 指摘と裁定
+
+| AF | レーン | severity | 指摘 | 裁定 |
+|----|--------|----------|------|------|
+| AF-1 | 両レーン一致 | minor | 複合異常時の先頭 stderr 理由が変化（旧: per-reviewer で verdict 異常が先 / 新: 全 reviewer trio 検査後に verdict — 例: model_a.verdict 不正 + model_b.source_sha 改竄で新実装は trio 不一致を先に報告）。exit code / 判定結果は全一致 | **採用（記録対応）**: 機械消費者 0 件を rg 全数確認済み（bin/plangate は stderr 転送のみ・test は exit code のみ assert）。R-004 順序契約（キー集合→空値→trio）の設計帰結であり実装は変えない。PR body に「診断優先順の変化（判定結果不変）」を明記 + handoff 既知課題 KI-1。理由コード enum 化（V2）時に受理器レベルでも順序固定 |
+| AF-2 | 独立 | minor | arbiter の `import c3_contract` は sys.path 挿入なし — `spec_from_file_location` 等の埋め込み import で ModuleNotFoundError（現実の importer は全て path 挿入済みで無害を実測） | **不採用**: R-008（C-2 確定）で「arbiter に sys.path 操作を追加しない」を設計確定済み。handoff 既知課題 KI-2 に経路制約として記録 |
+| AF-3 | 独立 | info | c3_contract 部分配布時、c3prime_verify は traceback exit 1（fail-closed）だが legacy record も exit 10 でなく 1 になる | **採用（記録対応）**: handoff 運用注記。sync 対列挙 + ta-30 で構造的に防止済み |
+| AF-4 | 独立 | info | `derived_loopspec_hash` が任意値でも受理 — 新旧同一の既存挙動（本 PR の差分でない） | **不採用（スコープ外）**: handoff V2 候補に記録（契約側の値検証は #874 系で検討） |
+
+**AC-7 確認**: 偽造 record 群 reject 不変（37 パターン exit code 一致 + test_c3prime_verify 12 不変）
+
+---
+
+## River Review（ローカル / PR #902 作成後・2026-07-22）
+
+独立再実行（4 スイート全 OK・byte 一致・被参照 grep）付き finding verification 適用済み。**critical/major 0・総合 = マージ可（APPROVE 推奨）**。
+
+| RF | severity | 指摘 | 裁定 |
+|----|----------|------|------|
+| F-1 | minor | strict 経路で「キーは存在するが空値」のとき診断が「キー欠落」と報告されオペレータが誤読しうる（判定・exit code は不変・旧文言の被参照 0 件実測） | **採用（即修正）**: 文言を「キー欠落または空値」へ 1 語修正 + 順序契約テストの assert 更新（コミット e）。契約改版として明示コミット（R-004 Fallback 準拠） |
+| F-2 | info | 複合異常時の先頭診断優先順変化 | 既 disposition（AF-1 / KI-1）— 確認のみ |
+| F-3 | info | arbiter の sys.path 非挿入（python -P で fail-closed crash を実測） | 既 disposition（AF-2 / KI-2）— 確認のみ |
+| F-4 | info | arbiter の共通層 import が中腹配置（sibling は冒頭） | **不採用**: 契約定数の使用箇所直近に置く意図コメントあり・AST テストは位置非依存。V2 の整理時に検討 |
@@ -0,0 +1,14 @@
+=== final 2026-07-22 17:56 feat/task-0896-c3-contract 99816f8 ===
+Ran 22 tests in 0.046s
+
+OK
+Ran 247 tests in 0.097s
+
+OK
+Ran 30 tests in 0.178s
+
+OK
+Ran 12 tests in 3.013s
+
+OK
+run-tests: 412 passed, 0 failed（b1x8cmubu 実測・ta-30 scripts=10 / ta-55 新 TC PASS）
@@ -0,0 +1,15 @@
+=== baseline 2026-07-22 17:42 main b632a91 (repo root 実行) ===
+Ran 247 tests in 0.087s
+
+OK
+Ran 30 tests in 0.150s
+
+OK
+Ran 12 tests in 2.770s
+
+OK
+--- 注: scripts/ai-loop cwd での test_arbiter 実行は ho-paths 相対解決で FAIL する（repo root 実行が正・CI 同様） ---
+  [PASS] 手偽造 record (c3_status+未知+欠落) → exit 1
+  [PASS] HO 適用後: bin/plangate validate が c3-prime を受理
+
+Results: 411 passed, 0 failed
@@ -0,0 +1,46 @@
+# Handoff — TASK-0896（検証ロジック共通契約層化）
+
+> Issue: [#896](https://github.com/s977043/plangate/issues/896) / Mode: high-risk / branch: `feat/task-0896-c3-contract`
+> 発行: 2026-07-22（WF-05）
+
+## 1. 要件適合確認結果（AC ごと）
+
+| AC | 判定 | 根拠 |
+|----|------|------|
+| AC-1 契約定数の単一モジュール定義（REQUIRED_KEYS 系含む） | **PASS** | c3_contract.py に 7 定数群 + TRIO_KEYS。3 消費者は import 参照（is 同一を ConsumerAliasTests で固定・タプルリテラル重複 grep 0 件） |
+| AC-2 sha256 / canonical hash 単一実装 | **PASS** | sha256_of_file / canonical_hash に統合。ローカル hashlib 実装 0 件（TC-4 grep）。producer 出力は新旧 byte 同一（敵対レビュー実測） |
+| AC-3 三つ組照合の I/O なし共通純関数・両経路同一実装 | **PASS** | check_snapshot_trio（理由リスト・順序契約・I/O 封じテスト）。arbiter=strict_keys=False / c3prime=True の両経路が同一実装 |
+| AC-4 既存テスト全 green（振る舞い不変） | **PASS** | test_arbiter 247 / test_plan_package 30 / test_c3prime_verify 12 / run-tests 412（既存 411 + ta-55 追記 1・既存期待値変更ゼロ）。evidence/test-runs/ |
+| AC-5 sync 列挙 + 2 回目 no-op + ta-30 自立 PASS | **PASS** | copy + delete 保護の対列挙。sync 2 回目「no changes」実測・ta-30 scripts=10 / TC-08 bundled 自立 PASS・cmp 10 ファイル byte 一致 |
+| AC-6 arbiter が I/O あり関数を import / call しない | **PASS** | AST 回帰検査（test_arbiter_does_not_touch_io_layer）で属性・名前参照 0 を固定 |
+| AC-7 偽造 record 群の reject 不変 | **PASS** | 敵対レビューで新旧 37 パターン exit code 全一致 + test_c3prime_verify 12 不変 |
+| AC-8 敵対レビュー 1 ラウンド以上の disposition 記録 | **PASS** | 2 レーン（Codex + 独立 behavior-diff）実施。evidence/adversarial-review-disposition.md |
+
+## 2. 既知課題一覧
+
+- **KI-1（AF-1・minor）**: 複合異常入力での先頭 stderr 診断の優先順が変化（verdict 異常より trio 不一致が先）。判定結果・exit code は全一致・機械消費者 0 件を rg 全数確認済み。R-004 順序契約の設計帰結
+- **KI-2（AF-2・minor）**: arbiter.py は sys.path 挿入なしで `import c3_contract` する（R-008 の確定設計）。CLI 直実行・test 経由・bundled は全て解決済みだが、`spec_from_file_location` 等の埋め込み import は非サポート経路
+- **KI-3（AF-3・info）**: c3_contract.py の部分配布（sync 漏れ）時は c3prime_verify が traceback exit 1（fail-closed）— legacy record も exit 10 でなく 1 になる。sync 対列挙 + ta-30 で構造的に防止済み
+
+## 3. V2 候補
+
+- 理由コード enum + 呼び出し側文言マッピング（KI-1 の受理器レベル順序固定を含む）
+- `derived_loopspec_hash` の値検証（AF-4・既存挙動。#874 RunEvidence 契約側で検討）
+- arbiter `plan_package_check` の構造検査（PLAN_PACKAGE_REQUIRED_KEYS）と record 検査の関係整理は issue Non-goals どおり非統合を維持
+
+## 4. 妥協点（採用しなかった選択肢と理由）
+
+- 三つ組照合の strict 統一（案 B）: arbiter 側挙動変更になるため不採用 — strict_keys 引数で #889 R2 非対称を保存
+- plan_package.py への集約（案 B）: arbiter が producer を import する形になり I/O 層分離が module 境界で保証されないため不採用
+- AF-1 対応のテスト追加: plan Files to Touch 外（test_c3prime_verify.py）への変更となるため見送り、記録対応に留めた
+
+## 5. 引き継ぎ文書
+
+c3-prime 契約の検証規則（定数 / hash / snapshot 三つ組照合）が `scripts/ai-loop/c3_contract.py` に単一定義された。**#873 delivery.py / #874 run_evidence.py は本モジュールを import して実装すること**（sys.path.insert の既存パターン: c3prime_verify.py L25 参照）。新スクリプトを追加したら sync-plugin-plangate.sh の copy 列挙 + delete 保護 case の**両方**へ対で追記（漏れると bundled 側 import エラー = ta-30 が検出）。共通層の改版は test_c3_contract.py の契約固定テスト（値 byte 同一・順序契約・純粋性・AC-6 AST 検査）が drift を検出する。4 コミット構成（a=定数 / b=hash / c=trio / d=sync）で各コミット単独 revert 可能。
+
+## 6. テスト結果サマリ
+
+- ベースライン（main b632a91）: 247 / 30 / 12 / 411 全 green（evidence/test-runs/step0-baseline.log。※scripts/ai-loop cwd での test_arbiter 実行は ho-paths 相対解決で FAIL する既知事象 — repo root 実行が正）
+- 最終形（99816f8）: test_c3_contract 22 / test_arbiter 247 / test_plan_package 30 / test_c3prime_verify 12 / **run-tests 412 passed 0 failed**（evidence/test-runs/final-verification.log）
+- 敵対レビュー: 新旧 behavior diff 37+37 パターン全一致・bundled 自立 4 系 OK（evidence/adversarial-review-disposition.md）
+- settings タスクロック: `doctor --check-settings` PASS（handoff 前提充足）
@@ -0,0 +1 @@
+{"ts":"2026-07-22T08:41:42Z","task_id":"TASK-0896","phase":"D","event":"session_started","detail":"agent=codex"}
@@ -19,11 +19,23 @@
 - 論点 2（EPIC #870 追記）: **投稿する**（AI が下書き投稿・論点 1 の決定内容を反映）
 - c3.json 発行: Human が `bin/plangate approve TASK-0896` を plan branch 上で実行（発行は確定反映 f6bf1a9 の後 = EH-3 整合順序）
 
+## exec 記録（2026-07-22）
+
+| 日時 | 内容 |
+|------|------|
+| 2026-07-22 14:30 | c3.json 発行（Human 対話実行）→ PR #899（plan 正式化）CI 全 green → C-4 merge b75f277 |
+| 2026-07-22 17:40 | exec 開始（branch `feat/task-0896-c3-contract`）・ベースライン 247/30/12/411 全 green |
+| 2026-07-22 18:10 | コミット a 91dbd81（定数集約）/ b 673112d（hash 統合）/ c cf925c9（trio 共通化）/ d 99816f8（sync + ta-55） |
+| 2026-07-22 18:55 | 敵対レビュー 2 レーン完了（critical/major 0・AF-1〜4 disposition）・handoff 発行 |
+
+### 計画からの変更点
+
+なし（Files to Touch 9 ファイル内で完結・Replan Trigger 発火なし）。AF-1（診断優先順の変化）は R-004 順序契約の設計帰結として記録対応（KI-1）。
+
 ## 残タスク
 
-- [ ] c3.json 発行（Human・`bin/plangate approve TASK-0896`）
-- [ ] c3.json commit + push → PR 作成（plan 正式化 PR・1 PR 完結方式）
-- [ ] C-4 マージ後: exec 開始（todo.md T-1〜T-17・本セッション or `PLANGATE_HOOK_TASK=TASK-0896` 再起動セッション）
+- [ ] exec PR 作成 → C-4（Human レビュー・マージ）
+- [ ] マージ後: issue #896 に DoD evidence 記録 → close 判定
 
 ## 参照
 

@@ -475,21 +475,12 @@ def plan_quality_check(gates: Any) -> bool:
 #   snapshot 欠落）→ priority 1.65 で BLOCKED（契約 §3/§4 の fail-closed）
 # escalate / BLOCKED 条件を追加するだけの安全側変更であり、以前 escalate だった
 # 経路を auto-approve に倒す効果は持たない。
-PLAN_PACKAGE_REQUIRED_KEYS = (
-    "plan_hash",
-    "source_sha",
-    "plan_package_hash",
-    "c1_evidence_ref",
-    "c2_evidence_ref",
-    "reviewers",
-)
-SNAPSHOT_REQUIRED_KEYS = (
-    "verdict",
-    "plan_hash",
-    "source_sha",
-    "plan_package_hash",
-    "evidence_ref",
-)
+# 契約定数は c3_contract が単一定義（TASK-0896 / #896）。arbiter は I/O なし層
+# （定数・純関数）のみを import する（AC-6: sha256_of_file は import / call しない）。
+import c3_contract  # noqa: E402
+
+PLAN_PACKAGE_REQUIRED_KEYS = c3_contract.PLAN_PACKAGE_REQUIRED_KEYS
+SNAPSHOT_REQUIRED_KEYS = c3_contract.SNAPSHOT_KEYS
 
 
 def plan_package_check(plan_package: Any, target_sha: str) -> tuple[bool, bool, str]:
@@ -507,19 +498,12 @@ def plan_package_check(plan_package: Any, target_sha: str) -> tuple[bool, bool,
     reviewers = plan_package.get("reviewers")
     if not isinstance(reviewers, dict):
         return True, False, "plan_package.reviewers が object でない"
-    for model in ("model_a", "model_b"):
-        snap = reviewers.get(model)
-        if not isinstance(snap, dict):
-            return True, False, f"reviewers.{model} の snapshot が欠落（契約 §3: BLOCKED）"
-        snap_missing = [k for k in SNAPSHOT_REQUIRED_KEYS if not snap.get(k)]
-        if snap_missing:
-            return True, False, f"reviewers.{model} の snapshot キー欠落: {', '.join(snap_missing)}"
-        for key in ("plan_hash", "source_sha", "plan_package_hash"):
-            if snap.get(key) != plan_package.get(key):
-                return True, False, (
-                    f"reviewers.{model}.{key} がトップレベル値と不一致"
-                    "（同一 Plan Package を観ていない = AC-5 違反）"
-                )
+    # snapshot 5 キー整合 + 三つ組一致は共通純関数（strict_keys=False = 余剰キー
+    # 許容の既存挙動を保存）。理由リスト非空 → integrity NG（先頭を reason に）。
+    trio_reasons = c3_contract.check_snapshot_trio(
+        plan_package, reviewers, strict_keys=False)
+    if trio_reasons:
+        return True, False, trio_reasons[0]
     if plan_package.get("source_sha") != target_sha:
         return True, False, (
             f"plan_package.source_sha ({plan_package.get('source_sha')}) と "
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"ts":"2026-07-22T08:41:42Z","task_id":"TASK-0896","phase":"D","event":"session_started","detail":"agent=codex"}