Desain paling keras di sini adalah: Dusk mendefinisikan "konflik aturan" itu sendiri sebagai salah satu status kegagalan yang dapat dibuktikan. Banyak konflik aturan dalam sistem biasanya ditemukan pengguna setelah peluncuran, lalu diperbaiki secara darurat. Mekanisme Dusk memaksa Anda untuk mengungkapkan aturan secara cukup jelas sebelum transaksi terjadi. Jika aturan kabur, pembuktian tidak bisa dihasilkan, transaksi sama sekali tidak bisa masuk ke sistem. Dari sudut pandang lain, sistem menolak menerima aturan yang kabur; ia hanya mengakui kumpulan aturan yang dapat dibuktikan kebenarannya.
DUSK
0.0775
-5.48%