Mulakan dengan kegagalan yang dapat diperhatikan, kemudian ikuti kaedah, bukti dan sempadan skop yang bersesuaian.
Arah aktif
Penjanaan pendam diskret
Perwakilan diskret untuk penjanaan semula kod secara terpilih, berserta pilihan berpandukan bukti antara penjanaan terkekang, pemfaktoran semula berbantu AI dan penyuntingan kod yang boleh diramal.
Kaedah mengikut peringkat untuk menentukan sama ada kualiti ternyahkod dibatasi oleh pembinaan semula, penjanaan pendam atau proksi yang tidak berpindah kepada teks akhir.