| id | assumption-resolution-trace |
| name | Assumption Resolution Trace Plan の前提解消トレーサビリティ |
| description | plan artifact がある時のみ、plan 中の assumption / open question が実装で解消された証拠を diff・PR 本文と突合する evidence-sufficiency 観点。解消されないまま残った前提・未記録の新規 Unknown を検出する。plan 欠損時は発火しない（Pre-execution Gate）。plan 欠損でも PR 本文に前提が inline 列挙されていれば列挙分のみ部分評価し、計画 issue の bare 参照だけなら skip する |
| version | 0.1.0 |
| category | midstream |
| phase | midstream |
| applyTo | ["src/**/*.{ts,tsx,js,jsx,mjs}","runners/**/*.{ts,js,mjs}","scripts/**/*.mjs","**/migrations/**","**/*.sql"] |
| tags | ["assumption-resolution-trace","evidence-sufficiency","plan-traceability","assumption","open-question","unknown-coverage","midstream"] |
| severity | major |
| inputContext | ["diff","fullFile","prDescription","reviewSelf"] |
| outputKind | ["findings","questions","actions"] |
| modelHint | high-accuracy |
| dependencies | ["code_search"] |
Pattern declaration
Primary pattern: Reviewer
Secondary patterns: Inversion
Why: plan の assumption と diff の突合は artifact 参照による決定論的照合が主だが、plan artifact が無い変更では実行を止めるゲートが必要。
Goal / 目的
plan artifact が存在するとき、その plan に記録された assumption（前提）/ open question（未解決の問い） が実装で解消された証拠を、diff・PR 本文と突合する。evidence-sufficiency の観点であり、plan の設計妥当性そのものは問わない。
- Assumption 解消の突合: plan の各 assumption に対し、それが実装で確認・解消された証拠（該当コード・テスト・PR 本文の言及）が残っているか。
- Open question 解消の突合: plan の各 open question に対し、diff・PR 本文に回答（解消 or 明示的な繰り越し）があるか。
- 新規 Unknown の記録: 実装中に新たに判明した前提・制約が、plan・PR 本文・コメントに記録された証拠があるか。
既定 CI レビューでは自動発火しない（/challenge 等の明示呼び出し向け）。
Non-goals / 扱わないこと
- plan の設計妥当性の判断（assumption 自体が妥当かは問わない）。本 skill は「解消された証拠が残っているか」だけを見る。
- plan artifact が無いときの評価。plan 欠損時は発火しない（Pre-execution Gate）。PlanGate #810 の unknown ledger など専用 artifact が将来入力に載る場合も、その受け取りは
plan 経由の同じ artifact-driven パターンに従う。
- plan / assumption 整合そのものの検証（pbi / plan / todo の整合は
plangate-plan-integrity、W チェックの再点検は plangate-verification-audit へ委譲）。本 skill は「解消の証拠不在」だけを扱い、重複指摘しない。
- 全 Unknown カテゴリの横断合成は agent-skill
unknown-coverage-review（観点6 Plan / Assumption Traceability）が担う。本 skill はその観点6 を registry として plan 保有時に単独実行する版であり、合成層はその findings を残余に取り込む。
Pre-execution Gate / 実行前ゲート
このスキルは以下の条件がすべて満たされない限り NO_REVIEW を返す。plan の有無を最初に判定する。
plan 欠損時の扱い（T41 改善提案2）
plan artifact が無いときの分岐を次のとおり一意に定める。
- plan artifact あり → 全評価（assumption / open question / 新規 Unknown 記録の突合）。
- plan artifact 無し・PR 本文に assumption / open question が inline 列挙されている → 列挙された項目のみ部分評価する（例: PR 本文に「前提: X が Y であること」等が具体的に書かれている場合）。評価対象を PR 本文に inline された項目に限定し、外部 issue の内容は取得・推測しない。出力に と評価対象の出所を明記する。
