別相信 AI 程式碼助理的「完成」：檢查後置條件，而非退出代碼

高品質實作心得：深刻指出代理程式的完成回報不可信，必須檢查實際後置條件（postcondition），具高實戰價值。

• 當 AI 程式碼助理 回報任務完成、測試呈現綠燈且回傳代碼為 0 時，這只是一種「說詞」而非實際結果。 • 所有自我回報的證據（如工具呼叫成功、綠燈測試）都無法真正確認副作用是否發生。 • 檢查後置條件 是唯一可靠的做法，必須在執行步驟後直接讀取真實世界狀態（例如檢查硬碟檔案或端點回應）。 • > 停止信任回傳值，應對確切的程式碼樹進行雜湊（hash），確保驗證時的狀態一致。 • 必須將「無法驗證」獨立為一個狀態，防止發生錯誤或逾時的執行結果被誤判為綠燈通過。 • 需提防 200-with-no-effect 陷阱：呼叫成功卻未改變任何東西，且不會引發例外，導致重試機制白白浪費 Token。 • 開發者應思考並確立有效的後置條件檢查機制，如斷言鍵值或回讀查詢。