unknown-coverage-review

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）」 へ移る。 チェックリストを満たしても、レビュー対象外の前提や未確認領域が残れば誤った判断につながる。 本観点は大量の質問を生成しない。利用 profile が許可した evidence を調査し、以下を構造化して出力する。

1. 何が未確認か
2. なぜ危険か
3. どの証拠が不足しているか
4. 何を確認すれば解消できるか
5. caller が判断するためにどの residual risk を残すべきか

Execution profiles

Select exactly one profile before reviewing.

generic

Default profile for the existing diff / PR review flow. It preserves the current post-finding-verification pre-execution gate, diff requirement, delegation rules, and verdict mapping.

security-audit

Use only when river-review-security-audit explicitly invokes this skill for a focused or full repository/subsystem security audit. This profile evaluates Phase 3 SecurityAuditCoverage evidence sufficiency and may run without a current diff. Its contract is defined in SECURITY-AUDIT-PROFILE.md.

Do not infer this profile from security-looking files or keywords. Do not relax the generic profile's diff requirement to make Security Audit work.

Pre-execution Gate — generic profile

最初に判定する。満たさない場合は以降の generic 観点を実行せず 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 を新設しない。plan artifact 経由で受け取る同一の artifact-driven パターンに従う（artifact-input-contract.md）。欠損時は上記と同じデグレード（skippedSkills）を適用する。PlanGate への依存は必須にしない。