tâm trí: nổ tung claude + foundry fuzzing rất (, rất) tốt, nhưng claude + foundry invariant testing thì OP!!! cùng một invariant như trong QT, nhưng lần này được phát hiện thông qua các bài kiểm tra invariant - không phải fuzzing có mục tiêu (tất nhiên là bị oneshotted bởi claude) thay vì cố gắng đoán cách mà invariant bị phá vỡ, claude đã viết một trình xử lý tổng quát bao bọc tất cả các hàm thay đổi trạng thái mà người dùng thấy và để cho fuzzer làm việc của nó thêm một invariant khác là điều đơn giản, chỉ cần viết invariant đó - không cần logic tái tạo mới có vẻ như là một bước nâng cấp chức năng trong cách các giao thức được kiểm tra cảm ơn rất nhiều đến huyền thoại @gndizzy và tất cả các gã khổng lồ đang xây dựng công nghệ không thể tin nổi này