レビューアが仮説的な退行（例: analyzer がトークン0件になり値の有無判定が反転する）を指摘したとき、防御的に先回りで実装を修正するのではなく、まず現行の本番実装のまま、その懸念を固定する統合テストを書いて実挙動を確定する。懸念どおり壊れれば最小修正、壊れなければ実証棄却として修正不要と結論できる。

利点: 想像上のバグへの投機的パッチ（複雑化・新たな退行源）を避けられ、契約が実測で固定される。レビュー往復の結論が「たぶん大丈夫」ではなく「テストで棄却済み」になる。

検証の厚み: 件数だけでなく識別子（レコードID）集合の包含・除外まで assert すると、反転や取り違えを確実に捕らえる。

適用条件: 実挙動が外部システム（検索エンジン・DB）依存で、机上推論では白黒つかない指摘に有効。純粋関数の指摘なら入出力比較で足りる。