agent-quality-kit 0.8.0 → 0.10.0

package/kit/gates/protection-not-removed/check.sh

@@ -0,0 +1,92 @@
+#!/usr/bin/env sh
+# Набор объявленных гейтов может только РАСТИ. Убрать гейт можно, но не молча.
+#
+# ЗАЧЕМ. Комплект ловит агента, когда тот выключает сигнал: `# noqa`, `pytest || true`,
+# ослабленный тест. А главный рубильник — сам манифест — не сторожил никто. Замер 2026-09-09:
+# четыре гейта и настоящий секрет в коде дают код 1; убираешь ОДНУ строку из `.aqk.yml` —
+# `Порог AQK-1 пройден`, код 0, секрет на месте, файлы гейта на диске. Ни `doctor`, ни `report`,
+# ни `vitals`, ни блок состояния для агента этого не заметили.
+#
+# Это `pytest || true` этажом выше. И бьёт сильнее обычного обхода: `# noqa` виден в коде, а
+# удалённая строка — это ОТСУТСТВИЕ, а отсутствие не рецензируют.
+#
+# ЧТО ЭТО НЕ ЗАПРЕЩАЕТ. Снять гейт по-прежнему можно — но названно. Причина пишется в реестре
+# после `#`, как `deprecated` обязан нести `superseded_by`: решение остаётся за человеком и
+# перестаёт быть невидимым.
+DIR="${1:-.}"
+MAN="$DIR/.aqk.yml"
+[ -f "$MAN" ] || { echo "нет .aqk.yml — проверять нечего"; exit 0; }
+
+MANTEXT="$(tr -d '\r' < "$MAN")"
+
+# Имена гейтов из блока gates:. Пустая команда защиты не даёт — такие не считаем объявленными.
+DECLARED="$(printf '%s\n' "$MANTEXT" \
+  | awk '/^gates:/{g=1;next} /^[A-Za-z]/{g=0} g && /^[[:space:]]+[A-Za-z0-9_-]+:[[:space:]]*[^[:space:]]/{print}' \
+  | sed 's/^[[:space:]]*\([A-Za-z0-9_-]*\):.*/\1/' | LC_ALL=C sort -u)"
+[ -z "$DECLARED" ] && { echo "гейтов не объявлено — сторожить нечего"; exit 0; }
+
+# Кавычки снимаются, и ПУСТОЕ значение считается отсутствующим. `init` кладёт `ratchets: ""`
+# намеренно — пустое поле честнее заглушки, — и без снятия кавычек путь получался «""/…»:
+# сообщение с таким путём человек не может выполнить. Найдено первым же прогоном в чужом
+# проекте, а не на нашем репозитории, где поле заполнено.
+RDIR="$(printf '%s\n' "$MANTEXT" | sed -n 's/^ratchets:[[:space:]]*//p' | head -1 \
+  | sed 's/^"//; s/"$//; s/^'"'"'//; s/'"'"'$//; s/[[:space:]]*$//')"
+[ -z "$RDIR" ] && RDIR="ratchets"
+REG="$DIR/$RDIR/gates-declared.txt"
+REL="$RDIR/gates-declared.txt"
+
+if [ ! -f "$REG" ]; then
+  # Реестра нет. Два разных случая, и путать их нельзя: снимка ещё не снимали — или его
+  # УДАЛИЛИ, что и есть тот самый обход, только другим файлом. Свидетель — git: если у пути
+  # есть история, файл существовал.
+  if git -C "$DIR" log -1 --format=%H -- "$REL" 2>/dev/null | grep -q .; then
+    echo "$REL был в истории и удалён — снимок объявленной защиты уничтожен"
+    echo "  почини: верни файл (git checkout -- $REL). Удаление снимка снимает и саму проверку —"
+    echo "  почини: это тот же обход, что удаление гейта, только через соседний файл."
+    exit 1
+  fi
+  mkdir -p "$DIR/$RDIR" || { echo "не создать $RDIR"; exit 2; }
+  printf '# Снимок объявленной защиты. Набор может только РАСТИ.\n' > "$REG"
+  printf '# Убрал гейт — напиши причину после # в его строке, иначе проверка краснеет.\n' >> "$REG"
+  printf '%s\n' "$DECLARED" >> "$REG"
+  echo "снят снимок объявленной защиты: $(printf '%s\n' "$DECLARED" | wc -l | tr -d ' ') гейтов → $REL"
+  echo "  почини: закоммить этот файл — без него проверка не знает, что защита была."
+  exit 0
+fi
+
+# Имя без причины — строка реестра, где после имени НЕТ решётки. Имя с причиной — снятое
+# осознанно; печатаем его отдельно, но прогон не роняем.
+GONE=""
+NAMED=""
+while IFS= read -r LINE; do
+  case "$LINE" in ''|'#'*) continue ;; esac
+  NAME=$(printf '%s' "$LINE" | sed 's/[[:space:]]*#.*//; s/[[:space:]]*$//')
+  [ -z "$NAME" ] && continue
+  printf '%s\n' "$DECLARED" | grep -qx "$NAME" && continue
+  case "$LINE" in
+    *'#'*) NAMED="$NAMED $NAME" ;;
+    *)     GONE="$GONE $NAME" ;;
+  esac
+done < "$REG"
+
+[ -n "$NAMED" ] && echo "совет: снято осознанно и названо в $REL:$NAMED"
+
+if [ -n "$GONE" ]; then
+  for N in $GONE; do
+    echo "$REL: гейт «$N» был объявлен и исчез из .aqk.yml"
+  done
+  echo "  почини: верни строку в gates: — либо, если снял намеренно, напиши причину в $REL"
+  echo "  почини: после имени через #, например «$N  # снят: закрыт гейтом lint»."
+  exit 1
+fi
+
+# Всё на месте — дописываем новые. Набор растёт сам; укоротить его молча нельзя.
+NEW=""
+for N in $DECLARED; do
+  sed 's/[[:space:]]*#.*//; s/[[:space:]]*$//' "$REG" | grep -qx "$N" || NEW="$NEW $N"
+done
+if [ -n "$NEW" ]; then
+  for N in $NEW; do printf '%s\n' "$N" >> "$REG"; done
+  echo "совет: в снимок дописаны новые гейты:$NEW"
+fi
+exit 0

package/kit/gates/protection-not-removed/gate.yml

@@ -0,0 +1,10 @@
+intent: объявленная защита не исчезает молча — набор гейтов в манифесте может только расти
+intent_en: declared protection does not vanish silently — the set of gates in the manifest may only grow
+
+trigger:
+  has_gates: true
+
+recipes:
+  any: bash {gate}/check.sh {dir}
+
+proof: incidents/README.md — «2026-09-09 сигнализация построена, выключатель оставлен снаружи без пломбы»

package/kit/gates/protection-not-removed/green/.aqk.yml

@@ -0,0 +1,7 @@
+aqk: 1
+entry:
+  - AGENTS.md
+rules: .aqk/rules
+ratchets: .
+gates:
+  lint: "true"

package/kit/gates/protection-not-removed/green/gates-declared.txt

@@ -0,0 +1,4 @@
+# Снимок объявленной защиты. Набор может только РАСТИ.
+# Убрал гейт — напиши причину после # в его строке, иначе проверка краснеет.
+lint
+secrets-not-in-code  # снят 2026-09-09: закрыт гейтом lint, см. covers в манифесте

package/kit/gates/protection-not-removed/red/.aqk.yml

@@ -0,0 +1,7 @@
+aqk: 1
+entry:
+  - AGENTS.md
+rules: .aqk/rules
+ratchets: .
+gates:
+  lint: "true"

package/kit/gates/protection-not-removed/red/gates-declared.txt

@@ -0,0 +1,4 @@
+# Снимок объявленной защиты. Набор может только РАСТИ.
+# Убрал гейт — напиши причину после # в его строке, иначе проверка краснеет.
+lint
+secrets-not-in-code

package/kit/gates/secrets-not-in-code/red/leak.go

@@ -0,0 +1,9 @@
+package config
+
+// Ключ в коде: он уедет в историю git и останется там навсегда.
+//
+// Строка намеренно КОРОЧЕ настоящего ключа Stripe и повторяет ту, что лежит в settings.py:
+// правдоподобный ключ блокирует защита GitHub от секретов, и образец нельзя отправить в
+// репозиторий вовсе. Красный образец обязан быть узнаваем НАШИМ гейтом и не узнаваем чужими
+// сканерами — проверено 2026-09-09: push отклонён на «Stripe API Key».
+const StripeKey = "sk_live_51HxxQwErTyUiOpAsDfGh"

package/kit/gates/secrets-not-in-code/red/leak.rs

@@ -0,0 +1,5 @@
+// Ключ в коде: он уедет в историю git и останется там навсегда.
+//
+// Строка намеренно короче настоящего ключа Stripe — см. комментарий в leak.go: правдоподобный
+// ключ блокирует защита GitHub от секретов, и образец не отправить.
+pub const STRIPE_KEY: &str = "sk_live_51HxxQwErTyUiOpAsDfGh";

package/kit/gates/todo-without-task/red/later.go

@@ -0,0 +1,6 @@
+package svc
+
+func Send(to string) error {
+	// TODO: переписать на очередь
+	return deliver(to)
+}

package/kit/gates/todo-without-task/red/later.rs

@@ -0,0 +1,4 @@
+pub fn send(to: &str) -> bool {
+    // FIXME: переписать на очередь
+    deliver(to)
+}

package/llms.txt

@@ -25,8 +25,9 @@ Zero runtime dependencies. Node 18+ and an `sh` shell. MIT.
 - Show only what a diff introduced, so a legacy repo is usable from day one: `doctor --run --since main`
 - Prove the gates actually catch defects: `npx agent-quality-kit prove` — every *provable* gate is
   run against its own red and green sample and must go red on the first and stay quiet on the
-  second. A gate with no samples, with samples written for another recipe, or whose command takes
-  no directory is reported as unprovable and named; the verdict is "nothing proven is broken, and
+  second. A gate with no samples, with samples written for another recipe, whose command takes
+  no directory, or whose `requires:` program is not installed is reported as unprovable and
+  named — never as broken; the verdict is "nothing proven is broken, and
   at least one gate is proven". Level AQK-2 and the badge depend on this, not on the presence of
   files
 - See what proves a diff, file by file: `npx agent-quality-kit report --since main` — each changed
@@ -41,6 +42,18 @@ Zero runtime dependencies. Node 18+ and an `sh` shell. MIT.
   adds the command map and the rulebook verbatim (~7000 tokens): a deliberate trade, chosen by
   the owner after the objection about long inputs, on the grounds that an agent reads files
   poorly and the tokens are the price of it not guessing
+- Check that the kit's own wiring is actually connected: `npx agent-quality-kit vitals` — are the
+  tools the declared gates need installed, is the hook present in `.git/hooks` (a line in the
+  config is an intention, not a guard), does the agent receive the state, is the version current.
+  Four states, not two: connected · BROKEN · not connected and that is a choice · could not look.
+  Only BROKEN affects the exit code
+- See what your declared checks CANNOT see: `npx agent-quality-kit probe` — takes the files your
+  own fix history calls hot, plants a proven red sample from the catalogue into a copy of each,
+  and runs YOUR declared gates against it. Coverage is not declared, it is proven by planting.
+  Three states that never merge: caught · nothing catches it · nothing to check with. Measured on
+  the kit itself: a real file, a swallowed error and a debug print planted, 21 declared gates,
+  none went red. The working tree is untouched and the exit code is always 0 — a look, not a
+  threshold
 - See what you told the agent and never wrote down: `npx agent-quality-kit learn` — reads Claude Code
   transcripts for this project on this machine and prints rule candidates missing from the entry
   point. Current project only, terminal only, writes nothing, always exits 0
@@ -48,7 +61,14 @@ Zero runtime dependencies. Node 18+ and an `sh` shell. MIT.
 - As a pre-commit hook: `repo: https://github.com/arsen-ask-lx/Agent_Quality_Kit` with
   `id: aqk` (blocking), `aqk-doctor` (read-only) or `aqk-baseline`. pre-commit installs the
   package itself; there are no dependencies to pull in.
-- As a GitHub Action: `uses: arsen-ask-lx/Agent_Quality_Kit@v0.8.0` with `min: 1`
+- Without Node at all (a Python, Go or Rust project where nobody installed it):
+  `docker run --rm -u "$(id -u):$(id -g)" -v "$PWD:/work" ghcr.io/arsen-ask-lx/aqk doctor`.
+  Pushed to the registry by the same run, from the same tag, that publishes the package.
+  Keep the `--user` flag: without it the container runs as root and
+  the files `init` writes are owned by root, so you cannot edit your own manifest. Debian-based
+  on purpose: the gates are `sh`, `grep`, `awk`, `find` — under alpine's busybox they behave
+  differently, and an image where the gates behave differently is worse than no image
+- As a GitHub Action: `uses: arsen-ask-lx/Agent_Quality_Kit@v0.10.0` with `min: 1`
   (https://github.com/marketplace/actions/agent-quality-kit-aqk)
 
 ## What makes it different
@@ -64,7 +84,8 @@ Zero runtime dependencies. Node 18+ and an `sh` shell. MIT.
 ## Files it reads and writes
 
 - `AGENTS.md` — what the agent reads first (the entry point; `CLAUDE.md` and others work too)
-- `.aqk.yml` — the manifest: entry, rules, gates as commands, samples, ratchets, lessons
+- `.aqk.yml` — the manifest: entry, rules, docs, lang, gates as commands, covers (what a
+  declared gate already holds, so it is not reported as debt), samples, ratchets, lessons
 - `.aqkignore` — paths the scanning checks must not read (brought-in code, vendored, generated)
 
 ## Documentation

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agent-quality-kit",
-  "version": "0.8.0",
+  "version": "0.10.0",
   "description": "Turns the rules an agent is supposed to follow into commands with exit codes, and reports which of them actually run. Zero dependencies.",
   "type": "module",
   "bin": {
@@ -43,11 +43,8 @@
   ],
   "knip": {
     "entry": [
-      "tool/selfcheck/units.mjs",
-      "tool/selfcheck/units-level.mjs",
-      "tool/selfcheck/units-evidence.mjs",
-      "tool/selfcheck/units-learn.mjs",
-      "tool/selfcheck/units-context.mjs",
+      "tool/selfcheck/units*.mjs",
+      "tool/selfcheck/smoke/*.test.mjs",
       "tool/selfcheck/lifecycle.mjs"
     ],
     "project": [

package/tool/commands/context.mjs

@@ -25,6 +25,7 @@ import { spawnSync } from "node:child_process";
 import { join } from "node:path";
 import { CWD, TARGET_DIR, SELF, c, exists, commandRows } from "../lib/core.mjs";
 import { readManifest, assessLevel } from "../lib/manifest.mjs";
+import { probeStatus } from "./probe.mjs";
 import { L } from "../i18n/index.mjs";
 
 // Больше пяти имён подряд агент всё равно не удержит, а блок ради них раздувается. Остаток
@@ -63,6 +64,18 @@ function contextBlock(state, T = L.context) {
   const rat = (state.ratchets || []).slice(0, MAX_RATCHETS);
   if (rat.length) out.push(T.ratchets(rat.map((r) => `${r.name} (${r.count})`).join(", ")));
 
+  // ЧТО НЕ ПРИКРЫТО НИЧЕМ — сюда попадает потому, что иначе об этом не узнает никто. Команду
+  // `probe` надо вспомнить, а агент не вспомнит: это тот же класс, что файл, который можно не
+  // прочитать. Блок читается по построению, поэтому знание живёт здесь, а не в команде.
+  // Состояние «не делалась» печатается как НЕИЗВЕСТНО, а не опускается: молчание тут
+  // прочиталось бы как «всё прикрыто», а прикрыто ли — мы не знаем.
+  const pr = state.probe;
+  if (pr) {
+    if (pr.state === "never") out.push(T.probeNever);
+    else if (pr.blind > 0) out.push(T.probeBlind(pr.blind, pr.state === "stale" ? pr.behind : 0));
+    else out.push(T.probeClean(pr.state === "stale" ? pr.behind : 0));
+  }
+
   // ПОЛНЫЙ БЛОК — решение владельца от 2026-09-08, принятое ПОСЛЕ возражения и вопреки ему.
   // Возражение было такое: вход, растущий в длину, роняет качество у всех проверенных моделей,
   // и свод, влитый целиком, даёт правило, которое в контексте есть и не выполняется. Ответ
@@ -130,11 +143,15 @@ function runIsStale(when) {
 // `SessionStart` — принадлежность одного Claude Code, и класть его всем подряд значило бы
 // объявить нейтральность и нарушить её в первой же команде.
 //
-// БЕЗ MATCHER НАМЕРЕННО. Справочник на сайте перечисляет у SessionStart значения matcher
-// (startup, resume, clear, compact), а таблица событий, ВШИТАЯ в установленную версию 2.1.263,
-// показывает в колонке matcher прочерк. Одно из двух неверно, и выяснить это гаданием нельзя.
-// Хук без matcher верен при любом из двух чтений: где matcher поддержан — сработает на всех
-// источниках, где не поддержан — на всех тоже. Проверено чтением бинаря, не памятью.
+// БЕЗ MATCHER НАМЕРЕННО, и теперь по установленной причине, а не из осторожности.
+// 2026-09-08 расхождение разрешено: в бинаре установленной версии 2.1.263 лежит буквальное
+// перечисление источников — "startup","resume","clear","compact","fork" — и вызов
+// {kind:"session-start", source:"startup"}. То есть у SessionStart источники ЕСТЬ, и `compact`
+// среди них: хук срабатывает и после сжатия контекста. Это важнее, чем кажется: сжатие —
+// ровно тот момент, когда состояние вылетает из окна, и без повторного срабатывания вся
+// затея работала бы до первого /compact.
+// Matcher не ставим потому, что нужны ВСЕ источники: и старт, и продолжение, и очистка, и
+// сжатие. Отсутствие matcher означает «на любой источник» — это и требуется.
 const HOOK_FILE = [".claude", "settings.json"];
 
 // Команда, которая пойдёт В ОБЩИЙ файл настроек, а значит и в чужие руки через git. `SELF`
@@ -229,6 +246,20 @@ async function cmdContext(args = []) {
     if (run) run.stale = runIsStale(run.when);
   }
 
+  // Проба: сколько классов не ловит никто и насколько отметка отстала. Читается из файла,
+  // ничего не запускает — блок обязан укладываться в секунду.
+  let probe = null;
+  try {
+    const st = await probeStatus();
+    let blind = null;
+    const mark = join(CWD, TARGET_DIR, "last-probe.md");
+    if (await exists(mark)) {
+      const m = /^blind:\s*(\d+)/m.exec(await readFile(mark, "utf8"));
+      if (m) blind = Number(m[1]);
+    }
+    probe = { ...st, blind };
+  } catch { /* пробы нет — блок просто не покажет строку про неё */ }
+
   const ratchets = [];
   const dir = typeof man?.ratchets === "string" ? man.ratchets.trim() : "";
   if (dir && (await exists(join(CWD, dir)))) {
@@ -253,7 +284,7 @@ async function cmdContext(args = []) {
   }
 
   console.log(contextBlock({
-    entry, entryExists: rules !== null, level, rules, run, ratchets, full: fullPart,
+    entry, entryExists: rules !== null, level, rules, run, ratchets, probe, full: fullPart,
   }).join("\n"));
 }
 

package/tool/commands/doctor.mjs

@@ -4,12 +4,14 @@ 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, layoutChecks } from "../lib/manifest.mjs";
+import { CWD, PKG_ROOT, TARGET_DIR, MANIFEST, SELF, c, exists, die } from "../lib/core.mjs";
+import { cmdProbe, probeStatus } from "./probe.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 +52,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 +79,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 };
 }
 
 // «Гейт объявлен» и «гейт работает» — разные утверждения. Первое читается из манифеста,
@@ -139,14 +182,20 @@ function runGates(man, opts = {}) {
     }
     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, out: outAll });
+      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);
       // Совет отделяется ДО сужения. Иначе он сам попадает под фильтр по путям: сообщение
@@ -165,16 +214,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, out: outAll });
+          // Совещательный не роняет прогон НИКОГДА — в том числе здесь. Раньше 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, out: outAll });
+          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,8 +247,19 @@ function runGates(man, opts = {}) {
       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)}`));
+      // ГОЛОВА И ХВОСТ, А НЕ ТОЛЬКО ГОЛОВА. Гейт, который сам является прогоном (наш `smoke`),
+      // печатает сотни строк, и вердикт у него в конце — при обрезке до первых трёх человек
+      // видел «программа разбирается» и ни слова о том, что упало. Час поисков в конвейере
+      // 2026-09-09 стоил ровно этого. Голова нужна тоже: у сканирующих записей находки идут
+      // с первой строки.
+      const HEAD = 3, TAIL = 2;
+      for (const line of out.slice(0, HEAD)) console.log(c.dim(`        ${line.slice(0, 100)}`));
+      if (out.length > HEAD + TAIL) {
+        console.log(c.dim(`        ${L.doctor.moreLines(out.length - HEAD - TAIL)}`));
+        for (const line of out.slice(-TAIL)) console.log(c.dim(`        ${line.slice(0, 100)}`));
+      } else {
+        for (const line of out.slice(HEAD)) console.log(c.dim(`        ${line.slice(0, 100)}`));
+      }
       // Совет тоже не бесконечен: гейт, зовущий помощник шесть раз, печатает его шесть раз.
       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 });
@@ -200,7 +267,7 @@ function runGates(man, opts = {}) {
   }
   // Совещательные, которые покраснели, называются вслух ВСЕГДА. Молчание о них — ровно та
   // тишина, против которой построен стандарт: проверка выключена, а выглядит как её отсутствие.
-  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 };
 }
@@ -228,6 +295,8 @@ async function writeRunReport({ version, reached, results }) {
 }
 
 async function cmdDoctor() {
+  const brief = process.argv.includes("--brief");
+  const buf = brief ? beginBrief() : null;
   // Версия в шапке — единственное, что привязывает баг-репорт к коммиту, если ставили не из
   // релиза: без неё "у меня не работает" ничем не отличается от любой другой версии за год.
   let version = "";
@@ -270,6 +339,15 @@ async function cmdDoctor() {
 
   // Опечатка в имени поля означала «поля нет»: вердикт выдавался неверный, а причина молчала.
   // Называем поле и говорим, какие бывают — иначе человек ищет ошибку в проекте, а она в файле.
+  // Строка, которую разбор не понял, называется ПЕРВОЙ и жёлтым: человек видит проверку в
+  // файле, а её не существует. До 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)}`));
@@ -326,7 +404,7 @@ async function cmdDoctor() {
     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");
@@ -338,6 +416,31 @@ async function cmdDoctor() {
     gateFailed = run.failed;
     failedNames = run.results.filter((r) => !r.ok).map((r) => r.name);
     await writeRunReport({ version, reached, results: run.results });
+
+    // ПРОБА ЗАПУСКАЕТСЯ САМА. Владелец сформулировал так: «команду, о которой надо вспомнить,
+    // агент не вспомнит, а человек о ней не узнает». Это тот же класс, что файл, который можно
+    // не прочитать, — и весь комплект написан против него. `probe` отвечает на важнейший
+    // вопрос («что здесь не прикрыто ничем») и, оставаясь ручной, не задаётся никем.
+    //
+    // Поэтому не напоминание, а действие: раз в сто коммитов прогон делает пробу сам. Единица
+    // — коммиты, а не сутки: месяц без работы перепроверять незачем, сто коммитов за день —
+    // надо. В кратком режиме не запускается: там хук на воротах коммита, и лишние секунды там
+    // стоят дороже. Не влияет на код возврата НИКОГДА — это осмотр, а не порог.
+    // Выключается AQK_PROBE=0 — у всего, что случается само, обязан быть выключатель.
+    if (!brief && process.env.AQK_PROBE !== "0") {
+      try {
+        const st = await probeStatus();
+        if (st.badEvery !== undefined) {
+          console.log(c.yellow(`\n  ${L.probe.badEvery(st.badEvery)}`));
+        } else if (st.state === "never" || st.state === "stale") {
+          // Сообщение обязано быть верным в обоих случаях. Первая версия печатала «прошло сто
+          // коммитов» и там, где пробы не было ВОВСЕ: число бралось из порога, а не из факта.
+          // Мелочь, но того же класса, что и всё остальное здесь: вывод, который не врёт.
+          console.log(c.dim(`\n  ${st.state === "never" ? L.probe.autoFirst : L.probe.auto(st.behind)}`));
+          await cmdProbe([], { auto: true });
+        }
+      } catch { /* проба не состоялась — прогон это не роняет: он про гейты, а не про неё */ }
+    }
   } else if (gates.length) {
     console.log(
       c.yellow(`  ${L.doctor.declaredNotRun(gates.length)}`) +
@@ -359,9 +462,29 @@ 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);
+  // ВЕРДИКТ НАЗЫВАЕТСЯ СЛОВАМИ, а не только кодом возврата. С `--min` он печатался всегда, без
+  // него — никогда: прогон выходил с единицей, а внизу человек видел список зелёных гейтов и
+  // шёл искать причину. Обратная сторона нашего же принципа: молчание неотличимо не только от
+  // успеха, но и от отказа. Найдено аудитом фич 2026-09-09.
+  //
+  // Печатается и на зелёном тоже: «ничего не сказал» и «всё проверено» обязаны различаться.
+  if (wantRun) {
+    if (ok) {
+      console.log(c.green(`  ${L.doctor.runVerdictOk}\n`));
+    } else {
+      const why = [];
+      if (missing) why.push(L.doctor.whyMissing);
+      if (reached < 0) why.push(L.doctor.whyLevel);
+      if (gateFailed) why.push(L.doctor.whyGates(gateFailed, failedNames.join(", ")));
+      console.log(c.red(`  ${L.doctor.runVerdictFail(why.join(", "))}\n`));
+    }
+  }
+  await finishBrief(buf, { held: cat.held, todo: cat.todo, level: reached, red: [] }, cat.todoRecs, ok);
+  process.exit(ok ? 0 : 1);
 }
 
 // Наружу — только команда. Остальное здесь же и используется: экспорт, который никто не