Files
slm-design/DRAFT/level-2/validation.md

5.1 KiB
Raw Blame History

Проверка Level 2

Граница автоматической проверки, архитектурного ревью и тестирования Level 2.

Конфигурация проекта

Конфигурация проверки сопоставляет физические пути с доменными пакетами, metadata, SLM-модулями, Groups, публичными точками входа, метками сред выполнения и allowlist внешних пакетов, объявленных business-safe. Она отдельно распознаёт navigation Groups слоя domains и Groups внутри пакета.

Формат такой конфигурации пока не выбран. Независимо от формата проверка должна анализировать import-граф и объявленные границы, а не угадывать сущность только по имени папки.

Автоматическая проверка

Автоматическая проверка должна блокировать:

  • исполняемый файл, root index.ts, состояние или реэкспорт в корне доменного пакета;
  • отсутствие business или несколько модулей business в одном пакете;
  • deep imports во внутренние части модулей;
  • runtime- или type-only достижимость framework-, adapter-, preset-, infra- или environment-specific кода из business;
  • runtime-импорт любого экспорта другого доменного пакета;
  • type-only импорт не из публичной точки входа business другого доменного пакета;
  • импорт framework state, hooks, contexts или components другого домена;
  • достижимость server-only кода из client-entry point и обратное несовместимое направление;
  • runtime- или type-only циклы в графе модулей.

Архитектурное ревью

На ревью определяется:

  • представляет ли пакет одну связную предметную область;
  • является ли DomainApi единственным runtime-источником доменных данных и результатов для приложения;
  • принадлежат ли коды, тип и guard доменных ошибок модулю business;
  • преобразует ли business ожидаемые технические и cross-domain сбои в собственные ошибки;
  • представляет ли каждый preset один реальный контекст выполнения и сохраняет ли контракт фабрики;
  • принадлежит ли каждый framework binding module домену, а не странице или multi-domain сценарию;
  • соответствует ли каждый объявленный business-safe внешний пакет ограничениям детерминированной библиотеки без runtime capability;
  • остаются ли Framework Groups и другие Groups без реализации и агрегирующего API.

Тестирование

Business-сценарии проверяются через фабрику с управляемыми зависимостями. Preset проверяет выбор реализаций и границу среды. Framework binding module проверяет собственный Provider, hook или component без повторения всего набора business-сценариев.

Import-graph checks не заменяются runtime-тестами.

Миграционное состояние

Наличие доменных модулей Level 1 рядом с пакетами Level 2 допускается только как незавершённая миграция. Проверка полного соответствия Level 2 завершается ошибкой, пока в выбранном SLM root остаются простые доменные модули. Во время перехода отдельно проверяется отсутствие runtime- и type-only импортов между двумя формами.

Связанные правила

Скрипт draft-rules.js проверяет целостность реестров и ссылок документации, но не архитектуру приложения.