| name | review-pr |
| description | 実装完了後の最終スナップショットを対象に、GitHub PR番号を受け取り、Issue・変更責務を確認し、対応する敵対レビューSKILLへ委譲して内容レビューを統合し、監査コメントを投稿する。CI確認とマージ実行は呼び出し側の責務。"$review-pr PR-number"、最終PRレビュー、内容のマージ可否判定で使う。 |
Review PR
GitHub PR の内容レビューゲート。紐づく Issue の受け入れ要件の照合は本体で
行い、内容レビューは分野別の敵対レビュー SKILL へ渡す。
CI 状態の確認とマージの実行はこのゲートの責務に含めない。マージ実行側
(prd-loop または人間)が gh pr checks で別途確認する。判定 Mergeable は
内容合格を意味し、CI green を含意しない。内容レビューは CI の完走を
待たずに開始してよい。
必須契約
.codex/skills/_shared/review-protocol.md と
.codex/skills/_shared/refutation-checklist.md を読み、委譲結果の資格、
fail-closed、反証試行、証拠資格、統合出力を適用する。
基本方針
- 実装者の自己申告を証拠から除外する。 PR 本文の「証明した定理」
リスト、「セルフレビュー実施済み」チェック、台帳・checklist の記載は
監査対象であって証拠ではない。claim mapping はレビュー側で独立に
再構築し、PR 本文の申告(conjunct 対応表を含む)と突合する。
- PR ブランチの checkout が必要な場合は一時 worktree
(
/tmp/aat-review-pr-<PR>)を使う。
- 処置種別の降格を含む PR は、PRD の降格許容リストと照合する。許可外の
降格は
Needs changes とし、ユーザー判断事項として報告する(PRD が正)。
- 分野別レビューが未実行、実行不能、または資格条件を満たさない場合、
本体が内容レビューを肩代わりして
No major findings / Mergeable を
合成してはならない。結果は Blocked / cannot determine とする。
手順
-
作業ツリーと PR メタデータを確認する。
git status --short --branchgh pr view <PR> --json number,title,state,isDraft,author,baseRefName,headRefName,headRefOid,mergeStateStatus,reviewDecision,body,url,files,commits,labels,closingIssuesReferencesgh pr diff <PR> --name-only
-
紐づく Issue を読む。
closingIssuesReferences と PR 本文の Closes #N を確認する。- 明示的な Issue がなければ「紐づく Issue 不明」としてレビュー上の
リスクにする。
- Issue の
受け入れ要件、タスク型宣言、source of truth ポインタ
(PRD 節番号・本文ラベル・移植元 theorem 名)を抜き出す。
現行フォーム導入前のIssueでは完了条件を同じ契約として読む。
[doc] title prefixはタスク型docsの宣言として扱う。
タスク型が「移植」の PR では、移植元 theorem 名を委譲先に渡す。
-
分野判定と委譲(このゲートの中心)。
changed files から分野を判定し、対応する分野別レビュー SKILL を実行する。
分野判定はファイルパスの集合では
なく責務で行う(各分野は自分の claim に隣接する docs を所有する):
| 分野 | 対象 | 委譲先 |
|---|
| AAT / Lean / 数学claim | Formal/、数学本文、研究GOAL、一次仕様、数学claim、および Lean 実装変更に伴う docs/aat/ 台帳整合 | $math-lean-review |
| Tooling | tools/、docs/tool/、schema catalog | $tool-review |
| Website | website/、docs/website/ | $website-review |
| Docs / governance | docs-onlyのdocs/aat/台帳、docs/sft/、非数学的なdocs/note/、PRD、README、AGENTS.md、docs/workflow/、.codex/skills/、文章主体のIssue / PR template、cross-domain docs | $docs-review(レビューモード) |
- Lean 実装(
Formal/)を触る PR は、差分の大きさを問わず(1行でも)
$math-lean-review の正式判定を必須とする。 $math-lean-review
が合格を返さない限り Mergeable を出せない。
- Lean 実装+
docs/aat/ 台帳更新の PR は math-lean-review のみで
足りる(statement と台帳の一致は一体で監査する)。
- Lean 実装を含まない
docs/aat/ 台帳更新だけの PR は docs-only として
$docs-review に渡す。
- 数学本文、研究GOAL、一次仕様、数学claimを変更するPRは、Lean差分の
有無にかかわらず
$math-lean-review に渡す。
- 真の分野横断(例: Lean + SFT 本文)は該当する複数分野で実行する。
- 既知分野へ分類できないprose / governance差分は
$docs-reviewへ渡す。
- 委譲結果の資格と起動不能時の処理は共有契約を適用する。
-
本体で照合する(委譲と並行してよい)。
- Issue 受け入れ要件と diff の照合(条件文言と実体の対応)。
- checklist §6 の横断機械 scan(hidden/bidi、privacy / local-path、
git diff --check)。
- 必要なら変更範囲に応じた focused check / targeted build / cargo test を実行する
(Lean build の hard rule は
docs/aat/guideline.md「Lean build 運用」)。
-
統合判定する。
- 委譲先判定の写像(合格の定義):
math-lean-review: 合格 = No major findings、または
Minor issues かつ全 finding が中心 claim に触れない場合
(その finding は監査コメントに残し、対応要否を明記する)。
Major revisions / Reject / Blocked は不合格。tool-review / website-review / docs-review:
合格 = No major findings のみ。Needs changes / Blocked は不合格。- いずれの分野も、初回正式レビューがfindingを出した場合は、全findingの解消と
共有契約に従う有資格な修正後確認(直接対応)が監査記録に揃った状態を
合格と同等に扱う。資格喪失時は、該当分野の正式レビュー再実行の結果だけを
合格判定に使う。
- Mergeable: 委譲した全分野レビューが上記の意味で合格
(Lean 系は math-lean-review の合格を含む)、Issue受け入れ要件を満たし、
必要なローカル検証が通り、重大な未対応がない。CI 状態は判定対象外
(マージ実行側が確認する)。
- Needs changes: 委譲先の不合格、受け入れ要件未達、テスト不足、
docs drift がある。
- Blocked / cannot determine: PR head を取得できない、
紐づく Issue 不明、サブエージェント起動不能、分野別レビュー未実施、
必要な検証が実行できない。CI 未完了はこれに含めない。
- Needs changes 後の修正確認: 修正後の確認は共有契約の
「レビューバッチと修正後確認」に従う(直接対応の資格条件と確認subagentの
検査義務は同節が正本)。有資格な直接対応は、finding限定の単一subagent確認と
既存監査コメントへの追記で再判定し、分野別レビュー SKILL の全観点を
再委譲しない。資格喪失時は最終スナップショットを固定し直し、資格喪失が
生じた分野に限って手順3の委譲を再実行する(findingが出ておらず修正も
及んでいない分野の合格結果は維持する)。
-
監査コメントを PR に投稿する(マージ前提条件)。
マージ手順に進む前に、次を含むレビュー監査コメントを PR へ投稿する。
投稿が存在しない PR はマージ手順に進めない。
- 統合判定
- 分野別レビューの結論、finding、反証試行、coverage limits。
これらを取得できない分野はレビュー未完了として扱い、
Mergeable
として統合しない。
- 共有契約を満たす反証試行記録
- Issue 受け入れ要件の照合結果(満たした / 未達)
- 実行した検証(コマンドと結果)、coverage / 残リスク
共有契約の資格条件を満たさない監査コメントは、後続のフル
レビューで「レビュー未実施」として扱われる。
投稿は
gh pr comment <PR> --body-file <監査コメント本文> などで行い、
投稿 URL または投稿成功をユーザー報告に含める。コメント投稿に失敗した
場合は、レビュー判定自体が良好でも Blocked / cannot determine とし、
Mergeable として扱わない。
報告形式
ユーザーへの報告は共有契約の構成で出し、監査コメントのURLを添える。
