@rt-tools/agent-kit 0.8.0 → 0.8.2

package/lib/commands.js

@@ -7,14 +7,14 @@ import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync } from '
 import { join } from 'node:path';
 import { collectAssets } from './assets.js';
 import { cascadeCuts, isChosen, readCatalog } from './catalog.js';
-import { isUnfilled } from './companion.js';
-import { CONFIG_PATH, DEFAULT_LAYOUT, KINDS, OVERRIDES_DIR, PROFILE_FILE, readConfig, RT_KIT_DIR, SKILL_KINDS, } from './config.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 { isRefusal } from './plan.js';
-import { leaksIn, markSent, marksOf, PROPOSALS_DIR, readProposals, TO_PACKAGE } from './proposals.js';
-import { FEEDBACK_LABEL } from './submit.js';
+import { laidOutSkills } from './snapshot.js';
 import { pendingOf, planSync, runSync } from './sync.js';
+import { answersRequirement, readTraits, unknownTraits } from './traits.js';
 import { placeholdersOf } from './vars.js';
 import { readAxes, unansweredAxes } from './variants.js';
 /** Что с файлом сделала раскладка. Прошедшее время здесь правда: `sync` уже записал. */
@@ -43,6 +43,8 @@ const CUT_BY_CASCADE = 'снят каскадом';
 const SKIPPED = 'пропущен';
 /** Ресурс чужого вида: в этом дереве его не существует, а не «от него отказались». */
 const OTHER_VARIANT = 'другой вид';
+/** Ресурс, которому нужно свойство дерева: дерево его не отвергало — свойства у него нет. */
+const NEEDS_TRAIT = 'нужно свойство';
 const KIND_TITLE = {
     laws: 'ЗАКОНЫ',
     rules: 'ПРАВИЛА',
@@ -135,6 +137,17 @@ function profileLines(root, assetsDir, config) {
 }
 const holes = (result) => [...result.missing].map(([asset, names]) => `  ${asset}: нет значений для ${names.map((name) => `{{${name}}}`).join(', ')}`);
 const unfilled = (result) => result.companions.filter(isUnfilled);
+/**
+ * Строка про компаньон, которому нечего сказать.
+ *
+ * У правила, требующего свойства, которого дерево не назвало, это не черновик, а лишний файл:
+ * заполнять его нечем — ни одной статье такого правила здесь не отвечает ни файл, ни символ.
+ * Такое правило доезжает сюда только выбором поимённо, и верное действие тут обратное
+ * заполнению — снять ресурс строкой отказа.
+ */
+const companionLine = (entry) => entry.needs === null
+    ? `  ${entry.path} — ${COMPANION_WORD[entry.state]}`
+    : `  ${entry.path} — правилу нужно свойство «${entry.needs}»: заполнять нечем, снимай ресурс строкой в \`skip\``;
 /** Ось без ответа: чем её спрашивают и из чего выбирают. */
 const axisLines = (axes) => axes.flatMap((axis) => [
     `  ${axis.name} — ${axis.question}`,
@@ -161,6 +174,23 @@ const gapLines = (result) => result.gaps.flatMap((gap) => [
     `  ${gap.kind}/${gap.name} — есть только под ${gap.axis}: ${gap.available.join(', ')}, а выбран «${gap.chosen}»`,
     `      либо заведи вид под «${gap.chosen}», либо назови в skip: ${gap.ids.join(', ')}`,
 ]);
+/**
+ * Свойства, названные не по перечню пакета, — и деревом, и ресурсами.
+ *
+ * Обе стороны собираются одной функцией, потому что промах у них общий: имя свойства написано
+ * так, как его никто не объявлял. Разница только в том, где оно написано, и потому в строке
+ * отказа стоит место, а не одно имя.
+ */
+function strangeTraits(config, assetsDir) {
+    const traits = readTraits(assetsDir);
+    const lines = unknownTraits(config.has, traits).map((trait) => `  \`${trait}\` — названо деревом в \`has\`, а пакет такого свойства не объявлял`);
+    for (const entry of readCatalog(assetsDir)) {
+        if (entry.needs !== null && unknownTraits([entry.needs], traits).length) {
+            lines.push(`  \`${entry.needs}\` — требует ${entry.id}, а пакет такого свойства не объявлял`);
+        }
+    }
+    return lines.length ? [...lines, `  объявленные свойства: ${traits.map((trait) => trait.value).join(', ')}`] : [];
+}
 /**
  * Гарды, которых нет в настройке агента, и готовый кусок для неё.
  *
@@ -265,7 +295,7 @@ const describe = (result) => [
     ...unboundLines(result),
     ...warnings(result),
     ...pendingOf(result).map((entry) => `  ${entry.path} — ${STATE_WORD[entry.outcome]}`),
-    ...unfilled(result).map((entry) => `  ${entry.path} — ${COMPANION_WORD[entry.state]}`),
+    ...unfilled(result).map(companionLine),
 ];
 /** Имена дырок во всех ресурсах, которые дерево берёт. Без конфига — ни одной: выбор неизвестен. */
 function placeholdersIn(config, assetsDir) {
@@ -317,6 +347,26 @@ export function init(root, only = [], variants = {}, assetsDir = '') {
         ],
     };
 }
+/**
+ * Долг, добавленный этой раскладкой: статьи разложенных правил, у которых в компаньонах дерева
+ * нет адреса.
+ *
+ * Называется он здесь, а не отдельной сверкой, ровно потому, что через день его уже не отличить
+ * от накопленного: сверка видит расхождение, но не знает, чьим обновлением оно приехало.
+ */
+function debtLines(config, root, assetsDir) {
+    const found = [];
+    for (const asset of collectAssets(config, assetsDir)) {
+        if (asset.kind !== 'rules') {
+            continue;
+        }
+        const path = join(root, companionPathOf(asset));
+        const existing = existsSync(path) ? readFileSync(path, 'utf8') : null;
+        found.push(unaddressedOf(asset.name, asset.text, existing));
+    }
+    const line = debtLine(found);
+    return line === null ? [] : [line, 'адрес статье дописывается в компаньоне рядом с правилом'];
+}
 /**
  * Отказ на устаревшей сборке. Раскладка из неё положила бы прежнюю редакцию ресурса и назвала
  * это сделанным: неправда дороже отказа — её замечают, когда правленое правило не действует.
@@ -346,6 +396,13 @@ export function sync(env, check) {
     if (unanswered.length) {
         return { code: 1, lines: ['раскладка не начата: не выбран вид', ...axisLines(unanswered)] };
     }
+    // Незнакомое свойство — опечатка, и молчать о ней нельзя ни с одной стороны. У дерева она
+    // означает, что помеченного им ресурса оно не получит вовсе; у ресурса — что он не ляжет
+    // никуда и никогда, а причину в имени файла не разглядеть.
+    const strange = strangeTraits(config, assetsDir);
+    if (strange.length) {
+        return { code: 1, lines: ['раскладка не начата: свойство дерева не объявлено пакетом', ...strange] };
+    }
     if (check) {
         const result = planSync(config, root, version, assetsDir);
         const pending = pendingOf(result);
@@ -399,6 +456,7 @@ export function sync(env, check) {
                 ? [`разложено файлов: ${result.written.length}`, ...result.written.map((path) => `  ${path}`)]
                 : ['всё уже разложено']),
             ...unboundLines(result),
+            ...debtLines(config, root, assetsDir),
             ...warnings(result),
         ],
     };
@@ -466,10 +524,6 @@ 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}`);
 };
-/** Имена скилов, разложенных в это дерево: правила, паттерны и скилы без закона. */
-const skillsOf = (config, assetsDir) => collectAssets(config, assetsDir)
-    .filter((asset) => SKILL_KINDS.includes(asset.kind))
-    .map((asset) => asset.name);
 /**
  * Сводка наблюдений за отрезок дней.
  *
@@ -496,7 +550,7 @@ 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, skillsOf(config, assetsDir), days);
+    const summary = summarize(result.observations, laidOutSkills(config, assetsDir), days);
     if (options.json) {
         return { code: 0, lines: [JSON.stringify({ ...summary, swept: result.swept })] };
     }
@@ -530,7 +584,7 @@ export function stats(env, options) {
             ...(summary.unused.length
                 ? [
                     '',
-                    `разложено и не загружено ни разу: ${summary.unused.length} из ${skillsOf(config, assetsDir).length}`,
+                    `разложено и не загружено ни разу: ${summary.unused.length} из ${laidOutSkills(config, assetsDir).length}`,
                     ...summary.unused.slice(0, UNUSED_SHOWN).map((name) => `  ${name}`),
                     // Список говорится не весь, и об этом говорится вслух: молчаливый обрыв
                     // читается как «вот они все», и правило, не попавшее в первую дюжину,
@@ -563,115 +617,6 @@ export function stats(env, options) {
         ],
     };
 }
-/** Тело записи: место, повод, готовый текст — и сводка под ними. */
-const issueBody = (proposal, summary, version) => [
-    `Ресурс: \`${proposal.resource}\``,
-    `Пакет: v${version}`,
-    '',
-    proposal.body,
-    '',
-    '## Наблюдения дерева, из которого пришло предложение',
-    '',
-    '```',
-    ...summary,
-    '```',
-    '',
-    'Заведено `agent-kit propose`. Дерево, из которого оно пришло, здесь не называется намеренно.',
-].join('\n');
-/**
- * Отправка предложений, адресованных пакету.
- *
- * Наружу уезжает только адрес «пакет»: «компаньон» и «дерево» — про имена и надстройки этого
- * дерева, и в репозитории пакета им делать нечего. Перед отправкой текст сверяется на адрес
- * дерева: файл уезжает в чужой репозиторий целиком, и проверка здесь дешевле, чем разбор потом.
- */
-export function propose(env, options) {
-    const { root, version } = env;
-    const config = readConfig(root);
-    if (!config) {
-        return { code: 1, lines: [NO_CONFIG] };
-    }
-    if (!options.repository) {
-        return { code: 1, lines: ['куда отправлять — неизвестно: в манифесте пакета нет адреса репозитория'] };
-    }
-    const all = readProposals(root);
-    const mine = all.filter((entry) => entry.address === TO_PACKAGE && !entry.sent);
-    if (!mine.length) {
-        const others = all.filter((entry) => entry.address !== TO_PACKAGE).length;
-        const sent = all.filter((entry) => Boolean(entry.sent)).length;
-        return {
-            code: 0,
-            lines: [
-                'отправлять нечего: предложений с адресом «пакет» и без пометки об отправке нет',
-                ...(others ? [`с другими адресами: ${others} — они правятся здесь же, надстройкой и компаньоном`] : []),
-                ...(sent ? [`уже отправлено: ${sent}`] : []),
-                ...(all.length ? [] : [`предложения кладутся в ${PROPOSALS_DIR}/ — форма в шаблоне \`proposal.md\``]),
-            ],
-        };
-    }
-    // Утечка отбивает отправку целиком, а не свой блок: файл разбирает человек, и «уехало два из
-    // трёх» он прочтёт как «всё в порядке».
-    const marks = marksOf(root, options.remote);
-    const leaked = mine.flatMap((proposal) => leaksIn(proposal.body, marks).map((leak) => ({ proposal, leak })));
-    if (leaked.length) {
-        return {
-            code: 1,
-            lines: [
-                `отправка не начата: в тексте предложений назван адрес этого дерева — ${leaked.length}`,
-                ...leaked.map(({ proposal, leak }) => `  ${proposal.file}:${proposal.line + leak.line} — ${leak.why}\n      ${leak.text}`),
-                'предложение уезжает в чужой репозиторий целиком: правь текст, а не обходи проверку',
-            ],
-        };
-    }
-    if (options.dryRun) {
-        return {
-            code: 0,
-            lines: [
-                `уехало бы записей: ${mine.length} → ${options.repository}, метка ${FEEDBACK_LABEL}`,
-                ...mine.map((entry) => `  ${entry.resource} (${entry.file}:${entry.line})`),
-                'сводка наблюдений едет вместе с ними',
-            ],
-        };
-    }
-    const done = [];
-    for (const proposal of mine) {
-        let url = '';
-        try {
-            url = options.submit({
-                repository: options.repository,
-                title: `предложение: ${proposal.resource}`,
-                body: issueBody(proposal, options.summary, version),
-                label: FEEDBACK_LABEL,
-            });
-        }
-        catch (error) {
-            return {
-                code: 1,
-                lines: [
-                    ...(done.length ? [`отправлено до отказа: ${done.length}`, ...done] : []),
-                    `отправка оборвалась на ${proposal.resource}: ${error.message.split('\n')[0]}`,
-                    // Три причины покрывают почти все отказы, и ни одну из них не видно из
-                    // сообщения помощника: он говорит про метку, доступ и сам себя одинаково глухо.
-                    `проверь: помощник хостинга стоит и вошёл в учётную запись; в ${options.repository} заведена метка ${FEEDBACK_LABEL}; у учётной записи есть право заводить записи`,
-                    'файл предложений остался на месте — отправленное помечено, остальное уедет повторным запуском',
-                ],
-            };
-        }
-        // Пометка ложится сразу, а не после всех: оборвавшаяся отправка иначе увозит половину
-        // предложений и не оставляет следа, по которому видно, какую именно.
-        const path = join(root, proposal.file);
-        writeFileSync(path, markSent(readFileSync(path, 'utf8'), proposal, url), 'utf8');
-        done.push(`  ${proposal.resource} → ${url}`);
-    }
-    return {
-        code: 0,
-        lines: [
-            `заведено записей: ${done.length} в ${options.repository}`,
-            ...done,
-            'разбирается сведением: `/agent-kit-digest` в репозитории пакета — оно и заводит задачу',
-        ],
-    };
-}
 export function doctor(env) {
     const { root, version, assetsDir } = env;
     const config = readConfig(root);
@@ -698,15 +643,21 @@ export function doctor(env) {
     // не отвергало — оно ушло вслед за родителем, и искать его в отказе читатель пойдёт зря.
     const cuts = cascadeCuts(catalog, config);
     const cut = new Set(cuts.map((one) => one.id));
+    // Ресурс с неотвеченным требованием в «не выбрано» не идёт по той же причине, что и чужой
+    // вид: дерево его не отвергало — свойства, без которого он бессмыслен, у него просто нет.
+    const needing = catalog.filter((entry) => entry.needs !== null && !answersRequirement(entry.needs, config.has) && !config.skip.includes(entry.id));
+    const needsTrait = needing.length;
     // Невыбранное называется поимённо: число «не выбрано: 73» не отвечает ни на один вопрос,
     // ради которого его читают, — ни какого ресурса не хватает, ни требуется ли он соседу.
     const unchosen = catalog.filter((entry) => !isChosen(entry, config) &&
         !config.skip.includes(entry.id) &&
-        foreignVariant.every((one) => one.id !== entry.id));
+        foreignVariant.every((one) => one.id !== entry.id) &&
+        needing.every((one) => one.id !== entry.id));
     const lines = [
         `пакет v${version}, везёт ресурсов ${catalog.length}, взято ${taken}`,
-        `не выбрано: ${catalog.length - taken - skipped - other - cut.size}, пропущено: ${skipped}, другой вид: ${other}, снято каскадом: ${cut.size}`,
+        `не выбрано: ${catalog.length - taken - skipped - other - cut.size - needsTrait}, пропущено: ${skipped}, другой вид: ${other}, снято каскадом: ${cut.size}, нужно свойство: ${needsTrait}`,
         ...unchosen.map((entry) => `  не выбран: ${entry.id}`),
+        ...needing.map((entry) => `  нужно свойство «${entry.needs}»: ${entry.id}`),
         ...cuts.map((one) => `  снят каскадом: ${one.id} — вслед за ${one.parent}${one.parent === one.root ? '' : `, отвергнут ${one.root}`}`),
         ...profileLines(root, assetsDir, config),
         `значений в конфиге: ${Object.keys(config.vars).length}`,
@@ -747,6 +698,11 @@ export function list(env) {
         if (config.skip.includes(entry.id)) {
             return SKIPPED;
         }
+        // Неотвеченное требование — не отказ дерева: оно этого ресурса не выбирало и не
+        // отвергало, а свойства, без которого ресурс бессмыслен, у него просто нет.
+        if (entry.needs !== null && !answersRequirement(entry.needs, config.has)) {
+            return `${NEEDS_TRAIT}: ${entry.needs}`;
+        }
         if (!isChosen(entry, config)) {
             return NOT_CHOSEN;
         }