Проверки и тесты

← К концепции

Проверяем наблюдаемые гарантии

вход → поведение → результат

Перед изменением поведения находим существующие тесты. Обновляем контракт и добавляем действительно новые сценарии. Не удаляем тесты потому, что они мешают рефакторингу, и не повторяем реализацию в проверках.

Проверяем доменные ошибки, границы доступа, конфликты ревизий и видимое восстановление. Моки API остаются близки реальному контракту; доменные builders делают сценарий понятным.

Запускаем нужные проверки типов, линтер, тесты, сборку и runtime-проверки. В итоговом diff ищем постороннее форматирование, изменения публичного API и утечки ответственности. Явно сообщаем о недоступных проверках: успешная сборка сама по себе не доказывает корректность поведения.