Порядок доказательства: критерии → проверки → команды → след
Порядок доказательства в WitnessDone: от утверждения до следа в evidence
Доказательство — это не один большой тест в конце. Это цепочка, где каждое звено можно проверить отдельно.
Вот как она идёт в WitnessDone, словами.
0. До кода — утверждения и вход. Выписаны пронумерованные утверждения приёмки, проверено, что зависимости уже приняты и задача ссылается на существующие контракты.
1. Код и по тесту на каждое утверждение. Не «тесты в целом», а одна фраза — один тест. Иначе в акте нельзя честно перечислить, что проверено.
2. Дешёвые проверки первыми. Линтер → типы → тесты. Тот же порядок в CI, чтобы локальный и удалённый результат не расходились.
3. Программа приёмки. Инструмент (у нас pf-verify) сам запускает команды, сверяет утверждения, зависимости и список файлов — и пишет акт. Акт не составляется руками.
4. Чтение акта человеком. Программа видит форму, а не смысл. Об этом — следующий пост.
5. Решение: принято или вернуть. И стоп. Следующая задача опирается на контракты этой.
6. Проверка среза. Закрыт узел — короткий сквозной сценарий по нему.
7. Деньги и квоты — человек. Единственный класс, где автоматика признана недостаточной.
8. Перед релизом — всё вместе на стенде.
9. Аудит системы доказательств. У всех задач есть акты, у всех утверждений — тесты, у рисков — владельцы.
Гейты
Проверка стоит в нескольких точках: качество самого задания, после реализации (pre_ci), изменение, перед релизом, продуктовые сценарии. Ошибка ловится там, где возникла.
Уровни строгости L0–L3
Уровень — свойство задачи, а не самооценка. Он задаёт, насколько строгий чек-лист применяется.
Цена бездействия
Без порядка «готово» решается вкусом. С порядком — набором проверок, зафиксированным заранее.
Следующий пост — про акт. И про то, почему акт — это не приёмка.
Читайте серию на arhellist.ru.
