緑のテストが何も保証していないとき —— 受け入れ前にわざと壊す4つの型

AIが実装とテストの両方を担当する際の構造的な弱点を指摘。テストが全件通過しても、AIが意図的に壊した処理を見逃す可能性があるため、人間による検証の必要性を説く。

• AIが生成したテストが全て緑（パス）でも、実際には実装に問題が潜んでいる場合がある。
• AIが実装しAIがテストするループでは、「壊れていない」ことの証明が難しく、テストは「試した」ことの証明に過ぎない。
• 「わざと壊してテストが鳴るか」を確認するミューテーションテストの考え方を応用し、4つの「壊し方」の型を提案している。
• 4つの型は、「ガード自身を壊す」「現実が流れていく向きへ壊す」「束ねたアサーションの片方を孤立させる」「一度も踏まれていない分岐を探す」。
• 「壊したら落ちる」だけでなく「直したら鳴り止む」「複数の条件のうち特定のものだけが原因である」ことを確認する、より厳密な検証が必要である。