正確性フィードバックが検証証拠を抑制、フェーズ分離監査で改善か
アダシュ・アグラワル (Adarsh Agrawal) 氏（独立研究者）は2026年10月15日(現地時間)、プログラムの正確性フィードバックが、仕様の完全性監査（specification-completeness auditing）が発見すべき証拠を抑制するという研究結果をarXivで発表した。同氏は、この客観的な逆転現象を12のVerus/Rustタスクで実証し、フィードバックなしのアプローチが認定された証拠の発見率を大幅に向上させる可能性を示した。