心智:爆炸 claude + foundry 模糊測試非常(非常)好,但 claude + foundry 不變性測試是 OP!!! 與 QT 中的相同不變性,但這次是通過不變性測試發現的 - 而不是針對性的模糊測試(當然是被 claude 一次性解決) 與其試圖猜測不變性如何破壞,claude 寫了一個通用處理器,包裝所有面向用戶的狀態改變函數,讓模糊測試器隨意發揮 添加另一個不變性是微不足道的,只需編寫不變性本身 - 不需要新的重現邏輯 這似乎是測試協議的一次階段性升級 非常感謝傳奇的 @gndizzy 和所有建造這項不可思議技術的巨人們