agent-quality-kit 0.7.0 → 0.9.0

package/tool/commands/doctor.mjs

@@ -4,12 +4,13 @@ import { readFile, mkdir, writeFile } from "node:fs/promises";
 import { join, resolve } from "node:path";
 import { spawnSync } from "node:child_process";
 import { scopeOutput, splitAdvice, changedFiles } from "../lib/scope.mjs";
-import { CWD, PKG_ROOT, TARGET_DIR, SELF, c, exists, die } from "../lib/core.mjs";
-import { readManifest, assessLevel, unknownKeys, KNOWN_KEYS, advisorySet } from "../lib/manifest.mjs";
+import { CWD, PKG_ROOT, TARGET_DIR, MANIFEST, SELF, c, exists, die } from "../lib/core.mjs";
+import { readManifest, assessLevel, unknownKeys, KNOWN_KEYS, advisorySet, layoutChecks, coversOf, coversUnproven, unparsedLines } from "../lib/manifest.mjs";
 import { proveGates } from "../lib/prove.mjs";
-import { detectFacts, readCatalog, triggerVerdict, recipeFor } from "../lib/repo.mjs";
+import { detectFacts, readCatalog, triggerVerdict, browserServerAdvice } from "../lib/repo.mjs";
 import { assessBaseline, DEP_FILES, BASELINE_TOTAL } from "../lib/baseline.mjs";
 import { L } from "../i18n/index.mjs";
+import { beginBrief, finishBrief } from "../lib/brief.mjs";
 
 // Обязательный минимум проекта — прогоном, а не по памяти. До сих пор это было единственное
 // место, где комплект просил верить на слово, что человек прочитал методичку и сверился.
@@ -50,11 +51,16 @@ async function reportCatalog(man, facts) {
   const catalog = await readCatalog();
   if (!catalog.length) return;
 
-  const held = [], todo = [], skip = [];
+  // Четвёртая корзина, а не третья: «закрыто другим арбитром» — это НЕ «не поставлено».
+  // Пока их считали вместе, вывод каждый прогон называл долгом то, что уже держит biome или
+  // ruff. Просьба первого чужого пользователя; она же — наша собственная норма про вывод.
+  const { covered, unknownGates } = coversOf(man);
+  const held = [], todo = [], skip = [], byOther = [];
   for (const rec of catalog) {
     const v = triggerVerdict(rec, facts);
     if (!v.applies) skip.push([rec, v.why]);
     else if (facts.gateKeys.includes(rec.slug)) held.push(rec);
+    else if (covered.has(rec.slug)) byOther.push([rec, covered.get(rec.slug)]);
     else todo.push(rec);
   }
 
@@ -72,14 +78,50 @@ async function reportCatalog(man, facts) {
     console.log(`  ${c.yellow("✘")}  ${rec.slug.padEnd(22)} ${rec.intent || ""}`);
     console.log(c.dim(`      ${L.doctor.install(`${SELF} add ${rec.slug}`)}`));
   }
+  if (byOther.length) {
+    console.log(c.dim(`\n  ${L.doctor.coveredBy(byOther.length)}`));
+    for (const [rec, gate] of byOther) console.log(c.dim(`  ~  ${rec.slug.padEnd(22)} ${L.doctor.coveredByGate(gate)}`));
+  }
+  // Гейт, которого нет в gates:, не закрывает ничего — и молчать об этом нельзя: человек
+  // считает запись закрытой, а её не держит никто. Называется поимённо, жёлтым.
+  if (unknownGates.length) {
+    console.log(c.yellow(`\n  ${L.doctor.coversUnknown(unknownGates.join(", "))}`));
+  }
+  // Заявка «эту запись держит наш линтер» сверяется с кодами правил из рецепта записи.
+  // Замерено на живом ruff.toml: девятнадцать групп правил, а print() не ловится — и заявка
+  // сняла бы запись с долга, не закрыв её ничем.
+  let linterCfg = "";
+  for (const f of ["ruff.toml", ".ruff.toml", "pyproject.toml", ".eslintrc.json", "eslint.config.js", "eslint.config.mjs", "biome.json"]) {
+    try { linterCfg += await readFile(join(CWD, f), "utf8"); } catch { /* нет файла — нечего читать */ }
+  }
+  const unproven = coversUnproven(man, catalog, linterCfg);
+  for (const u of unproven) {
+    console.log(c.yellow(`\n  ${L.doctor.coversUnproven(u.entry, u.gate, u.codes.join(", "))}`));
+    console.log(c.dim(`  ${L.doctor.coversUnprovenHow(`${SELF} add ${u.entry}`)}`));
+  }
+  // Не вердикт, а совет: отсутствие браузерного сервера — незанятая возможность, а не дефект.
+  // Поэтому строка тусклая и без значка, и её нет у проекта без интерфейса.
+  let mcpText = "";
+  for (const f of [".mcp.json", ".cursor/mcp.json", ".vscode/mcp.json", ".claude/mcp.json"]) {
+    try { mcpText += await readFile(join(CWD, f), "utf8"); } catch { /* нет файла — нечего читать */ }
+  }
+  const browser = browserServerAdvice(facts, mcpText);
+  if (browser) {
+    console.log(c.dim(`\n  ${L.doctor.noBrowserServer}`));
+    console.log(c.dim(`  ${L.doctor.noBrowserServerHow(browser.servers.join("  ·  "))}`));
+  }
   if (skip.length) {
     console.log(c.dim(`\n  ${L.doctor.notApplicable(skip.length)}`));
     for (const [rec, why] of skip) console.log(c.dim(`  ·  ${rec.slug.padEnd(22)} ${why}`));
   }
   console.log(
     `\n  ${c.bold(L.doctor.total)} ${L.doctor.totalHeld(held.length)}, ${L.doctor.totalTodo(c.yellow(todo.length))}, ` +
+      (byOther.length ? `${L.doctor.totalCovered(byOther.length)}, ` : "") +
       c.dim(L.doctor.totalSkip(skip.length)) + "\n"
   );
+  // Числа отдаются наружу, а не пересчитываются второй раз: два счёта одного и того же
+  // расходятся ровно так же, как два списка команд.
+  return { held: held.length, todo: todo.length, todoRecs: todo };
 }
 
 // «Гейт объявлен» и «гейт работает» — разные утверждения. Первое читается из манифеста,
@@ -126,23 +168,33 @@ function runGates(man, opts = {}) {
     const t0 = Date.now();
     const r = spawnSync(cmd, { shell: true, cwd: CWD, encoding: "utf8", timeout: 300000 });
     const secs = (Math.max(0, Date.now() - t0) / 1000).toFixed(1);
+    // Вывод гейта запоминается целиком (с потолком, чтобы болтливый инструмент не съел память):
+    // по нему считается покрытие дифа — какой файл вообще был назван хоть одной проверкой.
+    // Без этого «готово = доказано» остаётся правилом, за которым следит только человек.
+    const outAll = `${r.stdout || ""}${r.stderr || ""}`.slice(0, 200000);
 
     if (r.error && r.error.code === "ETIMEDOUT") {
       console.log(`  ${c.red("✘")}  ${name.padEnd(14)} ${c.red(L.doctor.timeout)}`);
       failed++;
-      results.push({ name, cmd, ok: false, secs, note: L.doctor.timeout });
+      results.push({ name, cmd, ok: false, secs, note: L.doctor.timeout, out: outAll });
       continue;
     }
     const code = r.status;
     if (code === 0) {
-      console.log(`  ${c.green("✔")}  ${name.padEnd(14)} ${c.dim(`${secs}s · ${cmd}`)}`);
+      // Совещательный называется и когда он зелёный. Иначе гейт, который уронить прогон НЕ
+      // МОЖЕТ, по выводу неотличим от того, который может, — и список `advisory:` в манифесте
+      // виден только в тот день, когда он покраснел. Измерено 2026-09-09: зелёный
+      // совещательный печатался обычной галочкой, а README обещал, что список назван каждый
+      // прогон. Тот же класс, что молчащий гейт, только про сам прибор.
+      const quiet = advisory.has(name) ? ` ${c.yellow(L.doctor.advisoryQuiet)}` : "";
+      console.log(`  ${c.green("✔")}  ${name.padEnd(14)}${quiet} ${c.dim(`${secs}s · ${cmd}`)}`);
       // Зелёный гейт иногда всё-таки говорит человеку что-то важное: храповик, дошедший до цели,
       // просит убрать обёртку. Вывод успешного гейта не показывался вовсе, и это сообщение
       // уходило в никуда — тот же класс, что обрезанный совет у красного, только тише.
       // Показываем ровно строки с меткой совета: остальной вывод успешной проверки — шум.
       const okAdvice = splitAdvice(`${r.stdout || ""}${r.stderr || ""}`.trim().split("\n").filter(Boolean)).advice;
       for (const line of okAdvice.slice(0, 6)) console.log(c.yellow(`        ${line.trim().slice(0, 110)}`));
-      results.push({ name, cmd, ok: true, secs });
+      results.push({ name, cmd, ok: true, secs, advisory: advisory.has(name), out: outAll });
     } else {
       const raw = `${r.stdout || ""}${r.stderr || ""}`.trim().split("\n").filter(Boolean);
       // Совет отделяется ДО сужения. Иначе он сам попадает под фильтр по путям: сообщение
@@ -161,16 +213,23 @@ function runGates(man, opts = {}) {
         if (!s.scopable || out.length === 0) {
           // Гейт печатает вердикт без путей — сузить нечем. Признать его успешным значило бы
           // выдать провал за тишину; остаётся красным, и причина названа.
-          console.log(`  ${c.red("✘")}  ${name.padEnd(14)} ${c.red(L.doctor.exitCode(code))} ${c.dim(`· ${L.doctor.notScopable}`)}`);
-          failed++;
-          results.push({ name, cmd, ok: false, secs, code, note: L.doctor.notScopable });
+          // Совещательный не роняет прогон НИКОГДА — в том числе здесь. Раньше failed++ стоял
+          // безусловно, и гейт, объявленный совещательным, валил сборку с `--since` только
+          // потому, что в его выводе нет путей. Измерено 2026-09-09.
+          const nsAdv = advisory.has(name);
+          const nsMark = nsAdv ? c.yellow("!") : c.red("✘");
+          const nsVerdict = nsAdv ? c.yellow(L.doctor.advisoryMark) : c.red(L.doctor.exitCode(code));
+          console.log(`  ${nsMark}  ${name.padEnd(14)} ${nsVerdict} ${c.dim(`· ${L.doctor.notScopable}`)}`);
+          if (!nsAdv) failed++;
+          results.push({ name, cmd, ok: false, secs, code, advisory: nsAdv, note: L.doctor.notScopable, out: outAll });
           continue;
         }
         if (s.findings === 0) {
           // Долг есть, но не в том, что внёс диф. Зелёный — но с числом спрятанного: молчаливое
           // «всё хорошо» здесь было бы неправдой.
-          console.log(`  ${c.green("✔")}  ${name.padEnd(14)} ${c.dim(`${secs}s · ${L.doctor.outsideDiff(out.length)}`)}`);
-          results.push({ name, cmd, ok: true, secs, scopedAway: out.length });
+          const sQuiet = advisory.has(name) ? ` ${c.yellow(L.doctor.advisoryQuiet)}` : "";
+          console.log(`  ${c.green("✔")}  ${name.padEnd(14)}${sQuiet} ${c.dim(`${secs}s · ${L.doctor.outsideDiff(out.length)}`)}`);
+          results.push({ name, cmd, ok: true, secs, advisory: advisory.has(name), scopedAway: out.length, out: outAll });
           continue;
         }
         out = s.kept;
@@ -191,12 +250,12 @@ function runGates(man, opts = {}) {
       if (out.length > 3) console.log(c.dim(`        ${L.doctor.moreLines(out.length - 3)}`));
       // Совет тоже не бесконечен: гейт, зовущий помощник шесть раз, печатает его шесть раз.
       for (const line of alwaysAdvice.slice(0, 6)) console.log(c.yellow(`        ${line.trim().slice(0, 110)}`));
-      results.push({ name, cmd, ok: false, secs, code, advisory: isAdvisory });
+      results.push({ name, cmd, ok: false, secs, code, advisory: isAdvisory, out: outAll });
     }
   }
   // Совещательные, которые покраснели, называются вслух ВСЕГДА. Молчание о них — ровно та
   // тишина, против которой построен стандарт: проверка выключена, а выглядит как её отсутствие.
-  const advisoryFailed = results.filter((x) => x.advisory).map((x) => x.name);
+  const advisoryFailed = results.filter((x) => x.advisory && !x.ok).map((x) => x.name);
   if (advisoryFailed.length) console.log(`\n  ${c.yellow(L.doctor.advisorySummary(advisoryFailed))}`);
   return { failed, ran: gates.length, results, advisoryFailed };
 }
@@ -224,6 +283,8 @@ async function writeRunReport({ version, reached, results }) {
 }
 
 async function cmdDoctor() {
+  const brief = process.argv.includes("--brief");
+  const buf = brief ? beginBrief() : null;
   // Версия в шапке — единственное, что привязывает баг-репорт к коммиту, если ставили не из
   // релиза: без неё "у меня не работает" ничем не отличается от любой другой версии за год.
   let version = "";
@@ -237,13 +298,10 @@ async function cmdDoctor() {
   // а копия завтра разошлась бы с ними. Без этого различия `doctor` краснел на собственном
   // репозитории и требовал разложить комплект в комплект.
   const inKit = resolve(CWD) === resolve(PKG_ROOT);
-  const checks = [
-    inKit ? ["kit/docs", L.doctor.docsKit] : [".aqk/docs", L.doctor.docs],
-    inKit ? ["kit/rules", L.doctor.rulesKit] : [".aqk/rules", L.doctor.rules],
-    ["AGENTS.md", L.doctor.agents],
-    [".gitignore", L.doctor.gitignore],
-    [".git", L.doctor.git],
-  ];
+  const man = await readManifest();
+  // Что именно проверять — решает манифест: где у ЭТОГО проекта правила, методички и точка
+  // входа. Литеральный список стоял здесь до 2026-09-08 и печатал кресты за сделанное.
+  const checks = layoutChecks(man, inKit);
 
   let missing = 0;
   for (const [path, what] of checks) {
@@ -252,8 +310,10 @@ async function cmdDoctor() {
     console.log(`  ${ok ? c.green("✔") : c.red("✘")}  ${path.padEnd(22)} ${c.dim(what)}`);
   }
 
-  // Команды в AGENTS.md заполнены или остались пустыми заготовками?
-  const agents = join(CWD, "AGENTS.md");
+  // Команды в точке входа заполнены или остались пустыми заготовками? Файл берётся тот же,
+  // что проверен выше, — иначе проект на `CLAUDE.md` этой проверки не получал вовсе.
+  const entryFile = (Array.isArray(man?.entry) ? man.entry : []).find((e) => typeof e === "string" && e.trim())?.trim() || "AGENTS.md";
+  const agents = join(CWD, entryFile);
   if (await exists(agents)) {
     const text = await readFile(agents, "utf8");
     const emptyCommands = (text.match(/^- [^:]+: ``$/gm) || []).length;
@@ -265,10 +325,17 @@ async function cmdDoctor() {
     }
   }
 
-  const man = await readManifest();
-
   // Опечатка в имени поля означала «поля нет»: вердикт выдавался неверный, а причина молчала.
   // Называем поле и говорим, какие бывают — иначе человек ищет ошибку в проекте, а она в файле.
+  // Строка, которую разбор не понял, называется ПЕРВОЙ и жёлтым: человек видит проверку в
+  // файле, а её не существует. До 2026-09-09 такая строка исчезала без слова — найдено
+  // случайно, гейтом с кириллическим именем, который «прошёл», не запустившись.
+  try {
+    const bad = unparsedLines(await readFile(join(CWD, MANIFEST), "utf8"));
+    for (const b of bad) console.log(c.yellow(`\n  ${L.doctor.manifestUnparsed(b.line, b.text)}`));
+    if (bad.length) console.log(c.dim(`  ${L.doctor.manifestUnparsedWhy}`));
+  } catch { /* манифеста нет — про строки в нём говорить нечего */ }
+
   const unknown = unknownKeys(man);
   if (unknown.length) {
     console.log(c.yellow(`\n  ${L.doctor.manifestUnknown(unknown)}`));
@@ -316,10 +383,16 @@ async function cmdDoctor() {
 
   const facts = await detectFacts(man);
   if (process.argv.includes("--baseline")) {
+    // `--baseline` — осмотр, а не прогон: он выходит с нулём всегда. Совмещённый с `--run` или
+    // `--min` он давал конвейер, который НЕ МОЖЕТ покраснеть: порог назван, гейты не запущены,
+    // код нулевой. Человек, собравший такую строку, считает, что порог держится. Отказываемся
+    // вслух — молчаливое зелёное здесь дороже сломанной команды. Найдено ревью 2026-09-08.
+    const clash = ["--run", "--min"].filter((f) => process.argv.includes(f));
+    if (clash.length) die(L.doctor.baselineClash(clash.join(", ")));
     await reportBaseline(man, facts);
     process.exit(0);
   }
-  await reportCatalog(man, facts);
+  const cat = (await reportCatalog(man, facts)) || { held: 0, todo: 0, todoRecs: [] };
 
   // «Объявлен» ≠ «работает». Без --run говорим это вслух, а не молчим.
   const wantRun = process.argv.includes("--run");
@@ -352,11 +425,14 @@ async function cmdDoctor() {
     else if (!levelOk) line = c.red(`  ${L.doctor.thresholdFail(min, now)}\n`);
     else line = c.red(`  ${L.doctor.thresholdGateFail(min, now, failedNames)}\n`);
     console.log(line);
+    await finishBrief(buf, { held: cat.held, todo: cat.todo, level: reached, red: failedNames ? String(failedNames).split(", ").filter(Boolean) : [] }, cat.todoRecs, pass);
     process.exit(pass ? 0 : 1);
   }
-  process.exit(missing || reached < 0 || gateFailed ? 1 : 0);
+  const ok = !(missing || reached < 0 || gateFailed);
+  await finishBrief(buf, { held: cat.held, todo: cat.todo, level: reached, red: [] }, cat.todoRecs, ok);
+  process.exit(ok ? 0 : 1);
 }
 
 // Наружу — только команда. Остальное здесь же и используется: экспорт, который никто не
 // импортирует, читается как «это часть договора» и мешает менять внутренности.
-export { cmdDoctor, runGates, declaredGates };
+export { cmdDoctor, runGates, declaredGates, sinceRef };

package/tool/commands/learn.mjs

@@ -0,0 +1,159 @@
+// tool/commands/learn.mjs — кандидаты в правила из локальных логов сессий.
+//
+// ЗАЧЕМ. Тезис комплекта: обещание обязано стать командой. Но сначала обещание обязано быть
+// ЗАПИСАНО, а половина того, что человек требует от агента, живёт только в переписке. Здесь
+// комплект смотрит туда, где эти требования лежат, и показывает те, которых нет в точке входа.
+//
+// ЧТО ИЗМЕРЕНО ДО КОДА (2026-09-08, 67 сессий на машине владельца):
+//   · 25 353 записи `user` — из них человеком напечатано 1912. Остальное результаты
+//     инструментов. Отличает их поле `promptSource: "typed"`, и оно точнее любой эвристики:
+//     первая версия отбирала по длине и языку и выдавала «agent quality kit» 44 раза — то есть
+//     вставленные пути, а не правила;
+//   · из 1619 уникальных напечатанных реплик маркеры наставления дают 79, это 4%. Среди них
+//     настоящие правила («файл не трогай», «делай прогон с базой обязательно», «никаких
+//     обходных временных путей») и разговорная шелуха примерно поровну.
+//
+// ЧЕГО ЗДЕСЬ НАМЕРЕННО НЕТ. Поиска ПОВТОРОВ — приёма, на котором построен session-analyzer у
+// agent-lint. Замер его не подтвердил: на 67 сессиях владелец не повторяет правило дословно, он
+// говорит его один раз и каждый раз иначе. Те «повторы», что нашлись, оказались задвоением
+// одной реплики в самом логе.
+//
+// ПРИВАТНОСТЬ. Команда читает переписку. Поэтому: только логи ТЕКУЩЕГО проекта (или явно
+// названного), только в терминал, ни строки на диск, код возврата всегда 0. Отчёт, который
+// можно закоммитить, из переписки не собирается — это решение, а не недоделка.
+
+import { readdir, readFile } from "node:fs/promises";
+import { homedir } from "node:os";
+import { join } from "node:path";
+import { CWD, c, exists } from "../lib/core.mjs";
+import { readManifest } from "../lib/manifest.mjs";
+import { L } from "../i18n/index.mjs";
+
+// Каталог логов зовётся по рабочему пути, где всё, кроме букв и цифр, заменено на дефис.
+// Правило снято с живой машины, а не угадано: /home/ser/projects/audit_project лежит в
+// -home-ser-projects-audit-project, то есть подчёркивание тоже становится дефисом.
+function logSlug(cwd) {
+  return String(cwd).toLowerCase().replace(/[^a-z0-9]+/g, "-");
+}
+
+// Маркеры наставления на двух языках. Список короткий намеренно: каждый лишний маркер добавляет
+// шума больше, чем находок, а разбирать этот список человеку.
+const MARKERS = new RegExp(
+  "(всегда|никогда|не надо|не нужно|обязательно|запомни|больше не|каждый раз|нельзя|" +
+  "только после|перед тем|сначала|не забывай|не трогай|как договорились|" +
+  "always|never|don'?t|do not|make sure|remember to|must not)",
+  "i",
+);
+
+// Признаки вставки, а не реплики: длина, код в тройных кавычках, много переносов, пути, ссылки.
+// Каждый добавлен по итогу прогона, а не на всякий случай.
+function looksLikeRule(text) {
+  const t = String(text || "").trim();
+  if (!t || t.length > 400) return false;
+  if (t.includes("```")) return false;
+  if ((t.match(/\n/g) || []).length > 6) return false;
+  if (/https?:\/\//.test(t)) return false;
+  if ((t.match(/\S+\/\S+/g) || []).length >= 3) return false;
+  return MARKERS.test(t);
+}
+
+// Слова, по которым сверяем сказанное с записанным. Короткие отброшены: на них совпадёт что
+// угодно, и любое правило показалось бы уже записанным — то есть команда молчала бы всегда.
+function keyWords(text) {
+  return [...new Set(String(text).toLowerCase().match(/[а-яёa-z]{4,}/g) || [])];
+}
+
+// Сверяем по ОСНОВЕ, а не по слову целиком. Русский язык склоняет: в реплике «локальный
+// костыль», в своде «до местного костыля» — по целому слову это промах, и правило, записанное
+// час назад, показалось бы незаписанным. Проверено на живом логе: без основы первым же пунктом
+// вышло правило, внесённое в AGENTS.md в тот же день.
+function stem(w) {
+  return w.length > 5 ? w.slice(0, 5) : w;
+}
+
+// Сказано вслух и НЕ записано. Порог половинный: правило, у которого хотя бы половина значимых
+// слов уже стоит в точке входа, считаем записанным — иначе команда повторяла бы владельцу его
+// же свод. Порог назван здесь, а не спрятан: он произвольный, и это видно.
+function saidNotWritten(text, entryText) {
+  const words = keyWords(text);
+  if (!words.length) return false;
+  const hay = String(entryText || "").toLowerCase();
+  const hit = words.filter((w) => hay.includes(stem(w))).length;
+  return hit / words.length < 0.5;
+}
+
+// Напечатанные человеком реплики одной сессии. Всё прочее — результаты инструментов, служебные
+// вставки и подсказки — отбрасывается по полю promptSource.
+function typedFrom(jsonl) {
+  const out = [];
+  for (const line of jsonl.split("\n")) {
+    if (!line.trim()) continue;
+    let d;
+    try { d = JSON.parse(line); } catch { continue; }
+    if (d?.type !== "user" || d?.promptSource !== "typed") continue;
+    const cont = d?.message?.content;
+    const text = typeof cont === "string"
+      ? cont
+      : Array.isArray(cont)
+        ? cont.filter((b) => b?.type === "text").map((b) => b.text || "").join(" ")
+        : "";
+    const t = String(text).replace(/\s+/g, " ").trim();
+    if (t) out.push({ text: t, when: String(d.timestamp || "").slice(0, 10) });
+  }
+  return out;
+}
+
+async function readEntry(man) {
+  const names = Array.isArray(man?.entry) && man.entry.length ? man.entry : ["AGENTS.md", "CLAUDE.md"];
+  let all = "";
+  for (const n of names) {
+    try { all += `\n${await readFile(join(CWD, String(n)), "utf8")}`; } catch { /* нет файла — не беда */ }
+  }
+  return all;
+}
+
+async function cmdLearn(argv = process.argv) {
+  const limitAt = argv.indexOf("--limit");
+  const limit = limitAt !== -1 && /^\d+$/.test(argv[limitAt + 1] || "") ? Number(argv[limitAt + 1]) : 20;
+  const root = join(process.env.CLAUDE_CONFIG_DIR || join(homedir(), ".claude"), "projects", logSlug(CWD));
+
+  console.log(c.bold(`\n  ${L.learn.title}\n`));
+  if (!(await exists(root))) {
+    console.log(`  ${L.learn.noLogs(root)}\n`);
+    return;
+  }
+
+  let files = [];
+  try { files = (await readdir(root)).filter((f) => f.endsWith(".jsonl")); } catch { files = []; }
+  const seen = new Set();
+  const said = [];
+  let typedTotal = 0;
+  for (const f of files) {
+    let raw = "";
+    try { raw = await readFile(join(root, f), "utf8"); } catch { continue; }
+    for (const m of typedFrom(raw)) {
+      typedTotal++;
+      const key = m.text.toLowerCase().slice(0, 200);
+      if (seen.has(key)) continue;
+      seen.add(key);
+      if (looksLikeRule(m.text)) said.push(m);
+    }
+  }
+
+  const entry = await readEntry(await readManifest());
+  const fresh = said.filter((m) => saidNotWritten(m.text, entry));
+  fresh.sort((a, b) => String(b.when).localeCompare(String(a.when)));
+
+  console.log(`  ${c.dim(L.learn.counted(files.length, typedTotal, said.length, fresh.length))}\n`);
+  if (!fresh.length) {
+    console.log(`  ${L.learn.nothing}\n`);
+    return;
+  }
+  for (const m of fresh.slice(0, limit)) {
+    console.log(`  ${c.dim(m.when)}  ${m.text.slice(0, 150)}`);
+  }
+  if (fresh.length > limit) console.log(c.dim(`\n  ${L.learn.andMore(fresh.length - limit)}`));
+  console.log(`\n  ${c.yellow(L.learn.warn)}\n`);
+}
+
+export { cmdLearn, logSlug, looksLikeRule, saidNotWritten, typedFrom };

package/tool/commands/project.mjs

@@ -8,6 +8,7 @@ import {
   CWD, PKG_ROOT, DOCS_SRC, RULES_SRC, TARGET_DIR, MANIFEST, SELF, REPO_URL, c, exists, die,
   copyDir, writeIfAbsent, FEEDBACK_MARK, docPath } from "../lib/core.mjs";
 import { AGENTS_MD, CLAUDE_MD, MANIFEST_YML } from "../lib/templates.mjs";
+import { banner } from "../lib/banner.mjs";
 import { readManifest } from "../lib/manifest.mjs";
 import { detectFacts, readCatalog, triggerVerdict } from "../lib/repo.mjs";
 import { installGate } from "./gates.mjs";
@@ -40,7 +41,9 @@ async function cmdInit(args) {
   const claude = join(CWD, "CLAUDE.md");
   track(await writeIfAbsent(claude, CLAUDE_MD, { force }), claude);
 
-  console.log(c.bold("\naqk init\n"));
+  // Заставка в начале init — первая встреча человека с комплектом. Второй раз он увидит её
+  // только если сам спросит `--version`: то, что видишь тридцатый раз, перестаёт читаться.
+  console.log(`\n${banner()}\n`);
   if (created.length) {
     console.log(c.green(`  ${L.init.created(created.length)}`));
     for (const f of created.slice(0, 8)) console.log(`    ${f}`);
@@ -76,6 +79,7 @@ ${c.bold(L.init.nextTitle)}
   4. ${L.init.n4a} ${c.bold(L.init.n4b)}${L.init.n4c}
      ${L.init.n4d}
 
+${c.dim(L.init.hookHint(`${SELF} context --install`))}
 ${c.dim(L.init.burned(`${SELF} note "…"`))}
 `);
   await maybeAskFeedback();
@@ -95,7 +99,20 @@ ${c.bold(L.feedback.title)}
     ${url}/issues/new
 ${c.dim(`  ${L.feedback.once}`)}
 `);
-  await writeIfAbsent(FEEDBACK_MARK, "shown\n", { force: false });
+  // Пометка «уже показывали» — удобство, а не работа команды. Домашнего каталога может не быть
+  // записываемым вовсе: в контейнере, запущенном `--user 1001:127`, у этого uid нет записи в
+  // /etc/passwd, `homedir()` даёт «/», и запись падает с EACCES на `/.config`. До 2026-09-09
+  // это роняло ВЕСЬ `init` — то есть любого, кто набрал команду из нашей же документации по
+  // docker. Локально не воспроизводилось случайно: uid разработчика 1000 совпадает с
+  // пользователем `node` в образе, у которого дом есть. Нашёл конвейер, где uid 1001.
+  //
+  // Молча глотать нельзя — это то, что красит наш же swallowed-error. Поэтому вслух: не
+  // запомнили, покажем снова. Установка при этом доходит до конца.
+  try {
+    await writeIfAbsent(FEEDBACK_MARK, "shown\n", { force: false });
+  } catch {
+    console.log(c.dim(`  ${L.feedback.notRemembered}`));
+  }
 }
 
 function findJournal() {

package/tool/commands/prove.mjs

@@ -17,6 +17,7 @@ function line(r) {
       r.why === "no-samples" ? P.noSamples
       : r.why === "other-recipe" ? P.otherRecipe(r.forRecipe.lang)
       : r.why === "no-target" ? P.noTarget
+      : r.why === "needs-program" ? P.needsProgram(r.missing.join(", "))
       : P.empty;
     return `  ${c.dim("~")}  ${c.dim(pad)} ${c.dim(why)}`;
   }

package/tool/commands/report.mjs

@@ -15,11 +15,13 @@
 
 import { mkdir, writeFile, readdir, readFile } from "node:fs/promises";
 import { join, relative } from "node:path";
+import { statSync } from "node:fs";
 import { CWD, TARGET_DIR, SELF, c, exists, docPath } from "../lib/core.mjs";
 import { readManifest, assessLevel } from "../lib/manifest.mjs";
 import { proveGates } from "../lib/prove.mjs";
 import { detectFacts, readCatalog, triggerVerdict, whichSync } from "../lib/repo.mjs";
-import { runGates, declaredGates } from "./doctor.mjs";
+import { changedCode, coverage, evidenceHash, readForHash } from "../lib/evidence.mjs";
+import { runGates, declaredGates, sinceRef } from "./doctor.mjs";
 import { L } from "../i18n/index.mjs";
 
 // Каким рецептом стоит гейт: родным инструментом или переносимой проверкой. Именно это
@@ -175,6 +177,36 @@ async function cmdReport() {
     say(`> ${L.report2.ignoreWarn}`);
   }
 
+  // --- чем доказан этот диф -------------------------------------------------
+  // Раздел появляется только с `--since`: без базы сравнения говорить о покрытии нечего, а
+  // молчаливо взять умолчание нельзя — «сравнили не с тем» неотличимо от «всё покрыто».
+  const since = sinceRef();
+  if (since) {
+    const changed = changedCode(since, CWD);
+    say("");
+    say(`## ${L.report2.evidenceTitle}`);
+    say("");
+    if (changed === null) {
+      say(`- ⚠️ ${L.report2.evidenceBadRef(since)}`);
+    } else if (!changed.length) {
+      say(`- ${L.report2.evidenceNoFiles(since)}`);
+    } else {
+      // Каталог ли это — спрашиваем у диска: цель гейта «tool» и файл «tool.js» иначе
+      // неразличимы, и второй попал бы в «просмотрен» ни за что.
+      const isDir = (rel) => { try { return statSync(join(CWD, rel)).isDirectory(); } catch { return false; } };
+      const cov = coverage(changed, run.results, isDir);
+      const hash = evidenceHash(since, run.results, readForHash(changed, CWD));
+      for (const [f, by] of cov.covered) say(`- ✅ ${f} — ${L.report2.evidenceNamed(by.join(", "))}`);
+      for (const [f, by] of cov.silent) say(`- ◻️ ${f} — ${L.report2.evidenceSilent(by.length)}`);
+      for (const f of cov.uncovered) say(`- ❌ ${f} — ${L.report2.evidenceUncovered}`);
+      say("");
+      say(`- ${L.report2.evidenceBase}: \`${since}\``);
+      say(`- ${L.report2.evidenceHash}: \`${hash}\``);
+      say("");
+      say(`> ${L.report2.evidenceWarn}`);
+    }
+  }
+
   say("");
   say(`## ${L.report2.whyTitle}`);
   say("");