assumption-resolution-trace-plan

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 の設計妥当性そのものは問わない。

1. Assumption 解消の突合: plan の各 assumption に対し、それが実装で確認・解消された証拠（該当コード・テスト・PR 本文の言及）が残っているか。
2. Open question 解消の突合: plan の各 open question に対し、diff・PR 本文に回答（解消 or 明示的な繰り越し）があるか。
3. 新規 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 の有無を最初に判定する。

• inputContext に diff が含まれている。
• plan artifact が存在する、または PR 本文に assumption / open question が inline で列挙されている（下記「plan 欠損時の扱い」を適用）。
• ビルド成果物・生成物（dist/**・*.map・lockfile・自動生成 manifest）は Gate 判定・レビュー対象から除外する。

plan 欠損時の扱い（T41 改善提案2）

plan artifact が無いときの分岐を次のとおり一意に定める。

• plan artifact あり → 全評価（assumption / open question / 新規 Unknown 記録の突合）。
• plan artifact 無し・PR 本文に assumption / open question が inline 列挙されている → 列挙された項目のみ部分評価する（例: PR 本文に「前提: X が Y であること」等が具体的に書かれている場合）。評価対象を PR 本文に inline された項目に限定し、外部 issue の内容は取得・推測しない。出力に と評価対象の出所を明記する。