verification-gated

検証を通ったときだけ先へ進める

1本の論文題名に登場

定義

検証を通過した出力だけを次の段階へ進める設計を指す。生成したコードや推論の途中結果をテスト・型検査・形式検証などにかけ、落ちたものは採用せずやり直させることで、誤りが下流へ伝播するのを止める。生成後に人が見直す事後レビューと違い、関門が機械化されパイプラインの一部として無条件に強制される点が特徴。

検証を関門にする設計