| name | test-verify |
| description | test-design の橋渡しと固定の工程。手法割り当て済みの T-ID 台帳を実装(coder の TDD / loop-engineering / formal-verification)へ渡し、実行ゲート(網羅逆引き・緑・flaky・mutation)で 完了を検証し、緑にしたテストを回帰として CI に固定する。 「テストの実装に渡して」「テストが全部書けたか確認して」「回帰に固定して」と言われたとき、 または test-design ルーターから最終工程として委譲されたときに使用する。 前提: test-catalog で全 T-ID に手法が割り当て済みであること。無ければ先に test-catalog (台帳自体が無ければ test-extract)へ戻る。通常は test-design ルーター経由で使う。
|
test-verify (実装への橋渡し・実行ゲート・回帰固定)
割り当てが済んだ台帳のトレーサビリティマトリクス(振る舞い→手法→テスト名)を満たすよう実装側へ渡し、
自己申告でなく実行ログで完了を検証し、回帰として固定する。
前提: 全 T-ID に手法割り当て済み。未了なら test-catalog へ、台帳が無ければ test-extract へ戻る。
1. 実装/検証へ橋渡しする
- 実装の駆動: テスト項目リストを
coder agent に渡し、t-wada スタイルの TDD(Red→Green→Refactor)で1項目ずつ消化する。台帳の T-ID リストがそのままテストリストになる。
- 設計に状態遷移、並行、順序があるとき: テストで全 interleaving は踏めない。
loop-engineering(TLA+)で設計をモデル検査し、反例を Gherkin の受け入れシナリオに落としてから、その述語をテストへ移す。
- critical なアルゴリズムやセキュリティ性質: 通常テストより強い保証が要るなら
formal-verification(Lean 4)で証明し、証明済み述語を property-based test(../generative-property/SKILL.md)の property として叩く。
- 複数 subagent への並列委譲は
../_shared/parallel-delegation.md の落とし穴に従う。
2. 実行ゲート(自己申告を信用しない)
実装が済んだら、テストを実際に走らせ、生ログを自分で確認するまで完了扱いにしない。「全テスト緑、型も問題なし」という agent の報告だけで閉じると、flaky や型エラーが残ったまま通過する(委譲先がそう報告して実際は赤だった実例がある)。次を確認し、実行コマンドと生出力(終了コード、緑赤の集計行)を応答に貼る。貼れないなら未完。
- 網羅(取りこぼし無し): 台帳の全
T-ID について、対応するテスト名が実在のテストファイル内に見つかることを grep で1行ずつ逆引きする。緑チェックはスイートの健全性を見るだけで、coder が一部 T-ID を実装し忘れても「全緑」になる。存在チェックは緑チェックと別物として必ず回す。
- 緑: 全テストが緑。型検査がクリーン。実行は修正範囲に絞る(
test-targeted スキルの絞り込み運用)。
- flaky: 性質ベースやメタモルフィック、並行を含むテストは seed を変えて複数回(最低でも数十回、または CI の連続成功)走っても落ちない。1回の緑では flaky は見えない。要因別の封じ込めは値の非決定性(
../flakiness-value/SKILL.md)と協調の非決定性(../flakiness-concurrency/SKILL.md)。
- 強さ(critical のみ): 金額、セキュリティ、状態遷移など critical な
T-ID は、緑に加えて mutation(../mutation-testing/SKILL.md)を回し、survived がアサーション不足として残っていないことを確認する。全部に回すのは過剰(YAGNI)。
台帳の T-ID は、貼ったログ中の該当テスト名の緑に対応して初めて閉じる。
3. 緑にしたテストを回帰として固定する(守られ続ける状態へ渡す)
実行ゲートを通った緑は、その場限りでは守られ続けない。次の変更で黙って赤化しないよう継続実行に載せて初めて「テストが守られる」状態になる。
完了前の必須ゲート(コンプライアンスレビュー)
完了扱いにする前に、必ず hymme:test-design-reviewer サブエージェントへ渡して外側から検査させる。
渡すもの: T-ID 台帳のパス、テストファイルと実行ログの場所。
レビュアーが挙げた違反(手法名のみで reference 未開封、T-ID とテストの存在不一致、実行ログ無しの「緑」報告、理由なしの優先度落とし)を解消してから完了とする。「緑と報告された」を証跡の代わりにしない。
やらないこと
