Skip to content

docs(ai-loop): #896 TASK-0896 plan 正式化(C-3 APPROVED・c3.json 同梱)#899

Merged
s977043 merged 4 commits into
mainfrom
docs/task-0896-plan
Jul 22, 2026
Merged

docs(ai-loop): #896 TASK-0896 plan 正式化(C-3 APPROVED・c3.json 同梱)#899
s977043 merged 4 commits into
mainfrom
docs/task-0896-plan

Conversation

@s977043

@s977043 s977043 commented Jul 22, 2026

Copy link
Copy Markdown
Owner

概要

TASK-0896(検証ロジック共通契約層化 — 定数/hash/snapshot 三つ組照合の重複解消)の plan 正式化 PR(1 PR 完結方式: plan 一式 + C-3 APPROVED c3.json 同梱)。

ゲート通過状況

ゲート 結果
B-1〜B-3 plan/todo/test-cases 生成(重複 5 点を行番号実測裏取り・Metrics 実数 9/見積 9 = 1.0)
C-1 PASS(WARN 1 = T-11 粒度・exec 時サブ分割)
C-2 2 レーン完了(Codex 設計妥当性 major 4 → 採用 3/不採用 1〔経路違い〕・コードベース整合 9/9 照合 OK
確定反映 R-001/R-003〜R-010 を 1 回反映(f6bf1a9)+ 監査表 reflected_in 記入・簡易 C-1 PASS
C-3 APPROVED(Human・bin/plangate approve L1-L4 presence gate 通過・plan_hash 8cb2d72c 整合・validate 全 PASS)

設計の要点

  • scripts/ai-loop/c3_contract.py 新設(中立配置): 契約定数(REQUIRED_KEYS 系含む)+ I/O なし純関数(canonical_hash / check_snapshot_trio)+ I/O あり(sha256_of_file)の層分離
  • 既存の検証強度非対称を保存: arbiter=余剰キー許容 / c3prime=strict(feat(TASK-0872): #872 PR-2 — c3-prime 受理器(非HO)+ HO patch 群(Human 適用) #889 R2 由来)を strict_keys 引数で挙動不変のまま共通化。reviewer 集合の非対称も同様に保存
  • 理由文字列リスト契約(順序 = 検査順で固定 + 代表文言回帰テスト)
  • 1 コミット 1 種類の 4 コミット(定数→hash→trio→sync)・各コミットで 4 系テスト green 維持
  • exec は PLANGATE_HOOK_TASK=TASK-0896 セッションでメイン直実装(EH-1 正規経路)

マージ後

exec 開始(todo.md T-1〜T-17)。c3_contract 先行 merge 後に #873 が rebase する並行運用。

Refs: #896

🤖 Generated with Claude Code

s977043 and others added 4 commits July 22, 2026 13:15
- plan/todo/test-cases/INDEX/current-state/decision-log を B-3 生成
- C-1 セルフレビュー PASS(WARN 1 = T-11 粒度・exec 時サブ分割)
- C-2 2 レーン(Codex 設計妥当性 / 独立コードベース整合 9/9 照合 OK)
- 確定反映: REQUIRED_KEYS 系の共通化対象化 / 理由リスト順序契約 +
  代表文言回帰 / I/O 封じ純粋性テスト / 残置列挙完全化 / ta-55 CI 経路
- R-002(C1-VERDICT マーカー)は経路違いで不採用(human C-3 経路)

Refs: R-001, R-003, R-004, R-005, R-006, R-007, R-008, R-009, R-010
Refs: #896

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Refs: R-001, R-003, R-004, R-005, R-006, R-007, R-008, R-009, R-010

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…C 追記済み)

Refs: #896

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Human が plan branch 上で `bin/plangate approve TASK-0896` を対話実行
(L1-L4 presence gate 通過)。validate 全 PASS(plan_hash 整合確認済み)。

Refs: #896

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings July 22, 2026 05:26
@gemini-code-assist

Copy link
Copy Markdown
Contributor

Caution

The consumer version of Gemini Code Assist on GitHub has been sunset. All code review activity has officially ceased.

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@github-actions

Copy link
Copy Markdown
Contributor

Check PR Issue Link: WARN: no closing keyword found (expected one of: closes #N / fixes #N / resolves #N)

  • 推奨: PR 本文に closes #N / fixes #N / resolves #N を含めてください
  • 対象外の場合: PR に chore / documentation ラベルを付けるか、PR 本文に <!-- skip-issue-link-check --> を含めてください
  • 詳細: Issue #159

@s977043 s977043 added the documentation Improvements or additions to documentation label Jul 22, 2026
@s977043
s977043 merged commit b75f277 into main Jul 22, 2026
10 checks passed
@s977043
s977043 deleted the docs/task-0896-plan branch July 22, 2026 05:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants