@rt-tools/agent-kit 0.1.0 → 0.3.0

package/assets/patterns/styling-bem-component.md

@@ -0,0 +1,77 @@
+---
+name: styling-bem-component
+kind: pattern
+rule: styling-bem
+description: Паттерн правила styling-bem. Брать при правке стилей компонента источника вида — готовый хост, модификаторы, значения только токенами, перебивание умолчаний источника вида. Не брать для раскладки экрана — это паттерн styling-bem-layout.
+---
+
+# Стили компонента
+
+Паттерн правила `styling-bem`. Что при этом должно быть верно — закон
+`{{lawsDir}}/frontend-application.md`.
+
+## Когда брать
+
+- Правится компонент источника вида.
+- Правится оформление отдельного компонента.
+- Нужно перебить умолчание источника вида в своём компоненте.
+
+## Хост — сам блок
+
+Хост несёт класс блока, раскладка на хосте, элементы вложены внутрь:
+
+```scss
+:host {
+    display: inline-flex;
+
+    .<блок > {
+        display: inline-flex;
+        gap: var(--<токен отступа>);
+        align-items: center;
+
+        &--<модификатор > {
+            border-radius: var(--<токен скругления>);
+        }
+    }
+}
+```
+
+Модификатор — вложенным селектором или привязкой класса на хосте. У экрана вне источника вида
+такого раздела нет: раскладка на хосте — это общий слой приложения, а не файл экрана.
+
+## Значения — только токенами
+
+```scss
+✗ color: #fff;
+✗ box-shadow: 0 1px 2px rgb(0 0 0 / 12%);
+✓ color: var(--<токен цвета поверхности>);
+✓ box-shadow: var(--<токен тени>);
+```
+
+Составное значение берётся готовым токеном целиком, а не собирается из частей. Переменные
+препроцессора для значений оформления не используются вовсе: они разрешаются на сборке и темой
+не переключаются.
+
+## Перебить умолчание источника вида
+
+Стили компонента без инкапсуляции весят столько же, сколько умолчания источника вида: у обоих
+селекторов по одному классу, и исход решает порядок подключения. Переопределение пишется
+потомком блока — так вес растёт на единицу, и порядок перестаёт что-либо решать:
+
+```scss
+& &__item {
+    color: var(--<токен приглушённого текста>);
+}
+```
+
+## Частые промахи
+
+- **Комментарий-выключатель линтера стилей:** селекторы объединяются вложенностью, а не
+  отключением правила.
+- **Приоритетное объявление:** запрещено, и оформление, заданное на месте, перебить им всё
+  равно не выйдет.
+- **Новые объявления при переносе стилей:** переносится существующее, новое появляется, только
+  когда задача — фича.
+- **Замечание линтера, лежавшее в файле раньше, оставлено:** правятся все, и новые, и старые.
+- **Своё наследование гарнитуры в компоненте:** оно включено глобально, и местное объявление
+  только расходится с ним.

package/assets/patterns/styling-bem-layout.md

@@ -0,0 +1,67 @@
+---
+name: styling-bem-layout
+kind: pattern
+rule: styling-bem
+description: Паттерн правила styling-bem. Брать при сборке экрана раздела, формы, панели или окна — блоки общего слоя, разметка директивами блока и элемента, свой элемент в чужом поддереве, признак того, что правка идёт не туда. Не брать для стилей компонента источника вида — это паттерн styling-bem-component.
+---
+
+# Экран на общем слое раскладки
+
+Паттерн правила `styling-bem`. Что при этом должно быть верно — закон
+`{{lawsDir}}/frontend-application.md`.
+
+## Когда брать
+
+- Собирается экран раздела, форма, содержимое панели или модального окна.
+- В файле стилей экрана появляется раскладка.
+
+## Файл стилей экрана по умолчанию пустой
+
+Раскладка объявлена один раз в общем слое приложения, а экран её только применяет. Блоков этого
+слоя немного, и каждый отвечает за свой род экрана: экран раздела с заголовком и прокруткой,
+форма с разделами и строками полей, содержимое панели правки, содержимое модального окна.
+
+Блок вешается на хост, элементы получают классы от директивы блока в корне шаблона:
+
+```
+host: { class: '<блок экрана>' },
+```
+
+```html
+<ng-container rtBlock="<блок экрана>">
+    <header rtElem="header">
+        <div rtElem="header-main">
+            <h1 rtElem="title">{{ '<ключ заголовка>' | <перевод> }}</h1>
+        </div>
+    </header>
+</ng-container>
+```
+
+Директива блока на контейнере без своего узла класса не ставит — узел это комментарий. Второго
+носителя класса блока не нужно, и своей обёртки тоже.
+
+## Свой элемент в чужом поддереве
+
+Пара директив на одном элементе; класс блока при этом не ставится, только класс элемента:
+
+```html
+<div rtBlock="<свой блок>" rtElem="confirm"></div>
+```
+
+Класс получается составной, а потомки внутри считаются от того же блока.
+
+## Своё в файле экрана
+
+Остаётся только то, что принадлежит одному этому экрану и в общий слой не просится, — сетка
+календаря, карта на странице записи, лента переписки. Рядом пишется, почему это не общее.
+
+## Частые промахи
+
+- **Раскладка на хосте в файле экрана.** Одинаковые с виду экраны от неё расходятся: заголовок
+  страницы, объявленный в каждом экране заново, живёт тремя разными кеглями.
+- **Директива элемента без предка, объявившего блок:** отрисовка падает во время работы, сборка
+  и линтер молчат.
+- **Класс, у которого правило сняли, а директива в шаблоне осталась:** ловит проверка «класс
+  без правила».
+- **Элемент чужого блока в чужом поддереве:** имя блока приходит от предка, и подмешать его
+  нечем.

package/assets/patterns/testing-e2e.md

@@ -0,0 +1,90 @@
+---
+name: testing-e2e
+kind: pattern
+rule: testing
+description: Паттерн правила testing. Брать при правке и прогоне сквозных спек — что вообще закрывается сквозной спекой, прогон одним рабочим, стенд из прод-сборки под настоящим прокси, выключатели разрушающих спек. Не брать для юнитов — это паттерн testing-unit.
+---
+
+# Сквозные спеки
+
+Паттерн правила `testing`. Что при этом должно быть верно — закон
+`{{lawsDir}}/verifiability.md`.
+
+## Когда брать
+
+- Пишется или правится сквозная спека.
+- Надо воспроизвести дефект, который виден только на прод-конфигурации.
+- Готовится стенд под прогон против прокси.
+
+## Сквозной спекой закрывается накопленное состояние
+
+Случай для неё — тот, где состояние копится нажатиями: открытая панель, активный маршрут, страж
+прошлого экрана. Всё, что проверяется одним заходом по адресу, дешевле закрыть юнитом на чистой
+функции или замером экрана.
+
+Отсюда и способ: нажатия по тем же элементам, что нажимает владелец, несколько подряд, без
+перезагрузки между ними. Заход по прямому адресу поднимает приложение заново, накопленного
+состояния у него нет, и проход читается как «дефект не подтверждается».
+
+Элементы находятся по якорям спек: классы меняются вместе с вёрсткой, а поиск по роли и тексту
+ломается на переводах.
+
+## Прогон
+
+По умолчанию конфиг идёт на порт разработки и подхватывает уже поднятый сервер. С заданным
+адресом стенда свой сервер не стартует вовсе.
+
+Полный набор спек с настоящей сессией гоняется **одним рабочим**: такие тесты правят одни и те
+же записи живого хранилища и в параллельном прогоне мешают друг другу. Одни и те же файлы дают
+падения на многих рабочих и ноль на одном.
+
+## Стенд из прод-сборки под настоящим прокси
+
+Дешевле полного состава прода: один контейнер прокси с боевым конфигом, а приложения за ним —
+процессы на хосте.
+
+```bash
+<сборка всех приложений>
+<адрес хранилища> <порт> node <собранный сервер> &
+docker run -d --name <стенд> \
+  --add-host <имя апстрима>:host-gateway \
+  -p <внешний порт>:80 \
+  -v "$PWD/<конфиг прокси>:/etc/nginx/conf.d/default.conf:ro" \
+  -v "$PWD/<каталог сборки>:/usr/share/nginx/html:ro" \
+  <образ прокси>
+```
+
+Порты апстримов зашиты в конфиг именами — менять их нельзя, подстановка хоста заменяет только
+адрес.
+
+## Выключатели
+
+```
+const РАЗРЕШЕНО = окружение['<имя переменной>'] === '1';
+тест.пропустить(!РАЗРЕШЕНО, 'меняет живой адрес записи: включается переменной');
+```
+
+- Спека, необратимо меняющая данные стенда, по умолчанию пропускается и включается своей
+  переменной.
+- Проверки, которым нужен прокси, просыпаются вместе с адресом стенда. Голый сервер отдачи
+  страниц их не проходит, и падения выглядят регрессией.
+- Правило линтера, запрещающее выключенный тест, снимается в конфиге: выключатель здесь — приём,
+  а не забытый пропуск.
+
+## Частые промахи
+
+- **Порт приложения занимать осторожно:** стенд разработчика ходит по тому же имени через
+  подстановку хоста, и пока на нём висит чужой процесс, стенд отдаёт чужую сборку.
+- **Браузер обычно установлен один.** Ошибка «Executable doesn't exist» разобрана в правиле
+  `testing`: она же приходит после смены версии прогонщика.
+- **Спеки без учётных данных пропускаются молча** — прогон выглядит успешным, а проверено
+  меньше половины.
+- **Конфиг прокси монтируется каталогом, а не одиночным файлом:** редактор пересоздаёт файл, и
+  контейнеру остаётся обрезанная копия.
+- **Подменяется не только то, что запрашивает экран, но и то, что запрашивает шапка.** Общий
+  запрос идёт на каждом экране; без подмены на него отвечает настоящий сервер, поддельный вход
+  он отбивает, перехватчик сбрасывает сессию — и десятки тестов падают на пропавшей шапке, что
+  выглядит дефектом экрана.
+- **Каталог сборки, удалённый под смонтированным томом, оставляет контейнер с пустым корнем:**
+  стенд отвечает отказом на всё, и падают сразу все тесты. Контейнер после такого удаления
+  пересоздаётся.

package/assets/patterns/testing-unit.md

@@ -0,0 +1,93 @@
+---
+name: testing-unit
+kind: pattern
+rule: testing
+description: Паттерн правила testing. Брать при заведении или правке файла спеки рядом с исходником — раскладка блоков, сборщик фикстур, идентификатор сценария в заголовке, спека обработчика серверной стороны с рукописным двойником хранилища, разовый тест-доказательство. Не брать для сквозных спек — это паттерн testing-e2e.
+---
+
+# Спека на чистую функцию и на обработчик
+
+Паттерн правила `testing`. Что при этом должно быть верно — закон
+`{{lawsDir}}/verifiability.md`.
+
+## Когда брать
+
+- Заводится или правится файл спеки рядом с исходником.
+- Логику надо вынести из компонента или службы, чтобы её стало чем проверить.
+- Пишется спека на обработчик серверной стороны.
+
+## Импорты явные
+
+Даже когда прогонщик кладёт свои имена в глобальную область, список пишется: файл, читаемый
+без конфига, не должен зависеть от настройки, о которой в нём ни слова.
+
+## Один блок на функцию
+
+Имя блока совпадает с именем функции дословно; заголовки тестов — предложения настоящим
+временем, о поведении, а не об устройстве:
+
+```
+описание('applyDayClick', () => {
+    тест('SC-<ПРЕФИКС>-19 — нажатие по занятому дню ничего не меняет', () => {
+        ожидать(applyDayClick(day('2026-08-12'), selection)).равно(selection);
+    });
+});
+```
+
+Идентификатор сценария из спека домена стоит в начале заголовка, через тире. Краевые случаи —
+отдельные тесты в том же блоке, а не один тест с десятком проверок.
+
+## Фикстура собирается функцией с частичной подменой
+
+Не повторяющимся литералом: литерал, размноженный по файлу, при первой же новой обязательной
+колонке правится в каждом месте — и в одном обязательно забывается.
+
+```
+функция day(iso, подмена = {}) {
+    вернуть { iso, dayOfMonth: число(iso.срез(8)), busyNight: занято(iso), past: ложь, ...подмена };
+}
+```
+
+Общие константы лежат наверху файла, в области модуля.
+
+## Решение выносится в чистую функцию
+
+Логика уезжает в отдельный файл рядом и проверяется вызовом — без подъёма каркаса и без
+подмены зависимостей. Компонент и служба остаются обёрткой, у которой своего ветвления нет.
+
+## Обработчик зовётся напрямую
+
+Обработчик — метод класса; двойник хранилища пишется руками. Проверяются порядок действий,
+откат при отказе половины, идемпотентность повтора и то, что именно ушло в хранилище. Раскладку
+полей стерегут тесты слоя обращения к серверу, и здесь она не повторяется.
+
+## Разовый тест-доказательство
+
+Дефект, который иначе подтверждается только чтением кода, доказывается тестом, написанным на
+время разбора: он поднимает настоящий обработчик, подменяет его единственный выход наружу и
+считает походы.
+
+Число до правки и число после — единственная форма ответа, которую такая проверка даёт: «сто из
+ста» и «двадцать из ста» различимы, а «код выглядит правильным» — нет.
+
+Второй способ снять «до» — вернуть на место версию файла из точки расхождения ветки и прогнать
+тест ветки: падение теста и есть воспроизведение дефекта. Файл после этого восстанавливается
+копией, и восстановление проверяется прогоном того же теста, а не памятью.
+
+Двойники соседей не выдумываются: рабочий набор берётся из теста соседнего обработчика того же
+домена. Двойник, собранный по типу, падает не на утверждении, а на вызове метода, которого у
+него нет.
+
+**Такой файл не коммитится.** Он живёт до конца разбора и удаляется вместе с ним; проверка,
+которую стоит оставить, переписывается в обычную спеку с идентификатором сценария в заголовке.
+Признак временного файла — его заголовок не называет ни одного сценария.
+
+## Частые промахи
+
+- **Либа без своего конфига прогонщика проходит зелёной, не запустив ни одного файла.** Прежде
+  чем писать первый тест в либе, проверить, что конфиг рядом есть.
+- **Подмена модуля скрыла бы то, ради чего тест и заводится** — какой именно вызов ушёл в
+  хранилище и в каком порядке. Двойник пишется руками.
+- **Своих помощников для проверок не заводить** — утверждения пишутся прямо.
+- **Заголовок с несуществующим идентификатором сценария роняет проверку спеков**, а сами тесты
+  при этом остаются зелёными.

package/assets/patterns/translations-key.md

@@ -0,0 +1,51 @@
+---
+name: translations-key
+kind: pattern
+rule: translations
+description: Паттерн правила translations. Брать, когда в интерфейсе появляется видимый текст — куда положить ключ, как подставить его в разметку и в класс, чем дозаполнить остальные локали и чем проверить полноту. Не брать для перевода содержимого записи — его заполняет серверная сторона.
+---
+
+# Ключ перевода
+
+Паттерн правила `translations`. Что при этом должно быть верно — закон `{{lawsDir}}/locales.md`.
+
+## Когда брать
+
+- В интерфейсе появляется любой текст, который видит человек.
+- Правится подпись, пустое состояние, текст отказа, подпись кнопки подтверждения.
+
+## Куда кладётся ключ
+
+Словари разложены по разделам, и наборы ключей сверяются **внутри раздела**: общее для всех
+приложений, публичная часть, внутренняя часть, письма. Ключ заводится во всех локалях сразу —
+пустое значение считается пропуском, а не переводом.
+
+## Подстановка
+
+В разметке — преобразователем, в классе — реактивным значением:
+
+```html
+<h1 rtElem="title">{{ '<ключ заголовка>' | <перевод> }}</h1>
+<table [emptyMessage]="'<ключ пустого списка>' | <перевод>"></table>
+```
+
+```typescript
+protected readonly title: Signal<string> = translateSignal('<ключ заголовка>');
+```
+
+## Дозаполнить и проверить
+
+Дозаполнение недостающего делается командой, а полноту держит тест: он роняет прогон на
+недостающем или пустом ключе. Глазами это не проверяется — ключей тысячи.
+
+## Частые промахи
+
+- **Текст строкой прямо в шаблоне:** он уедет в интерфейс на одном языке во всех локалях.
+- **Ключ заведён только в паре локалей:** тест полноты падает, но замечают это уже в гейте
+  пуша.
+- **Пустая строка вместо перевода:** на экране она выглядит как задуманная — кнопка без
+  подписи, заголовок без текста.
+- **Ключ положен не в свой раздел:** наборы сверяются внутри раздела, и расхождение вылезет как
+  недостача в другом.
+- **Свой ключ успеха у панели правки записи:** текст успеха принадлежит самой операции и
+  заводится во всех локалях сразу.

package/assets/patterns/ts-procedure.md

@@ -0,0 +1,66 @@
+---
+name: ts-procedure
+kind: pattern
+rule: typescript-conventions
+description: Паттерн правила typescript-conventions. Брать при заведении или правке обработчика серверной стороны — класс с полем метода контракта и методом обработки, зависимости конструктором, имя файла и класса, почему форма именно такая. Не брать для объявления доступа — это паттерн permissions-procedure.
+---
+
+# Обработчик серверной стороны
+
+Паттерн правила `typescript-conventions`. Что при этом должно быть верно — закон
+`{{lawsDir}}/code-structure.md`.
+
+## Когда брать
+
+- Заводится новый обработчик серверной стороны.
+- Правится тело существующего.
+- Домен переезжает на вертикальную нарезку.
+
+## Один обработчик — один класс
+
+Файл рядом со своим доменом, класс с публичным полем метода контракта и публичным методом
+обработки. Зависимости приходят конструктором: на серверной стороне внедрение конструкторное, и
+функции внедрения фронта там нет.
+
+```typescript
+@Injectable()
+@ConnectProcedure()
+@RequiresPermission('<ресурс>:<действие>')
+export class PingProcedure implements IConnectProcedure<typeof HealthService.method.ping> {
+    readonly #health: HealthCheckService;
+
+    public readonly method: typeof HealthService.method.ping = HealthService.method.ping;
+
+    constructor(health: HealthCheckService) {
+        this.#health = health;
+    }
+
+    public async handle(): Promise<{ status: EHealthStatus }> {
+        return { status: (await this.#health.check()).status };
+    }
+}
+```
+
+Объявление доступа обязательно, и оно ровно одно — паттерн `permissions-procedure`.
+
+## Почему форма такая
+
+Прежняя — регистрация с телами в замыканиях внутри вызова роутера — делала обработчик
+недостижимым для спеки: наружу торчал только метод регистрации. А регистрация сервиса целиком
+заглушает каждый непереданный метод ответом «не реализовано», поэтому один сервис контракта не
+мог обслуживаться двумя доменами.
+
+Класс решает и то, и другое: метод обработки зовётся спекой напрямую, а реестр кладёт
+обработчики поштучно.
+
+## Частые промахи
+
+- **Третий суффикс имени файла:** прежние имена уходят вместе с последним переехавшим доменом,
+  и новых таких файлов не заводится.
+- **Функция внедрения фронта в классе обработчика:** зависимости идут конструктором.
+- **Тело в замыкании внутри регистрации:** спека до него не дотянется.
+- **Обработчик без объявления доступа:** приложение не поднимется.
+- **Приведение к типу в переводе моделей:** на серверной стороне оно запрещено так же, как во
+  фронтовом переводчике.
+- **Свой тип у результата группирующей выборки:** он условный, собирается из аргументов вызова
+  и с выписанным руками не сходится.

package/assets/rules/angular-patterns.md

@@ -0,0 +1,52 @@
+---
+name: angular-patterns
+kind: rule
+law: frontend-application
+description: Правило под закон «Фронтовое приложение». Брать при правке любого класса фронтового каркаса — компонента, стора, сервиса, директивы, преобразователя, стража, перехватчика. Реактивное состояние вместо ручного пересчёта, перерисовка по требованию, место подписки и её владелец. Не действует на серверной стороне. Готовый код — в паттерне angular-patterns-state. Чем это названо здесь — в implementation.md рядом.
+---
+
+# Реактивность экрана — каким приёмом
+
+Правило под закон `{{lawsDir}}/frontend-application.md`. Закон говорит, что должно быть верно;
+здесь — каким приёмом это держится. Чем названы реактивное значение, входы и выходы и как
+зовётся гашение подписки — `implementation.md` рядом. Раскладка файла компонента —
+`component-structure`, оформление — `styling-bem`, окружение браузера — `platform-access`, слой
+обращения к серверу — `api-layer`. Все пять под одним законом.
+
+Правило про фронт: на серверной стороне своя среда, и ничего из перечисленного к ней не
+относится.
+
+## Когда берётся
+
+Правка любого класса фронтового каркаса: компонента, стора, сервиса, директивы,
+преобразователя, стража, перехватчика.
+
+## Что здесь действует
+
+- **Подписка объявляется один раз, а не в методе действия.** Метод толкает значение в источник,
+  а долгоживущая подписка с переключением, отбрасыванием или очередью объявляется при создании
+  владельца.
+- **Подписка гасится вместе с владельцем.** Гашение ставится в тот же поток, где объявлена
+  подписка, — иначе поток переживает экран, на котором заведён.
+- **Источник действия носит суффикс в имени.** Иначе поток и значение в коде неотличимы, и
+  проталкивание уходит не туда.
+- **Списочный стор наследует общую основу.** Записи, страница, порядок, условия отбора, строка
+  поиска и настройка выборки уже там, и наследнику остаются несколько строк.
+
+## Паттерны
+
+- `angular-patterns-state` — реактивные значения, производные, состояние сервиса, подписка.
+
+## Ловушки
+
+- **Производное значение объявляется вычисляемым, а не эффектом.** Эффект, кладущий значение в
+  реактивное поле, — это ручной пересчёт, и он рано или поздно отстаёт от источника.
+- **Геттеров в компонентах нет.** Геттер пересчитывается на каждой перерисовке, и цена его не
+  видна ни в одном месте кода.
+- **Подписка на каждый вызов метода не даёт выбрать, что делать с предыдущим запросом.**
+  Быстрые нажатия дают гонку ответов, и побеждает тот, что вернулся последним, а не тот, что
+  нажали последним.
+- **Запрет подписки в методе идёт по имени, а не по типу.** Вызов с таким именем у чего угодно
+  считается подпиской, а взятие метода без вызова — нет.
+- **Инициализация разметки после первой отрисовки делается своим крючком, а не крючком
+  жизненного цикла представления.** Когда страницу отдаёт сервер, разметка появляется позже.

package/assets/rules/api-layer.md

@@ -0,0 +1,53 @@
+---
+name: api-layer
+kind: rule
+law: frontend-application
+description: Правило под закон «Фронтовое приложение». Брать при правке слоя обращения к серверу во фронтовом домене — пары «фасад и служба» и переводчиков моделей при ней. Один вход выборки у списка, общий конвертер страницы, поток вместо ожидания. Готовый код — в паттерне api-layer-pair. Чем это названо здесь — в implementation.md рядом.
+---
+
+# Обращение к серверу — каким приёмом
+
+Правило под закон `{{lawsDir}}/frontend-application.md`. Закон говорит, что должно быть верно;
+здесь — из чего сложен слой обращения к серверу. Как названы модели выборки, где лежат
+переводчики и чем зовётся общий конвертер — `implementation.md` рядом. Состояние —
+`angular-patterns`, файл компонента — `component-structure`, оформление — `styling-bem`,
+окружение браузера — `platform-access`. Все пять под одним законом.
+
+Правило про фронтовые семьи. На серверной стороне тем же словом называют выход к чужому
+сервису, и устроен он иначе.
+
+## Когда берётся
+
+Правка слоя обращения к серверу во фронтовом домене: фасада, службы, переводчиков моделей при
+них.
+
+## Что здесь действует
+
+- **Домен ходит за данными парой классов: фасад зовёт обработчика, служба переводит модели.**
+  Один класс на оба дела означал бы, что подмена источника тянет за собой перевод.
+- **Фасад знает только контракт, служба отдаёт только модель.** Тип из контракта до стора и
+  шаблона не доходит.
+- **У списка один вход — выборка.** Объект, к которому привязан список, род ленты, состояние
+  подписки — такие же условия отбора, и лежат они в её условиях, а не отдельными входами.
+- **Ответ списка ложится в общий конвертер целиком.** Контракт отдаёт страницу в той же форме,
+  что и модель, и промежуточного объекта в службе не остаётся.
+- **Поля порядка и отбора — перечисления домена, а не голая строка.** Голая строка означает,
+  что имя, по которому сервер не сортирует, компилируется и падает уже запросом.
+- **Пара отдаёт поток, а не ожидание.** Основа списочного стора работает потоками, и служба на
+  обещаниях в неё не ложится.
+
+## Паттерны
+
+- `api-layer-pair` — готовые фасад, служба и перевод выборки.
+
+## Ловушки
+
+- **Выборка в ответе — применённая, а не запрошенная.** Порядок по умолчанию и отброшенное
+  сервером условие экран иначе не увидит.
+- **Одна пара — одна сущность.** У связанных сущностей свои пары, даже когда их обработчики
+  лежат в одном сервисе контракта.
+- **Метод, которого у домена нет, не объявляется.** Список читают все, правят не все.
+- **Серверный поток событий — исключение из правила про поток.** Живой срез приходит
+  асинхронным итератором, и заворачивать его некуда.
+- **Своей копии общих переводчиков страницы, порядка и отбора домен не заводит.** Второй
+  экземпляр ловит проверка повторов — правило `shared-code`.

package/assets/rules/browser-verification.md

@@ -0,0 +1,69 @@
+---
+name: browser-verification
+kind: rule
+law: verifiability
+description: Правило под закон «Проверяемость». Брать при любой проверке через браузер и при запросах к поднятому приложению из командной строки. Чему на сервере разработки верить нельзя, чем измерять вместо взгляда, почему браузер водится одним драйвером. Готовый код — в паттернах browser-verification-stand и browser-verification-measure. Чем это названо здесь — в implementation.md рядом.
+---
+
+# Проверка работающего приложения — каким приёмом
+
+Правило под закон `{{lawsDir}}/verifiability.md`. Закон говорит, что считается подтверждением;
+здесь — каким приёмом приложение проверяется живьём. На каких портах оно поднято, каким
+драйвером водится браузер и где лежит конфиг прокси — `implementation.md` рядом. Тесты под тем
+же законом — правило `testing`.
+
+## Когда берётся
+
+Любая проверка через браузер, любой запрос к поднятому приложению из командной строки, любой
+вывод о вёрстке.
+
+## Что здесь действует
+
+- **Свой сервер разработки не поднимается.** Приложения уже подняты владельцем; второй
+  экземпляр слушает другой порт и отвечает другой сборкой, а расхождение читается как дефект
+  правки.
+- **Браузер водится одним драйвером на закреплённом профиле.** Остальные двери — второй
+  драйвер, открытие ссылки средствами системы, запуск бинарника — закреплённый профиль не
+  спрашивают вовсе и приходят в сеанс без входа.
+- **Выбор браузера протухает и требует повторного вызова.** Выбор, сделанный в начале сессии,
+  не держится: после паузы следующий вызов открывает вкладку в другом профиле молча.
+- **Профиль не выбирается из списка и не спрашивается у владельца.** Список отдаёт неустойчивые
+  имена, которые не опознают ничего, а выбор из него ведёт на профиль без входа.
+- **Прод-конфигурация проверяется только за настоящим прокси.** Голый сервер отдачи страниц про
+  кэш, перенаправления и заголовки не знает ничего.
+- **Вывод о вёрстке подкрепляется числом.** «Выглядит нормально» результатом проверки не
+  является; чем мерить — паттерн `browser-verification-measure`.
+
+## Паттерны
+
+- `browser-verification-stand` — честный стенд из прод-сборки, вход в приложение, разбор порта.
+- `browser-verification-measure` — замер вместо взгляда, ловушки инструмента снимка экрана.
+
+## Ловушки
+
+- **Сначала выяснить, что отвечает на порту.** На порту регулярно висит собранный артефакт из
+  прошлой сессии: он отвечает успехом на старом коде, а заведённого в ветке обработчика у него
+  нет вовсе — и отказ читается как дефект регистрации. Таких процессов бывает несколько, и
+  завершение по имени команды не попадает ни в один: убивать по идентификатору процесса,
+  каждый.
+- **Инкрементальная сборка протухает поштучно.** Разметка бывает уже новой, а клиентский кусок
+  — от компиляции до правки. Признак сборки для разработки — имена файлов сборки без хеша.
+  Расхождение между ответом из командной строки и страницей после оживления — повод пересобрать,
+  а не искать дефект в коде; вывод «такого маршрута нет» отсюда тоже не следует.
+- **Кэш объясняет расхождение, но не подтверждает его.** Вывод «дефекта нет, это кэш» закрывает
+  разбор, поэтому принимается только после проверки на чистой сборке.
+- **Сообщение об отсутствии отладочных API каркаса принадлежит расширению браузера, а не
+  приложению.** Прод-сборка их не публикует, и лечить это правкой кода не надо: опубликованные,
+  они дают карту внутренностей любому, кто откроет консоль.
+- **Поведение маршрутизации воспроизводится нажатиями.** Подстановка адреса и заход по прямой
+  ссылке поднимают приложение заново, и накопленного состояния у него нет.
+- **Замер отвечает только на заданный вопрос.** Отступы, кегль и скругление сходятся с
+  образцом, пока никто не спросил про фон на наведении, — а держится расхождение при верных
+  числах ровно столько, сколько его не спрашивают.
+- **Если сменилась версия пакета, который рисует вёрстку, экраны обходят руками.** Тесты
+  нажимают по меткам и остаются зелёными, даже когда отступ съехал, размер пропал, а строка
+  стала другой высоты: они проверяют переходы, а не вид. Пары снимков тут тоже мало — смотрят
+  по очереди все экраны, которые этот пакет рисует.
+- **Путей запуска несколько, и проверять их надо порознь.** Локальная команда, образ и состав
+  прода — разные пути; переменная, заданная в команде проверки, не говорит про образ ничего.
+  Пути перечисляются до проверки, а не после того, как один из них сошёлся.