agent-quality-kit 0.7.0 → 0.9.0

package/kit/gates/mcp-server-resolves/red/.mcp.json

@@ -0,0 +1,16 @@
+{
+  "mcpServers": {
+    "browser": {
+      "command": "npx",
+      "args": ["-y", "chrome-devtools-mcp@latest"]
+    },
+    "memory": {
+      "command": "/opt/tools/memory-mcp-v0.10.8/bin/memory",
+      "args": []
+    },
+    "search": {
+      "command": "npx",
+      "args": ["-y", "some-search-mcp"]
+    }
+  }
+}

package/kit/gates/secrets-not-in-code/check.sh

@@ -18,9 +18,22 @@ fi
 # Красный образец — намеренно сломанный код в репозитории. Сканирующий гейт обязан его
 # пропускать, иначе будет вечно краснеть на том, что сам же и положил. Исключение снимается,
 # когда проверяют сам образец: тогда каталог red и есть цель проверки.
-HITS=$(grep -rInE $(skip_grep "$DIR") -e \
-  '-----BEGIN [A-Z ]*PRIVATE KEY-----|(sk|pk)_(live|test)_[A-Za-z0-9]{16,}|AKIA[0-9A-Z]{16}|ghp_[A-Za-z0-9]{30,}|xox[baprs]-[A-Za-z0-9-]{10,}' \
-  "$DIR" 2>/dev/null | grep -v '/\.git/' | own_samples_filter "$DIR")
+# Два прохода, а не один, и разница между ними измерена. Живой облачный ключ — находка везде,
+# включая тестовые каталоги: он открывает настоящий счёт. Приватный КЛЮЧ в тестовых данных —
+# норма: любой проект с проверками TLS кладёт туда сертификат, и Go так делает по соглашению.
+# Замер 2026-09-08 по шести чужим репозиториям: gin краснел на testdata/certificate/key.pem,
+# положенном туда намеренно. Гейт, краснеющий на нормальном укладе, выключают в первый день —
+# и тогда он не ловит уже НИЧЕГО, включая настоящий ключ.
+TOKENS='(sk|pk)_(live|test)_[A-Za-z0-9]{16,}|AKIA[0-9A-Z]{16}|ghp_[A-Za-z0-9]{30,}|xox[baprs]-[A-Za-z0-9-]{10,}'
+PRIVKEY='-----BEGIN [A-Z ]*PRIVATE KEY-----'
+# Каталоги образцов: только те, чьё имя не оставляет сомнений. `data` или `assets` сюда не
+# входят — там ключ вполне может оказаться настоящим.
+FIXTURES='(^|/)(testdata|fixtures|__fixtures__|test|tests|spec|__tests__)/'
+
+HITS=$(
+  { grep -rInE $(skip_grep "$DIR") -e "$TOKENS" "$DIR" 2>/dev/null
+    grep -rInE $(skip_grep "$DIR") -e "$PRIVKEY" "$DIR" 2>/dev/null | grep -vE "$FIXTURES"
+  } | grep -v '/\.git/' | own_samples_filter "$DIR" | sort -u)
 if [ -n "$HITS" ]; then
   echo "$HITS" | cut -c1-160
   echo "  почини: убери значение из файла, положи его в переменную окружения и отзови старый ключ."

package/kit/gates/secrets-not-in-code/green/testdata/certificate/key.pem

@@ -0,0 +1,3 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEA0Z3VS5JJcds3xfn/ygWyF32rHzS0AAAAAAAAAAAAAAAAAAAA
+-----END RSA PRIVATE KEY-----

package/kit/gates/todo-without-task/check.sh

@@ -21,7 +21,7 @@ fi
 # названием и на собственном шаблоне поиска — на том, что дефектом не является.
 # Сами эти слова здесь не пишем: гейт нашёл бы себя. Проверено — находил.
 HITS=$(grep -rnE $(skip_grep "$DIR") $(include_code) \
-  '(#|//|/\*|--|<!--)[^"'"'"']*(^|[^A-Za-z])(TODO|FIXME|HACK|XXX)([^A-Za-z]|$)' "$DIR" 2>/dev/null | own_samples_filter "$DIR")
+  '(#|//|/\*|--|<!--)[^"'"'"']*(^|[^A-Za-z0-9_])(TODO|FIXME|HACK|XXX)([^A-Za-z0-9_]|$)' "$DIR" 2>/dev/null | own_samples_filter "$DIR")
 if [ -n "$HITS" ]; then
   echo "$HITS"
   echo "  почини: заведи задачу в очереди работ, маркер убери."

package/kit/gates/todo-without-task/green/app.py

@@ -0,0 +1 @@
+UV_TEST_XXX = "имя переменной, а не маркер долга"

package/llms.txt

@@ -23,11 +23,46 @@ Zero runtime dependencies. Node 18+ and an `sh` shell. MIT.
   the other 36 are named as a number, not hidden)
 - Fail a pipeline below a level or on a failed gate: `npx agent-quality-kit doctor --run --min 1`
 - 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, 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
+  code file is named by a check, walked past in silence, or touched by nothing at all, plus a
+  fingerprint over the base, the commands and the file contents
+- Put the repository state into the agent's context instead of hoping it reads the files:
+  `npx agent-quality-kit context` — level, what is red right now, how many rules no machine
+  enforces, what the ratchets hold. Where it does not know, it says so: a run that never happened
+  is reported as unknown, never as clean. `context --install` writes a `SessionStart` hook into
+  `.claude/settings.json` (Claude Code only; the rest of the kit stays vendor-neutral). Measured:
+  the block is ~375 tokens, and carries what a file cannot — what changed today. `context --full`
+  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 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
 - Exit codes: 0 pass, 1 below the level or a gate failed
 - 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.7.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`.
+  Published from v0.9.0 onward, by the same run that publishes the package; before that tag,
+  build it from the repository: `docker build -t aqk . && docker run --rm -u "$(id -u):$(id -g)"
+  -v "$PWD:/work" aqk doctor`. 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.9.0` with `min: 1`
   (https://github.com/marketplace/actions/agent-quality-kit-aqk)
 
 ## What makes it different
@@ -43,7 +78,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.7.0",
+  "version": "0.9.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,8 +43,7 @@
   ],
   "knip": {
     "entry": [
-      "tool/selfcheck/units.mjs",
-      "tool/selfcheck/units-level.mjs",
+      "tool/selfcheck/units*.mjs",
       "tool/selfcheck/lifecycle.mjs"
     ],
     "project": [

package/tool/commands/context.mjs

@@ -0,0 +1,264 @@
+// tool/commands/context.mjs — состояние репозитория одним коротким блоком, для КОНТЕКСТА агента.
+//
+// ЗАЧЕМ ЭТА КОМАНДА ВООБЩЕ. Первый чужой отзыв, 2026-09-08, раздел «где я сам применил неверно»:
+// «ставил записи, не читая их gate.yml», «не знал, как устроен prove», «не пользовался половиной
+// команд». Файлы лежали. Агент до них не дошёл. Файл — приглашение прочитать, и агент вправе им
+// не воспользоваться; хук `SessionStart` кладёт текст в контекст ДО первого действия, и отказаться
+// от него нельзя. Это и есть вся разница.
+//
+// ПОЧЕМУ НЕ ВЕСЬ СВОД. Соблазн влить в контекст всё правила целиком. Замерено чужими руками и
+// не нами: вход, растущий в длину, роняет качество у ВСЕХ проверенных передовых моделей — модель
+// с окном 200K заметно деградирует уже на 50K, а ближние токены выигрывают у дальних. То есть
+// «влить всё вперёд» даёт обратный результат: правило в контексте есть и не выполняется — ровно
+// тот отказ, против которого весь комплект. Наш замер: этот блок ≈147 токенов, AGENTS.md ≈3348.
+//
+// ПОЭТОМУ ЗДЕСЬ СОСТОЯНИЕ, А НЕ ПРАВИЛА. Свод статичен и лежит в файле — агент его прочитает по
+// ссылке. А вот чего из файла не узнать никогда: какой сейчас уровень, что красное ПРЯМО СЕЙЧАС,
+// сколько правил не держит никто, что лежит в храповике. Это меняется каждый день, и записать
+// это в AGENTS.md значит завести второй список, который через месяц врёт.
+//
+// ТИШИНА НЕ ОЗНАЧАЕТ «ЧИСТО». Читатель здесь машина: человек, увидев пустое место, переспросит,
+// а агент примет его за утверждение. Поэтому каждое незнание называется словом: прогона не было —
+// так и написано, прогон устарел — тоже, инструмента нет — тоже.
+import { readFile, writeFile, mkdir } from "node:fs/promises";
+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 { L } from "../i18n/index.mjs";
+
+// Больше пяти имён подряд агент всё равно не удержит, а блок ради них раздувается. Остаток
+// называется числом: «и ещё 15» — это факт, а молчание про них было бы враньём.
+const MAX_RED = 5;
+const MAX_RATCHETS = 3;
+
+// Чистая функция: на входе состояние, на выходе строки. Отделена от чтения диска намеренно —
+// это единственное место комплекта, чей текст читает машина, и проверять его надо не прогоном,
+// а перебором случаев, включая те, которых на нашем репозитории не бывает.
+function contextBlock(state, T = L.context) {
+  const out = [T.title, ""];
+
+  out.push(state.level
+    ? T.level(state.level.reached, state.level.top, state.level.missing)
+    : T.levelUnknown);
+
+  if (state.rules && state.rules.total) {
+    const { total, machine, human } = state.rules;
+    out.push(T.rules(total, machine, human) + (human > 0 ? ` ${T.rulesNobody}` : ""));
+  }
+
+  if (!state.run) {
+    out.push(T.runNone);
+  } else {
+    const red = state.run.red || [];
+    const shown = red.slice(0, MAX_RED);
+    const names = red.length > MAX_RED
+      ? `${shown.join(", ")} — ${T.andMore(red.length - MAX_RED)}`
+      : shown.join(", ");
+    out.push(red.length ? T.runRed(state.run.when, names) : T.runClean(state.run.when));
+    if (state.run.stale) out.push(T.runStale(state.run.when));
+    if (state.run.skipped) out.push(T.skipped(state.run.skipped));
+  }
+
+  const rat = (state.ratchets || []).slice(0, MAX_RATCHETS);
+  if (rat.length) out.push(T.ratchets(rat.map((r) => `${r.name} (${r.count})`).join(", ")));
+
+  // ПОЛНЫЙ БЛОК — решение владельца от 2026-09-08, принятое ПОСЛЕ возражения и вопреки ему.
+  // Возражение было такое: вход, растущий в длину, роняет качество у всех проверенных моделей,
+  // и свод, влитый целиком, даёт правило, которое в контексте есть и не выполняется. Ответ
+  // владельца: агент читает файлы плохо, это видно на живых примерах, и лишние токены — плата
+  // за то, чтобы он не ошибался. Решение записано здесь, а не спрятано в истории команд,
+  // потому что через месяц «почему тут вливается всё» будет непонятно никому.
+  //
+  // Умолчание осталось коротким: платит тот, кто выбрал платить.
+  if (state.full) {
+    out.push("", T.mapTitle);
+    // Ширина колонки считается, а не подбирается: имена команд разной длины в двух языках,
+    // и вручную выставленный отступ разъезжается на первом же переводе. Та же причина, что
+    // в справке program.mjs, — и это ещё один довод держать список общим.
+    const w = Math.max(...state.full.rows.map((r) => r.cmd.length));
+    for (const r of state.full.rows) out.push(`  ${r.cmd.padEnd(w)}  ${r.text}`);
+    if (state.full.text) {
+      out.push("", T.rulesTitle(state.full.entry), "");
+      out.push(state.full.text.trimEnd());
+    }
+  }
+
+  // Ссылка на свод даётся, только если файл ЕСТЬ. Назвать агенту несуществующий файл хуже,
+  // чем промолчать: он пойдёт его читать и получит пустоту вместо правил. Замерено на шести
+  // чужих проектах: на flask блок писал «Свод правил: AGENTS.md», которого там нет.
+  if (state.entryExists !== false) out.push("", T.where(state.entry || "AGENTS.md"));
+  return out;
+}
+
+// Разбор отчёта прошлого прогона. Формат кладёт сам `doctor` в .aqk/last-run.md; читаем его,
+// а не запускаем гейты заново: хук обязан укладываться в секунду-две, а прогон у нас идёт минуту.
+function parseLastRun(text) {
+  if (!text) return null;
+  const when = (text.match(/^# aqk doctor --run — (.+)$/m) || [])[1] || "";
+  const red = [];
+  for (const m of text.matchAll(/^✘ ([^\s—]+)/gm)) red.push(m[1]);
+  const skipped = (text.match(/^~ /gm) || []).length;
+  return { when: when.trim(), red, skipped, stale: false };
+}
+
+// Правила и их арбитры: отметка `<!-- aqk: имя -->` рядом с правилом. `человек` — честное
+// признание, что машина этого не держит; так его и считаем, отдельно от машинных.
+function countArbiters(text, humanWords) {
+  // Имя арбитра — это имя гейта, а в нём дефисы: `deps-are-pinned`. Класс исключения `[^\s>-]`
+  // обрывал такое имя и не считал его вовсе. Найдено первым же живым запуском: на нашем своде
+  // блок показал 13 правил вместо 14 и одного машинного арбитра вместо двух.
+  const marks = [...String(text).matchAll(/<!--\s*aqk:\s*(\S+?)\s*-->/g)].map((m) => m[1]);
+  const human = marks.filter((w) => humanWords.includes(w.toLowerCase())).length;
+  return { total: marks.length, machine: marks.length - human, human };
+}
+
+// Прогон старше последнего коммита описывает не тот код, что лежит перед агентом. Молча выдать
+// его за свежий — соврать: именно так «зелёный месяц назад» превращается в «зелёный сейчас».
+function runIsStale(when) {
+  if (!when) return false;
+  const r = spawnSync("git", ["log", "-1", "--format=%cI"], { cwd: CWD, encoding: "utf8" });
+  if (r.status !== 0 || !r.stdout) return false;
+  const commit = Date.parse(r.stdout.trim());
+  const run = Date.parse(when.replace(" ", "T"));
+  return Number.isFinite(commit) && Number.isFinite(run) && run < commit;
+}
+
+
+// УСТАНОВКА ХУКА — отдельной командой, а не частью `init`, и это решение, а не лень. Комплект
+// нейтрален к вендору: правила и гейты не зависят от того, какой нейросетью пишут код. Хук
+// `SessionStart` — принадлежность одного Claude Code, и класть его всем подряд значило бы
+// объявить нейтральность и нарушить её в первой же команде.
+//
+// БЕЗ 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`
+// печатается для человека здесь и сейчас и на машине разработчика равен АБСОЛЮТНОМУ пути —
+// у соседа по команде такого пути нет, и хук у него молча не сработает. Абсолютный путь
+// заменяется на переносимый вызов из реестра; `aqk` и `npx …` переносимы сами и остаются.
+function portableSelf(self = SELF) {
+  return /^node\s+[/\\]|^node\s+[A-Za-z]:/.test(self) ? "npx agent-quality-kit" : self;
+}
+
+function hookEntry(cmd) {
+  return { hooks: [{ type: "command", command: cmd }] };
+}
+
+// Уже стоит? Тогда ничего не трогаем. Второй такой же хук значит блок в контексте дважды —
+// вдвое больше токенов и ровно ноль пользы.
+function hasOurHook(settings, cmd) {
+  const list = settings?.hooks?.SessionStart;
+  if (!Array.isArray(list)) return false;
+  return list.some((g) => (g?.hooks || []).some((h) => String(h?.command || "").includes(cmd)));
+}
+
+function withHook(settings, cmd) {
+  const next = { ...(settings || {}) };
+  const hooks = { ...(next.hooks || {}) };
+  hooks.SessionStart = [...(Array.isArray(hooks.SessionStart) ? hooks.SessionStart : []), hookEntry(cmd)];
+  next.hooks = hooks;
+  return next;
+}
+
+async function installHook(full = false) {
+  const T = L.context;
+  const path = join(CWD, ...HOOK_FILE);
+  const cmd = `${portableSelf()} context${full ? " --full" : ""}`;
+
+  let settings = {};
+  let existed = false;
+  if (await exists(path)) {
+    existed = true;
+    try {
+      settings = JSON.parse(await readFile(path, "utf8"));
+    } catch {
+      // Чужой файл с испорченным JSON перезаписывать нельзя: там могут быть чьи-то права
+      // доступа, и молча стереть их дороже, чем не поставить хук.
+      console.log(c.red(`  ${T.hookBadJson(path)}`));
+      return;
+    }
+  }
+
+  if (hasOurHook(settings, cmd)) {
+    console.log(c.dim(`  ${T.hookAlready(path)}`));
+    return;
+  }
+
+  await mkdir(join(CWD, HOOK_FILE[0]), { recursive: true });
+  await writeFile(path, JSON.stringify(withHook(settings, cmd), null, 2) + "\n", "utf8");
+  console.log(c.green(`  ${existed ? T.hookAdded(path) : T.hookCreated(path)}`));
+  console.log(c.dim(`    ${JSON.stringify({ SessionStart: [hookEntry(cmd)] })}`));
+  console.log(c.dim(`  ${T.hookWhat}`));
+}
+
+async function cmdContext(args = []) {
+  const full = args.includes("--full");
+  if (args.includes("--install")) return installHook(full);
+
+  const man = await readManifest();
+  const entry = (Array.isArray(man?.entry) ? man.entry : []).find((e) => typeof e === "string" && e.trim())?.trim()
+    || "AGENTS.md";
+
+  let level = null;
+  if (man?.aqk) {
+    const { reached, steps } = await assessLevel(man, null);
+    const next = steps.find((s) => !s.ok);
+    // `assessLevel` без прогона помечает вторую ступень `needsProof`: файлы на месте, а гейты
+    // не доказаны. Сказать здесь «заведи samples и ratchets» значит послать чинить сделанное —
+    // ровно та жалоба, с которой пришёл первый чужой отзыв, только в другом месте программы.
+    const missing = !next ? ""
+      : next.needsProof ? L.doctor.levelUnproven(`${SELF} prove`)
+      : next.need || next.title || "";
+    level = { reached, top: steps.length - 1, missing };
+  }
+
+  let rules = null;
+  if (await exists(join(CWD, entry))) {
+    rules = countArbiters(await readFile(join(CWD, entry), "utf8"), ["человек", "human", "nobody"]);
+  }
+
+  let run = null;
+  const lastRun = join(CWD, TARGET_DIR, "last-run.md");
+  if (await exists(lastRun)) {
+    run = parseLastRun(await readFile(lastRun, "utf8"));
+    if (run) run.stale = runIsStale(run.when);
+  }
+
+  const ratchets = [];
+  const dir = typeof man?.ratchets === "string" ? man.ratchets.trim() : "";
+  if (dir && (await exists(join(CWD, dir)))) {
+    const { readdir } = await import("node:fs/promises");
+    for (const f of (await readdir(join(CWD, dir))).filter((n) => n.endsWith(".txt")).sort()) {
+      const body = await readFile(join(CWD, dir, f), "utf8");
+      const count = body.split("\n").filter((l) => l.trim() && !l.trim().startsWith("#")).length;
+      ratchets.push({ name: f.replace(/\.txt$/, ""), count });
+    }
+  }
+
+  // Свод читается ЦЕЛИКОМ и дословно: пересказ был бы третьим списком рядом с двумя.
+  let fullPart = null;
+  if (full) {
+    const rows = commandRows(L).map((r) => ({
+      cmd: `${portableSelf()} ${r.name}${r.args ? ` ${r.args}` : ""}`,
+      text: r.text,
+    }));
+    let text = "";
+    if (rules !== null) { try { text = await readFile(join(CWD, entry), "utf8"); } catch { text = ""; } }
+    fullPart = { entry, rows, text };
+  }
+
+  console.log(contextBlock({
+    entry, entryExists: rules !== null, level, rules, run, ratchets, full: fullPart,
+  }).join("\n"));
+}
+
+export { cmdContext, contextBlock, parseLastRun, countArbiters, withHook, hasOurHook, portableSelf };