FloatSoda: Skill for Claude Code

Phase 2 敵対的監査 — Codex /goal プロンプト生成

Phase 2 の各 PR は入口レビュー(CodeRabbit + PR 単位のレビュー)を通過済み。このスキルはフェーズ末に 1 回、 PR をまたぐ問題を Codex に監査させるための /goal プロンプトを攻撃軸ごとに生成する。

敵対性はプロンプトの口調ではなく受理条件で定義する:

finding は、契約違反を再現する失敗テスト(red test)を添えたものだけ受理する。

これは REVIEW.md 2章の concrete failure mode 基準の機械化であり、「敵対的に」とだけ指示された LLM が hypothetical な指摘を量産する問題への対策でもある。書いてみたら通ってしまったテスト(反証)にも 価値があるので、白判定として報告に残させる。

レビュー層の中での位置づけ

層の分担の正典は REVIEW.md 9章。この監査が報告してはいけないもの:

• 重要度 7〜8(style / maintainability / 具体的影響のない performance)— 入口レビュー(CodeRabbit)の領分
• SteamVR 実行時にしか観測できない挙動 — floatsoda-device-test の領分
• docs の分かりにくさ・API の発見性 — floatsoda-junior-coder-test の領分
• .agents/skills/floatsoda-device-test/references/known-divergences.md で Label: deliberate とされ、 かつ差異を固定する Test が設定済みのエントリ(それ以外 — unlabelled / port mistake、および Test: — (not set) のままの deliberate — は、除外どころか parity 軸の検証候補になる)

手順

1. 前提確認

FloatSoda リポジトリで以下を確認する(独立なコマンドは並列で実行してよい):

cd "$USERPROFILE/projects/libs/FloatSoda"
git fetch --all --quiet
git rev-parse --short origin/main
gh issue view 178 --json body -q .body   # Phase 2 チェックリスト → 監査対象インベントリ
gh pr list --state open                  # マージ漏れの Draft PR が残っていないか

• 監査対象インベントリは #178 のチェックリストのマージ済み項目から作る。未マージの Draft PR が残っている場合は、 その旨をオーナーに報告し、監査を今始めるか PR のマージを待つかを確認する。
• (任意)入口レビューの残渣回収: #178 の各 Issue に紐づくマージ済み PR を辿り、 gh api "repos/{owner}/{repo}/pulls/<番号>/comments" から coderabbitai[bot] の未対応指摘を抽出する。 「疑われたが検証されていない仮説」の在庫として、該当する軸のプロンプトの「検証候補」に添付する。 やるかどうかはオーナーに確認する。

2. 攻撃軸の分割

軸ごとに独立した Codex セッションを走らせる(コンテキストを集中させ、後半の監査が雑になるのを防ぐ)。 確認項目をこのスキルに複製しない — REVIEW.md が正典で、Codex に直接読ませる。

軸	slug	確認項目の正典
Flutter parity	parity	REVIEW.md 6章 + docs/APIDesign.md「判断原則」
ツリーライフサイクル	lifecycle	REVIEW.md 4章「ツリーの所有権とライフサイクル」
差分更新	incremental	REVIEW.md 4章「差分更新」
Layer / スレッド	layer	REVIEW.md 4章「Layer」

ブランチは軸ごとに test/phase2-adversarial-<slug>。新規テストファイルのみ追加させるため、 軸を並行で走らせてもファイル競合しない。並行本数はオーナー判断。