agent-quality-kit 0.9.0 → 0.10.1

package/tool/i18n/ru.mjs

@@ -8,6 +8,8 @@ import { ruDocs } from "./ru-docs.mjs";
 
 import { templates } from "./templates-ru.mjs";
 
+import { ruGates } from "./ru-gates.mjs";
+
 export const ru = {
   learn: {
     title: "Сказано вслух и не записано",
@@ -29,6 +31,7 @@ export const ru = {
     init: "разложить правила и методички в текущий проект",
     initForce: "перезаписать уже существующие файлы",
     start: "кода ещё нет: сторожа дня 0 и порядок работы",
+    probe: "чего объявленные проверки не видят: подсадка брака в горячие по истории файлы",
     prove: "доказать, что гейты ловят брак: каждый по своему красному и зелёному образцу",
     doctor: "проверить, что разложено и чего не хватает",
     doctorRun: "ещё и запустить объявленные гейты",
@@ -127,6 +130,11 @@ export const ru = {
     manifestUnparsedWhy:
       "имена полей и гейтов пишутся латиницей, цифрами, дефисом и подчёркиванием. Объявленное\n  здесь не выполняется вовсе — а выглядит так, будто выполняется.",
     manifestKnown: (keys) => `Поля манифеста: ${keys.join(", ")}`,
+    runVerdictOk: "Всё объявленное зелёное.",
+    runVerdictFail: (why) => `Прогон красный: ${why}.`,
+    whyMissing: "не хватает файлов из шапки",
+    whyLevel: "ступень не взята",
+    whyGates: (n, names) => `красных гейтов ${n}${names ? ` (${names})` : ""}`,
     thresholdPass: (min) => `Порог AQK-${min} пройден.`,
     thresholdFail: (min, now) => `Порог AQK-${min} НЕ пройден: сейчас AQK-${now}.`,
     // Ступень взята, но прогон красный — это другое утверждение, и виновника называем сразу:
@@ -186,6 +194,7 @@ export const ru = {
       has_agent_entry: ["свода для агента здесь нет", "свод для агента есть"],
       has_ui: ["не видно стилей и компонентов интерфейса", "интерфейс есть: стили или компоненты"],
       has_mcp: ["агенту здесь не подключали внешних инструментов через MCP", "MCP-серверы объявлены"],
+      has_api_spec: ["не видно спецификации API", "спецификация API есть"],
     },
   },
 
@@ -212,284 +221,5 @@ export const ru = {
     alreadyDeclared: "уже объявлен",
   },
 
-  add: {
-    noSuchGate: (slug, cmd) => `Нет такого гейта: ${slug}\nСписок применимых — ${cmd}`,
-    toolMissing: (slug, missing) =>
-      `Записи ${slug} нужен ${missing.join(" и ")}, а его нет на этой машине.\n  почини: поставь ${missing.join(" и ")} и повтори — запись делегирует готовому инструменту по устройству, своей проверки у неё нет.`,
-    noRecipe: (slug, stack, missing) =>
-      `У записи ${slug} нет команды ни под ${stack}, ни общей.` +
-      (Array.isArray(missing) && missing.length
-        ? `\n  почини: поставь ${missing.join(" или ")} и повтори — запись делегирует готовому инструменту по устройству, своей проверки у неё нет.`
-        : `\n  почини: добавь рецепт под свой стек в gate.yml этой записи либо возьми другую.`),
-    thisStack: "этот стек",
-    needName: (cmd, doctor) => `Укажи имя гейта: ${cmd}. Список — ${doctor}`,
-    noManifest: (cmd) => `Нет .aqk.yml — сначала ${cmd}`,
-    notApplicable: (why) => `Этот гейт к репозиторию не применим: ${why}`,
-    installAnyway: "Ставлю всё равно — решение твоё, но сторожить ему нечего.",
-    copied: (n) => `${n} файлов: проверка и образцы`,
-    declared: (cmd) => `гейт объявлен: ${cmd}`,
-    notDeclared: (why, slug, cmd) => `не тронут (${why}). Впиши сам: ${slug}: "${cmd}"`,
-    nextTitle: "Дальше:",
-    next1: "Проверь, что он краснеет и молчит там, где должен:",
-    expectFail: "→ ожидается отказ",
-    expectSilence: "→ ожидается тишина",
-    next2: "Впиши команду в хук коммита и в конвейер.",
-    next2Why: "Гейт, который никто не запускает, — не гейт.",
-    next3: (cmd) => `Прогон всех объявленных: ${cmd}`,
-  },
-
-  gnew: {
-    needName: (cmd) => `Укажи имя: ${cmd}`,
-    badName: (slug) => `Имя «${slug}» не годится: латиница через дефис, например secrets-not-in-code.\nИмя читают в чужих проектах — оно часть словаря.`,
-    looksExisting: (slug) => `Похоже, такое уже есть: ${slug}`,
-    recipeNotGate: "Рецепт под другой стек — это строка в recipes существующей записи.",
-    forceHint: (cmd) => `Всё равно завести новую: ${cmd}`,
-    exists: (path) => `${path} уже существует.`,
-    nextTitle: "Дальше — по порядку:",
-    n1: "Проверь, нет ли готового правила",
-    n1Where: "в ruff, eslint, semgrep.",
-    n1Why: "Готовое точнее, подробнее и его поддерживают без тебя. Своя проверка — запасная.",
-    n2: "Положи образцы.",
-    n2Red: "— код, на котором проверка обязана сработать.",
-    n2Green: "— тот же код, но правильный.",
-    n2Why: "Зелёный важнее: он ловит проверку, которая краснеет на исправном коде.",
-    n3: "Напиши проверку",
-    n3Where: "в check.sh. В тексте отказа — что именно сделать.",
-    n4: "Заполни gate.yml:",
-    n4What: "намерение, триггер, доказательство отказом.",
-    n5: "Прогони:",
-    n5Why: "Арбитр обязан покраснеть на red/ и промолчать на green/. Не прошло — не запись.",
-  },
-
-  ratchet: {
-    needName: (cmd) => `Укажи гейт: ${cmd}. Он должен быть уже объявлен в .aqk.yml`,
-    noManifest: (cmd) => `Нет .aqk.yml — сначала ${cmd}`,
-    notDeclared: (slug, cmd) => `Гейт «${slug}» не объявлен в .aqk.yml. Сначала: ${cmd}`,
-    already: (slug) => `На гейте «${slug}» храповик уже стоит.`,
-    notRunnable: (slug, cmd) =>
-      `Гейт «${slug}» не запускается: ${cmd}\n` +
-      `Снимать долг с несуществующего сторожа нельзя — в реестр попадут его же сообщения\n` +
-      `об ошибке, и он станет разрешением. Сначала почини команду.`,
-    registryHead: (slug, stamp) =>
-      `# Реестр долга: ${slug}\n` +
-      `# Снят ${stamp}. Список разрешается ТОЛЬКО укорачивать.\n` +
-      `# Новое нарушение красит гейт; исправленное вычёркивается автоматически.\n` +
-      `#\n` +
-      `# Долг без цели и срока не кончается. Цель — сколько нарушений считать погашенным долгом;\n` +
-      `# по достижении храповик скажет убрать обёртку. Срок необязателен, но если он есть,\n` +
-      `# после этой даты непогашенный долг красит гейт — срок без последствия не срок.\n` +
-      `# aqk-goal: 0\n` +
-      `# aqk-deadline:\n`,
-    recorded: (n) => `${n} нарушений записано долгом`,
-    libCopied: "обёртка скопирована в проект",
-    wrapped: "команда завёрнута в храповик",
-    changesTitle: "Что это меняет:",
-    fromToday: "со дня установки",
-    changes1: (fromToday) => `Правило действует ${fromToday}. Старый код трогать не надо, но новое`,
-    changes2: "нарушение того же класса гейт не пропустит.",
-    test1: "Проверка, что это храповик, а не советчик: «может ли новый код добавить нарушение",
-    test2: "и пройти?» Может — значит гейта нет.",
-    run: (cmd) => `Прогнать: ${cmd}`,
-  },
-
-  find: {
-    needQuery: (cmd) => `Опиши намерение словами: ${cmd}`,
-    example: 'find "отладочная печать не доезжает до прода"',
-    exists: "Такое уже есть — новую запись заводить не надо:",
-    match: (pct) => `совпадение ${pct}%`,
-    recipes: (langs) => `рецепты: ${langs}общий`,
-    existsWhy1: "Если у тебя рецепт под другой стек — это строка в recipes существующей",
-    existsWhy2: "записи, а не новый гейт. Намерение одно, исполнителей может быть много.",
-    near: "Точного совпадения нет, но рядом лежит:",
-    nearWhy: "Прочитай их README. Если намерение то же — дополняй, а не заводи новое.",
-    none: "Такого намерения в каталоге нет.",
-    journal: "В журнале есть шишка на эту тему:",
-    journalWhy: "Шишка записана — значит доказательство для новой записи уже есть.",
-    howTitle: "Как добавить свой гейт:",
-    how1: "Назови отказ.",
-    how1What: "Какой конкретный брак он поймал в живом проекте, чего это стоило.",
-    how1Why: "«Это хорошая практика» не принимается: так каталог набирает сотни пунктов и умирает.",
-    how2: "Заведи папку",
-    how2What: "— gate.yml, red/, green/, README.md.",
-    how2Why: "Норма записи со всеми полями — kit/gates/README.md",
-    how3: "Проверь машиной:",
-    how3Why: "Арбитр обязан покраснеть на red/ и промолчать на green/. Не прошло — не запись.",
-    how4: "Пришли изменением",
-    how4What: "в репозиторий комплекта.",
-  },
-
-  why: {
-    needQuery: (cmd) => `Опиши, что пропустили: ${cmd}`,
-    example: 'why "файл вырос до девяти тысяч строк"',
-    ciAtOnce: "разом: doctor --run",
-    ciOwnStep: "отдельным шагом",
-    unsure: "Уверенного совпадения нет. Похоже на эти записи:",
-    unsureByName: (cmd) => `Назови запись именем: ${cmd}`,
-    unsureNone: (cmd) => `Ни одна не подходит — значит сторожа не было: ${cmd}`,
-    decideTitle: "Дальше решаешь ты:",
-    decideQ: "это твоя частность или общий случай?",
-    decideWhy: "Общий — идёт в каталог и достаётся всем. Частный — остаётся у тебя.",
-    decideNote: (cmd) => `Урок в общий журнал в любом случае: ${cmd}`,
-    fix: "Почини так:",
-    noGuard: "Сторожа не было.",
-    noGuardWhy: "В каталоге нет записи с таким намерением.",
-    noGuardFix: (cmd) => `заведи запись — ${cmd}`,
-    noGuardHint: "Красный образец бери прямо из этой поломки: она уже случилась, выдумывать нечего.",
-    closest: (slug, pct) => `Ближайшая запись каталога: ${slug}  совпадение ${pct}%`,
-    notInstalled: "Сторож есть в каталоге, но в этом проекте не поставлен.",
-    notInstalledHint1: "Он покраснеет на старом коде — это нормально: старое закрывается храповиком,",
-    notInstalledHint2: (cmd) => `новое ловится со дня установки. ${cmd}`,
-    declaredAs: (cmd) => `Объявлен: ${cmd}`,
-    notRunning: "Сторож объявлен, но не запускается.",
-    notRunningWhy: "Худший случай: тишина читается как успех.",
-    notRunningFix: "путь или программа из команды не существуют — проверь их.",
-    notRunningHint: "Отсутствие сигнала неотличимо от успеха, поэтому это не «мелочь в конфиге».",
-    bypassed: "Сторож есть и эту поломку ловит — значит его обошли.",
-    noCiFix: "конвейера нет. Проверка, которую гоняет только человек,",
-    noCiHint: "работает ровно до первого «забыл».",
-    notInCiFix: "конвейер есть, но этот гейт в нём не запускается.",
-    notInCiHint: (cmd) => `Дешевле всего одним шагом: ${cmd} — он гоняет всё объявленное.`,
-    inCiFix: (how) => `конвейер его гоняет (${how}) — значит красный прогон`,
-    inCiHint1: "кто-то пропустил или обошёл. Перенеси правило из текста в механику:",
-    inCiHint2: "блокирующий шаг, а не необязательный; запрет слияния при красном.",
-    blind: "Сторож есть, стоит и запускается — но этой поломки не видит.",
-    blindFix: (dir) => `положи в ${dir} кусок кода из этой поломки`,
-    blindHint1: "и доведи проверку до красного на нём. Порядок обратный привычному: сначала",
-    blindHint2: "образец, потом правка — иначе непонятно, что именно починено.",
-    blindCheck: "Проверить после правки: bash tool/selfcheck/gates.sh",
-  },
-
-  init: {
-    noDocs: (dir) => `Не найден корпус методичек: ${dir}\nПохоже, пакет установлен не полностью.`,
-    docsRu:
-      "методички в .aqk/docs/ остаются на русском — решение, а не недоделка.",
-    created: (n) => `создано (${n}):`,
-    andMore: (n) => `… и ещё ${n}`,
-    kept: (n) => `уже были на месте, не тронуты (${n}):`,
-    overwrite: (cmd) => `перезаписать: ${cmd}`,
-    nextTitle: "Что дальше — по порядку:",
-    n1a: "Открой",
-    n1b: "и заполни раздел «Команды». Команда, которую нельзя",
-    n1c: "скопировать и выполнить, — не команда, а пожелание.",
-    n2a: "Прочитай",
-    n2b: "— это обязательный минимум",
-    n2c: "проекта без привязки к языку. Пройди сверху вниз и отметь, чего нет.",
-    n3a: "Заполни",
-    n3b: "— гейты, образцы, журнал. Уровень соответствия AQK",
-    n3c: (cmd) => `считается по нему: ${cmd}.`,
-    n4a: "Поднимайся по ступеням",
-    n4b: "по одной",
-    n4c: ". Гейт стережёт существующий артефакт:",
-    n4d: "проверка на код, которого ещё нет, — мёртвое правило.",
-    burned: (cmd) => `Обжёгся на чём-то — запиши: ${cmd}`,
-    hookHint: (cmd) => `Claude Code: ${cmd} — состояние проекта будет попадать в контекст агента\n  само, до первого действия. Для других агентов хука нет, и это не недоделка.`,
-  },
-
-  feedback: {
-    title: "Если пригодилось:",
-    star: (url) => `Поставь звезду — ${url}`,
-    issue: "Нашёл баг или не подошло — заведи Issue, самая полезная обратная связь: и то и другое.",
-    notRemembered: "запомнить не удалось (дом недоступен для записи) — сообщение появится снова",
-    once: "Это разовое сообщение: больше не покажется на этой машине.",
-  },
-
-  note: {
-    journalTitle: "Журнал шишек",
-    needTitle: (cmd) => `Нужен заголовок: ${cmd}`,
-    noJournal: (url) => `Клон журнала не найден.\nСделай один раз:\n  git clone ${url}.git ~/projects/aqk\nили укажи путь: export AQK_HOME=/путь/к/aqk`,
-    journalMissing: (path) => `Журнал не найден: ${path}`,
-    emptyBody: `Тело записи пустое. Передай его на стандартный ввод, например:\n\n  aqk note "заголовок" <<'EOF'\n  **Что случилось.** ...\n  **Чем это стоило.** ...\n  **Вывод.** 🔧 ...\n  EOF`,
-    noOutcome:
-      "В записи нет отметки решения. Урок без вывода — это история, а не урок.\n" +
-      "Припиши одну из трёх:\n" +
-      "  ✅ **Стало гейтом:** <имя записи каталога>\n" +
-      "  🔧 **Стало правкой оснастки:** <что именно изменено>\n" +
-      "  👤 **Гейтом не станет:** <почему>",
-    unknownProject: "неизвестно",
-    projectField: "Проект",
-    pushed: (title) => `Записано и отправлено: ${title}`,
-    localOnly: (cmd) => `Записано локально, push не прошёл. Отправить: ${cmd}`,
-  },
-
-  blob: {
-    noDocs: (dir) => `Не найдены методички: ${dir}`,
-    header: (stamp) =>
-      `<!-- СОБРАНО КОМАНДОЙ aqk blob ${stamp} из kit/docs. Не править руками:\n` +
-      `     правки затрёт следующая сборка. Источник — отдельные файлы. -->\n\n` +
-      `# AQK — методички одним файлом\n`,
-    source: (path) => `источник: ${path}`,
-    done: (n, kb) => `GOD_AI.md — ${n} файлов, ${kb} КБ`,
-    rebuilt: "Собирается заново каждой командой. Править надо оригиналы в kit/docs.",
-  },
-
-  start: {
-    noRecipeHere: "нужен инструмент, которого нет на этой машине",
-    initFailed: (cmd) => `Не получилось разложить комплект. Начни с ${cmd}`,
-    tooManyFiles: (n) => `В репозитории уже ${n} файлов кода — это другой сценарий.`,
-    useDoctor: (cmd) => `${cmd} осмотрит, что есть, и разделит записи на три списка:`,
-    threeLists: "держит машина · применимо и не поставлено · не применимо и почему.",
-    anyway: (cmd) => `Всё равно поставить сторожей дня 0: ${cmd}`,
-    expectRed: "Готовься к красному: сторож, поставленный на живой код, краснеет на нём весь.",
-    expectRedFix: (cmd) => `Это лечится храповиком — ${cmd}, — а не отключением.`,
-    installed: (n) => `Поставлено сторожей дня 0: ${n}`,
-    noDebt1: "Долга нет: на пустом проекте им нечего пропускать. Тот же сторож, поставленный",
-    noDebt2: "через полгода, покраснел бы на всём старом коде — и его бы выключили.",
-    allDeclared: "Все применимые записи уже объявлены.",
-    notYet: "Не применимо пока:",
-    notYetWhy: "Появится признак — запись покажется сама.",
-    orderTitle: "Порядок, в котором это делают:",
-    o1: "Задача словами.",
-    o1What: "Что и кому, без единого технического слова.",
-    o1Why: "Пока задача не описана словами, любая архитектура защищает неизвестно что.",
-    o2: "Ограничения.",
-    o2What: "Сроки, деньги, нагрузка, чем нельзя пользоваться.",
-    o2Why: "Ограничения выбирают решение куда чаще, чем вкус: без них выбирают вкусом.",
-    o3: "Сайзинг.",
-    o3What: "Сколько данных, запросов, людей — числами, хотя бы порядком.",
-    o3Why: "Число отделяет «нужна очередь» от «хватит таблицы». Без него спорят словами.",
-    o4: "Архитектура.",
-    o4What: "И только теперь — из первых трёх, а не до них.",
-    softNote1: "Этот порядок программа не проверяет: он в .aqk/docs/, и агент может его",
-    softNote2: "проигнорировать. Машина держит другое — сторожей выше. Разница между",
-    softNote3: "мягким и жёстким тут ровно такая: текст просят, команду выполняют.",
-    next: "Дальше:",
-    nextWhy: "— прогнать всё, что объявлено",
-  },
-
-
-  prove: {
-    title: "aqk prove — доказательство гейтов",
-    running: "доказываю гейты по их образцам…",
-    proven: (n) => `доказано: ${n}`,
-    broken: (n) => `не ловят: ${n}`,
-    unprovable: (n) => `нечем доказать: ${n}`,
-    okRed: "краснеет на красном, молчит на зелёном",
-    redPassed: "промолчал на КРАСНОМ образце — гейт не ловит брак",
-    greenFailed: "покраснел на ЗЕЛЁНОМ образце — гейт ругается на исправный код",
-    empty: "команда пустая — объявление без команды защиты не даёт",
-    noSamples: "нет образцов — доказать нечем",
-    noTarget: "не видно, куда подставить каталог образца — команда написана руками",
-    otherRecipe: (lang) => `образцы написаны под рецепт «${lang}», а стоит другой — доказать нечем`,
-    noGates: "гейтов не объявлено — доказывать нечего",
-    needsProgram: (progs) => `НЕ ПРОВЕРЕНА здесь — нужен «${progs}»`,
-    noSamplesDir: "в .aqk.yml не заполнено поле samples — образцы искать негде",
-    nothingProven:
-      "ни один гейт не доказан. Уровень выше AQK-1 означал бы доверие к автору, а не факт:\n  проект с гейтом «true» прошёл бы его так же, как проект с настоящей защитой.",
-    fix: (cmd) => `почини: поставь запись каталога вместе с образцами — ${cmd}`,
-    heading: "Доказательство гейтов",
-  },
-  badge: {
-    noManifest: (cmd) => `Нет .aqk.yml — уровня ещё нет. Начни с ${cmd}`,
-    notReached: (cmd) => `AQK-0 не достигнут — значок выдавать не за что. Чего не хватает: ${cmd}`,
-    redGates: (n, names) =>
-      `Красных гейтов: ${n} (${names}). Значок при красном гейте — заявление автора, а не факт машины.`,
-    hint: (n) => `Проверено прогоном. Зелёных гейтов: ${n}. Строку выше — в README.`,
-    keepTrue: (cmd) => `Чтобы значок не превратился во враньё, поставь в конвейер: ${cmd}`,
-    checkMissing: (places) => `Значка AQK нет ни в одном из файлов: ${places}. Вставить нужно этот:`,
-    checkMismatch: (where, level) => `Значок врёт: ${where}, а прогон говорит AQK-${level}. Заменить на:`,
-    checkOk: (level, where) => `Значок совпал с прогоном: AQK-${level} — ${where}`,
-  },
-
-
-
+  ...ruGates,
 };

package/tool/lib/cadence.mjs

@@ -0,0 +1,57 @@
+// tool/lib/cadence.mjs — когда комплект делает работу САМ, не дожидаясь, что о ней вспомнят.
+//
+// ЗАЧЕМ. Владелец сформулировал точнее, чем было в замысле: «команду, о которой надо вспомнить,
+// агент не вспомнит, а человек о ней не узнает». Это тот же класс, что файл, который можно не
+// прочитать, — и весь комплект написан против него. Команда `probe`, которую надо запускать
+// руками, наполовину бесполезна по построению: она отвечает на важнейший вопрос («что здесь не
+// прикрыто ничем») и не задаётся никем.
+//
+// РЕШЕНИЕ ТО ЖЕ, ЧТО У СОВЕТА И ПРОВЕРКИ ВЕРСИИ: не напоминать, а делать. Разница в единице.
+// Совет считает сутки — он про внимание человека. Проба считает КОММИТЫ: репозиторий, в котором
+// месяц не работали, перепроверять незачем, а сто коммитов за день перепроверить надо. Время
+// здесь не при чём, при чём — сколько кода написано с прошлого раза.
+//
+// ПОЧЕМУ СТО. Число выбрано так, чтобы проба не мешала: на нашем репозитории это примерно
+// две недели работы, а сама проба идёт секунды. Порог виден в выводе и меняется числом, а не
+// прячется: правило, которого не видно, через месяц читается как случайность.
+const PROBE_EVERY = 100;
+
+// `last` — то, что записала прошлая проба: { at: <число коммитов на тот момент> }.
+// `now` — сколько коммитов в репозитории сейчас; null, если счётчик взять не удалось.
+//
+// Пробы не было ВОВСЕ — она нужна, и нужна сразу, а не на сто первом коммите: молодой проект
+// узнал бы о своих дырах позже всех, хотя закрывать их дешевле всего именно в начале.
+function probeDue(last, now, every = PROBE_EVERY) {
+  if (now === null || now === undefined) return false;
+  const at = Number(last?.at);
+  if (!Number.isFinite(at)) return true;
+  return now - at >= every;
+}
+
+// Состояние для человека и для агента. ЧЕТЫРЕ исхода, и сливать их нельзя — по той же причине,
+// по которой их четыре у `vitals`: «не делалась» и «свежая» различаются тем, что в первом
+// случае мы ничего не знаем, а молчание читается как «всё хорошо».
+function probeState(last, now, every = PROBE_EVERY) {
+  if (now === null || now === undefined) return { state: "unknown", behind: null };
+  const at = Number(last?.at);
+  if (!Number.isFinite(at)) return { state: "never", behind: null };
+  const behind = now - at;
+  return { state: behind >= every ? "stale" : "fresh", behind };
+}
+
+// Порог из манифеста: `probe: 250` — раз в двести пятьдесят коммитов, `probe: 0` — не делать
+// вовсе. Число выбирается проектом, а не нами: сто коммитов на репозитории с десятком коммитов
+// в час — это трижды в день, а на редком проекте они не наберутся никогда.
+//
+// Неразобранное значение НЕ молчит: строка `probe: часто` означала бы «человек настроил», а
+// работал бы умолчательный порог — расхождение между написанным и происходящим, то самое,
+// против чего весь комплект. Возвращается null, и вызывающий говорит об этом вслух.
+function probeEvery(man) {
+  const raw = man?.probe;
+  if (raw === undefined || raw === null || String(raw).trim() === "") return PROBE_EVERY;
+  const n = Number(String(raw).trim());
+  if (!Number.isFinite(n) || n < 0) return null;
+  return n;
+}
+
+export { probeDue, probeState, probeEvery, PROBE_EVERY };

package/tool/lib/core.mjs

@@ -71,6 +71,7 @@ function commandRows(L) {
     { name: "doctor", args: "--run", text: h.doctorRun },
     { name: "doctor", args: "--run --since main", text: h.doctorSince },
     { name: "prove", args: "", text: h.prove },
+    { name: "probe", args: "", text: h.probe },
     { name: "add", args: h.name, text: h.add },
     { name: "find", args: '"…"', text: h.find },
     { name: "why", args: '"…"', text: h.why },

package/tool/lib/evidence.mjs

@@ -75,10 +75,23 @@ function targetsOf(cmd, isDir) {
 // не проверен», хотя его обходят пять проверок — они просто промолчали, потому что нашли
 // чисто. Замеряно 2026-09-08.
 function coverage(files, results, isDir = () => false) {
+  // НАЗВАН — ЭТО ТОЛЬКО ВЫВОД. Пути брались из команды И вывода разом, и гейт, не напечатавший
+  // ни слова, делал «названным» любой файл, упомянутый в строке запуска. Опыт 2026-09-09:
+  // молчащая проверка `sh checks/quiet.sh .` давала «названо проверкой: checks/quiet.sh».
+  // Так «доказывалась» каждая правка `kit/gates/*/check.sh` и `tool/selfcheck/*.sh` — то есть
+  // самих проверок, где правда важнее всего.
+  //
+  // Но и выбросить команду нельзя: она отвечает на ДРУГОЙ вопрос — куда гейт был направлен.
+  // Каталог из команды даёт «обойдено молча» через `targets`; отдельный файл раньше не давал
+  // ничего, потому что `targetsOf` берёт только каталоги, — и такой файл падал в «никто не
+  // смотрел». Поэтому имена из команды хранятся отдельно и сравниваются ТОЧНО.
   const seen = results.map((r) => ({
     name: r.name,
-    paths: pathsIn(`${r.cmd || ""}\n${r.out || ""}`),
+    paths: pathsIn(r.out || ""),
     targets: targetsOf(r.cmd, isDir),
+    named: new Set(
+      String(r.cmd || "").split(/\s+/).filter((t) => t && !t.startsWith("-")).map(normPath)
+    ),
   }));
   const covered = new Map();
   const silent = new Map();
@@ -88,7 +101,7 @@ function coverage(files, results, isDir = () => false) {
     const by = seen.filter((n) => n.paths.has(f)).map((n) => n.name);
     if (by.length) { covered.set(raw, by); continue; }
     const aimed = seen
-      .filter((n) => n.targets.some((t) => t === "" || f === t || f.startsWith(`${t}/`)))
+      .filter((n) => n.named.has(f) || n.targets.some((t) => t === "" || f === t || f.startsWith(`${t}/`)))
       .map((n) => n.name);
     if (aimed.length) silent.set(raw, aimed);
     else uncovered.push(raw);

package/tool/lib/execution.mjs

@@ -0,0 +1,67 @@
+// tool/lib/execution.mjs — ИСХОД ЗАПУСКА процесса, отдельно от смысла находки.
+//
+// ЗАЧЕМ. Прежде `prove.mjs` считал находкой ЛЮБОЙ ненулевой код на красном образце. Опыт
+// 2026-09-09: проверка, которая ВИСНЕТ на красном образце и молчит на зелёном, получала вердикт
+// `proven: 1, ok: true` — зависший гейт объявлялся ловящим брак. Это `pytest || true` в функции,
+// считающей наш главный уровень. Тот же класс поймал перемежающийся отказ прогона: под
+// нагрузкой арбитр записи не успевал, и приёмка печатала «гейт ругается на исправный код» —
+// сбой инструмента выдавался за приговор записи каталога.
+//
+// ТРИ ИСХОДА, А НЕ ДВА: clean · finding · infra_error. Четвёртое состояние — `unavailable`,
+// «инструмента нет» — сюда НЕ входит намеренно: это результат осмотра окружения ДО запуска.
+// Если процесс уже запускался и не смог отработать — это сбой инструмента, а не его отсутствие.
+//
+// ПОЧЕМУ У КАЖДОГО ИНСТРУМЕНТА СВОЙ АДАПТЕР, А НЕ ОДНО ПРАВИЛО. Замер по настоящим
+// инструментам 2026-09-09 (числа сняты запуском, кроме pylint и eslint — их документацией):
+//
+//   ruff     чисто 0 · находка 1 (синтаксическая ошибка тоже 1) · неверный флаг 2
+//            · НЕСУЩЕСТВУЮЩИЙ ПУТЬ → 0 и «All checks passed!»
+//   eslint   чисто 0 · находка 1 · настройка либо внутренняя ошибка 2
+//   vulture  чисто 0 · НАХОДКА 3 · плохой ввод 1 · ошибка CLI 2
+//   pylint   чисто 0 · находка битовой маской (2 ошибка, 4 предупреждение, 8, 16)
+//            · ОШИБКА ВЫЗОВА 32
+//
+// Общее правило «1 — находка, 2+ — сбой» переврало бы vulture (его находка это 3, а 1 и 2 —
+// ошибки) и pylint (его ошибка вызова 32 больше любой находки) — причём в ОБЕ стороны.
+// Поэтому знание о кодах живёт рядом с инструментом, а протокол остаётся простым.
+
+// Умолчание для незнакомой программы: ноль — чисто, единица — находка, остальное — сбой.
+// Это честнее догадки: неизвестный код становится «не знаем», а не «поймал».
+const DEFAULT = (code) => code === 1;
+
+const ADAPTERS = {
+  ruff: DEFAULT,
+  eslint: DEFAULT,
+  // Наши собственные обёртки: 0 чисто, 1 находка, 2 «нет делегированного инструмента».
+  bash: DEFAULT,
+  sh: DEFAULT,
+  vulture: (code) => code === 3,
+  // Битовая маска: любое ненулевое БЕЗ бита 32 — находка; бит 32 — ошибка вызова.
+  pylint: (code) => code > 0 && (code & 32) === 0,
+};
+
+function findingCodes(prog) {
+  const key = String(prog || "").split("/").pop();
+  return ADAPTERS[key] || DEFAULT;
+}
+
+// Вход — то, что отдаёт spawnSync: { status, signal, error }. Выход — исход и, у сбоя, причина.
+function classify(r, isFinding = DEFAULT) {
+  // ПОРЯДОК ВАЖЕН, И ОН НЕОЧЕВИДЕН. При истечении срока Node ставит И `signal: SIGTERM`,
+  // И `error` с кодом ETIMEDOUT: если смотреть на error первым и не различать его код, таймаут
+  // назовётся «ошибкой запуска». Состояние вышло бы верным, а объяснение ложным — а объяснение
+  // здесь и есть смысл работы. Замерено прямо на spawnSync 2026-09-09.
+  if (r?.error?.code === "ETIMEDOUT") return { state: "infra_error", reason: "timeout", code: null };
+  if (r?.error) return { state: "infra_error", reason: "spawn_error", code: null };
+  if (r?.status === null || r?.status === undefined) {
+    // Срок мог сработать и без error: процесс убит SIGTERM. Иной сигнал — не наш срок.
+    const reason = !r?.signal || r.signal === "SIGTERM" ? "timeout" : "signal";
+    return { state: "infra_error", reason, code: null };
+  }
+  const code = r.status;
+  if (code === 0) return { state: "clean", reason: null, code };
+  if (isFinding(code)) return { state: "finding", reason: null, code };
+  return { state: "infra_error", reason: "unexpected_exit", code };
+}
+
+export { classify, findingCodes };

package/tool/lib/history.mjs

@@ -0,0 +1,82 @@
+// tool/lib/history.mjs — что в ЭТОМ репозитории ломается на самом деле.
+//
+// ЗАЧЕМ. `doctor` говорит «держит машина 21». Двадцать один из чего? Знаменателя нет: 21 —
+// это то, что мы успели написать в каталог, а не то, что важно в конкретном проекте. Каталог
+// у нас — наш вкус; история проекта — его факты.
+//
+// Замер 2026-09-09 на самом комплекте: 45 коммитов-починок из 181, и рейтинг однозначный —
+// `tool/selfcheck/smoke.sh` чинили 22 раза, `tool/lib/manifest.mjs` — 5. Это те места, где
+// брак возвращается; там и стоит спрашивать, смотрит ли на них хоть одна проверка.
+//
+// ЧТО ЭТО НЕ ЗНАЧИТ. Часто чинят и то, что часто меняют: рейтинг говорит «сюда возвращаются»,
+// а не «здесь плохо». Ответ на «прикрыто ли» даёт не он, а проба — см. probeVerdict.
+
+// Признак починки берётся из ТЕМЫ коммита. Тема — единственное, что пишут все, и единственное,
+// что видно в `git log --oneline`.
+//
+// Три написания, потому что репозитории бывают на двух языках и с conventional commits. Якорь
+// на начало обязателен: без него «feat: prefix для путей» попадает в рейтинг из-за подстроки
+// «fix», и рейтинг перестаёт что-либо значить.
+const FIX_RE = /^\s*(fix|fixes|fixed|bugfix|hotfix|исправ|почин)/i;
+
+function isFix(subject) {
+  return FIX_RE.test(String(subject || ""));
+}
+
+// Разбор вывода `git log --format=%s --name-only`. Формат снят с живого репозитория, а не
+// придуман: ТЕМА, затем ПУСТАЯ строка, затем пути — и сразу следующая тема, без пустой строки
+// перед ней.
+//
+//   fix: разбор манифеста
+//   <пусто>
+//   tool/lib/manifest.mjs
+//   feat: новая запись
+//   <пусто>
+//   kit/gates/x/check.sh
+//
+// Отсюда единственный надёжный признак темы: за ней идёт пустая строка. По позиции её не
+// отличить — после последнего пути соседнего коммита тема начинается без разделителя.
+// Первая версия разбирала по выдуманному формату («пустая строка ПОСЛЕ файлов») и нашла ноль
+// починок там, где их сорок пять: ошибка молчала, потому что пустой рейтинг выглядит как
+// «история чистая». Тот же класс, что дважды поймал меня в тот же день.
+//
+// `isCode` передаётся вызывающим, а не берётся отсюда: набор расширений кода живёт в
+// evidence.mjs, и второй его список через месяц разошёлся бы с первым.
+function fixHotspots(raw, { isCode }) {
+  const counts = new Map();
+  const lines = String(raw || "").split("\n");
+  let inFix = false;
+
+  for (let i = 0; i < lines.length; i++) {
+    const line = lines[i];
+    if (line === "") continue;
+    if (lines[i + 1] === "") { inFix = isFix(line); continue; }
+    if (!inFix) continue;
+    const p = line.trim();
+    if (!p || !isCode(p)) continue;
+    counts.set(p, (counts.get(p) || 0) + 1);
+  }
+
+  return [...counts.entries()]
+    .map(([path, fixes]) => ({ path, fixes }))
+    // При равном числе починок — по алфавиту: вывод обязан быть одинаковым между прогонами,
+    // иначе его нельзя сравнить с прошлым и нельзя проверить машиной.
+    .sort((a, b) => b.fixes - a.fixes || a.path.localeCompare(b.path));
+}
+
+// Вердикт пробы по кодам возврата объявленных гейтов. ТРИ состояния, и сливать их нельзя.
+//
+// `2` у наших записей означает «проверка не состоялась» — делегированной программы нет на
+// машине. Засчитать это как «прикрыто» значило бы выдать отсутствие сигнала за успех: тот
+// самый отказ, против которого написан весь комплект. Засчитать как «не прикрыто» — тоже
+// неправда: мы не знаем.
+//
+// Поймавший гейт сильнее непроверенного: класс закрыт, даже если рядом чего-то не хватает.
+function probeVerdict(results) {
+  if (results.some((r) => r.code === 1)) return "caught";
+  if (results.length === 0) return "unknown";
+  if (results.some((r) => r.code !== 0)) return "unknown";
+  return "blind";
+}
+
+export { isFix, fixHotspots, probeVerdict };

package/tool/lib/manifest.mjs

@@ -112,7 +112,7 @@ function unparsedLines(text) {
 // Список обязан совпадать с тем, что программа РЕАЛЬНО читает (`man?.<поле>` в tool/):
 // лишнее имя здесь молча узаконивает поле, которое ни на что не влияет, — та же тишина,
 // только с другой стороны. Сверено обходом: aqk, entry, rules, gates, samples, ratchets, lessons.
-const KNOWN_KEYS = ["aqk", "entry", "rules", "docs", "lang", "gates", "covers", "samples", "ratchets", "lessons", "advisory"];
+const KNOWN_KEYS = ["aqk", "entry", "rules", "docs", "lang", "gates", "covers", "samples", "ratchets", "lessons", "advisory", "probe"];
 
 // ГДЕ У ПРОЕКТА ЛЕЖИТ РАЗЛОЖЕННЫЙ КОМПЛЕКТ. Список для шапки `doctor`. До 2026-09-08 он был
 // литеральным: `.aqk/rules`, `.aqk/docs`, `AGENTS.md` — независимо от того, что написано в