@rt-tools/agent-kit 0.5.2 → 0.6.0

package/assets/rules/observability.md

@@ -0,0 +1,147 @@
+---
+name: observability
+kind: rule
+law: observability
+description: Правило под «Закон о наблюдаемости». Брать при правке логгера, контекста запроса, домена отказов и домена оповещений, при заведении новой строки лога и когда решается, что владелец узнает об отказе. Называет уровни, номер обращения, вычистку секретов, сводку старта и то, что уходит наружу при отказе. Готовый код — в паттерне observability-record.
+---
+
+# Наблюдаемость — как это устроено здесь
+
+Правило под закон `docs/constitution/observability.md`. Закон говорит, что владелец должен
+знать о работе приложения; здесь — как это названо в этом дереве, где лежит и чего пока нет.
+
+## Как это называется здесь
+
+| В законе                                                   | Здесь                                                                                                                              |
+| ---------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------- |
+| то, что приложение о себе пишет                            | логи приложения: одна строка на каждый вызов логгера, в машинном виде                                                              |
+| ступень важности                                           | уровень: от подробностей разбора до отказа, поднявшего процесс                                                                     |
+| номер обращения                                            | идентификатор запроса, он же заголовок ответа                                                                                      |
+| признак, по которому находятся все отказы одного обращения | тот же номер обращения — он стоит в каждой строке лога                                                                             |
+| подробности отказа                                         | разобранная причина: класс, текст, код протокола, код и подробности от хранилища, срезанный стек                                   |
+| общий текст ошибки наружу                                  | внутренняя ошибка без подробностей                                                                                                 |
+| вычистка секретов                                          | замена значений по имени поля                                                                                                      |
+| отказ в хранилище                                          | то, что домен отказов сохранил: группа отказов и её вхождения                                                                      |
+| то, с чем приложение поднялось                             | сводка старта: одна строка лога с версией, портом, адресом хранилища и списками возможностей — включённых, выключенных и сломанных |
+
+## Где это лежит
+
+В этом дереве — таблица в `implementation.md` рядом. Пути живут там, а не здесь: правило
+переносится между репозиториями, раскладка — нет, и путь, названный в правиле, врёт в первом
+же дереве, которое держит код иначе.
+
+## Как закон применяется здесь
+
+- **Номер обращения заводится один раз на запрос и стоит в каждой строке лога о нём.** По
+  времени строки одного обращения не отобрать: обращений бывает десяток в секунду.
+- **Номер обращения уходит вызывающему заголовком ответа и в подробностях отказа.** Он же стоит
+  в логах, поэтому названный человеком номер ищется прямым отбором. Заголовок при этом открыт
+  странице чужого домена: без явного разрешения браузер его не отдаёт.
+- **Номер, пришедший снаружи, чистится и укорачивается, а пустой заводится заново.** Значение
+  из заголовка приходит от кого угодно, а попадает в отбор по хранилищу.
+- **Наружу уходит код и общий текст ошибки, подробности остаются в логах.** Иначе гость на
+  сломанной выкатке прочитает имя колонки и устройство хранилища.
+- **Отказ по вводу и правам пишется отдельно от поломки и без стека.** Это сработавшая
+  проверка. На одном уровне с поломками она забивает тревогу опечатками гостей.
+- **Причина отказа разбирается в одном месте.** Иначе одна и та же ошибка приходит в логи
+  тремя разными формами.
+- **Поля строки лога вычищаются всегда, а не по решению того, кто пишет.** Решать на каждом
+  вызове, есть ли в полях секрет, — значит однажды ошибиться.
+- **Приложение при старте пишет, с чем поднялось.** Половина возможностей включается наличием
+  переменной окружения и без неё молча выключена. Иначе на вопрос «почему там не работает то,
+  что работает локально» отвечают чтением настроек прода по ssh.
+- **В сводке старта стоят имена возможностей и их состояние, но не значения переменных.**
+  Состояния разложены тремя списками, а не картой «имя → состояние»: вычистка работает по
+  имени ключа, и карта приехала бы в лог вычищенной ровно там, где состояние и нужно.
+- **Возможность, включаемая парой ключей, знает третье состояние.** Половины пары лежат по
+  разные стороны поставки, и заполнить можно ровно одну; тогда возможность не выключена и не
+  включена, а сломана — списком из двух состояний этот случай назвать нечем, и он читается как
+  включённый.
+- **Порог уровня решает, появится ли строка лога в выводе, но не в хранилище отказов.** Порог
+  ставится ради объёма вывода, и при высоком пороге отобранные строки нижнего уровня пропали бы
+  из хранилища молча.
+- **Отобранная строка лога сохраняется в хранилище отказом.** Отбирается уровень отказа и всё,
+  что выше, и строки уровнем ниже — по списку имён, объявленному в коде.
+- **Логгер отдаёт отказ приёмнику, а хранилища не видит.** Интерфейс приёмника объявлен рядом с
+  логгером, исполняет его домен отказов, и ставится он извне при старте.
+- **Строки лога клиента хранилища, домена отказов и домена оповещений в приёмник не идут.**
+  Отсекается источник, а не момент записи: медленная вставка в таблицу отказов сама порождает
+  строку лога клиента хранилища, и признаком «я внутри записи» её не поймать. Домен оповещений
+  отсечён по той же причине: сбой оповещения стал бы новым отказом, тот — новым оповещением.
+- **Обращение к чужой службе идёт с явным пределом ожидания.** Без него молчащая — не
+  отказавшая — служба держит соединение до умолчания среды, а это минуты: отказа нет,
+  записывать нечего, и владельцу такое молчание неотличимо от исправной работы. Предел
+  называется числом рядом с клиентом, потому что цена ожидания у каждой службы своя.
+- **Отправка наружу заводит свою строку до обращения, а исход дописывается в неё после.**
+  Строку заводит тот, кто видит хранилище, а не тот, кто отправляет: клиент внешней службы
+  хранилища не видит вовсе. Она же служит замком — второе обращение по той же записи не
+  уходит, — и по незакрытой строке видно разницу между «идёт прямо сейчас» и «упало посреди
+  отправки».
+- **Запись отказа не задерживает ответ и не роняет запрос.** Между логгером и хранилищем стоит
+  очередь с пределом; переполненная очередь отбрасывает новый отказ и считает отброшенное.
+- **Контекст запроса снимается в момент вызова логгера, а не в момент записи.** К моменту
+  записи хранилище исполнения уже отдано следующему запросу.
+- **Записанное владелец читает своим разделом, закрытым отдельным правом.** Группы своего
+  владения, а под группой — её вхождения с причиной, полями строки лога и телами.
+- **Хранилище не растёт без предела: раз в сутки лишнее и старое удаляются.** Удаляются
+  вхождения: сперва лишние за пределом, потом старые за сроком. Группа, у которой после этого
+  не осталось ни одного вхождения, уходит третьим шагом — и только если она старше часа: между
+  её заведением и первым вхождением проходит отдельный запрос.
+- **Предел хранилища назван числом строк, а не байтами.** Удаление физический размер таблицы не
+  уменьшает, и условие «размер под пределом» не стало бы верным никогда.
+- **О новом отказе владелец узнаёт сам — строкой журнала событий и письмом.** Обе дороги
+  открывает один порог: новая группа или группа, молчавшая дольше суток.
+- **В письме нет ничего, что закрыто правом на экран отказов.** Оно уходит на адрес, который
+  правами не закрыт ничем, и подробности в нём обошли бы право почтой.
+- **Частоту отказов владелец читает кривой над лентой: столбик — ведёрко выбранного периода.**
+  Счётчик группы говорит, сколько раз она случилась, но не когда: по нему не отличить поломку,
+  которая идёт потоком сейчас, от набравшейся за месяц.
+- **Тревогу поднимает рост поломок, а не всех отказов.** Отклонённый вызов — сработавшая
+  проверка, и таких девять из десяти: на их фоне рост поломок не заметен вовсе.
+- **Всплеск считается по последнему закрытому ведёрку, текущее правилу не отдаётся.** Оно ещё
+  набирается, и в начале каждого периода сравнение с ним показывало бы падение частоты.
+- **Частоту разбирает такт расписания, а не запрос экрана.** Кривая считает тревогу при каждом
+  ответе, но экран владелец может и не открыть, а узнать о всплеске должен без этого.
+- **О всплеске владелец узнаёт строкой журнала и письмом; повтор письма держит
+  предохранитель.** Одно происшествие занимает в ленте одну строку, а письмо о затяжной
+  поломке нужно и назавтра.
+
+## Чего из закона здесь нет
+
+Отказ, случившийся до подъёма приложения, записать некуда: хранилища в этот момент ещё нет.
+Такие остаются только в выводе контейнера. Туда же уходит отказ самого хранилища: его строки
+лога отобраны из отказов целиком, иначе поломка хранилища порождает поток, который сам себя
+разгоняет.
+
+Список отобранных имён нижнего уровня не сверяется ни с чем. Новое место, которому надо в
+хранилище, дописывает себя в него руками, а забытое молча остаётся только в выводе.
+
+Правильность выбора уровня не проверяет ничто. Новое место само решает, какой уровень взять, и
+ошибку видно только при чтении кода.
+
+Полнота сводки старта не сверяется ничем. Имена возможностей перечислены руками, а переменную
+окружения читают десятки файлов по всем доменам: новая возможность, забывшая дописать себя в
+сводку, молча не попадёт ни в один из трёх списков — и на проде будет выглядеть не выключенной,
+а несуществующей. Само чтение переменной окружения поэтому и требует этого правила вторым
+слоем: гард видит обращение к окружению в тексте правки, но не то, дописали себя в сводку или
+нет.
+
+## Паттерны
+
+- `observability-record` — как завести новую строку лога.
+
+## Ловушки
+
+- **Контекст запроса живёт в хранилище исполнения и в отложенную работу не переезжает.**
+  Отложенная запись прочитает контекст того обращения, которое заняло место исходного. Снимать
+  контекст надо в момент вызова логгера.
+- **Логгер ставится на всё приложение, поэтому строки каркаса идут тем же путём, что и свои.**
+  Всё, что каркас пишет о себе, попадает в тот же вывод и в тот же отбор.
+- **Отказ потока приходит после того, как ответ начался.** Управление возвращается, когда отдан
+  только заголовок. Без обёртки такой отказ не попадёт в логи вовсе.
+- **Сериализация строки лога не должна бросать исключение.** Циклическая ссылка в полях иначе
+  уронит запрос, ради лога которого её и складывали.
+- **Ключ, в который заворачивают чужое тело для вычистки, выбирается по правилам вычистки.**
+  Она работает по имени ключа, и голое значение мимо неё проходит вовсе, — но ключ, который сам
+  числится свободным текстом, увозит тело в хранилище отметкой о вычистке целиком. Новая
+  обёртка сверяется со списками ключей до того, как её так назвали.

package/assets/rules/ownership-scope.md

@@ -59,5 +59,8 @@ description: Правило под «Закон о владеющей сущно
   вызывающего:** первое отвечает `FailedPrecondition`, второе — `NotFound`.
 - Таблица владеющих сущностей читается целиком одним запросом — она маленькая, и выборки ей не
   нужно.
-- Выбор сущности стоит в шапке и действует на разделы, которые говорят об одной. Снаружи выбора
-  нет: пользователь приходит на страницу конкретной.
+- **Выбор сущности живёт в общем сторе, а рисует переключатель тот экран, которому он нужен.**
+  Выбор переживает переход между разделами, но экран без своего переключателя показывает то,
+  что выбрали на другом, — и это читается как чужие числа в своём разделе. Где переключатель
+  стоит, названо в именах дерева; снаружи выбора нет вовсе: пользователь приходит на страницу
+  конкретной сущности.

package/assets/rules/ownership-session.md

@@ -0,0 +1,124 @@
+---
+name: ownership-session
+kind: rule
+law: ownership
+description: Правило под «Закон о владеющей сущности». Брать при правке процедуры, которой нужна сущность захода, перехватчика доступа и выборок принадлежности — чем названа сущность захода, откуда она берётся, каким условием отбираются записи и какими кодами отвечают отказы. Готовый код — в паттерне ownership-session-procedure. Не брать для разрешения идентификатора в запросе — это правило ownership-scope.
+---
+
+# Владеющая сущность захода — как это устроено здесь
+
+Правило под закон `docs/constitution/application/ownership.md`. Закон говорит, что должно быть
+верно, когда владеющих сущностей больше одной; здесь — как приложение узнаёт, в какой из них
+работает вошедший, и чем держится граница между ними. Разрешение идентификатора, названного в
+запросе, — правило `ownership-scope` под тем же законом.
+
+## Как это называется здесь
+
+| В законе                                       | Здесь                                                                            |
+| ---------------------------------------------- | -------------------------------------------------------------------------------- |
+| владеющая сущность                             | запись своего домена; имя — в `implementation.md` рядом                          |
+| принадлежность человека сущности               | своя запись на пару «человек и сущность»                                         |
+| сущность захода                                | колонка учётной записи; внутри запроса — ключ контекста, читаемый одной функцией |
+| потребность процедуры в сущности захода        | декоратор на её классе, стоящий рядом с объявлением доступа                      |
+| отказ вошедшему, у которого принадлежности нет | тот же код, что на неверный пароль, — вошедшего надо увести на вход              |
+| отказ на чужую сущность, названную в черновике | неверный аргумент                                                                |
+| забытый декоратор                              | внутренняя ошибка — отказ приложения, а не вызывающему                           |
+
+## Где это лежит
+
+В этом дереве — таблица в `implementation.md` рядом. Пути живут там, а не здесь: правило
+переносится между репозиториями, раскладка — нет, и путь, названный в правиле, врёт в первом
+же дереве, которое держит код иначе.
+
+## Как закон применяется здесь
+
+- **Сущность захода приезжает в процедуру контекстом запроса, а не полем запроса.** Ключ и его
+  читатель лежат рядом, как ключ вошедшего и его читатель: вторая копия проверки разошлась бы с
+  первой в коде отказа.
+- **Процедура объявляет потребность декоратором, и чтение без объявления — отказ приложения.**
+  Править такое нечего ни вызывающему, ни владельцу: это забытое объявление, и оно видно
+  отказом, а не работой неизвестно в какой сущности.
+- **Сущность захода приезжает в контекст только процедурам, объявившим потребность.** Читает её
+  перехватчик всё равно — тем же обращением, которым читает права вошедшего, — но без
+  объявления в контекст она не попадает. Потребность стоит рядом с объявлением доступа и счёт
+  объявлений доступа не меняет.
+- **Сущность захода лежит у учётной записи, а не в выданном входе.** Выбор переживает
+  перезагрузку и не зависит от того, что шлёт клиент; выданный вход говорит только о том, кто
+  пришёл.
+- **Принадлежность человека сущности — своя запись, и в одной сущности она одна.** Две
+  принадлежности пришлось бы складывать, а результат сложения запретов и разрешений по двум
+  строкам не прочитать.
+- **Человек, у которого принадлежности нет, не входит и не работает: оба отказа те же, что на
+  неверный пароль.** Принадлежность снимают, пока выданный вход ещё жив, — и тогда отказ
+  приходит уже посреди работы. Транспорт админки на этот код чистит хранилище и уводит на
+  страницу входа.
+- **Чужая сущность, названная в черновике настроек, отбивается, а не выправляется молча.** Иначе
+  одним ответом скрывались бы и подделанный запрос, и админка, которая загрузила одну сущность,
+  а сохраняет в другую.
+- **Выборка админки отбирает записи по сущности захода, и снять это условие нечем.** Оно
+  складывается с условиями отбора клиента, а не заменяется ими: иначе список, поиск и число в
+  сводке показывают чужое.
+- **Запись, названную в запросе своим номером, выборка берёт с условием по сущности, и правка
+  со снятием идут тем же условием.** Сущность уезжает параметром рядом с идентификатором в то
+  же условие; у записи без своей колонки граница выводится связью. Чужая запись отвечает так же,
+  как несуществующая, — и связанный идентификатор сверяется наравне с основным.
+- **Выборку по номеру без сущности в условии ловит проверка охвата.** Список точек умер бы со
+  слиянием: следующая процедура завелась бы без условия, и не заметил бы этого никто. Путь, где
+  сущности законно нет, назван в списке известного строкой с причиной.
+- **Адрес публичной страницы уникален внутри сущности, а не по всей системе.** Пара «сущность и
+  адрес» стоит уникальным индексом и у записей, и у их прежних адресов; сквозную уникальность
+  между двумя таблицами держит хранилище — оно читает ту же пару. У прежнего адреса сущность
+  продублирована колонкой: связью пара в уникальный индекс не собирается.
+- **Занятость адреса спрашивается внутри сущности, и чужая занятость владельцу не видна.** Отказ
+  «адрес занят» на имя, которое держит сосед, выдал бы существование его записи.
+- **Публичный вход, нашедший под адресом больше одной записи, отвечает как на
+  несуществующую.** Гость приходит по адресу и сущности не называет, поэтому признак совпадения
+  едет отдельным полем результата выборки: пустой ответ забыли бы разобрать, а показ первого
+  попавшегося отдал бы гостю чужую запись молча. Владелец узнаёт о таком случае строкой лога,
+  заведённой в списке отбираемых.
+- **Принадлежность записи сущности записана колонкой везде, где её не из чего вывести.** Там,
+  где у записи обязательна связь с другой записью сущности, граница выводится связью; у визита,
+  события и разговора выводить её не из чего — заход бывает записан на несуществующий путь, а
+  разговор начат с корня сайта.
+
+## Чего из закона здесь нет
+
+Внутри сущности границ нет: право открывает раздел целиком, и сотрудник, которому доверена одна
+запись, видит все записи своей сущности.
+
+Признака, по которому гость назвал бы сущность, может не быть вовсе — тогда там, где гость не
+назвал ничего, читатель берёт единственную сущность хранилища и отвечает отказом по состоянию,
+когда их больше одной. Тем же вызвана и временная граница у адреса страницы: совпавший адрес
+недоступен обеим сущностям, потому что выбрать между ними нечем.
+
+Роль живёт у учётной записи, а не у принадлежности, пока принадлежность у человека одна:
+колонки прав у принадлежности стоят и не читаются, а права читаются у учётной записи при каждом
+вызове.
+
+Выбора сущности сотрудником может не быть: сущностью захода остаётся то, что записано у учётной
+записи, и сменить это значение нечем, пока нет ни селектора, ни процедуры. Тогда выбором
+остаётся единственная принадлежность.
+
+## Паттерны
+
+- `ownership-session-procedure` — процедура, которой нужна сущность захода: объявление, чтение,
+  отказы, контекст в тесте.
+
+## Ловушки
+
+- **Сущность захода и принадлежность — разные вещи.** Колонка учётной записи говорит, в какой
+  сущности человек работает сейчас; принадлежность — в каких он вправе работать вообще.
+  Значение колонки без принадлежности к той же сущности ничего не значит: выборка сверяет их
+  между собой и отдаёт пусто, когда они разошлись.
+- **Забытый декоратор не ловится ни сборкой, ни линтером.** Процедура, читающая сущность захода
+  без объявления потребности, собирается и проходит проверки — отказ приходит на первом же
+  вызове. Пишутся эти две строки вместе, а покрывается это тестом процедуры.
+- **Потребность в сущности доступом не является.** Объявлений доступа у процедуры по-прежнему
+  ровно одно, и декоратор потребности к этому счёту не относится: сущность нужна и процедуре с
+  правом, и процедуре, открытой любому вошедшему.
+- **Отказ снятой принадлежности — тот же, что на неверный пароль, а не отказ в доступе.**
+  Второй оставил бы человека на закрытом разделе с непонятной причиной и без выхода, хотя
+  лечится это только новым входом.
+- **Снятое поле контракта не заводится заново под тем же номером.** Номер и имя помечены как
+  занятые, и метка снимается только вместе с решением отдать номер новому полю, — а такое
+  решение ломает уже выкаченного клиента молча: он прочитает чужое значение как своё.

package/assets/rules/permissions.md

@@ -36,6 +36,29 @@ description: Правило под «Закон о доступе». Брать
   Последний отдаёт вошедшему больше, чем гостю, — так владелец видит скрытые объекты в общем
   списке.
 - **Права пользователя — это права пресета, поверх которых применены его оверрайды.**
+- **У человека одна роль во владении, и держит это хранилище.** Две принадлежности в одном
+  владении пришлось бы складывать, а результат сложения запретов и разрешений по двум строкам
+  не прочитать. Права разных владений не складываются вовсе: они записаны у принадлежности, а
+  не у учётной записи.
+- **Право, о котором роль ничего не говорит, считается неданным.** Значение, которое не булево,
+  отбрасывается при сложении: отсутствующее право и прямо отобранное означают одно и то же, и
+  «непусто» правом не считается.
+- **Права вошедшего читаются при каждом вызове, а не берутся из выданного входа.** Выданный
+  вход говорит только о том, кто пришёл: подписанное однажды живёт часами и правку прав не
+  переживает, поэтому отобранное право открывало бы раздел до конца дня.
+- **Учётная запись, которой больше нет, вызовов, требующих входа, не открывает.** Тем же
+  чтением отбивается и человек, потерявший принадлежность в своём владении: работать ему не в
+  чем.
+- **Счётчик и рекламные сигналы включает ответ гостя, а не наличие ключа в настройках.**
+  Решений два, и хранятся они парой: «разрешил счёт посещений, но не рекламу» — законное
+  состояние, а третьим значением перечисления его пришлось бы заводить заново на каждое новое
+  разрешение. Всё, что не пара булевых значений, читается как неотвеченный вопрос, то есть как
+  отказ: хранилище принимает что угодно, а решать по испорченной записи нельзя. Своя
+  статистика к согласию не привязана — она не уходит наружу.
+- **Публичная процедура, заводящая запись, закрыта ещё и ограничителем частоты.** Право её не
+  сторожит, и без предела скорость роста таблицы задаёт отправитель, а не владелец. Считается
+  по ключу клиента, и ключ у всех таких процедур общий: второй ответ на вопрос «кто это»
+  разошёлся бы с первым. Публичная процедура, которая только читает, ограничителя не требует.
 - **Запрос без входа отбивается как неаутентифицированный, а вход без права — как отказ в
   доступе.** Это разные ответы: первый лечится входом, второй — нет.
 - **Право проверяется перехватчиком до тела процедуры.** Обработчик не решает, пускать ли

package/assets/rules/pricing.md

@@ -62,3 +62,7 @@ description: Правило под «Закон о деньгах». Брать
   одно, и живёт оно в расчёте.
 - **Справочная сумма рядом с суммой к оплате читается как цена.** В письме и в документе
   справочное число подписывается как справка.
+- **Набор валют переключателя бывает шире набора курсов.** Набор переключателя собирается из
+  начальных валют локалей, и валюты, курса для которых никто не тянет, попадают в него сами:
+  гость такой локали получает отказ курса, ничего не выбирая. Два набора сверяются между собой,
+  а расхождение чинится задачей — правкой текста оно не лечится.

package/assets/rules/reuse-first.md

@@ -27,6 +27,10 @@ description: Правило под «Закон о единообразии пр
 
 ## Как закон применяется здесь
 
+- **Источник вида выбирается по приложению, а не по привычке.** У каждого приложения дерева
+  своя опора: у публичного сайта — его дизайн-система, у остальных — кит. Перепутанный источник
+  приносит на экран форму, которой в этом приложении больше нигде нет. Какое приложение на что
+  опирается, названо в именах дерева.
 - **Работа начинается с чтения готового, а не с чистого файла.** Сначала находится опора —
   компонент кита, базовый класс, образец в соседнем домене, — потом пишется своё поверх неё.
 - **Свой примитив и своя основа заводятся только с явного одобрения владельца.** Спрашивается
@@ -76,6 +80,11 @@ description: Правило под «Закон о единообразии пр
 
 ## Ловушки
 
+- **Образец ищется по именам кита, а не по тому, на чём кит написан.** Поиск по именам
+  библиотеки, поверх которой кит собран, не находит ни одного файла: наложение, портал и окно
+  закрыты китом и зовутся его именами. Обратное тоже бывает: библиотека стоит прямой
+  зависимостью, и то, чего кит не закрывает, зовётся в дереве её собственным именем. Прежде чем
+  решать, что имени в дереве нет, его ищут — переделок из-за этого выходит по две на приём.
 - Перенос переизобретением не считается: строку, которая уже лежит в файле, гард из
   проверяемого текста вычёркивает, а сверка идёт без отступов — при переезде блок меняет
   отступ, оставаясь тем же кодом.

package/assets/rules/seo.md

@@ -2,7 +2,7 @@
 name: seo
 kind: rule
 law: search-visibility
-description: Правило под «Закон о видимости в поиске». Брать при любой правке, доходящей до разметки публичного сайта — шаблоны страниц, meta/title/description, JSON-LD, canonical, hreflang, маршруты сайта, sitemap, robots, nginx. Называет восемь локалей, где что лежит и чего у нас нет. Готовый код — в паттернах seo-page и seo-verify.
+description: Правило под «Закон о видимости в поиске». Брать при любой правке, доходящей до разметки публичного сайта — шаблоны страниц, meta/title/description, JSON-LD, canonical, hreflang, маршруты сайта, sitemap, robots, nginx. Называет локали перевода, где что лежит и чего у нас нет. Готовый код — в паттернах seo-page и seo-verify.
 ---
 
 # Видимость в поиске — как это устроено здесь
@@ -12,14 +12,14 @@ description: Правило под «Закон о видимости в пои
 
 ## Как это называется здесь
 
-| В законе                     | Здесь                                                                        |
-| ---------------------------- | ---------------------------------------------------------------------------- |
-| язык страницы                | локаль; их восемь — `en`, `ru`, `de`, `zh-Hans`, `zh-Hant`, `ko`, `th`, `hi` |
-| язык по умолчанию            | `DEFAULT_LOCALE`, то есть `en`; отдаётся из корня, без префикса в адресе     |
-| язык, перевод которого готов | `readyLocales` — поле объекта, а не список локалей сайта                     |
-| канонический адрес           | `${SITE_ORIGIN}${propertyPath(slug, locale)}`                                |
-| структурированные данные     | JSON-LD типа `LodgingBusiness`                                               |
-| прежний адрес страницы       | прежний slug объекта                                                         |
+| В законе                     | Здесь                                                                    |
+| ---------------------------- | ------------------------------------------------------------------------ |
+| язык страницы                | локаль перевода; их набор — в `implementation.md` рядом                  |
+| язык по умолчанию            | `DEFAULT_LOCALE`, то есть `en`; отдаётся из корня, без префикса в адресе |
+| язык, перевод которого готов | `readyLocales` — поле объекта, а не список локалей сайта                 |
+| канонический адрес           | `${SITE_ORIGIN}${propertyPath(slug, locale)}`                            |
+| структурированные данные     | JSON-LD типа `LodgingBusiness`                                           |
+| прежний адрес страницы       | прежний slug объекта                                                     |
 
 Локаль по умолчанию отдаётся из корня, остальные — с префиксом `/<код>/`. Префикс — часть
 маршрута, а не часть сборки: `<base href>` в разметке всегда `/`.
@@ -46,6 +46,54 @@ description: Правило под «Закон о видимости в пои
 - **Перенаправление с прежнего адреса отдаётся с `Cache-Control: max-age`** и покрыто
   `proxy_cache_valid 200 301`. Ключ кэша строится без `$args`, поэтому запросы со строкой
   запроса идут мимо кэша (`proxy_cache_bypass` / `proxy_no_cache $is_args`).
+- **Страница отдаёт блоки JSON-LD каждый своим тегом**, а не одним графом: отказ одного не
+  уносит остальные, и в отданной разметке видно, какой из них собрался.
+- **Цена уходит и предложением, и диапазоном** — суммой в валюте хранения и с единицей своего
+  периода. Цена по датам, скидки и пересчёт в валюту гостя в разметку не идут.
+- **Сводная оценка появляется от первого отзыва** и считается из оценок самих отзывов. Ноль
+  отзывов — поля нет вовсе: ни нуля, ни пустой строки.
+- **Блок вопросов собирается из вопросов записи**, а ноль вопросов блока не даёт.
+- **Крошки ведут от корня локали к странице записи** адресами той же локали, что и открытая
+  страница. Без названия сайта крошки не выпускаются вовсе.
+- **Сохранение записи уведомляет поисковика об изменении её адресов.** В уведомление уходят
+  страницы записи на готовых локалях по нынешнему и прежним адресам; корни локалей и карта
+  сайта — нет. Отказ приёмника сохранение не отменяет и возвращается владельцу исходом.
+- **Приёмников несколько, и каждый получает свой запрос.** Опрашиваются они одновременно, а
+  потолок ожидания считается на приёмник: последовательный обход сложил бы все потолки в одно
+  ожидание владельца. Переменная окружения перекрывает адреса всех приёмников разом — этим
+  отправку и проверяют локальным приёмником.
+- **Исход возвращается перечислением по приёмнику, а владельцу показывается списком.** Приёмник
+  в нём назван словом, а не адресом. Строка отвечает за приём запроса, а не за осведомлённость
+  поисковика: раздаёт полученное любой приёмник, поэтому отказ одного адреса не значит, что его
+  поисковик не узнал. Подписью объявляется только полный отказ.
+- **Удаление записи уведомляет поисковика теми же адресами.** Отдельного «страница исчезла»
+  протокол не знает: площадка приходит по адресу и видит ответ сайта сама. Адреса собираются до
+  удаления строки — каскад унесёт прежние вместе с записью, — а исход наружу не выходит:
+  страницы уже нет, и читать подпись некому. Снятие с публикации идёт через сохранение и
+  уведомляет тем же путём.
+- **Переименование адреса и снятие прежнего адреса тоже уведомляют поисковика.**
+  Переименование — всеми адресами записи, снятие — одним снятым; готовые локали у снятого
+  считаются по текстам записи, которой он принадлежал, и ради них выборка снятия отдаёт не
+  только адрес. Исход наружу не выходит ни там, ни там: владелец на странице адресов
+  спрашивает про адрес, а не про уведомление.
+- **Правка настроек владельца уведомляет поисковика адресами всех действующих записей.**
+  Видимой гостю считается та же правка, которой сбрасывается кэш, — а правка невидимого поля
+  уведомления не шлёт. Уходят живые адреса, без прежних, и готовые локали считаются по каждой
+  записи отдельно; отправка идёт на владеющую сущность — записи разных сущностей в одну не
+  попадают. Работа идёт в фоне за сохранением настроек, поэтому исход остаётся в логах:
+  показать его владельцу негде.
+- **Каждая отправка оставляет запись, и заводится она до обращения к приёмникам.** Повод,
+  записи, объявленные адреса и исход по каждому приёмнику ложатся рядом; пустой исход означает
+  «отправка идёт», а спустя несколько минут — что процесс упал посреди опроса. Пишут её все
+  места, откуда уведомление уходит. Отказ записи отправку не отменяет.
+- **Непрошедшие запросы владелец повторяет нажатием, и повтор заводит новую запись.**
+  Повторяется последняя отправка записи — у ранней адреса могли устареть, — и запрос уходит
+  только тем приёмникам, чей исход не «принял»; у оборванной записи это все её приёмники. Повод
+  у новой записи свой, а право строже, чем у чтения: повтор объявляет адреса поисковику.
+  Автоповтора по расписанию нет.
+- **Записи отправок держит ночная чистка: сперва предел, потом срок.** Тот же порядок, что у
+  ленты происшествий: срок, снятый первым, оставил бы предел меряться по уже почищенной
+  таблице.
 
 ## Чего из закона здесь нет
 

package/assets/rules/shared-code.md

@@ -39,6 +39,12 @@ description: Правило под «Закон об общем коде при
 - **Общим стал только маппер страницы.** У сторон разная политика на непонятное значение, и
   общим может быть лишь то, где она одна: номер меньше единицы обе стороны читают как первую
   страницу.
+- **Общая выборка держит форму запроса, а не набор условий.** Имена полей отбора объявляет сам
+  домен списком разрешённых, а в запрос к хранилищу их переводит его же выборка. Поэтому
+  условие вправе лечь на связанные строки, а не только на колонки самой записи, и отбор по
+  набору идентификаторов ей не запрещён: признак связанной записи — такое же поле набора, как
+  повод и объект. Общими здесь остаются разбор страницы, порядка и поиска, а не сам список
+  полей.
 - **Перечисления полей порядка и отбора домена копией не считаются.** `EActivitySortProperty`
   и подобные повторяют имена, по которым сортирует сервер именно этого домена.
 - **Строковая настройка и таблица соответствий сверяются по значению, а не по имени.** Имя

package/assets/rules/spec-driven.md

@@ -109,6 +109,15 @@ description: Правило под «Закон о документации пр
   про дерево, где того гарда не разложили; поправить это дерево не может ничем, если у ресурса
   нет надстройки. Требование ресурса к ресурсу при этом объявляется строкой в шапке, а не
   выводится из такой фразы.
+- **Паттерн находится по полю `rule:`, а не по приставке имени.** Приставку имени несут не все
+  паттерны, и поиск по имени правила таких не видит: сверка ищет их полем, человек — разделом
+  «Паттерны» самого правила. Счёт паттернов, собранный приставками, выходит меньше настоящего, а
+  число потом уезжает в деление работы.
+- **Якорь сверяется по сырому тексту файла, и комментарий засчитывается наравне с кодом.**
+  Существование символа проверка ищет словом по всему файлу, не вычищая комментарии, а живость
+  считает только у объявленного в коде. Имя, стоящее в одном лишь пояснении, проходит мимо обеих
+  сторон: якорем утверждения оказывается слово из комментария, тогда как объявление рядом
+  называется иначе.
 
 ## Чего из закона здесь нет
 

package/assets/rules/styling-bem.md

@@ -16,7 +16,7 @@ description: Правило под «Закон о фронтовом прило
 
 | В законе                        | Здесь                                                                                                                                        |
 | ------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------- |
-| общий набор значений оформления | шкалы кита `--rt-*`; своё поверх них — `--vm-*` в `styles.scss` приложения                                                                   |
+| общий набор значений оформления | шкалы кита `--rt-*`; своё поверх них — `--<префикс>-*` в `styles.scss` приложения                                                            |
 | класс в разметке                | директивы `rtBlock` и `rtElem` из `@rt-tools`, а не строка в атрибуте                                                                        |
 | правило стилей                  | объявление `&__<элемент>` в `.scss` — своём или в общем слое приложения                                                                      |
 | общий слой раскладки            | `apps/<app>/src/styles/`: `<префикс>-page`, `<префикс>-form`, `<префикс>-panel`, `<префикс>-window` у админки, `<префикс>-site-page` у сайта |
@@ -38,6 +38,19 @@ description: Правило под «Закон о фронтовом прило
   инъекцией от ближайшего предка с `rtBlock`, и повторить этот разбор по тексту шаблона нечем.
 - **Раскладка объявлена в общем слое приложения, а не в стилях экрана.** У компонента экрана
   вне кита файл стилей по умолчанию пустой.
+- **Шторку и окно открывает служба кита, а не номер слоя.** Числа шкалы сравниваются только
+  между соседями по разметке; служба выносит разметку наружу, к `<body>`, и сравнивать её
+  становится не с чем.
+- **Номер слоя берётся из шкалы, а не пишется числом в файле компонента.** Шкала — единственное
+  место, где слои видно рядом: написанное на месте число в неё не попадает, и следующий узел
+  занимает тот же номер, ничего об этом не узнав.
+- **Размер элемента управления выбирается по признаку указателя, а не по ширине экрана.**
+  Планшет в ландшафте шире порога узкого вьюпорта, а нажимают по нему пальцем: `pointer: coarse`
+  отвечает про способ нажатия, ширина — про место под раскладку. Ступени берутся у кита, а не
+  назначаются пикселями.
+- **Файл стилей не длиннее 500 строк.** Предел общий с кодом и текстами, но stylelint длину не
+  судит вовсе — держит его проверка дерева. Выросший файл экрана делится по блокам, а общая
+  раскладка уходит в свой слой.
 - **Предупреждение stylelint роняет прогон наравне с ошибкой.** `!important` объявлен
   предупреждением, а прогон идёт с `--max-warnings 0`: иначе запрет читается как пожелание —
   два таких предупреждения лежали в дереве, а `npm run stylelint` возвращал ноль и гейтом не был.
@@ -52,10 +65,30 @@ description: Правило под «Закон о фронтовом прило
 
 - `styling-bem-layout` — экран на общем слое раскладки, блоки приложения.
 - `styling-bem-component` — стили компонента кита, `:host`, модификаторы, язык оформления сайта.
+- `styling-bem-sheet` — шторка и окно поверх страницы: чем открываются, подложка, замер.
 
 ## Ловушки
 
 - **`rtElem` без предка с `rtBlock` роняет отрисовку в рантайме** — сборка и линт молчат.
+- **Спроецированный узел блока-предка не имеет.** `rtElem` берёт имя блока инъекцией от
+  ближайшего предка **по месту объявления шаблона**, а не по месту вставки: элемент, который
+  экран объявляет у себя и отдаёт в проекцию чужого компонента, ищет `rtBlock` в своём шаблоне
+  и не находит. Отрисовка падает в рантайме, сборка и линт зелёные. Класс на такой узел
+  вешается правилом по селектору кита в общем слое раскладки, а не директивой.
+- **Элемент с `backdrop-filter` или своим `z-index` замыкает потомков в свой слой.** Липкая
+  шапка с размытием — самый частый случай: номер слоя у того, что лежит внутри неё,
+  сравнивается не с соседями по странице, а только с соседями внутри шапки, и нижняя панель
+  накрывает открытую шторку вместе с её кнопкой. Проверяется это `elementFromPoint` в центре
+  кнопки: сборка, линт и скриншот показывают тут целую страницу.
+- **До узла, вынесенного к `<body>`, стили компонента не достают.** Превью и заглушку переноса
+  кладёт туда библиотека, а правила компонента заскоуплены атрибутом: файл выглядит рабочим и
+  не красит ничего. Такие правила объявляются в общем слое приложения. Ни сборка, ни линт, ни
+  проверка «класс без правила» этого не видят: класса такого в шаблоне нет вовсе, и пролежать
+  это может несколько задач подряд.
+- **Имя токена не сверяется ничем.** Ссылка на несуществующий токен собирается, проходит
+  stylelint и проверку класса без правила, а свойство молча берёт наследованное значение:
+  правило выглядит написанным и не красит ничего. Ловится это только замером в браузере, а
+  имена берутся из объявлений кита, а не по догадке о том, как токен должен был бы называться.
 - **`rtBlock` на `<ng-container>` класса не ставит вовсе:** узел это комментарий, и имя блока
   он только объявляет потомкам. Класс блока экрана вешает хост через `host: { class: … }`.
 - **`justify-content: center` во flex-контейнере с `overflow-x` уводит первые элементы за

package/assets/rules/task-flow.md

@@ -73,6 +73,11 @@ description: Правило под «Закон о ведении работы»
   — признак; правила, тексты, обвязка и зависимости под него не подпадают. Обход — строка
   `**Поведение:** не меняется — <причина владельца>` в замысле; пустая причина не
   принимается.
+- **Гард замысла — нижняя граница, а не признак папки задачи.** Он требует её только под правку
+  кода приложения; нужна ли папка работе, которая туда не доходит, решает число заходов, а не
+  путь. Работа в один заход и один коммит целиком помещается в тело отчёта — так закрывается
+  разбор чужой папки. Работа с этапами и передачей папку заводит: между заходами её состояние
+  не держит ничто, кроме хода работы.
 - **Ход, в котором владельцу задан вопрос, не заканчивается, пока за этот же ход не читались
   законы и правила.** Чтением считается любой из трёх путей: загрузка правила, чтение файла
   законов или правил, поиск по ним. Отбивает гард разговора — на завершении хода, а не на