綠燈謬誤：代理驗證成功與真實安全後置條件的落差

論證

代理式工作流程不斷加入自動檢查：測試、lint、型別檢查、build、CI、secret scanner、code review、agent review、hash、manifest、任務後驗證。每一個都有用。謬誤出在「全部通過，所以系統安全」這一步：除非全域後置條件 G 被映射進它們的覆蓋範圍，否則它們的合取對 G 什麼也沒說；綠燈越多，增加的可能只是信心，而不是安全。

論文區分「驗證次數」與「驗證資訊增益」。讀同一個來源、共用同一個抽象、重用同一個生成測試 oracle 的檢查，彼此並不獨立：n 個 reviewer 可能等於一個共同盲點。它也區分 detector 的偽陰性，與「範圍偽 PASS」：detector 運作正確，卻被指向錯誤的表面。而 NOT MEASURED 是一個獨立的結果，永遠不是通過。

它的工程原則一行就寫得完：宣稱的保證，不應超過已展示的覆蓋。