@rt-tools/agent-kit 0.5.3 → 0.7.0

package/assets/rules/testing.md

@@ -2,7 +2,7 @@
 name: testing
 kind: rule
 law: verifiability
-description: Правило под «Закон о проверяемости». Брать при правке любого *.spec.ts и всего, что лежит в apps/site-e2e и apps/admin-e2e. Называет Vitest и Playwright, идентификатор сценария в заголовке, вынос решения в чистую функцию и то, что закрывается сквозной спекой. Готовый код — в паттернах testing-unit и testing-e2e.
+description: Правило под «Закон о проверяемости». Брать при правке любого *.spec.ts и всего, что лежит в сквозных наборах дерева. Называет Vitest и Playwright, идентификатор сценария в заголовке, вынос решения в чистую функцию и то, что закрывается сквозной спекой. Готовый код — в паттернах testing-unit и testing-e2e.
 ---
 
 # Проверяемость — как это устроено здесь
@@ -45,8 +45,21 @@ description: Правило под «Закон о проверяемости».
   переименованный или выкинутый сценарий: тесты при этом остаются зелёными.
 - **Решение выносится в чистую функцию и проверяется вызовом.** Компонент и сервис остаются
   тонкой обёрткой и отдельно не проверяются, пока своего ветвления у них нет.
+- **Решение, зависящее от текущего момента, принимает момент параметром.** Часы машины оно не
+  читает: правило проверяется вызовом, а не подкруткой времени вокруг теста. Умолчание
+  `= new Date()` ставится на границе — там, где решение зовёт процедура или служба.
 - **Процедура Connect проверяется вызовом своего метода с рукописным двойником базы.**
   Контейнер и роутер поднимать не надо: спека проверяет решение, а не раскладку полей.
+- **Сид заводит то, без чего экран не открыть, и ничего, что гость примет за настоящее.**
+  Содержимое, у которого есть автор, — отзывы, вопросы, обсуждения — гость читает как
+  написанное людьми, а стенд собирается из той же базы, что и проверка глазами: три выдуманные
+  цитаты дожили до отдельной задачи и всё это время выглядели отзывами. Настройки владельца —
+  контакты, адрес отправителя, ключи внешних служб — сид не заводит тоже: их вписывают в
+  приложении. То, что нужно редко, включается признаком в окружении, а не сеется всем.
+- **Заведённая проверка встаёт в гейт пуша или в конвейер, а не только в сводную цель.**
+  Сводная цель запускается руками, и проверка, которая живёт только в ней, отвечает тому, кто
+  её вспомнил: молчание такой проверки читается как её зелёный ответ. Три проверки простояли
+  вне гейта, объявляя в собственных списках известного, что падают на новом.
 - **Спека, необратимо меняющая данные стенда, выключена по умолчанию.** `BASE_URL` уводит
   прогон одной переменной, и без выключателя такая спека правила бы данные чужого стенда.
 - **Спеки, которым нужен nginx перед приложением, просыпаются вместе с `BASE_URL`.** Голый
@@ -56,6 +69,24 @@ description: Правило под «Закон о проверяемости».
   `playwright/no-skipped-test` запретил бы его сразу в шестидесяти пяти местах. Рядом со
   строкой отключения пишут причину, а точечный `eslint-disable` остаётся для того, что
   запрещено по делу.
+- **Гард отпускает действие, когда сам сломался.** Нет разборщика входа, пустой ввод, не тот
+  каталог, любая своя ошибка — гард выходит нулём и пропускает: сломанная проверка не имеет
+  права заклинить работу. Объявляется это строкой `FAIL-OPEN` в шапке самого гарда, рядом с
+  перечислением случаев, и туда же дописывается новый случай, когда он находится.
+- **Список известного у проверки именной и объясняет себя сам.** Первым полем перечня стоит имя
+  проверки и слово о том, что перечисленное отказом не считается. Дальше либо два ключа —
+  принятое остаётся навсегда, долг накоплен к заведению проверки и только сокращается, — либо
+  столько ключей, сколько у записей родов. Причина обязательна: снятая проверка без причины
+  через месяц неотличима от недосмотра.
+- **Тест, утверждающий отсутствие, зелен и тогда, когда ищет не то.** Совпадения нет ни у
+  верного текста, ни у опечатки в образце, ни у переименованного ключа — отличить их по цвету
+  прогона нечем. Отрицательное утверждение поэтому идёт в паре с положительным: сначала
+  проверяется, что искомое место вообще найдено, и только потом — что в нём нет того, чего быть
+  не должно.
+- **Заголовок теста обещает больше, чем тело проверяет, и сверка этого не видит.** Номер
+  сценария в заголовке стоит — сценарий числится покрытым, а что именно утверждается, не
+  спрашивает никто. Тело читается вместе с заголовком: обещание в заголовке и утверждение в
+  теле — два разных текста, и расходятся они молча.
 
 ## Чего из закона здесь нет
 
@@ -76,23 +107,30 @@ description: Правило под «Закон о проверяемости».
 - **Зелёный `nx test <проект>` не значит, что хоть один файл исполнялся.** Либа без своего
   `vitest.config.mts` не запускает ничего — так тесты домена броней не запускались ни разу.
   Либа с конфигом, но без единого `*.spec.ts`, проходит зелёной из-за `passWithNoTests: true`,
-  который стоит во всех 203 конфигах дерева, и на глаз эти два случая неотличимы: в обоих
-  прогон успешен. Без единого теста живут 131 либа из 203 — почти две трети. Перед правкой в
+  который обычно стоит в каждом конфиге дерева, и на глаз эти два случая неотличимы: в обоих
+  прогон успешен. Доля либ без единого теста меряется пересчётом ниже — в дереве, где его
+  завели впервые, она вышла почти в две трети. Перед правкой в
   незнакомой либе проверяется, есть ли в ней хоть один `*.spec.ts`; если нет — первый
   заводится этой же правкой, а не откладывается: откладывать здесь не с чего, долг уже
   накоплен. Пересчёт: `for d in $(find libs -name vitest.config.mts -exec dirname {} \;); do
 [ -z "$(find "$d" -name '*.spec.ts')" ] && echo "$d"; done | wc -l`.
+- **Зелёная сводка покрытия не значит, что тесты проходят.** Сверка читает заголовки тестов и
+  сопоставляет их со сценариями спека; исполняется ли тест и чем он кончается — она не знает
+  вовсе, и падающий тест значится в ней покрытием. Три сценария одной панели падали и до правки
+  экрана, а нашлось это только прогоном. Перед правкой экрана его сквозные тесты гоняются один
+  раз до первой строки кода: иначе чужое падение читается как своя регрессия, а своё — как
+  чужое.
 - **«Executable doesn't exist» — состояние машины, а не дефект правки.** Установлен только
   chromium, `firefox` и `webkit` падают всегда: гонять `--project=chromium`, узкий экран —
   `--project=mobile-chrome`. Та же ошибка приходит после смены версии Playwright: браузер
   ставится под конкретную версию, и после подъёма нужен повторный
   `npx playwright install chromium`. Девять тестов так и упали, и это выглядело регрессией
   обновления.
-- **Первому прогону сразу после установки браузера верить нельзя.** Два падения `admin-e2e`
-  не повторились ни при отдельном прогоне тех же тестов, ни при втором полном. Такой прогон
-  повторяют, а выводы делают по второму.
-- Сквозные тесты админки без `E2E_ADMIN_EMAIL` и `E2E_ADMIN_PASSWORD` пропускаются молча — в
-  отчёте они значатся `skipped`, и прогон выглядит успешным.
+- **Первому прогону сразу после установки браузера верить нельзя.** Два падения сквозного
+  набора не повторились ни при отдельном прогоне тех же тестов, ни при втором полном. Такой
+  прогон повторяют, а выводы делают по второму.
+- Сквозная спека, которой нужен вход, без учётных данных в окружении пропускается молча — в
+  отчёте она значится `skipped`, и прогон выглядит успешным. Имена переменных — при дереве.
 - **Справочник флоу вторых сценариев не заводит.** В `docs/E2E_<ДОМЕН>_FLOWS.md` кладут то,
   чего в спеке домена нет и быть не должно: `qa-dataid` элементов, состояния разметки, ловушки
   стенда. Обещанное поведение остаётся сценарием в `scenarios.md`: если списать его во второе

package/assets/rules/translations.md

@@ -2,7 +2,7 @@
 name: translations
 kind: rule
 law: locales
-description: Правило под «Закон о локалях и переводах». Брать при заведении любого видимого текста, правке словарей libs/common/i18n, префиксов локалей сайта и перевода контента объекта. Называет восемь локалей, Transloco, производные переводы и начальную валюту локали. Готовый код — в паттерне translations-key.
+description: Правило под «Закон о локалях и переводах». Брать при заведении любого видимого текста, правке словарей libs/common/i18n, префиксов локалей сайта и перевода контента объекта. Называет локали перевода, словари, производные переводы и начальную валюту локали. Готовый код — в паттерне translations-key.
 ---
 
 # Локали и переводы — как это устроено здесь
@@ -15,7 +15,7 @@ description: Правило под «Закон о локалях и перев
 
 | В законе             | Здесь                                                                                               |
 | -------------------- | --------------------------------------------------------------------------------------------------- |
-| локаль сайта         | одна из восьми: `en`, `ru`, `de`, `zh-Hans`, `zh-Hant`, `ko`, `th`, `hi`                            |
+| локаль сайта         | одна из локалей перевода; их набор — в `implementation.md` рядом                                    |
 | локаль по умолчанию  | `en` — отдаётся из корня, без префикса в адресе                                                     |
 | локаль ввода         | `source_locale` в запросе сохранения объекта; берётся из языка админки                              |
 | словарь              | JSON-словари Transloco в `libs/common/i18n/src/lib/dictionaries/<локаль>/`, разложенные по разделам |
@@ -54,6 +54,8 @@ description: Правило под «Закон о локалях и перев
 ## Паттерны
 
 - `translations-key` — заведение ключа во всех локалях перевода и подстановка в разметку.
+- `translations-content` — перевод содержимого записи: производный перевод, запись локали
+  руками, отказ провайдера, сброс кэша отданных страниц.
 
 ## Ловушки
 
@@ -63,7 +65,11 @@ description: Правило под «Закон о локалях и перев
   на общий, сайт, письма и админку.
 - **Перевод контента идёт до транзакции сохранения:** страница объекта не должна оказаться
   наполовину переведённой. Кэш сбрасывается после записи и один раз.
-- **Без ключа `ANTHROPIC_API_KEY` сохранение проходит,** но переводы остаются прежними, и
-  владелец видит предупреждение `propertySaveTranslationFailed`.
+- **Без ключа переводов сохранение проходит,** но переводы остаются прежними, и владелец видит
+  предупреждение об этом на своём экране. Ключ лежит секретом владения в хранилище, а не
+  переменной окружения, и заводит его владелец экраном интеграций: одноимённая переменная в
+  составе прода приложением не читается. Состояния ключа — паттерн `git-workflow-secrets`.
+- **Ветки локалей надеты не на все маршруты сайта, и новый раздел в них не попадает** —
+  раскладка, её ловушка и готовый код лежат в правиле `seo` и паттерне `seo-page`.
 - Новый маршрут сайта без ветки под каждую локаль существует только в локали по умолчанию:
-  `/de/<путь>` отдаст 404 и поисковику, и гостю.
+  путь под префиксом другой локали отдаст 404 и поисковику, и гостю.

package/assets/rules/typescript-conventions.md

@@ -33,6 +33,11 @@ description: Правило под «Закон об устройстве код
   различаются в месте использования, а не переходом к объявлению.
 - **Суффикс имени файла находит в нём обещанное объявление.** Список суффиксов закрыт: слово,
   которого в нём нет, суффиксом не считается, и такой файл правило не судит.
+- **Файл не длиннее 500 строк, и считаются все строки — пустые и комментарии тоже.** Файл,
+  который не влезает на экран целиком, читают по частям, и правку в нём делают, не увидев
+  остального. Для `.ts` это держит правило линтера; файлы обвязки — сценарии и скрипты — до
+  него не доходят и судятся отдельной проверкой дерева. Накопленное к дню включения
+  перечислено поимённо, и строка оттуда снимается вместе с делением своего файла.
 - **Тип берётся из того пакета, где объявлен.** Своя копия чужого типа расходится с оригиналом
   молча, а компилируется из них только одна.
 - **Двухступенчатое приведение `as unknown as` запрещено правилом линтера.** Вместо него —

package/lib/assets.d.ts

@@ -19,6 +19,6 @@ export interface IAsset {
  * ресурса нет. У разложенного `git-workflow` хостинга в имени не остаётся: второго вида в этом
  * дереве нет, а агенту, который правило читает, различать их незачем.
  */
-export declare function targetOf(entry: IEntryOfCatalog, layout: Readonly<Record<TKind, string>>): string;
+export declare function targetOf(entry: Pick<IEntryOfCatalog, 'id' | 'kind' | 'name'>, layout: Readonly<Record<TKind, string>>): string;
 export declare function collectAssets(config: IConfig, assetsDir: string): readonly IAsset[];
 //# sourceMappingURL=assets.d.ts.map

package/lib/assets.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assets.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/assets.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAyB,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,OAAO,EAA2B,KAAK,EAAE,MAAM,aAAa,CAAC;AAEtE,MAAM,WAAW,MAAM;IACnB,kGAAkG;IAClG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,8FAA8F;IAC9F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAChC;AAUD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAIhG;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAWnF"}
+{"version":3,"file":"assets.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/assets.ts"],"names":[],"mappings":"AASA,OAAO,EAAiB,eAAe,EAAe,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,OAAO,EAA2B,KAAK,EAAE,MAAM,aAAa,CAAC;AAEtE,MAAM,WAAW,MAAM;IACnB,kGAAkG;IAClG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,8FAA8F;IAC9F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAChC;AAUD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAI9H;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CASnF"}

package/lib/assets.js

@@ -6,7 +6,7 @@
  * показывает и то, от чего проект отказался, — обоим нужен набор до отбора.
  */
 import { join } from 'node:path';
-import { isChosen, readCatalog } from './catalog.js';
+import { chosenEntries, readCatalog } from './catalog.js';
 import { SKILL_FILE, SKILL_KINDS } from './config.js';
 /** Расширение ресурса вместе с точкой; у файла без расширения — пустая строка. */
 const extensionOf = (id) => {
@@ -27,9 +27,7 @@ export function targetOf(entry, layout) {
         : join(layout[entry.kind], `${entry.name}${extensionOf(entry.id)}`);
 }
 export function collectAssets(config, assetsDir) {
-    return readCatalog(assetsDir)
-        .filter((entry) => isChosen(entry, config))
-        .map((entry) => ({
+    return chosenEntries(readCatalog(assetsDir), config).map((entry) => ({
         id: entry.id,
         kind: entry.kind,
         name: entry.name,

package/lib/assets.js.map

@@ -1 +1 @@
-{"version":3,"file":"assets.js","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/assets.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAmB,QAAQ,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAW,UAAU,EAAE,WAAW,EAAS,MAAM,aAAa,CAAC;AAetE,kFAAkF;AAClF,MAAM,WAAW,GAA2B,CAAC,EAAU,EAAU,EAAE;IAC/D,MAAM,GAAG,GAAW,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAW,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAE1C,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAsB,EAAE,MAAuC;IACpF,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAe,EAAE,SAAiB;IAC5D,OAAO,WAAW,CAAC,SAAS,CAAC;SACxB,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,KAAsB,EAAU,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACtC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC/B,CAAC,CAAC,CAAC;AACZ,CAAC","sourcesContent":["/**\n * Что из везомого пакетом взял этот проект и куда оно ложится.\n *\n * Полный набор читает `catalog.ts`, здесь из него остаётся выбранное. Разделено потому, что\n * выбирать приходится раньше, чем раскладывать: `init` спрашивает, какие законы взять, а `list`\n * показывает и то, от чего проект отказался, — обоим нужен набор до отбора.\n */\nimport { join } from 'node:path';\n\nimport { IEntryOfCatalog, isChosen, readCatalog } from './catalog.js';\nimport { IConfig, SKILL_FILE, SKILL_KINDS, TKind } from './config.js';\n\nexport interface IAsset {\n    /** Идентификатор: `laws/application/money.md`. Он же путь надстройки и ключ в `only` и `skip`. */\n    readonly id: string;\n    readonly kind: TKind;\n    /** Имя без рода, вида и расширения: `delivery`. У скила — имя каталога, которым его зовут. */\n    readonly name: string;\n    readonly text: string;\n    /** Путь в дереве проекта, куда ресурс ложится. */\n    readonly target: string;\n    /** Запускается ли файл сам по себе: гарда без права на запуск не существует. */\n    readonly executable: boolean;\n}\n\n/** Расширение ресурса вместе с точкой; у файла без расширения — пустая строка. */\nconst extensionOf: (id: string) => string = (id: string): string => {\n    const dot: number = id.lastIndexOf('.');\n    const slash: number = id.lastIndexOf('/');\n\n    return dot > slash ? id.slice(dot) : '';\n};\n\n/**\n * Куда ложится ресурс. Скил читается агентом как `<имя>/SKILL.md`, и другого имени у него быть\n * не может: файл, названный по ресурсу, агент не найдёт вовсе. Остальные роды ложатся файлом —\n * по имени, а не по идентификатору: слой законов из идентификатора в путь переезжает, а вид\n * ресурса нет. У разложенного `git-workflow` хостинга в имени не остаётся: второго вида в этом\n * дереве нет, а агенту, который правило читает, различать их незачем.\n */\nexport function targetOf(entry: IEntryOfCatalog, layout: Readonly<Record<TKind, string>>): string {\n    return SKILL_KINDS.includes(entry.kind)\n        ? join(layout[entry.kind], entry.name, SKILL_FILE)\n        : join(layout[entry.kind], `${entry.name}${extensionOf(entry.id)}`);\n}\n\nexport function collectAssets(config: IConfig, assetsDir: string): readonly IAsset[] {\n    return readCatalog(assetsDir)\n        .filter((entry: IEntryOfCatalog): boolean => isChosen(entry, config))\n        .map((entry: IEntryOfCatalog): IAsset => ({\n            id: entry.id,\n            kind: entry.kind,\n            name: entry.name,\n            text: entry.text,\n            target: targetOf(entry, config.layout),\n            executable: entry.executable,\n        }));\n}\n"]}
+{"version":3,"file":"assets.js","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/assets.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAmB,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAW,UAAU,EAAE,WAAW,EAAS,MAAM,aAAa,CAAC;AAetE,kFAAkF;AAClF,MAAM,WAAW,GAA2B,CAAC,EAAU,EAAU,EAAE;IAC/D,MAAM,GAAG,GAAW,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAW,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAE1C,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAoD,EAAE,MAAuC;IAClH,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAe,EAAE,SAAiB;IAC5D,OAAO,aAAa,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAsB,EAAU,EAAE,CAAC,CAAC;QAC1F,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACtC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC/B,CAAC,CAAC,CAAC;AACR,CAAC","sourcesContent":["/**\n * Что из везомого пакетом взял этот проект и куда оно ложится.\n *\n * Полный набор читает `catalog.ts`, здесь из него остаётся выбранное. Разделено потому, что\n * выбирать приходится раньше, чем раскладывать: `init` спрашивает, какие законы взять, а `list`\n * показывает и то, от чего проект отказался, — обоим нужен набор до отбора.\n */\nimport { join } from 'node:path';\n\nimport { chosenEntries, IEntryOfCatalog, readCatalog } from './catalog.js';\nimport { IConfig, SKILL_FILE, SKILL_KINDS, TKind } from './config.js';\n\nexport interface IAsset {\n    /** Идентификатор: `laws/application/money.md`. Он же путь надстройки и ключ в `only` и `skip`. */\n    readonly id: string;\n    readonly kind: TKind;\n    /** Имя без рода, вида и расширения: `delivery`. У скила — имя каталога, которым его зовут. */\n    readonly name: string;\n    readonly text: string;\n    /** Путь в дереве проекта, куда ресурс ложится. */\n    readonly target: string;\n    /** Запускается ли файл сам по себе: гарда без права на запуск не существует. */\n    readonly executable: boolean;\n}\n\n/** Расширение ресурса вместе с точкой; у файла без расширения — пустая строка. */\nconst extensionOf: (id: string) => string = (id: string): string => {\n    const dot: number = id.lastIndexOf('.');\n    const slash: number = id.lastIndexOf('/');\n\n    return dot > slash ? id.slice(dot) : '';\n};\n\n/**\n * Куда ложится ресурс. Скил читается агентом как `<имя>/SKILL.md`, и другого имени у него быть\n * не может: файл, названный по ресурсу, агент не найдёт вовсе. Остальные роды ложатся файлом —\n * по имени, а не по идентификатору: слой законов из идентификатора в путь переезжает, а вид\n * ресурса нет. У разложенного `git-workflow` хостинга в имени не остаётся: второго вида в этом\n * дереве нет, а агенту, который правило читает, различать их незачем.\n */\nexport function targetOf(entry: Pick<IEntryOfCatalog, 'id' | 'kind' | 'name'>, layout: Readonly<Record<TKind, string>>): string {\n    return SKILL_KINDS.includes(entry.kind)\n        ? join(layout[entry.kind], entry.name, SKILL_FILE)\n        : join(layout[entry.kind], `${entry.name}${extensionOf(entry.id)}`);\n}\n\nexport function collectAssets(config: IConfig, assetsDir: string): readonly IAsset[] {\n    return chosenEntries(readCatalog(assetsDir), config).map((entry: IEntryOfCatalog): IAsset => ({\n        id: entry.id,\n        kind: entry.kind,\n        name: entry.name,\n        text: entry.text,\n        target: targetOf(entry, config.layout),\n        executable: entry.executable,\n    }));\n}\n"]}

package/lib/catalog.d.ts

@@ -30,6 +30,22 @@ export interface IEntryOfCatalog {
      */
     readonly requires: readonly string[];
 }
+/** Что объявила шапка ресурса. Пустое поле и отсутствующее здесь одно и то же. */
+export interface IFrontMatter {
+    readonly name: string;
+    readonly kind: string;
+    /** Закон, под которым стоит правило. */
+    readonly law: string;
+    /** Правило, при котором стоит паттерн. */
+    readonly rule: string;
+}
+/**
+ * Вступление между `---` в начале файла; его нет — вернётся пустая шапка.
+ *
+ * Живёт при каталоге, потому что связь родителя с потомком читают двое: сверка связности пакета
+ * и каскад отказа. Объявление у одного из них заводило бы круговой импорт между ними.
+ */
+export declare function frontMatterOf(text: string): IFrontMatter;
 /**
  * Что ресурс о себе объявил. Имена читаются идентификаторами — `hooks/observe.sh`: короткая
  * форма совпала бы у закона и правила с одним именем, а требование, указавшее не туда, хуже
@@ -91,6 +107,63 @@ export interface IGapOfVariant {
  * существующие в `skip` — дерево тем самым говорит, что обходится без этого ресурса.
  */
 export declare function variantGaps(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IGapOfVariant[];
+/** Ресурс, снятый вслед за отвергнутым родителем. */
+export interface ICascadeCut {
+    readonly id: string;
+    /** Ближайший родитель: у правила — его закон, у паттерна — его правило. */
+    readonly parent: string;
+    /**
+     * Отвергнутый корень цепочки — то, что дерево действительно отвергло или не выбрало.
+     * Ближайшего родителя мало: паттерн уходит вслед за правилом, которого в отказе нет, и
+     * искать его там читатель пойдёт зря.
+     */
+    readonly root: string;
+}
+/**
+ * Ресурсы, снятые каскадом: правила при невзятом законе и паттерны при невзятых правилах.
+ *
+ * Связь читается из вступления самого ресурса — отдельный список при пакете разошёлся бы с
+ * ресурсами молча, тем же молчанием, ради которого каскад и заводится. Родитель ищется по
+ * последнему звену имени: полного пути в шапке нет, потому что переезд закона между слоями
+ * переписывал бы шапки всех правил при нём.
+ *
+ * Родителя в каталоге нет вовсе — каскад молчит: снимать не по чему, а промах в шапке судит
+ * сверка связности пакета, до всякой раскладки в дереве.
+ */
+export declare function cascadeCuts(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly ICascadeCut[];
+/**
+ * Ресурсы, названные выбором поимённо и всё равно снятые каскадом.
+ *
+ * Дерево, назвавшее правило в выборе при невыбранном законе, не получает его молча — то самое
+ * молчание, ради которого каскад и заводится, только с другой стороны: там о снятии не знал тот,
+ * кто ничего не просил, здесь — тот, кто попросил прямо.
+ */
+export declare function namedButCut(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly ICascadeCut[];
+/**
+ * Что ложится в дерево: прямой отбор за вычетом снятого каскадом.
+ *
+ * Отдельной функцией, а не внутри `isChosen`, потому что каскад знает весь каталог, а отбор —
+ * один ресурс: связь родителя с потомком по одной записи не видна.
+ */
+export declare function chosenEntries(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IEntryOfCatalog[];
+/** Строка отказа, которая ничего не снимает. */
+export interface IIdleSkip {
+    readonly id: string;
+    /** Чем названное ею уже снято: имя отвергнутого родителя, либо пусто — такого ресурса нет. */
+    readonly by: string;
+}
+/**
+ * Строки отказа, которые ничего не снимают: названное ими снято каскадом или в каталоге не
+ * значится вовсе.
+ *
+ * Не отказ, а предупреждение: настройка, верная до обновления пакета, становится лишней сама,
+ * без единой правки в дереве, и отбивать за это раскладку значило бы наказывать за вчерашнюю
+ * правоту.
+ *
+ * Строка на ресурс чужого вида лишней не считается никогда: ею дерево гасит отказ о ресурсе,
+ * у которого нет подходящего вида, — то есть работу она делает.
+ */
+export declare function idleSkips(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IIdleSkip[];
 /** Выбранный ресурс, чьё требование в дерево не поехало. */
 export interface IBrokenLink {
     /** Кто требует — идентификатор выбранного ресурса. */

package/lib/catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/catalog.ts"],"names":[],"mappings":"AAUA,OAAO,EAAS,KAAK,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAS,QAAQ,EAAuD,MAAM,eAAe,CAAC;AAErG,MAAM,WAAW,eAAe;IAC5B,kGAAkG;IAClG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kFAAkF;IAClF,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAUD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAU1D;AAaD,yFAAyF;AACzF,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAI9D;AA8BD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,eAAe,EAAE,CAyBzE;AAED,oFAAoF;AACpF,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,GAAG,OAAO,CAU/E;AAED,qFAAqF;AACrF,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sCAAsC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,yEAAyE;IACzE,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,aAAa,EAAE,CAsChH;AAED,4DAA4D;AAC5D,MAAM,WAAW,WAAW;IACxB,sDAAsD;IACtD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,WAAW,EAAE,CAoB9G;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,eAAe,EAAE,GAAG,MAAM,GAAG,IAAI,CAUpG;AAED,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,wFAAwF;AACxF,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,eAAe,EAAE,GAAG,kBAAkB,CAchI"}
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/catalog.ts"],"names":[],"mappings":"AAUA,OAAO,EAAS,KAAK,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAS,QAAQ,EAAuD,MAAM,eAAe,CAAC;AAErG,MAAM,WAAW,eAAe;IAC5B,kGAAkG;IAClG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kFAAkF;IAClF,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAID,kFAAkF;AAClF,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wCAAwC;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,0CAA0C;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAID;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAiBxD;AAQD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAU1D;AAaD,yFAAyF;AACzF,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAI9D;AA8BD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,eAAe,EAAE,CAyBzE;AAED,oFAAoF;AACpF,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,GAAG,OAAO,CAU/E;AAED,qFAAqF;AACrF,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sCAAsC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,yEAAyE;IACzE,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,aAAa,EAAE,CAsChH;AAED,qDAAqD;AACrD,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,WAAW,EAAE,CAuC9G;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,WAAW,EAAE,CAE9G;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,eAAe,EAAE,CAIpH;AAED,gDAAgD;AAChD,MAAM,WAAW,SAAS;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,8FAA8F;IAC9F,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,SAAS,EAAE,CAsB1G;AAED,4DAA4D;AAC5D,MAAM,WAAW,WAAW;IACxB,sDAAsD;IACtD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,WAAW,EAAE,CAoB9G;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,eAAe,EAAE,GAAG,MAAM,GAAG,IAAI,CAUpG;AAED,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,wFAAwF;AACxF,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,eAAe,EAAE,GAAG,kBAAkB,CAchI"}

package/lib/catalog.js

@@ -10,6 +10,29 @@ import { join } from 'node:path';
 import { KINDS } from './config.js';
 import { matchesVariant, readAxes, variantOf, withoutVariant } from './variants.js';
 const TITLE = /^#\s+(\S.*)$/m;
+const FIELD = /^([a-z]+):\s*(\S.*?)\s*$/;
+/**
+ * Вступление между `---` в начале файла; его нет — вернётся пустая шапка.
+ *
+ * Живёт при каталоге, потому что связь родителя с потомком читают двое: сверка связности пакета
+ * и каскад отказа. Объявление у одного из них заводило бы круговой импорт между ними.
+ */
+export function frontMatterOf(text) {
+    const lines = text.split('\n');
+    const found = {};
+    if (lines[0]?.trim() === '---') {
+        for (const line of lines.slice(1)) {
+            if (line.trim() === '---') {
+                break;
+            }
+            const match = line.match(FIELD);
+            if (match) {
+                found[match[1]] = match[2];
+            }
+        }
+    }
+    return { name: found['name'] ?? '', kind: found['kind'] ?? '', law: found['law'] ?? '', rule: found['rule'] ?? '' };
+}
 /**
  * Строка требования в шапке ресурса. Двух видов, потому что ресурсы двух родов: у разметки
  * `**Требует:**`, у исполняемого файла — комментарий `# Требует:`.
@@ -174,6 +197,104 @@ export function variantGaps(catalog, selection) {
     }
     return gaps;
 }
+/** Последнее звено имени: `application/money` → `money`. Им ресурсы и ссылаются друг на друга. */
+const shortNameOf = (entry) => entry.name.split('/').pop() ?? entry.name;
+/**
+ * Ресурсы, снятые каскадом: правила при невзятом законе и паттерны при невзятых правилах.
+ *
+ * Связь читается из вступления самого ресурса — отдельный список при пакете разошёлся бы с
+ * ресурсами молча, тем же молчанием, ради которого каскад и заводится. Родитель ищется по
+ * последнему звену имени: полного пути в шапке нет, потому что переезд закона между слоями
+ * переписывал бы шапки всех правил при нём.
+ *
+ * Родителя в каталоге нет вовсе — каскад молчит: снимать не по чему, а промах в шапке судит
+ * сверка связности пакета, до всякой раскладки в дереве.
+ */
+export function cascadeCuts(catalog, selection) {
+    const takenOf = (kind) => new Set(catalog.filter((entry) => entry.kind === kind && isChosen(entry, selection)).map(shortNameOf));
+    const knownOf = (kind) => new Set(catalog.filter((entry) => entry.kind === kind).map(shortNameOf));
+    const takenLaws = takenOf('laws');
+    const knownLaws = knownOf('laws');
+    const takenRules = takenOf('rules');
+    const knownRules = knownOf('rules');
+    const cuts = [];
+    /** Правило, снятое законом: для паттернов при нём корнем цепочки будет этот закон. */
+    const rootByRule = new Map();
+    for (const entry of catalog) {
+        if (entry.kind !== 'rules' || !isChosen(entry, selection)) {
+            continue;
+        }
+        const law = frontMatterOf(entry.text).law;
+        if (!law || !knownLaws.has(law) || takenLaws.has(law)) {
+            continue;
+        }
+        cuts.push({ id: entry.id, parent: law, root: law });
+        rootByRule.set(shortNameOf(entry), law);
+    }
+    for (const entry of catalog) {
+        if (entry.kind !== 'patterns' || !isChosen(entry, selection)) {
+            continue;
+        }
+        const rule = frontMatterOf(entry.text).rule;
+        if (!rule || !knownRules.has(rule) || (takenRules.has(rule) && !rootByRule.has(rule))) {
+            continue;
+        }
+        cuts.push({ id: entry.id, parent: rule, root: rootByRule.get(rule) ?? rule });
+    }
+    return cuts;
+}
+/**
+ * Ресурсы, названные выбором поимённо и всё равно снятые каскадом.
+ *
+ * Дерево, назвавшее правило в выборе при невыбранном законе, не получает его молча — то самое
+ * молчание, ради которого каскад и заводится, только с другой стороны: там о снятии не знал тот,
+ * кто ничего не просил, здесь — тот, кто попросил прямо.
+ */
+export function namedButCut(catalog, selection) {
+    return cascadeCuts(catalog, selection).filter((one) => selection.only.includes(one.id));
+}
+/**
+ * Что ложится в дерево: прямой отбор за вычетом снятого каскадом.
+ *
+ * Отдельной функцией, а не внутри `isChosen`, потому что каскад знает весь каталог, а отбор —
+ * один ресурс: связь родителя с потомком по одной записи не видна.
+ */
+export function chosenEntries(catalog, selection) {
+    const cut = new Set(cascadeCuts(catalog, selection).map((one) => one.id));
+    return catalog.filter((entry) => isChosen(entry, selection) && !cut.has(entry.id));
+}
+/**
+ * Строки отказа, которые ничего не снимают: названное ими снято каскадом или в каталоге не
+ * значится вовсе.
+ *
+ * Не отказ, а предупреждение: настройка, верная до обновления пакета, становится лишней сама,
+ * без единой правки в дереве, и отбивать за это раскладку значило бы наказывать за вчерашнюю
+ * правоту.
+ *
+ * Строка на ресурс чужого вида лишней не считается никогда: ею дерево гасит отказ о ресурсе,
+ * у которого нет подходящего вида, — то есть работу она делает.
+ */
+export function idleSkips(catalog, selection) {
+    const idle = [];
+    for (const id of selection.skip) {
+        const entry = catalog.find((one) => one.id === id);
+        if (!entry) {
+            idle.push({ id, by: '' });
+            continue;
+        }
+        if (!matchesVariant(entry.variant, selection.variants)) {
+            continue;
+        }
+        // Каскад считается от отбора без этой строки: иначе снятое ею самой читалось бы как
+        // снятое родителем, и лишней оказалась бы любая строка отказа подряд.
+        const without = { ...selection, skip: selection.skip.filter((one) => one !== id) };
+        const cut = cascadeCuts(catalog, without).find((one) => one.id === id);
+        if (cut) {
+            idle.push({ id, by: cut.root });
+        }
+    }
+    return idle;
+}
 /**
  * Связи, разорванные выбором дерева.
  *