agent-quality-kit 0.6.0 → 0.8.0

package/tool/commands/doctor.mjs

@@ -3,9 +3,10 @@
 import { readFile, mkdir, writeFile } from "node:fs/promises";
 import { join, resolve } from "node:path";
 import { spawnSync } from "node:child_process";
-import { scopeOutput, changedFiles } from "../lib/scope.mjs";
+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 } from "../lib/manifest.mjs";
+import { readManifest, assessLevel, unknownKeys, KNOWN_KEYS, advisorySet, layoutChecks } from "../lib/manifest.mjs";
+import { proveGates } from "../lib/prove.mjs";
 import { detectFacts, readCatalog, triggerVerdict, recipeFor } from "../lib/repo.mjs";
 import { assessBaseline, DEP_FILES, BASELINE_TOTAL } from "../lib/baseline.mjs";
 import { L } from "../i18n/index.mjs";
@@ -108,6 +109,7 @@ function sinceRef(argv = process.argv) {
 function runGates(man, opts = {}) {
   const gates = declaredGates(man);
   if (!gates.length) return { failed: 0, ran: 0, results: [] };
+  const advisory = advisorySet(man);
 
   // Сужение по дифу — договор с человеком, и он должен видеть, ЧТО именно сужено. Пустой диф
   // называется вслух: иначе «все гейты зелёные» означало бы «сравнили не с тем» и читалось бы
@@ -124,49 +126,83 @@ 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}`)}`);
-      results.push({ name, cmd, ok: true, secs });
+      // Зелёный гейт иногда всё-таки говорит человеку что-то важное: храповик, дошедший до цели,
+      // просит убрать обёртку. Вывод успешного гейта не показывался вовсе, и это сообщение
+      // уходило в никуда — тот же класс, что обрезанный совет у красного, только тише.
+      // Показываем ровно строки с меткой совета: остальной вывод успешной проверки — шум.
+      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, out: outAll });
     } else {
-      let out = `${r.stdout || ""}${r.stderr || ""}`.trim().split("\n").filter(Boolean);
+      const raw = `${r.stdout || ""}${r.stderr || ""}`.trim().split("\n").filter(Boolean);
+      // Совет отделяется ДО сужения. Иначе он сам попадает под фильтр по путям: сообщение
+      // храповика про вышедший срок называет путь к реестру, реестра в дифе нет, и гейт,
+      // обязанный краснеть по сроку, печатался зелёным с пометкой «находки вне дифа».
+      // Ровно то, что стандарт запрещает: срок без последствия. Найдено ревью 2026-09-06.
+      const parted = splitAdvice(raw);
+      let out = parted.findings;
+      const alwaysAdvice = parted.advice;
 
       // Сужение до дифа. Три исхода, и все три называются вслух.
       if (scoped) {
         const s = scopeOutput(out, scoped);
-        if (!s.scopable) {
+        // Гейт, у которого находок нет вовсе, а есть только совет, сузить нечем: его вердикт
+        // не про файлы. Признать такой успешным — вернуть ту же тишину другим путём.
+        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 });
+          results.push({ name, cmd, ok: false, secs, code, 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 });
+          results.push({ name, cmd, ok: true, secs, scopedAway: out.length, out: outAll });
           continue;
         }
         out = s.kept;
       }
 
       failed++;
-      console.log(`  ${c.red("✘")}  ${name.padEnd(14)} ${c.red(L.doctor.exitCode(code))} ${c.dim(`· ${secs}s · ${cmd}`)}`);
+      // Находки обрезаются, совет — никогда. Все записи каталога печатают «почини: …» последней
+      // строкой, и при обрезке до трёх строк человек не видел именно её: находка без действия
+      // закрывает окно, а не дефект.
+      // Совещательный гейт показывает находки и не роняет прогон. Знак другой, чтобы «показано»
+      // и «провалено» не читались одинаково; в сводке ниже он назван поимённо.
+      const isAdvisory = advisory.has(name);
+      if (isAdvisory) failed--;
+      const mark = isAdvisory ? c.yellow("!") : c.red("✘");
+      const verdict = isAdvisory ? c.yellow(L.doctor.advisoryMark) : c.red(L.doctor.exitCode(code));
+      console.log(`  ${mark}  ${name.padEnd(14)} ${verdict} ${c.dim(`· ${secs}s · ${cmd}`)}`);
       for (const line of out.slice(0, 3)) console.log(c.dim(`        ${line.slice(0, 100)}`));
       if (out.length > 3) console.log(c.dim(`        ${L.doctor.moreLines(out.length - 3)}`));
-      results.push({ name, cmd, ok: false, secs, code });
+      // Совет тоже не бесконечен: гейт, зовущий помощник шесть раз, печатает его шесть раз.
+      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, out: outAll });
     }
   }
-  return { failed, ran: gates.length, results };
+  // Совещательные, которые покраснели, называются вслух ВСЕГДА. Молчание о них — ровно та
+  // тишина, против которой построен стандарт: проверка выключена, а выглядит как её отсутствие.
+  const advisoryFailed = results.filter((x) => x.advisory).map((x) => x.name);
+  if (advisoryFailed.length) console.log(`\n  ${c.yellow(L.doctor.advisorySummary(advisoryFailed))}`);
+  return { failed, ran: gates.length, results, advisoryFailed };
 }
 
 // Короткий отчёт «что из этого реально брали» — не для человека, а для агента в следующей
@@ -205,13 +241,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) {
@@ -220,8 +253,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;
@@ -233,8 +268,6 @@ async function cmdDoctor() {
     }
   }
 
-  const man = await readManifest();
-
   // Опечатка в имени поля означала «поля нет»: вердикт выдавался неверный, а причина молчала.
   // Называем поле и говорим, какие бывают — иначе человек ищет ошибку в проекте, а она в файле.
   const unknown = unknownKeys(man);
@@ -243,12 +276,20 @@ async function cmdDoctor() {
     console.log(c.dim(`  ${L.doctor.manifestKnown(KNOWN_KEYS)}\n`));
   }
 
-  const { reached, steps } = await assessLevel(man);
+  // Доказательство считается только при прогоне: узнать, ловит ли гейт брак, нельзя иначе как
+  // запустив его по образцу. Без прогона ступени со второй помечаются «не доказано» — это
+  // честнее, чем показывать их выполненными по наличию папок.
+  const proof = process.argv.includes("--run") ? await proveGates(man) : null;
+  const { reached, steps } = await assessLevel(man, proof);
 
   console.log(c.bold(`\n  ${L.doctor.levelHeading}\n`));
   for (const s of steps) {
     const mark = s.ok ? c.green("✔") : reached + 1 === s.level ? c.yellow("→") : c.dim("·");
-    console.log(`  ${mark}  AQK-${s.level}  ${s.title}`);
+    const note = !s.ok && s.needsProof ? c.dim(`  · ${L.doctor.levelUnproven(`${SELF} prove`)}`) : "";
+    console.log(`  ${mark}  AQK-${s.level}  ${s.title}${note}`);
+  }
+  if (proof && proof.broken) {
+    console.log(c.red(`\n  ${L.doctor.gatesDoNotCatch(proof.broken, `${SELF} prove`)}`));
   }
 
   const next = steps.find((s) => !s.ok);
@@ -276,6 +317,12 @@ 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);
   }
@@ -319,4 +366,4 @@ async function cmdDoctor() {
 
 // Наружу — только команда. Остальное здесь же и используется: экспорт, который никто не
 // импортирует, читается как «это часть договора» и мешает менять внутренности.
-export { cmdDoctor, runGates, declaredGates };
+export { cmdDoctor, runGates, declaredGates, sinceRef };

package/tool/commands/gates.mjs

@@ -47,7 +47,8 @@ async function installGate(slug, man, facts) {
   }
 
   // Команда под стек проекта, с путями внутри репозитория, а не внутри пакета.
-  const picked = String(pickRecipe(rec, facts) || "");
+  const missing = [];
+  const picked = String(pickRecipe(rec, facts, missing) || "");
   let cmd = picked
     .replace(/\{gate\}/g, `${PROJECT_GATES}/${slug}`)
     .replace(/\{dir\}/g, ".");
@@ -57,7 +58,7 @@ async function installGate(slug, man, facts) {
   // ни `ruff`, ни `vulture`, и установка обрывалась на записи `dead-code`, которой нужен
   // настоящий инструмент. Отсутствие сигнала неотличимо от успеха — здесь оно было внутри
   // самой установки.
-  if (!cmd) return { rec, cmd: null, copied, declared: false, why: null, noRecipe: true };
+  if (!cmd) return { rec, cmd: null, copied, declared: false, why: null, noRecipe: true, missing };
 
   // Родной инструмент не знает про наши образцы и выдаёт их как находки — в любом проекте,
   // куда поставили гейты. Заворачиваем его в общий фильтр. Переносимая проверка фильтрует
@@ -94,9 +95,14 @@ async function cmdAdd(args) {
     console.log(c.dim(`  ${L.add.installAnyway}\n`));
   }
 
-  const { cmd, copied, declared, why, noRecipe, retired } = await installGate(slug, man, facts);
+  const { cmd, copied, declared, why, noRecipe, retired, missing } = await installGate(slug, man, facts);
   if (retired !== undefined) die(L.lifecycle.installDeprecated(slug, retired ? `${SELF} add ${retired}` : "—"));
-  if (noRecipe) die(L.add.noRecipe(slug, [...facts.langs].join("/") || L.add.thisStack));
+  // «Рецепта нет» и «рецепт есть, а инструмента нет» — разные причины и разные починки.
+  // Диагноз, противоречащий gate.yml, стоит доверия всему выводу. Найдено код-ревью 2026-09-07.
+  if (noRecipe) {
+    if (missing && missing.length) die(L.add.toolMissing(slug, missing));
+    die(L.add.noRecipe(slug, [...facts.langs].join("/") || L.add.thisStack, missing));
+  }
 
   console.log(c.bold(`\naqk add ${slug}\n`));
   console.log(`  ${c.green("✔")}  ${PROJECT_GATES}/${slug}/  ${c.dim(L.add.copied(copied.length))}`);

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

@@ -11,7 +11,7 @@ import { AGENTS_MD, CLAUDE_MD, MANIFEST_YML } from "../lib/templates.mjs";
 import { readManifest } from "../lib/manifest.mjs";
 import { detectFacts, readCatalog, triggerVerdict } from "../lib/repo.mjs";
 import { installGate } from "./gates.mjs";
-import { L } from "../i18n/index.mjs";
+import { L, LANG } from "../i18n/index.mjs";
 
 async function cmdInit(args) {
   const force = args.includes("--force");
@@ -46,6 +46,13 @@ async function cmdInit(args) {
     for (const f of created.slice(0, 8)) console.log(`    ${f}`);
     if (created.length > 8) console.log(c.dim(`    ${L.init.andMore(created.length - 8)}`));
   }
+  // Методички остаются на русском — решение владельца, принятое 2026-09-07, а не недоделка.
+  // Сказать об этом обязательно: человек, открывший `.aqk/docs/` и увидевший чужой язык, иначе
+  // решит, что установка сломалась. Правила переведены, методички нет; молчать об этом значит
+  // выдать решение за оплошность.
+  if (LANG === "en" && created.some((f) => f.includes(`${TARGET_DIR}/docs/`) || f.includes(`${TARGET_DIR}\\docs\\`))) {
+    console.log(c.dim(`\n  ${L.init.docsRu}`));
+  }
   if (skipped.length) {
     console.log(c.yellow(`\n  ${L.init.kept(skipped.length)}`));
     for (const f of skipped) console.log(`    ${f}`);
@@ -69,6 +76,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();

package/tool/commands/prove.mjs

@@ -0,0 +1,67 @@
+// tool/commands/prove.mjs — `aqk prove`: доказать, что гейты проекта ловят брак.
+//
+// Отдельная команда, а не флаг: вопрос «работают ли мои проверки» задают сам по себе, и ответ
+// на него нужен раньше, чем прогон по коду. Прогон говорит «сегодня чисто»; доказательство —
+// «а если бы было грязно, я бы это увидел».
+import { readManifest } from "../lib/manifest.mjs";
+import { proveGates } from "../lib/prove.mjs";
+import { c, SELF } from "../lib/core.mjs";
+import { L } from "../i18n/index.mjs";
+
+function line(r) {
+  const P = L.prove;
+  const pad = r.name.padEnd(22);
+  if (r.state === "proven") return `  ${c.green("✔")}  ${pad} ${c.dim(P.okRed)}`;
+  if (r.state === "unprovable") {
+    const why =
+      r.why === "no-samples" ? P.noSamples
+      : r.why === "other-recipe" ? P.otherRecipe(r.forRecipe.lang)
+      : r.why === "no-target" ? P.noTarget
+      : P.empty;
+    return `  ${c.dim("~")}  ${c.dim(pad)} ${c.dim(why)}`;
+  }
+  const why = r.why === "red-passed" ? P.redPassed : r.why === "green-failed" ? P.greenFailed : P.empty;
+  return `  ${c.red("✘")}  ${pad} ${c.red(why)}`;
+}
+
+async function cmdProve() {
+  const man = await readManifest();
+  const P = L.prove;
+  console.log(c.bold(`\n${P.title}\n`));
+
+  // «Манифеста нет» и «гейтов не объявлено» — разные причины и разные починки. Остальные
+  // команды это различают; здесь не различалось. Найдено код-ревью 2026-09-07.
+  if (!man) {
+    console.log(`  ${c.red(L.ratchet.noManifest(`${SELF} init`))}\n`);
+    process.exit(1);
+  }
+  const gates = man?.gates && typeof man.gates === "object" && !Array.isArray(man.gates) ? man.gates : {};
+  if (!Object.keys(gates).length) {
+    console.log(`  ${P.noGates}\n`);
+    process.exit(1);
+  }
+  if (!String(man?.samples || "").trim()) {
+    console.log(`  ${c.red(P.noSamplesDir)}\n`);
+    process.exit(1);
+  }
+
+  const res = await proveGates(man);
+  // Сначала сломанные: красное называется первым, иначе его не читают.
+  for (const r of res.results.filter((x) => x.state === "broken")) console.log(line(r));
+  for (const r of res.results.filter((x) => x.state === "proven")) console.log(line(r));
+  for (const r of res.results.filter((x) => x.state === "unprovable")) console.log(line(r));
+
+  const parts = [c.green(P.proven(res.proven))];
+  if (res.broken) parts.push(c.red(P.broken(res.broken)));
+  if (res.unprovable) parts.push(c.dim(P.unprovable(res.unprovable)));
+  console.log(`\n  ${parts.join("  ")}`);
+
+  if (!res.ok && res.proven === 0 && res.broken === 0) {
+    console.log(`\n  ${c.yellow(P.nothingProven)}`);
+    console.log(`  ${c.dim(P.fix(`${SELF} add ${L.help.name}`))}`);
+  }
+  console.log("");
+  process.exit(res.ok ? 0 : 1);
+}
+
+export { cmdProve };

package/tool/commands/report.mjs

@@ -15,10 +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";
 
 // Каким рецептом стоит гейт: родным инструментом или переносимой проверкой. Именно это
@@ -73,7 +76,9 @@ async function cmdReport() {
     process.exit(1);
   }
 
-  const { reached } = await assessLevel(man);
+  // Значок — самое громкое утверждение комплекта, и доказывать его обязательно. Без этого
+  // проект с гейтом «true» получал AQK-3 и зелёную картинку в README: проверено прогоном.
+  const { reached } = await assessLevel(man, await proveGates(man));
   const facts = await detectFacts(man);
   const catalog = await readCatalog();
   const bySlug = Object.fromEntries(catalog.map((r) => [r.slug, r]));
@@ -172,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("");