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 への依存は必須にしない。

Pre-execution Gate — security-audit profile

Run only when all are true:

• caller is an explicit river-review-security-audit focused or full-audit flow
• frozen audit scope and reconnaissance evidence are present
• a Phase 3 SecurityAuditCoverage ledger is available
• deterministic Phase 3 validation has run, or equivalent validation evidence is present

A current diff is not required for this profile. That exception is profile-local and must not alter generic routing or generic pre-execution behavior. If the audit context is implicit, the ledger is absent, or the caller is a normal PR review, return NO_REVIEW for this profile.

6 Unknown 観点 / Perspectives — generic profile

Issue #1470 の 6 カテゴリを、defect ではなく evidence-sufficiency の meta 質問として扱う。各観点の defect 検出は既存 skill へ委譲する（DELEGATION.md）。本観点は委譲先が扱わない 残余（証拠が足りているかの合成）のみを検出する。

The security-audit profile does not mechanically apply all six generic perspectives; use the four checks and false-positive guards in SECURITY-AUDIT-PROFILE.md.

観点 3〜5 は既存の運用・影響・検証系 skill の多くが applyTo: docs/**（upstream 設計文書向け）で、コードのみの diff では空振りする。本観点はその空白を「証拠の有無」の meta として拾う（設計 §1 の Partial / Gap）。

追加類型（#1517 由来）

「AIコードレビューの「見逃し」を3か月ログしたら、5つの盲点タイプに全部収まった」（井本 賢 / 2026-07-06）が報告した5盲点タイプのうち、境界条件・契約違反・意味的矛盾は既存の registry skill でカバー済み（対応先は DELEGATION.md の「追加 Unknown 種別」節を参照）。**状態遷移（不正な遷移）・副作用（隠れた副作用）**の2類型は専用 defect 検出 skill が未整備のため、DELEGATION.md「追加 Unknown 種別（#1517 由来）」節に暫定的な evidence-sufficiency の meta 問いとして記録する。中期の軽量 detector 化は issue #1517 を参照。