ويعتقد أولئك الذين يدافعون عن نظام قوي للتحقق في إطار معاهدة لوقف إنتاج المواد الانشطارية أن تدابير ضمانات الوكالة مثل اتفاق الضمانات الشاملة والبروتوكول الإضافي من شأنها أن تتيح أساساً جيداً لاعتبارات نظام مقبل للتحقق في إطار المعاهدة.