unknown-coverage-review

id	unknown-coverage-review
name	unknown-coverage-review
description	完成した差分・PR・検証証拠に残る Unknown（未確認の前提・調査されていない影響・ 不足している証拠）を横断合成する evidence-sufficiency のメタ観点。個別 defect の 検出は既存 skill へ委譲し、本 skill は「そのリスク種別を調査した証拠が残っているか」 の meta 評価のみを行う。finding verification 後の合成ステップとして report-only で 実行し、残存 Unknown を output-format §4「Unverified / Residual Risk」の Unknown Coverage 下位構造へ、判定を既存 verdict 語彙（GO/ESCALATE/NO_GO）へ写像する。 新しい語彙・schema は作らない。
category	midstream
phase	["upstream","midstream","downstream"]
severity	major
applyTo	["src/**/*.{ts,tsx,js,jsx,mjs}","runners/**/*.{ts,js,mjs}","scripts/**/*.mjs","**/migrations/**","**/*.sql","**/*.{yaml,yml,json,toml}"]
inputContext	["diff","fullFile","reviewSelf","reviewExternal"]
outputKind	["findings","questions","actions"]
tags	["unknown-coverage","evidence-sufficiency","grill-for-unknowns","unknown-unknowns","map-territory","meta","synthesis"]
version	0.1.0
license	MIT

Unknown Coverage Review（残存 Unknown のメタ観点）

由来 / Inspired by: Thariq「A Field Guide to Finding Your Unknowns」（The map is not the territory: Plan やプロンプトは現実のコードベースを圧縮した地図であり、地図と土地の差分に Unknown が潜む）と Matt Pocock「/grill-me」（実装前に質問を重ね共有理解を作る）から着想した概念の再実装。原著者を名指しする nominative fair use に留め、endorsement は主張しない。

通常のレビューは「壊れている箇所（defect）」を指す。 本観点は 「そのリスク種別を調査した証拠が残っているか（evidence-sufficiency）」 を、完成した差分を横断して合成する。問いが直交するため、defect 検出とは混載しない。

背景 / Background

AI coding agent の実行能力が上がるほど、見逃しは単純なコード品質から 要件・暗黙知・影響範囲・運用条件・移行条件などの「未確認の未知（Unknown）」 へ移る。 チェックリストを満たしても、レビュー対象外の前提や未確認領域が残れば誤ったマージ判断につながる。 本観点は大量の質問を生成しない。差分・PR 本文・Plan・テスト・設定・履歴を調査し、以下を構造化して出力する。

1. 何が未確認か
2. なぜ危険か
3. どの証拠が不足しているか
4. 何を確認すれば解消できるか
5. マージを止めるべきか（既存 verdict 語彙への写像で表現）

Pre-execution Gate / 発火条件

最初に判定する。満たさない場合は以降の観点を実行せず NO_REVIEW を返す。

• finding verification 後の 合成ステップとして呼ばれている（orchestrator の Execution Flow から。keyword routing では呼ばない）。
• 入力に少なくとも diff があり、差分が リポジトリ内で実行されるコード・migration・schema・公開 API・設定のいずれかに触れる。docs・コメントのみの差分は対象外とする。
• ビルド成果物・生成物（dist/**・*.map・lockfile・自動生成 manifest）は Gate 判定からもレビュー対象からも除外する。
• PlanGate 非依存: plan / review-self などの artifact が欠損しても動作する。欠損した観点は finding を出さず skippedSkills に記録してデグレードする（artifact-input-contract の既定挙動）。plan / test-cases artifact は schema の inputContext enum・実行側 availableContexts に供給元が存在しない optional evidence のため、frontmatter inputContext には宣言せず本 Gate の記述で扱う（宣言すると deterministic 経路で常に skipped になる）。
• 観点6 の plan 代替 evidence: 観点6（Plan / Assumption）は plan artifact 欠損時、PR 本文へ前提・open question が inline 列挙されていれば列挙分のみ部分評価する（外部 issue は取得・推測しない）。計画 issue の bare 参照（#NNNN）のみなら skip し skippedSkills に記録する。この分岐は registry skill assumption-resolution-trace と同一ルールに揃える。
• PlanGate #810 ledger: PlanGate #810 が assumption/unknown ledger を出力する場合も、専用 artifact を新設しない。 artifact 経由で受け取る同一の artifact-driven パターンに従う（）。欠損時は上記と同じデグレード（）を適用する。PlanGate への依存は必須にしない。