Peta jalan SIGN menargetkan kontrol verifikasi, bukan fitur; keberhasilan tergantung pada menjadi lapisan bersama di mana sistem sepakat tentang bukti, bukan hanya membangun alat