Files
docs/development/verification.md
T

4.8 KiB

Что подтверждают проверки системы

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

Интерфейс

Локальный gate frontend охватывает типы, статический анализ, автоматические сценарии, зависимости и сборки приложения и UI-каталога. Он выполняется без запущенного backend. Покрытие ограничивает регрессии, но не доказывает правильность финансового расчёта, доступность и полный пользовательский сценарий.

Каталог показывает существующие визуальные решения на вымышленных данных. Широкий и узкий экран, клавиатурная навигация, восстановление после ошибок и соответствие задаче проверяются в интерфейсе отдельно от сборки. Изолированная тестовая среда не воспроизводит все свойства браузера и живой интеграции.

API и хранение данных

Локальный gate backend объединяет статический анализ, типы приложения и тестов, автоматические сценарии и сборку. Он не исправляет исходные файлы; автоматическое форматирование выполняется отдельно и не является доказательством. Диагностика покрытия доступна без общего числового порога.

Равенство OpenAPI подтверждает согласованность публичного описания с клиентом. Валидация, cookie, авторизация счёта, статусы и ошибки требуют полного HTTP-потока; целостность и конкурентные изменения данных — проверки с изолированной реальной базой. Подставной ответ базы не доказывает её транзакционные свойства. Направление генерации и границы сравнения — в проверке OpenAPI.

Известное ограничение сквозной проверки

В сохранённой проверке Prisma 7.9.1 под Node 22 применение миграций к новой SQLite-базе завершалось Schema engine error до запуска сквозных тестов. Это ограничение зафиксировано в WL-P2-05. Предыдущее описание локальной проверки от 12 сентября 2026 года также отмечало ошибку на временной базе без обращения к пользовательской базе.

Успех unit-проверок и OpenAPI не закрывает эту границу. Принятое условие пересмотра — стабильная версия Prisma с тремя последовательными успешными применениями миграций на новых базах под Node 22. Условия безопасного локального запуска и сохранения данных — в локальном окружении.

Где выполнять проверки

Команды и конкретные тестовые правила поддерживаются в локальных инструкциях frontend и backend. Проверки этой документации — в CONTRIBUTING. Отчёт различает пройденную границу, оставшееся ограничение и проверяемое состояние; успех одного gate не распространяется автоматически на весь workspace.