@rt-tools/agent-kit 0.10.0 → 0.12.0

package/lib/cargo.js.map

@@ -1 +1 @@
-{"version":3,"file":"cargo.js","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/cargo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,yFAAyF;AACzF,MAAM,CAAC,MAAM,oBAAoB,GAAW,GAAG,CAAC;AAEhD,uDAAuD;AACvD,MAAM,CAAC,MAAM,iBAAiB,GAAW,cAAc,CAAC","sourcesContent":["/**\n * Форма груза: то, что уезжает с дерева в приём.\n *\n * Место объявления одно на обе стороны — правило договорённости приёма. Объявляет его\n * отправляющая сторона: пакет уходит в реестр, и импорт внутренней либы приёма уехал бы в\n * описания его типов и сломал бы установку. Приём берёт форму отсюда, а своей копии не заводит:\n * из двух копий компилируется только одна, а расходятся они молча.\n *\n * Файл держится без единого импорта намеренно: его читает и приём, и всякий, кто ставит пакет,\n * — а всё остальное в пакете написано под запуск из строки запуска.\n */\n\n/** Версия формата запроса приёма. Меняется, когда меняется состав полей самого груза. */\nexport const CARGO_SCHEMA_VERSION: string = '1';\n\n/** Заголовок, которым дерево представляется приёму. */\nexport const TREE_TOKEN_HEADER: string = 'x-tree-token';\n\n/** Род правки надстройки: дерево замещает раздел пакета, дописывает свой или снимает пакетный. */\nexport type TOverrideKind = 'replace' | 'append' | 'drop';\n\n/** Сколько раз что-то встретилось за отрезок сводки. */\nexport interface ICargoCount {\n    readonly name: string;\n    readonly count: number;\n}\n\n/**\n * Одна правка надстройки. У замещения и снятия заголовок раздела пакетный и общий у всех, потому\n * называется; у своего раздела заголовок придумало дерево — он не уезжает вовсе.\n */\nexport interface ICargoOverride {\n    readonly resource: string;\n    readonly section: string | null;\n    readonly kind: TOverrideKind;\n}\n\n/** Общее у всякого груза: чем разбирать и от какого дерева приехало. */\nexport interface ICargoHead {\n    readonly schema: string;\n    readonly tree: string;\n}\n\n/** Сводка наблюдений дерева за отрезок дней вместе со снимком надстроек. */\nexport interface ISummaryCargo extends ICargoHead {\n    readonly days: number;\n    readonly sessions: number;\n    readonly loads: readonly ICargoCount[];\n    readonly denials: readonly ICargoCount[];\n    readonly kinds: readonly ICargoCount[];\n    readonly guards: readonly ICargoCount[];\n    /** Ресурсы, разложенные в дерево и не загруженные за отрезок ни разу. */\n    readonly unused: readonly string[];\n    /** Ресурсы пакета, которых дерево не разложило вовсе. */\n    readonly unpicked: readonly string[];\n    readonly overrides: readonly ICargoOverride[];\n    /** Версии схемы строк наблюдения, встреченные за отрезок. Приём их не судит. */\n    readonly versions: readonly string[];\n    readonly total: number;\n}\n\n/** Одно предложение по слою правил. */\nexport interface IProposalItem {\n    readonly text: string;\n    readonly address: string;\n    readonly resource: string;\n}\n\nexport interface IProposalsCargo extends ICargoHead {\n    readonly items: readonly IProposalItem[];\n}\n\n/** Один разбор происшествия: имя файла на дереве и текст целиком. */\nexport interface IPostmortemItem {\n    readonly file: string;\n    readonly text: string;\n}\n\nexport interface IPostmortemsCargo extends ICargoHead {\n    readonly items: readonly IPostmortemItem[];\n}\n\n/**\n * Обращение дерева за токеном.\n *\n * Имени дерева в нём нет вовсе: его приём берёт из приглашения — принятое из обращения, оно\n * позволило бы назваться чужим именем тому, кто добыл код.\n */\nexport interface IEnrollCargo {\n    readonly schema: string;\n    /** Признак дерева: его дерево считает у себя, а приём только сверяет. */\n    readonly tree: string;\n    /** Код приглашения, выданный владельцем. Уходит один раз и в журнал не попадает. */\n    readonly code: string;\n}\n\n/** Ответ приёма на годное обращение: токен уходит дереву единственным этим ответом. */\nexport interface IEnrollGranted {\n    readonly tree: string;\n    /** Имя дерева, как его назвал владелец в приглашении. */\n    readonly name: string;\n    readonly token: string;\n}\n\n/** Ответ приёма на принятый груз: дерево и месяц печатаются владельцу отправляющей стороной. */\nexport interface IIntakeAccepted {\n    readonly tree: string;\n    /** Месяц записи в форме `2026-08`, по всемирному времени приёма. */\n    readonly month: string;\n    /** Запись месяца заведена этим запросом, а не обновлена. */\n    readonly created: boolean;\n    /**\n     * Сколько записей легло этим запросом и сколько приехало повторно.\n     *\n     * Есть только у предложений: у них приём отбирает уже приехавшее по признаку, и без этих\n     * двух чисел отправитель печатает «уехало» в том числе тогда, когда нового не уехало ничего.\n     * Приём прежней редакции их не присылает вовсе — отсюда необязательность.\n     */\n    readonly added?: number;\n    readonly known?: number;\n}\n"]}
+{"version":3,"file":"cargo.js","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/cargo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,yFAAyF;AACzF,MAAM,CAAC,MAAM,oBAAoB,GAAW,GAAG,CAAC;AAEhD,uDAAuD;AACvD,MAAM,CAAC,MAAM,iBAAiB,GAAW,cAAc,CAAC;AA6GxD,oGAAoG;AACpG,MAAM,CAAC,MAAM,YAAY,GAAsB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC","sourcesContent":["/**\n * Форма груза: то, что уезжает с дерева в приём.\n *\n * Место объявления одно на обе стороны — правило договорённости приёма. Объявляет его\n * отправляющая сторона: пакет уходит в реестр, и импорт внутренней либы приёма уехал бы в\n * описания его типов и сломал бы установку. Приём берёт форму отсюда, а своей копии не заводит:\n * из двух копий компилируется только одна, а расходятся они молча.\n *\n * Файл держится без единого импорта намеренно: его читает и приём, и всякий, кто ставит пакет,\n * — а всё остальное в пакете написано под запуск из строки запуска.\n */\n\n/** Версия формата запроса приёма. Меняется, когда меняется состав полей самого груза. */\nexport const CARGO_SCHEMA_VERSION: string = '1';\n\n/** Заголовок, которым дерево представляется приёму. */\nexport const TREE_TOKEN_HEADER: string = 'x-tree-token';\n\n/** Род правки надстройки: дерево замещает раздел пакета, дописывает свой или снимает пакетный. */\nexport type TOverrideKind = 'replace' | 'append' | 'drop';\n\n/** Сколько раз что-то встретилось за отрезок сводки. */\nexport interface ICargoCount {\n    readonly name: string;\n    readonly count: number;\n}\n\n/**\n * Одна правка надстройки. У замещения и снятия заголовок раздела пакетный и общий у всех, потому\n * называется; у своего раздела заголовок придумало дерево — он не уезжает вовсе.\n */\nexport interface ICargoOverride {\n    readonly resource: string;\n    readonly section: string | null;\n    readonly kind: TOverrideKind;\n}\n\n/** Общее у всякого груза: чем разбирать и от какого дерева приехало. */\nexport interface ICargoHead {\n    readonly schema: string;\n    readonly tree: string;\n}\n\n/** Сводка наблюдений дерева за отрезок дней вместе со снимком надстроек. */\nexport interface ISummaryCargo extends ICargoHead {\n    readonly days: number;\n    readonly sessions: number;\n    readonly loads: readonly ICargoCount[];\n    readonly denials: readonly ICargoCount[];\n    readonly kinds: readonly ICargoCount[];\n    readonly guards: readonly ICargoCount[];\n    /** Ресурсы, разложенные в дерево и не загруженные за отрезок ни разу. */\n    readonly unused: readonly string[];\n    /** Ресурсы пакета, которых дерево не разложило вовсе. */\n    readonly unpicked: readonly string[];\n    readonly overrides: readonly ICargoOverride[];\n    /** Версии схемы строк наблюдения, встреченные за отрезок. Приём их не судит. */\n    readonly versions: readonly string[];\n    readonly total: number;\n}\n\n/** Одно предложение по слою правил. */\nexport interface IProposalItem {\n    readonly text: string;\n    readonly address: string;\n    readonly resource: string;\n}\n\nexport interface IProposalsCargo extends ICargoHead {\n    readonly items: readonly IProposalItem[];\n}\n\n/** Один разбор происшествия: имя файла на дереве и текст целиком. */\nexport interface IPostmortemItem {\n    readonly file: string;\n    readonly text: string;\n}\n\nexport interface IPostmortemsCargo extends ICargoHead {\n    readonly items: readonly IPostmortemItem[];\n}\n\n/**\n * Обращение дерева за токеном.\n *\n * Имени дерева в нём нет вовсе: его приём берёт из приглашения — принятое из обращения, оно\n * позволило бы назваться чужим именем тому, кто добыл код.\n */\nexport interface IEnrollCargo {\n    readonly schema: string;\n    /** Признак дерева: его дерево считает у себя, а приём только сверяет. */\n    readonly tree: string;\n    /** Код приглашения, выданный владельцем. Уходит один раз и в журнал не попадает. */\n    readonly code: string;\n}\n\n/** Ответ приёма на годное обращение: токен уходит дереву единственным этим ответом. */\nexport interface IEnrollGranted {\n    readonly tree: string;\n    /** Имя дерева, как его назвал владелец в приглашении. */\n    readonly name: string;\n    readonly token: string;\n}\n\n/** Ответ приёма на принятый груз: дерево и месяц печатаются владельцу отправляющей стороной. */\nexport interface IIntakeAccepted {\n    readonly tree: string;\n    /** Месяц записи в форме `2026-08`, по всемирному времени приёма. */\n    readonly month: string;\n    /** Запись месяца заведена этим запросом, а не обновлена. */\n    readonly created: boolean;\n    /**\n     * Сколько записей легло этим запросом и сколько приехало повторно.\n     *\n     * Есть только у предложений: у них приём отбирает уже приехавшее по признаку, и без этих\n     * двух чисел отправитель печатает «уехало» в том числе тогда, когда нового не уехало ничего.\n     * Приём прежней редакции их не присылает вовсе — отсюда необязательность.\n     */\n    readonly added?: number;\n    readonly known?: number;\n}\n\n/** Род записи груза, у которой есть состояние. Набор закрыт: сводка месяца состояния не несёт. */\nexport type TCargoStateKind = 'postmortem' | 'proposal';\n\n/** Состояния записи груза по порядку: шаг идёт вперёд на соседнее, назад — только из «в работе». */\nexport const CARGO_STATES: readonly string[] = ['new', 'in_work', 'fixed', 'released'];\n\n/** Одна строка правки состояния: род записи, ключ и состояние, в которое её переводят. */\nexport interface ICargoStateItem {\n    readonly kind: TCargoStateKind;\n    /** Ключ записи: имя файла у разбора происшествия, признак текста у предложения. */\n    readonly key: string;\n    readonly state: string;\n    /**\n     * Чем недочёт исправлен. Едет только при переходе в «починено и не выпущено» — с другим\n     * переходом приём отбивает строку, а без него отбивает переход в починку.\n     */\n    readonly fixNote?: string;\n    /**\n     * В какой версии искать фикс. Едет только при переходе в «выпущено» — с другим переходом\n     * приём отбивает строку, а без него отбивает переход в выпуск.\n     */\n    readonly releaseVersion?: string;\n}\n\n/** Пакет правки состояния: то же общее, что у всякого груза, плюс строки правки. */\nexport interface ICargoStateBody extends ICargoHead {\n    readonly items: readonly ICargoStateItem[];\n}\n\n/** Строка, которую приём не исполнил: место в пакете, род записи, ключ и причина. */\nexport interface ICargoStateDenied {\n    readonly at: number;\n    readonly kind: TCargoStateKind;\n    readonly key: string;\n    /** Почему не исполнена: записи у дерева нет либо переход не разрешён. */\n    readonly denial: string;\n}\n\n/** Ответ приёма на правку состояния: признак дерева, два числа и отбитые строки. */\nexport interface ICargoStateAccepted {\n    readonly tree: string;\n    /** Сколько записей переведено. */\n    readonly changed: number;\n    /** Сколько уже стояло в названном состоянии: переходом это не считается. */\n    readonly same: number;\n    readonly denied: readonly ICargoStateDenied[];\n}\n"]}

package/lib/cascade.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cascade.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/cascade.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAiB,eAAe,EAAY,UAAU,EAAE,MAAM,cAAc,CAAC;AAIpF,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;AAgED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,WAAW,EAAE,CAM9G;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;AA0BD,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,SAAS,EAAE,CAqB1G"}
+{"version":3,"file":"cascade.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/cascade.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAiB,eAAe,EAAY,UAAU,EAAE,MAAM,cAAc,CAAC;AAIpF,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;AA0FD;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,WAAW,EAAE,CAM9G;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;AA0BD,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,EAAE,SAAS,EAAE,UAAU,GAAG,SAAS,SAAS,EAAE,CAqB1G"}

package/lib/cascade.js

@@ -49,6 +49,24 @@ function patternsCutByRules(catalog, selection, rootByRule) {
     }
     return cuts;
 }
+/**
+ * Холодные части, снятые вслед за своим правилом. Родитель ищется по имени, а не по полю шапки:
+ * холодная часть принадлежит одному правилу и называется так же, как оно, — второго имени у неё
+ * нет и быть не может.
+ */
+function pitfallsCutByRules(catalog, selection, rootByRule) {
+    const taken = takenNames(catalog, selection, 'rules');
+    const known = knownNames(catalog, 'rules');
+    const cuts = [];
+    for (const entry of chosenOfKind(catalog, selection, 'pitfalls')) {
+        const rule = shortNameOf(entry);
+        const standing = taken.has(rule) && !rootByRule.has(rule);
+        if (known.has(rule) && !standing) {
+            cuts.push({ id: entry.id, parent: rule, root: rootByRule.get(rule) ?? rule });
+        }
+    }
+    return cuts;
+}
 /**
  * Ресурсы, снятые каскадом: правила при невзятом законе и паттерны при невзятых правилах.
  *
@@ -64,7 +82,7 @@ export function cascadeCuts(catalog, selection) {
     /** Правило, снятое законом: для паттернов при нём корнем цепочки будет этот закон. */
     const rootByRule = new Map();
     const rules = rulesCutByLaws(catalog, selection, rootByRule);
-    return [...rules, ...patternsCutByRules(catalog, selection, rootByRule)];
+    return [...rules, ...patternsCutByRules(catalog, selection, rootByRule), ...pitfallsCutByRules(catalog, selection, rootByRule)];
 }
 /**
  * Ресурсы, названные выбором поимённо и всё равно снятые каскадом.

package/lib/cascade.js.map

@@ -1 +1 @@
-{"version":3,"file":"cascade.js","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/cascade.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,aAAa,EAAmB,QAAQ,EAAc,MAAM,cAAc,CAAC;AAEpF,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAe/C,kGAAkG;AAClG,MAAM,WAAW,GAAuC,CAAC,KAAsB,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC;AAEtI,kCAAkC;AAClC,SAAS,YAAY,CAAC,OAAmC,EAAE,SAAqB,EAAE,IAAW;IACzF,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,2CAA2C;AAC3C,SAAS,UAAU,CAAC,OAAmC,EAAE,SAAqB,EAAE,IAAW;IACvF,OAAO,IAAI,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,4DAA4D;AAC5D,SAAS,UAAU,CAAC,OAAmC,EAAE,IAAW;IAChE,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED,oGAAoG;AACpG,SAAS,cAAc,CACnB,OAAmC,EACnC,SAAqB,EACrB,UAA+B;IAE/B,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAkB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,GAAG,GAAW,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;QAElD,IAAI,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACpD,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5C,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,oGAAoG;AACpG,SAAS,kBAAkB,CACvB,OAAmC,EACnC,SAAqB,EACrB,UAAuC;IAEvC,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,IAAI,GAAkB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAW,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QACpD,MAAM,QAAQ,GAAY,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEnE,IAAI,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,OAAmC,EAAE,SAAqB;IAClF,sFAAsF;IACtF,MAAM,UAAU,GAAwB,IAAI,GAAG,EAAkB,CAAC;IAClE,MAAM,KAAK,GAA2B,cAAc,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAErF,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,OAAmC,EAAE,SAAqB;IAClF,OAAO,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,GAAgB,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAClH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,OAAmC,EAAE,SAAqB;IACpF,MAAM,GAAG,GAAwB,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAgB,EAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpH,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACjH,CAAC;AASD;;;;;;;;;;GAUG;AACH;;;;;GAKG;AACH,SAAS,WAAW,CAAC,OAAmC,EAAE,SAAqB,EAAE,EAAU;IACvF,MAAM,OAAO,GAAe,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAW,EAAW,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,CAAC;IAChH,MAAM,GAAG,GAA4B,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,GAAgB,EAAW,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAEtH,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAmC,EAAE,SAAqB;IAChF,MAAM,IAAI,GAAgB,EAAE,CAAC;IAE7B,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAgC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAoB,EAAW,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAE1G,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAkB,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YAE9D,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,iFAAiF;YACjF,gCAAgC;QACpC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Каскад отказа: ресурс, чей родитель не поехал в дерево, снимается вслед за ним.\n *\n * Отдельным модулем от каталога: каталог знает, какие ресурсы бывают, а каскад — как они связаны\n * родством. Связь родителя с потомком читают двое — сверка связности пакета и сама раскладка, —\n * и оба берут её отсюда.\n */\n\nimport { frontMatterOf, IEntryOfCatalog, isChosen, ISelection } from './catalog.js';\nimport { TKind } from './config.js';\nimport { matchesVariant } from './variants.js';\n\n/** Ресурс, снятый вслед за отвергнутым родителем. */\nexport interface ICascadeCut {\n    readonly id: string;\n    /** Ближайший родитель: у правила — его закон, у паттерна — его правило. */\n    readonly parent: string;\n    /**\n     * Отвергнутый корень цепочки — то, что дерево действительно отвергло или не выбрало.\n     * Ближайшего родителя мало: паттерн уходит вслед за правилом, которого в отказе нет, и\n     * искать его там читатель пойдёт зря.\n     */\n    readonly root: string;\n}\n\n/** Последнее звено имени: `application/money` → `money`. Им ресурсы и ссылаются друг на друга. */\nconst shortNameOf: (entry: IEntryOfCatalog) => string = (entry: IEntryOfCatalog): string => entry.name.split('/').pop() ?? entry.name;\n\n/** Взятые ресурсы одного рода. */\nfunction chosenOfKind(catalog: readonly IEntryOfCatalog[], selection: ISelection, kind: TKind): readonly IEntryOfCatalog[] {\n    return catalog.filter((entry: IEntryOfCatalog): boolean => entry.kind === kind && isChosen(entry, selection));\n}\n\n/** Короткие имена взятых ресурсов рода. */\nfunction takenNames(catalog: readonly IEntryOfCatalog[], selection: ISelection, kind: TKind): ReadonlySet<string> {\n    return new Set(chosenOfKind(catalog, selection, kind).map(shortNameOf));\n}\n\n/** Короткие имена всех ресурсов рода, взяты они или нет. */\nfunction knownNames(catalog: readonly IEntryOfCatalog[], kind: TKind): ReadonlySet<string> {\n    return new Set(catalog.filter((entry: IEntryOfCatalog): boolean => entry.kind === kind).map(shortNameOf));\n}\n\n/** Правила, снятые вслед за своим законом. Заодно называет корень цепочки для паттернов при них. */\nfunction rulesCutByLaws(\n    catalog: readonly IEntryOfCatalog[],\n    selection: ISelection,\n    rootByRule: Map<string, string>\n): readonly ICascadeCut[] {\n    const taken: ReadonlySet<string> = takenNames(catalog, selection, 'laws');\n    const known: ReadonlySet<string> = knownNames(catalog, 'laws');\n    const cuts: ICascadeCut[] = [];\n\n    for (const entry of chosenOfKind(catalog, selection, 'rules')) {\n        const law: string = frontMatterOf(entry.text).law;\n\n        if (law && known.has(law) && !taken.has(law)) {\n            cuts.push({ id: entry.id, parent: law, root: law });\n            rootByRule.set(shortNameOf(entry), law);\n        }\n    }\n\n    return cuts;\n}\n\n/** Паттерны, снятые вслед за своим правилом: либо оно не взято, либо само ушло за своим законом. */\nfunction patternsCutByRules(\n    catalog: readonly IEntryOfCatalog[],\n    selection: ISelection,\n    rootByRule: ReadonlyMap<string, string>\n): readonly ICascadeCut[] {\n    const taken: ReadonlySet<string> = takenNames(catalog, selection, 'rules');\n    const known: ReadonlySet<string> = knownNames(catalog, 'rules');\n    const cuts: ICascadeCut[] = [];\n\n    for (const entry of chosenOfKind(catalog, selection, 'patterns')) {\n        const rule: string = frontMatterOf(entry.text).rule;\n        const standing: boolean = taken.has(rule) && !rootByRule.has(rule);\n\n        if (rule && known.has(rule) && !standing) {\n            cuts.push({ id: entry.id, parent: rule, root: rootByRule.get(rule) ?? rule });\n        }\n    }\n\n    return cuts;\n}\n\n/**\n * Ресурсы, снятые каскадом: правила при невзятом законе и паттерны при невзятых правилах.\n *\n * Связь читается из вступления самого ресурса — отдельный список при пакете разошёлся бы с\n * ресурсами молча, тем же молчанием, ради которого каскад и заводится. Родитель ищется по\n * последнему звену имени: полного пути в шапке нет, потому что переезд закона между слоями\n * переписывал бы шапки всех правил при нём.\n *\n * Родителя в каталоге нет вовсе — каскад молчит: снимать не по чему, а промах в шапке судит\n * сверка связности пакета, до всякой раскладки в дереве.\n */\nexport function cascadeCuts(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly ICascadeCut[] {\n    /** Правило, снятое законом: для паттернов при нём корнем цепочки будет этот закон. */\n    const rootByRule: Map<string, string> = new Map<string, string>();\n    const rules: readonly ICascadeCut[] = rulesCutByLaws(catalog, selection, rootByRule);\n\n    return [...rules, ...patternsCutByRules(catalog, selection, rootByRule)];\n}\n\n/**\n * Ресурсы, названные выбором поимённо и всё равно снятые каскадом.\n *\n * Дерево, назвавшее правило в выборе при невыбранном законе, не получает его молча — то самое\n * молчание, ради которого каскад и заводится, только с другой стороны: там о снятии не знал тот,\n * кто ничего не просил, здесь — тот, кто попросил прямо.\n */\nexport function namedButCut(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly ICascadeCut[] {\n    return cascadeCuts(catalog, selection).filter((one: ICascadeCut): boolean => selection.only.includes(one.id));\n}\n\n/**\n * Что ложится в дерево: прямой отбор за вычетом снятого каскадом.\n *\n * Отдельной функцией, а не внутри `isChosen`, потому что каскад знает весь каталог, а отбор —\n * один ресурс: связь родителя с потомком по одной записи не видна.\n */\nexport function chosenEntries(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IEntryOfCatalog[] {\n    const cut: ReadonlySet<string> = new Set(cascadeCuts(catalog, selection).map((one: ICascadeCut): string => one.id));\n\n    return catalog.filter((entry: IEntryOfCatalog): boolean => isChosen(entry, selection) && !cut.has(entry.id));\n}\n\n/** Строка отказа, которая ничего не снимает. */\nexport interface IIdleSkip {\n    readonly id: string;\n    /** Чем названное ею уже снято: имя отвергнутого родителя, либо пусто — такого ресурса нет. */\n    readonly by: string;\n}\n\n/**\n * Строки отказа, которые ничего не снимают: названное ими снято каскадом или в каталоге не\n * значится вовсе.\n *\n * Не отказ, а предупреждение: настройка, верная до обновления пакета, становится лишней сама,\n * без единой правки в дереве, и отбивать за это раскладку значило бы наказывать за вчерашнюю\n * правоту.\n *\n * Строка на ресурс чужого вида лишней не считается никогда: ею дерево гасит отказ о ресурсе,\n * у которого нет подходящего вида, — то есть работу она делает.\n */\n/**\n * Корень цепочки, которой ресурс снят и без этой строки отказа. Пусто — каскад его не трогает.\n *\n * Каскад считается от отбора без самой строки: иначе снятое ею читалось бы как снятое родителем,\n * и лишней оказалась бы любая строка отказа подряд.\n */\nfunction cutParentOf(catalog: readonly IEntryOfCatalog[], selection: ISelection, id: string): string | null {\n    const without: ISelection = { ...selection, skip: selection.skip.filter((one: string): boolean => one !== id) };\n    const cut: ICascadeCut | undefined = cascadeCuts(catalog, without).find((one: ICascadeCut): boolean => one.id === id);\n\n    return cut ? cut.root : null;\n}\n\nexport function idleSkips(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IIdleSkip[] {\n    const idle: IIdleSkip[] = [];\n\n    for (const id of selection.skip) {\n        const entry: IEntryOfCatalog | undefined = catalog.find((one: IEntryOfCatalog): boolean => one.id === id);\n\n        if (!entry) {\n            idle.push({ id, by: '' });\n        } else if (matchesVariant(entry.variant, selection.variants)) {\n            const by: string | null = cutParentOf(catalog, selection, id);\n\n            if (by !== null) {\n                idle.push({ id, by });\n            }\n        } else {\n            // Строка на ресурс чужого вида работу делает: ею дерево гасит отказ о ресурсе, у\n            // которого подходящего вида нет\n        }\n    }\n\n    return idle;\n}\n"]}
+{"version":3,"file":"cascade.js","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/cascade.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,aAAa,EAAmB,QAAQ,EAAc,MAAM,cAAc,CAAC;AAEpF,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAe/C,kGAAkG;AAClG,MAAM,WAAW,GAAuC,CAAC,KAAsB,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC;AAEtI,kCAAkC;AAClC,SAAS,YAAY,CAAC,OAAmC,EAAE,SAAqB,EAAE,IAAW;IACzF,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,2CAA2C;AAC3C,SAAS,UAAU,CAAC,OAAmC,EAAE,SAAqB,EAAE,IAAW;IACvF,OAAO,IAAI,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,4DAA4D;AAC5D,SAAS,UAAU,CAAC,OAAmC,EAAE,IAAW;IAChE,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED,oGAAoG;AACpG,SAAS,cAAc,CACnB,OAAmC,EACnC,SAAqB,EACrB,UAA+B;IAE/B,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAkB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,GAAG,GAAW,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;QAElD,IAAI,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACpD,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5C,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,oGAAoG;AACpG,SAAS,kBAAkB,CACvB,OAAmC,EACnC,SAAqB,EACrB,UAAuC;IAEvC,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,IAAI,GAAkB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAW,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QACpD,MAAM,QAAQ,GAAY,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEnE,IAAI,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CACvB,OAAmC,EACnC,SAAqB,EACrB,UAAuC;IAEvC,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAwB,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,IAAI,GAAkB,EAAE,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAW,WAAW,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAY,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEnE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,OAAmC,EAAE,SAAqB;IAClF,sFAAsF;IACtF,MAAM,UAAU,GAAwB,IAAI,GAAG,EAAkB,CAAC;IAClE,MAAM,KAAK,GAA2B,cAAc,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAErF,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AACpI,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,OAAmC,EAAE,SAAqB;IAClF,OAAO,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,GAAgB,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAClH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,OAAmC,EAAE,SAAqB;IACpF,MAAM,GAAG,GAAwB,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAgB,EAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpH,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAsB,EAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACjH,CAAC;AASD;;;;;;;;;;GAUG;AACH;;;;;GAKG;AACH,SAAS,WAAW,CAAC,OAAmC,EAAE,SAAqB,EAAE,EAAU;IACvF,MAAM,OAAO,GAAe,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAW,EAAW,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,CAAC;IAChH,MAAM,GAAG,GAA4B,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,GAAgB,EAAW,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAEtH,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAmC,EAAE,SAAqB;IAChF,MAAM,IAAI,GAAgB,EAAE,CAAC;IAE7B,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAgC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAoB,EAAW,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAE1G,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAkB,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YAE9D,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,iFAAiF;YACjF,gCAAgC;QACpC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Каскад отказа: ресурс, чей родитель не поехал в дерево, снимается вслед за ним.\n *\n * Отдельным модулем от каталога: каталог знает, какие ресурсы бывают, а каскад — как они связаны\n * родством. Связь родителя с потомком читают двое — сверка связности пакета и сама раскладка, —\n * и оба берут её отсюда.\n */\n\nimport { frontMatterOf, IEntryOfCatalog, isChosen, ISelection } from './catalog.js';\nimport { TKind } from './config.js';\nimport { matchesVariant } from './variants.js';\n\n/** Ресурс, снятый вслед за отвергнутым родителем. */\nexport interface ICascadeCut {\n    readonly id: string;\n    /** Ближайший родитель: у правила — его закон, у паттерна — его правило. */\n    readonly parent: string;\n    /**\n     * Отвергнутый корень цепочки — то, что дерево действительно отвергло или не выбрало.\n     * Ближайшего родителя мало: паттерн уходит вслед за правилом, которого в отказе нет, и\n     * искать его там читатель пойдёт зря.\n     */\n    readonly root: string;\n}\n\n/** Последнее звено имени: `application/money` → `money`. Им ресурсы и ссылаются друг на друга. */\nconst shortNameOf: (entry: IEntryOfCatalog) => string = (entry: IEntryOfCatalog): string => entry.name.split('/').pop() ?? entry.name;\n\n/** Взятые ресурсы одного рода. */\nfunction chosenOfKind(catalog: readonly IEntryOfCatalog[], selection: ISelection, kind: TKind): readonly IEntryOfCatalog[] {\n    return catalog.filter((entry: IEntryOfCatalog): boolean => entry.kind === kind && isChosen(entry, selection));\n}\n\n/** Короткие имена взятых ресурсов рода. */\nfunction takenNames(catalog: readonly IEntryOfCatalog[], selection: ISelection, kind: TKind): ReadonlySet<string> {\n    return new Set(chosenOfKind(catalog, selection, kind).map(shortNameOf));\n}\n\n/** Короткие имена всех ресурсов рода, взяты они или нет. */\nfunction knownNames(catalog: readonly IEntryOfCatalog[], kind: TKind): ReadonlySet<string> {\n    return new Set(catalog.filter((entry: IEntryOfCatalog): boolean => entry.kind === kind).map(shortNameOf));\n}\n\n/** Правила, снятые вслед за своим законом. Заодно называет корень цепочки для паттернов при них. */\nfunction rulesCutByLaws(\n    catalog: readonly IEntryOfCatalog[],\n    selection: ISelection,\n    rootByRule: Map<string, string>\n): readonly ICascadeCut[] {\n    const taken: ReadonlySet<string> = takenNames(catalog, selection, 'laws');\n    const known: ReadonlySet<string> = knownNames(catalog, 'laws');\n    const cuts: ICascadeCut[] = [];\n\n    for (const entry of chosenOfKind(catalog, selection, 'rules')) {\n        const law: string = frontMatterOf(entry.text).law;\n\n        if (law && known.has(law) && !taken.has(law)) {\n            cuts.push({ id: entry.id, parent: law, root: law });\n            rootByRule.set(shortNameOf(entry), law);\n        }\n    }\n\n    return cuts;\n}\n\n/** Паттерны, снятые вслед за своим правилом: либо оно не взято, либо само ушло за своим законом. */\nfunction patternsCutByRules(\n    catalog: readonly IEntryOfCatalog[],\n    selection: ISelection,\n    rootByRule: ReadonlyMap<string, string>\n): readonly ICascadeCut[] {\n    const taken: ReadonlySet<string> = takenNames(catalog, selection, 'rules');\n    const known: ReadonlySet<string> = knownNames(catalog, 'rules');\n    const cuts: ICascadeCut[] = [];\n\n    for (const entry of chosenOfKind(catalog, selection, 'patterns')) {\n        const rule: string = frontMatterOf(entry.text).rule;\n        const standing: boolean = taken.has(rule) && !rootByRule.has(rule);\n\n        if (rule && known.has(rule) && !standing) {\n            cuts.push({ id: entry.id, parent: rule, root: rootByRule.get(rule) ?? rule });\n        }\n    }\n\n    return cuts;\n}\n\n/**\n * Холодные части, снятые вслед за своим правилом. Родитель ищется по имени, а не по полю шапки:\n * холодная часть принадлежит одному правилу и называется так же, как оно, — второго имени у неё\n * нет и быть не может.\n */\nfunction pitfallsCutByRules(\n    catalog: readonly IEntryOfCatalog[],\n    selection: ISelection,\n    rootByRule: ReadonlyMap<string, string>\n): readonly ICascadeCut[] {\n    const taken: ReadonlySet<string> = takenNames(catalog, selection, 'rules');\n    const known: ReadonlySet<string> = knownNames(catalog, 'rules');\n    const cuts: ICascadeCut[] = [];\n\n    for (const entry of chosenOfKind(catalog, selection, 'pitfalls')) {\n        const rule: string = shortNameOf(entry);\n        const standing: boolean = taken.has(rule) && !rootByRule.has(rule);\n\n        if (known.has(rule) && !standing) {\n            cuts.push({ id: entry.id, parent: rule, root: rootByRule.get(rule) ?? rule });\n        }\n    }\n\n    return cuts;\n}\n\n/**\n * Ресурсы, снятые каскадом: правила при невзятом законе и паттерны при невзятых правилах.\n *\n * Связь читается из вступления самого ресурса — отдельный список при пакете разошёлся бы с\n * ресурсами молча, тем же молчанием, ради которого каскад и заводится. Родитель ищется по\n * последнему звену имени: полного пути в шапке нет, потому что переезд закона между слоями\n * переписывал бы шапки всех правил при нём.\n *\n * Родителя в каталоге нет вовсе — каскад молчит: снимать не по чему, а промах в шапке судит\n * сверка связности пакета, до всякой раскладки в дереве.\n */\nexport function cascadeCuts(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly ICascadeCut[] {\n    /** Правило, снятое законом: для паттернов при нём корнем цепочки будет этот закон. */\n    const rootByRule: Map<string, string> = new Map<string, string>();\n    const rules: readonly ICascadeCut[] = rulesCutByLaws(catalog, selection, rootByRule);\n\n    return [...rules, ...patternsCutByRules(catalog, selection, rootByRule), ...pitfallsCutByRules(catalog, selection, rootByRule)];\n}\n\n/**\n * Ресурсы, названные выбором поимённо и всё равно снятые каскадом.\n *\n * Дерево, назвавшее правило в выборе при невыбранном законе, не получает его молча — то самое\n * молчание, ради которого каскад и заводится, только с другой стороны: там о снятии не знал тот,\n * кто ничего не просил, здесь — тот, кто попросил прямо.\n */\nexport function namedButCut(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly ICascadeCut[] {\n    return cascadeCuts(catalog, selection).filter((one: ICascadeCut): boolean => selection.only.includes(one.id));\n}\n\n/**\n * Что ложится в дерево: прямой отбор за вычетом снятого каскадом.\n *\n * Отдельной функцией, а не внутри `isChosen`, потому что каскад знает весь каталог, а отбор —\n * один ресурс: связь родителя с потомком по одной записи не видна.\n */\nexport function chosenEntries(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IEntryOfCatalog[] {\n    const cut: ReadonlySet<string> = new Set(cascadeCuts(catalog, selection).map((one: ICascadeCut): string => one.id));\n\n    return catalog.filter((entry: IEntryOfCatalog): boolean => isChosen(entry, selection) && !cut.has(entry.id));\n}\n\n/** Строка отказа, которая ничего не снимает. */\nexport interface IIdleSkip {\n    readonly id: string;\n    /** Чем названное ею уже снято: имя отвергнутого родителя, либо пусто — такого ресурса нет. */\n    readonly by: string;\n}\n\n/**\n * Строки отказа, которые ничего не снимают: названное ими снято каскадом или в каталоге не\n * значится вовсе.\n *\n * Не отказ, а предупреждение: настройка, верная до обновления пакета, становится лишней сама,\n * без единой правки в дереве, и отбивать за это раскладку значило бы наказывать за вчерашнюю\n * правоту.\n *\n * Строка на ресурс чужого вида лишней не считается никогда: ею дерево гасит отказ о ресурсе,\n * у которого нет подходящего вида, — то есть работу она делает.\n */\n/**\n * Корень цепочки, которой ресурс снят и без этой строки отказа. Пусто — каскад его не трогает.\n *\n * Каскад считается от отбора без самой строки: иначе снятое ею читалось бы как снятое родителем,\n * и лишней оказалась бы любая строка отказа подряд.\n */\nfunction cutParentOf(catalog: readonly IEntryOfCatalog[], selection: ISelection, id: string): string | null {\n    const without: ISelection = { ...selection, skip: selection.skip.filter((one: string): boolean => one !== id) };\n    const cut: ICascadeCut | undefined = cascadeCuts(catalog, without).find((one: ICascadeCut): boolean => one.id === id);\n\n    return cut ? cut.root : null;\n}\n\nexport function idleSkips(catalog: readonly IEntryOfCatalog[], selection: ISelection): readonly IIdleSkip[] {\n    const idle: IIdleSkip[] = [];\n\n    for (const id of selection.skip) {\n        const entry: IEntryOfCatalog | undefined = catalog.find((one: IEntryOfCatalog): boolean => one.id === id);\n\n        if (!entry) {\n            idle.push({ id, by: '' });\n        } else if (matchesVariant(entry.variant, selection.variants)) {\n            const by: string | null = cutParentOf(catalog, selection, id);\n\n            if (by !== null) {\n                idle.push({ id, by });\n            }\n        } else {\n            // Строка на ресурс чужого вида работу делает: ею дерево гасит отказ о ресурсе, у\n            // которого подходящего вида нет\n        }\n    }\n\n    return idle;\n}\n"]}

package/lib/commands.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/commands.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAW7C,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,2FAA2F;AAC3F,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;CACvC;AA0DD,+DAA+D;AAC/D,eAAO,MAAM,WAAW,EAAE,MAAyB,CAAC;AA+UpD;;;;GAIG;AACH,wBAAgB,IAAI,CAChB,IAAI,EAAE,MAAM,EACZ,IAAI,GAAE,SAAS,MAAM,EAAO,EAC5B,QAAQ,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EAC/C,SAAS,GAAE,MAAW,GACvB,iBAAiB,CAgCnB;AA8FD,wBAAgB,IAAI,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,GAAG,iBAAiB,CA4DzE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,iBAAiB,CA+CpF;AAQD,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CAC1B;AAqDD;;;;;;GAMG;AACH,wBAAgB,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,GAAG,iBAAiB,CAoDlF;AAED,wBAAgB,MAAM,CAAC,GAAG,EAAE,YAAY,GAAG,iBAAiB,CA0E3D;AAED;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,GAAG,EAAE,YAAY,GAAG,iBAAiB,CA2DzD"}
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../projects/agent-kit/src/lib/commands.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAsB7C,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,2FAA2F;AAC3F,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;CACvC;AA2DD,+DAA+D;AAC/D,eAAO,MAAM,WAAW,EAAE,MAAyB,CAAC;AA+UpD;;;;GAIG;AACH,wBAAgB,IAAI,CAChB,IAAI,EAAE,MAAM,EACZ,IAAI,GAAE,SAAS,MAAM,EAAO,EAC5B,QAAQ,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EAC/C,SAAS,GAAE,MAAW,GACvB,iBAAiB,CAgCnB;AA8FD,wBAAgB,IAAI,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,GAAG,iBAAiB,CA4DzE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,iBAAiB,CA+CpF;AAQD,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CAC1B;AAqHD;;;;;;GAMG;AACH,wBAAgB,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,GAAG,iBAAiB,CAuDlF;AAED,wBAAgB,MAAM,CAAC,GAAG,EAAE,YAAY,GAAG,iBAAiB,CA2E3D;AAED;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,GAAG,EAAE,YAAY,GAAG,iBAAiB,CA2DzD"}

package/lib/commands.js

@@ -4,7 +4,7 @@
  * а `process.exit` зовёт только точка входа — иначе ни одну из них нельзя было бы проверить
  * спекой, не перехватывая поток вывода.
  */
-import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync } from 'node:fs';
+import { existsSync, mkdirSync, readdirSync, readFileSync, renameSync, statSync, writeFileSync } from 'node:fs';
 import { join } from 'node:path';
 import { collectAssets } from './assets.js';
 import { cascadeCuts } from './cascade.js';
@@ -12,10 +12,11 @@ import { isChosen, readCatalog } from './catalog.js';
 import { debtLine, isUnfilled, pathOf as companionPathOf, unaddressedOf } from './companion.js';
 import { CONFIG_PATH, DEFAULT_LAYOUT, KINDS, OVERRIDES_DIR, PROFILE_FILE, readConfig, RT_KIT_DIR } from './config.js';
 import { hooksSection, SETTINGS_PATH } from './hooks-map.js';
-import { DEFAULT_DAYS, KEEP_DAYS, OBSERVATIONS_DIR, readObservations, summarize } from './observations.js';
+import { DEFAULT_DAYS, KEEP_DAYS, OBSERVATIONS_DIR, readObservations, summarize, } from './observations.js';
 import { isRefusal } from './plan.js';
 import { laidOutSkills } from './snapshot.js';
 import { pendingOf, planSync, runSync } from './sync.js';
+import { thresholdLines } from './thresholds.js';
 import { answersRequirement, readTraits, unknownTraits } from './traits.js';
 import { placeholdersOf } from './vars.js';
 import { readAxes, unansweredAxes } from './variants.js';
@@ -51,6 +52,7 @@ const NEEDS_TRAIT = 'нужно свойство';
 const KIND_TITLE = {
     laws: 'ЗАКОНЫ',
     rules: 'ПРАВИЛА',
+    pitfalls: 'ХОЛОДНЫЕ ЧАСТИ',
     patterns: 'ПАТТЕРНЫ',
     skills: 'СКИЛЫ',
     hooks: 'ХУКИ',
@@ -585,6 +587,52 @@ const countLines = (counted) => {
     const width = counted.reduce((found, entry) => Math.max(found, entry.name.length), 0);
     return counted.map((entry) => `  ${entry.name.padEnd(width)}  ${entry.count}`);
 };
+/**
+ * Вес разложенных правил на диске: имя правила в сумму байт его текстов.
+ *
+ * Считается здесь, а не в сводке: сводка разбирает наблюдения и диска не знает. Складываются все
+ * `.md` папки правила — само правило, компаньон с именами дерева и всё, что дерево положило
+ * рядом: загрузка правила тянет их не поодиночке, и раздельный счёт врал бы в меньшую сторону.
+ *
+ * Правило, которого в дереве нет, в карту не попадает вовсе. Ноль от него неотличим по числу, но
+ * отличим по смыслу: не «ничего не весит», а «весить нечему».
+ */
+function weightsOfSkills(root, dir, names) {
+    const at = join(root, dir);
+    const found = {};
+    for (const name of names) {
+        const folder = join(at, name);
+        if (!existsSync(folder)) {
+            continue;
+        }
+        found[name] = readdirSync(folder)
+            .filter((file) => file.endsWith('.md'))
+            .reduce((sum, file) => sum + statSync(join(folder, file)).size, 0);
+    }
+    return found;
+}
+/** Байты человеку: килобайтами, потому что счёт идёт на сотни тысяч и читается по одному. */
+function kbOf(bytes) {
+    return `${Math.round(bytes / 1024)} КБ`;
+}
+/**
+ * Строка о том, сколько отбитий пришло не на правку файла.
+ *
+ * Своей строкой, а не долей, выведенной читателем из разбивки по родам: гейт стоит ради правки, и
+ * доля, пришедшая на команду оболочки и на браузер, говорит, сколько раз правило потребовали под
+ * то, что правкой не является. Сложенная глазами из десятка строк, эта доля не складывается
+ * никогда.
+ *
+ * Молчит, когда отбитий не было вовсе: «0 процентов» при нуле отбитий — ответ на незаданный
+ * вопрос.
+ */
+function offFileLines(summary) {
+    const total = summary.denials.reduce((found, entry) => found + entry.count, 0);
+    if (total === 0) {
+        return [];
+    }
+    return [`  не на правке файла: ${summary.denialsOffFile} из ${total} — ${Math.round((summary.denialsOffFile / total) * 100)}%`];
+}
 /** Сводка строками: загруженное, незагруженное, отбивки гейта и отказы гардов. */
 function statsLines(summary, swept, days, version, laidOut) {
     return [
@@ -592,6 +640,14 @@ function statsLines(summary, swept, days, version, laidOut) {
         ...(summary.versions.length ? [`версии пакета в записях: ${summary.versions.join(', ')}`] : []),
         '',
         `правил загружено: ${summary.loads.reduce((found, entry) => found + entry.count, 0)}`,
+        // Вес молчит, когда весить нечем: каталог правил не разложен или пуст. Ноль килобайт при
+        // сотне загрузок читался бы как «правила ничего не стоят», а это не то же самое.
+        ...(summary.bytes > 0
+            ? [
+                `  весом ${kbOf(summary.bytes)}, на один заход ${kbOf(summary.bytesPerSession)}`,
+                '  — столько текста заход прочитал прежде, чем взяться за работу',
+            ]
+            : []),
         ...countLines(summary.loads),
         ...(summary.unused.length
             ? [
@@ -610,9 +666,10 @@ function statsLines(summary, swept, days, version, laidOut) {
             ? [
                 '',
                 `гейт отбивал: ${summary.denials.reduce((found, entry) => found + entry.count, 0)}`,
+                ...offFileLines(summary),
                 ...countLines(summary.denials),
                 ...(summary.kinds.length
-                    ? ['  чаще всего на:', ...countLines(summary.kinds).map((line) => `  ${line}`)]
+                    ? ['  по роду правки:', ...countLines(summary.kinds).map((line) => `  ${line}`)]
                     : []),
             ]
             : []),
@@ -654,7 +711,10 @@ export function stats(env, options) {
     }
     const days = options.days > 0 ? options.days : DEFAULT_DAYS;
     const result = readObservations(root, options.today, days);
-    const summary = summarize(result.observations, laidOutSkills(config, assetsDir), days);
+    const known = laidOutSkills(config, assetsDir);
+    // Вес спрашивается у дерева, а не у пакета: правило дерево могло переписать надстройкой, и
+    // заход читал то, что лежит здесь, а не то, что уехало бы из пакета.
+    const summary = summarize(result.observations, known, days, weightsOfSkills(root, config.layout.rules, known));
     if (options.json) {
         return { code: 0, lines: [JSON.stringify({ ...summary, swept: result.swept })] };
     }
@@ -728,6 +788,7 @@ export function doctor(env) {
             return `  снят каскадом: ${one.id} — вслед за ${one.parent}${root}`;
         }),
         ...profileLines(root, assetsDir, config),
+        ...thresholdLines(root),
         `значений в конфиге: ${Object.keys(config.vars).length}`,
         ...chosen,
         ...[...counted].map(([outcome, count]) => `${STATE_WORD[outcome]}: ${count}`),