assumption-resolution-trace-plan-listed

## 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 欠損時の扱い」を適用