pikiran: tertiup claude + pengecoran fuzzing sangat (, sangat) bagus, tetapi pengujian invarian claude + pengecoran adalah OP!! invarian yang sama seperti di QT, tetapi kali ini ditemukan melalui tes invarian - bukan fuzzing yang ditargetkan (ofc oneshotted oleh claude) Alih-alih mencoba menebak bagaimana invarian rusak, Claude menulis penangan generik yang membungkus semua fungsi yang menghadap pengguna dan mengubah status dan membiarkan fuzzer melakukan tugasnya menambahkan invarian lain itu sepele, tulis saja invarian itu sendiri - tidak perlu logika repro baru sepertinya peningkatan fungsi langkah dalam cara protokol diuji Terima kasih banyak kepada @gndizzy legendaris dan semua raksasa yang membangun teknologi luar biasa ini