micro-models-agent 2.10.0 → 2.12.0

package/dist/modules/critic/evidence.js

@@ -0,0 +1,81 @@
+// Сборка пакета доказательств для критика: дайджест тулов, файлы, команды.
+import { readFileSync } from "fs";
+import { resolve } from "path";
+import { summarizeToolArgs } from "../../core/agent/tool-output";
+const MUTATING_TOOLS = new Set(["write_file", "edit_file", "delete_file", "move_file", "create_dir"]);
+/** Мутация работы = тул, меняющий ФС (bash входит; plan/todo-бухгалтерия — нет). */
+export function isWorkMutation(name) {
+    return MUTATING_TOOLS.has(name) || name === "bash";
+}
+const MAX_DIGEST_LINES = 40;
+/** Хвост вывода, прикладываемый к bash/фейловым строкам дайджеста (результаты тестов/сборки — сигнал верификации). */
+const MAX_DIGEST_OUTPUT_CHARS = 300;
+const MAX_EXCERPT_FILES = 5;
+const MAX_EXCERPT_CHARS = 1200;
+/** Собирает EvidencePack из событий тулов: дайджест, файлы, команды, выдержки. */
+export function buildEvidencePack(input) {
+    const changedFiles = new Set();
+    const commands = [];
+    const digest = [];
+    for (const ev of input.toolEvents) {
+        digest.push(digestLine(ev));
+        const file = changedFileOf(ev);
+        if (file)
+            changedFiles.add(file);
+        const cmd = commandOf(ev);
+        if (cmd)
+            commands.push(cmd);
+    }
+    return {
+        task: input.task,
+        planSummary: input.planSummary,
+        changedFiles: [...changedFiles],
+        commands,
+        toolDigest: digest.slice(-MAX_DIGEST_LINES).join("\n"),
+        fileExcerpts: input.baseDir ? readExcerpts(input.baseDir, [...changedFiles]) : undefined,
+    };
+}
+/** Одна строка дайджеста на событие. Вывод bash (результаты тестов/сборки) и вывод
+ *  ошибок идут вместе со строкой — иначе критик судит об успехе вслепую. */
+function digestLine(ev) {
+    const args = ev.args ? summarizeToolArgs(ev.args) : "";
+    const line = `${ev.ok === false ? "✗" : "✓"} ${ev.tool} ${args}`.trim();
+    if (ev.output && (ev.tool === "bash" || ev.ok === false)) {
+        return `${line} » ${ev.output.slice(-MAX_DIGEST_OUTPUT_CHARS)}`;
+    }
+    return line;
+}
+/** Относительный путь файла, затронутого событием write/edit. */
+function changedFileOf(ev) {
+    if (ev.tool !== "write_file" && ev.tool !== "edit_file")
+        return undefined;
+    return typeof ev.args?.path === "string" ? ev.args.path : undefined;
+}
+/** Событие bash как запись команды, видимая критику (с ограниченным хвостом вывода). */
+function commandOf(ev) {
+    if (ev.tool !== "bash" || typeof ev.args?.command !== "string")
+        return undefined;
+    return {
+        command: ev.args.command,
+        exitCode: ev.ok === false ? 1 : 0,
+        output: ev.output?.slice(-MAX_DIGEST_OUTPUT_CHARS),
+    };
+}
+/** Best-effort ограниченные head-выдержки изменённых файлов. Нечитаемые (удалены, бинарные, вне root) — пропуск, никогда не бросает. */
+function readExcerpts(baseDir, paths) {
+    const out = [];
+    const root = resolve(baseDir);
+    for (const p of paths.slice(0, MAX_EXCERPT_FILES)) {
+        try {
+            const abs = resolve(root, p);
+            if (abs !== root && !abs.startsWith(`${root}/`) && !abs.startsWith(`${root}\\`))
+                continue;
+            const text = readFileSync(abs, "utf-8");
+            out.push({ path: p, excerpt: text.slice(0, MAX_EXCERPT_CHARS) });
+        }
+        catch {
+            // Нечитаемый (удалён, бинарный, вне root) — молча пропускаем.
+        }
+    }
+    return out;
+}

package/dist/modules/critic/provider.js

@@ -0,0 +1,45 @@
+import { ProviderManager } from "../providers/manager";
+import { FallbackProvider } from "../providers/fallback";
+const DEFAULT_CRITIC_BASE_URL = "http://localhost:1234/v1";
+/** Окно контекста, если ни запись провайдера, ни конфиг его не задали. */
+const DEFAULT_CRITIC_CONTEXT_WINDOW = 32768;
+/**
+ * Резолвит LLM для критика (Phase 2). Зеркалит OrchestratorClient:
+ * управляемый провайдер строится через ProviderManager (per-entry
+ * contextWindow/retry/rateLimits, failover) ТОЛЬКО если задан `critic.model`;
+ * иначе критик делит активный провайдер (поведение v1). `critic.provider`
+ * без модели сохраняет поведение v1.
+ *
+ * Fail-open: битый оверрайд предупреждает и откатывается к активному
+ * провайдеру — неверно настроенный критик не должен молча отключать проверку.
+ */
+export function buildCriticProvider(critic, config, defaultProvider, deps) {
+    const model = critic?.model?.trim();
+    if (!model)
+        return defaultProvider;
+    try {
+        const providerCfg = critic?.provider ?? {
+            type: "openai-compat",
+            baseUrl: DEFAULT_CRITIC_BASE_URL,
+        };
+        const manager = new ProviderManager({ ...providerCfg, baseUrl: providerCfg.baseUrl || DEFAULT_CRITIC_BASE_URL }, {
+            contextWindow: config.contextWindow ?? DEFAULT_CRITIC_CONTEXT_WINDOW,
+            retry: config.retry,
+            rateLimits: config.security?.rateLimits,
+            getSessionId: deps?.getSessionId,
+            logger: deps?.logger,
+        });
+        manager.setModel(model);
+        let provider = manager.active;
+        if (providerCfg.fallback && manager.listNames().length > 1) {
+            provider = new FallbackProvider(manager, (from, to, error) => {
+                deps?.logger?.warn(`critic provider failover: ${from} -> ${to} (${error.message.slice(0, 120)})`);
+            });
+        }
+        return provider;
+    }
+    catch (err) {
+        deps?.logger?.warn(`critic provider override failed, using active provider: ${String(err?.message ?? err).slice(0, 160)}`);
+        return defaultProvider;
+    }
+}

package/dist/modules/critic/tools.js

@@ -0,0 +1,78 @@
+/**
+ * Ограниченный read-only контур верификации (Phase 2, Agent-as-a-Judge).
+ *
+ * После вердикта concern/critical критик может запросить конкретные файловые
+ * проверки, чтобы подтвердить/опровергнуть проблему, а не судить вслепую.
+ * Доступны только read-only тулы — записи, shell, web и память исключены,
+ * так что скомпрометированный/запутавшийся критик ничего не мутирует. Цикл
+ * ограничен (доп. LLM-вызовы + проверки делят verify-таймаут), при сбое —
+ * откат к вердикту первого прохода.
+ */
+/** Read-only тулы, доступные критику. Записи/shell/web/память исключены by design. */
+export const CRITIC_READONLY_TOOLS = ["read_file", "grep", "glob", "file_info", "list_dir"];
+/** Жёсткий кап проверок на вердикт (внутренний дефолт, не конфиг — спек §4.3). */
+export const MAX_CRITIC_CHECKS = 3;
+/** Символов вывода на проверку, возвращаемых критику (ограничено — у verify-вызова свой бюджет). */
+export const MAX_CHECK_OUTPUT_CHARS = 1500;
+/** True, если тул разрешён критику (входит в read-only allowlist). */
+export function isAllowedCriticTool(tool) {
+    return CRITIC_READONLY_TOOLS.includes(tool);
+}
+/**
+ * Проверки из вердикта критика (сырой массив `checks`, allowlist + кап).
+ * Чужое — неизвестные тулы, не-объектные args — молча дропается:
+ * критик теряет только глубину верификации, не корректность.
+ */
+export function parseChecks(verdict) {
+    if (!verdict?.checks || !Array.isArray(verdict.checks))
+        return [];
+    const out = [];
+    for (const c of verdict.checks) {
+        if (out.length >= MAX_CRITIC_CHECKS)
+            break;
+        const check = asCriticCheck(c);
+        if (check)
+            out.push(check);
+    }
+    return out;
+}
+/** Одна сырая запись → валидированная проверка, или null, если непригодна/запрещена. */
+function asCriticCheck(c) {
+    if (!c || typeof c !== "object")
+        return null;
+    const rec = c;
+    if (typeof rec.tool !== "string" || !isAllowedCriticTool(rec.tool))
+        return null;
+    if (!rec.args || typeof rec.args !== "object" || Array.isArray(rec.args))
+        return null;
+    return { tool: rec.tool, args: rec.args };
+}
+/**
+ * Выполняет валидированные проверки через инжектированный раннер (в Agent —
+ * ToolExecutor с read-only allowlist). Последовательно, никогда параллельно
+ * с вызовами тулов главного цикла. Сбой одной проверки даёт failure-результат,
+ * остальные проверки не прерываются.
+ */
+export async function runCriticChecks(checks, runCheck) {
+    const out = [];
+    for (const c of checks.slice(0, MAX_CRITIC_CHECKS)) {
+        try {
+            const r = await runCheck(c.tool, c.args);
+            out.push({ tool: c.tool, ok: r.ok, output: (r.output ?? "").slice(0, MAX_CHECK_OUTPUT_CHARS) });
+        }
+        catch (err) {
+            out.push({
+                tool: c.tool,
+                ok: false,
+                output: `check failed: ${String(err?.message ?? err).slice(0, 200)}`,
+            });
+        }
+    }
+    return out;
+}
+/** Рендерит результаты проверок строками доказательств, видимых критику. */
+export function renderCheckResults(results) {
+    return results
+        .map((r) => `${r.ok ? "✓" : "✗"} ${r.tool} » ${r.output}`)
+        .join("\n");
+}

package/dist/modules/critic/types.js

@@ -0,0 +1 @@
+export {};

package/dist/modules/execution/audit-runners.js

@@ -1,9 +1,10 @@
+// Раннеры финального аудита: поиск тестов, прогон тестов, поиск корня typecheck.
 import { existsSync, readdirSync, readFileSync } from "fs";
 import { dirname, join, resolve } from "path";
 import { detectTestResults } from "../../tools/bash";
 import { processRegistry } from "../processes";
 import { resolveTscCommand } from "../lsp/project-root";
-/** Directories never searched for test files. */
+/** Каталоги, где тестовые файлы не ищем. */
 export const SKIP_DIRS = new Set([
     "node_modules",
     ".git",
@@ -17,15 +18,13 @@ export const SKIP_DIRS = new Set([
 ]);
 const TEST_EXT_RE = /\.(test|spec)\.[jt]sx?$/i;
 const PY_TEST_RE = /^test_.*\.py$|^.*_test\.py$/i;
-const TEST_STEP_RE = /\b(test(ing|s)?|тест(ы|ирование|ировать)?|провер\w*\s+тест|запустить\s+тест)\b|bun test|npm test|vitest|pytest|go test|jest|mocha/i;
 /**
- * Resolve the project's test command from its manifest, so the final audit
- * actually runs the runner the project uses instead of always assuming
- * `bun test` (a Python or Go project, or a vitest/jest setup, would fail or
- * silently produce no summary under bun test).
+ * Резолвит тестовую команду проекта из манифеста: финальный аудит реально
+ * гоняет раннер проекта, а не всегда `bun test` (Python/Go-проект или
+ * vitest/jest-сетап под bun test упал бы или молча не дал сводки).
  *
- * Priority: package.json scripts.test → test-framework config files → Python
- * markers (pyproject/pytest.ini/conftest.py) → go.mod → Cargo.toml → bun.
+ * Приоритет: package.json scripts.test → конфиги тест-фреймворков → Python-
+ * маркеры (pyproject/pytest.ini/conftest.py) → go.mod → Cargo.toml → bun.
  */
 export function resolveTestCommand(dir) {
     const pkgPath = join(dir, "package.json");
@@ -37,7 +36,7 @@ export function resolveTestCommand(dir) {
                 return script.trim();
         }
         catch {
-            /* invalid package.json — fall through */
+            /* битый package.json — идём дальше */
         }
     }
     for (const f of [
@@ -70,7 +69,7 @@ export function resolveTestCommand(dir) {
         return "cargo test";
     return "bun test";
 }
-/** Recursive, depth-limited walk that stops early on the first test file. */
+/** Рекурсивный поиск тестового файла с капом глубины и ранним выходом. */
 export function findTestFile(dir, depth = 0) {
     if (depth > 5)
         return null;
@@ -96,11 +95,7 @@ export function findTestFile(dir, depth = 0) {
     }
     return null;
 }
-/** The plan's step descriptions mention running/checking tests. */
-export function hasTestStep(plan) {
-    return plan.steps.some((s) => TEST_STEP_RE.test(s.description));
-}
-/** Extract failing test names from a runner's output (bun/vitest style). */
+/** Вытаскивает имена упавших тестов из вывода раннера (стиль bun/vitest). */
 function extractFailingNames(output, limit = 5) {
     const names = [];
     for (const m of output.matchAll(/\(fail\)\s*([^\n]+)/g)) {
@@ -112,6 +107,7 @@ function extractFailingNames(output, limit = 5) {
     }
     return names;
 }
+/** Прогоняет тесты проекта (90s) и разбирает сводку раннера. Таймаут — inconclusive. */
 export async function runTests(baseDir) {
     const command = resolveTestCommand(baseDir);
     const entry = processRegistry.start(command, baseDir);
@@ -119,7 +115,7 @@ export async function runTests(baseDir) {
     const output = entry.log.join("\n");
     processRegistry.remove(entry.id);
     if (!exited) {
-        // Timed out — we cannot claim success or failure from an unfinished run.
+        // Таймаут — успех/фейл незавершённого прогона утверждать не можем.
         return {
             checked: true,
             passed: true, // don't block completion on an inconclusive run
@@ -131,10 +127,9 @@ export async function runTests(baseDir) {
     }
     const run = detectTestResults(output);
     if (!run) {
-        // No recognizable runner summary. A non-zero exit means the test run
-        // (or its runner) failed — the audit must not pass on it; report a
-        // single "at least one failed" since we cannot count them. Exit 0
-        // with unrecognized output stays checked-but-inconclusive.
+        // Нет узнаваемой сводки раннера. Ненулевой exit — прогон (или раннер) упал:
+        // аудит его пропускать не должен; репортим "как минимум один фейл", т.к.
+        // посчитать не можем. Exit 0 с неузнанным выводом — checked, но inconclusive.
         return {
             checked: true,
             passed: entry.exitCode === 0,
@@ -156,24 +151,22 @@ export async function runTests(baseDir) {
         command,
     };
 }
-/** First `error TS…` line in a tsc output, or null when none/inconclusive. */
+/** Первая строка `error TS…` из вывода tsc, или null если нет/inconclusive. */
 export function parseTypecheckErrors(output) {
     const line = output.split("\n").find((l) => /error TS\d+/.test(l));
     return line ? line.trim().slice(0, 300) : null;
 }
 /**
- * Locate the nearest project root that owns a tsconfig.json.
+ * Находит ближайший корень проекта с tsconfig.json.
  *
- * The agent frequently creates the project in a nested subfolder of its
- * baseDir (e.g. `bicycle-shop/`), so the tsconfig lives at
- * `baseDir/bicycle-shop/` and the old `existsSync(baseDir/tsconfig.json)`
- * gate silently skipped the final typecheck — the audit passed even with
- * dozens of tsc errors (observed in both analyzed sessions). This walks each
- * candidate (baseDir plus the resolved step files) upward to the nearest
- * tsconfig.json, preferring the shallowest hit so the baseDir project wins
- * over a stray tsconfig further up. Returns null when no tsconfig exists in
- * any reachable subtree. `existingFiles` must contain resolved absolute paths
- * (relative tokens would resolve against the process cwd, not baseDir).
+ * Агент часто создаёт проект во вложенной папке baseDir (напр. `bicycle-shop/`),
+ * и tsconfig лежит в `baseDir/bicycle-shop/`; старый гейт `existsSync(baseDir/tsconfig.json)`
+ * молча скипал финальный typecheck — аудит проходил при десятках tsc-ошибок
+ * (было в обеих разобранных сессиях). Обходит каждого кандидата (baseDir плюс
+ * резолвленные файлы шагов) вверх до ближайшего tsconfig.json, предпочитая
+ * мельчайшее попадание (проект baseDir бьёт шальной tsconfig выше). Null, если
+ * tsconfig недостижим. `existingFiles` — резолвленные абсолютные пути
+ * (относительные токены резолвились бы от cwd процесса, не от baseDir).
  */
 export function findTypecheckRoot(baseDir, existingFiles = []) {
     const candidates = [baseDir, ...existingFiles];
@@ -194,6 +187,7 @@ export function findTypecheckRoot(baseDir, existingFiles = []) {
     }
     return best?.root ?? null;
 }
+/** Прогоняет `tsc --noEmit --skipLibCheck` (90s). Null, если проверить нельзя/таймаут. */
 export async function runTypecheck(baseDir) {
     // Локальный tsc напрямую: npx-обёртка добавляет секунды и без локального
     // пакета уходит в сеть. Нет tsc — проверка невозможна, не блокируем.
@@ -204,8 +198,8 @@ export async function runTypecheck(baseDir) {
     const exited = await processRegistry.waitForExit(entry.id, 90_000);
     const output = entry.log.join("\n");
     processRegistry.remove(entry.id);
-    // A timeout, or output with no `error TS` lines (missing typescript / wrong
-    // working dir) is inconclusive — never block completion on those.
+    // Таймаут или вывод без строк `error TS` (нет typescript / не та рабочая
+    // папка) — inconclusive, завершение на этом не блокируем.
     if (!exited)
         return null;
     return parseTypecheckErrors(output);

package/dist/modules/execution/auditor.js

@@ -1,27 +1,27 @@
+// Финальный аудитор: файлы done-шагов, тесты, typecheck, сводка честности.
 import { existsSync, readdirSync } from "fs";
 import { resolve, join, basename } from "path";
 import { t } from "../../i18n/index";
 import { extractFileLikeTokens, stripUrls } from "../hallucination/js-identifiers";
 import { toForwardSlash } from "../../tools/path-utils";
-import { SKIP_DIRS, findTestFile, findTypecheckRoot, hasTestStep, runTests, runTypecheck, } from "./audit-runners";
+import { SKIP_DIRS, findTestFile, findTypecheckRoot, runTests, runTypecheck, } from "./audit-runners";
 export { parseTypecheckErrors } from "./audit-runners";
 const MASS_EDIT_THRESHOLD = 10;
-/** Subtree walk depth cap for file resolution. */
+/** Кап глубины обхода поддерева для резолва файлов. */
 const RESOLVE_MAX_DEPTH = 8;
 /**
- * Resolve a plan-step file token to an existing file.
+ * Резолвит файловый токен шага плана в существующий файл.
  *
- * A step description frequently names a file by its bare basename
- * ("App.tsx") or a partially-prefixed path ("src/App.tsx") while the real
- * file lives in a nested project directory relative to the agent baseDir
- * (e.g. `bicycle-shop/src/App.tsx`). Naively resolving against baseDir
- * reports the file as missing — observed in session ses_mssl5izw where the
- * final audit gate rejected a fully-completed task with "1 files missing"
- * forever, sending the model into a read/retry loop.
+ * Описание шага часто называет файл голым basename ("App.tsx") или частично
+ * префиксным путём ("src/App.tsx"), а реальный файл лежит во вложенной папке
+ * проекта относительно baseDir агента (напр. `bicycle-shop/src/App.tsx`).
+ * Наивный резолв от baseDir репортит файл пропавшим — было в ses_mssl5izw:
+ * финальный audit-gate вечно реджектил полностью готовую задачу с "1 files
+ * missing", загоняя модель в read/retry-петлю.
  *
- * Strategy: exact resolve first, then a bounded subtree walk matching either
- * the exact basename or a path suffix (so both "App.tsx" and
- * "src/App.tsx" find "bicycle-shop/src/App.tsx").
+ * Стратегия: сначала точный резолв, затем ограниченный обход поддерева с
+ * матчем точного basename или суффикса пути ("App.tsx" и "src/App.tsx"
+ * находят "bicycle-shop/src/App.tsx").
  */
 export function findExistingFile(baseDir, filePath) {
     const direct = resolve(baseDir, filePath);
@@ -52,7 +52,7 @@ export function findExistingFile(baseDir, filePath) {
             else if (e.name.toLowerCase() === name ||
                 toForwardSlash(full)
                     .toLowerCase()
-                    .endsWith("/" + suffix)) {
+                    .endsWith(`/${suffix}`)) {
                 found = full;
                 return;
             }
@@ -61,25 +61,26 @@ export function findExistingFile(baseDir, filePath) {
     walk(baseDir, 0);
     return found;
 }
+/** Аудитор: проверяет done-шаги плана — файлы, тесты, typecheck. */
 export class Auditor {
     baseDir;
     constructor(baseDir) {
         this.baseDir = baseDir;
     }
+    /** Аудитит план: файлы done-шагов, реальный прогон тестов, typecheck, сводка. */
     async audit(plan) {
-        // Only steps the model claims completed may require their named files to
-        // exist. Skipped/pending steps must never contribute "missing files"
-        // (observed: a skipped step's prose mention of "type.ts" kept the audit
-        // gate rejecting a finished task with "1 files missing" forever).
+        // Существования требуем только с файлов шагов, которые модель заявила
+        // готовыми. Скипнутые/пендинг шаги в "missing files" вклада не дают
+        // (было: проза скипнутого шага с "type.ts" вечно реджектила готовую
+        // задачу гейтом с "1 files missing").
         const doneCreate = plan.steps.filter((s) => s.status === "done" && s.kind !== "delete");
         const doneDelete = plan.steps.filter((s) => s.status === "done" && s.kind === "delete");
         const createText = doneCreate.map((s) => s.description.replace(/\([^)]*\)/g, " ")).join(" ");
         const deleteText = doneDelete.map((s) => s.description.replace(/\([^)]*\)/g, " ")).join(" ");
-        // File tokens are extracted with the SAME shared filter as the
-        // hallucination factual check (js-identifiers.ts). URLs are stripped
-        // first so a hostname / https://host/repo.git in a step description
-        // can never be reported as a missing file (observed: a git-remote
-        // plan flagged `whom-pointing-jewel-maine.trycloudflare.com`).
+        // Токены файлов извлекаем ТЕМ ЖЕ общим фильтром, что фактическая проверка
+        // галлюцинаций (js-identifiers.ts). URL вырезаем заранее, чтобы hostname /
+        // https://host/repo.git в описании шага не репортился пропавшим файлом
+        // (было: git-remote план флаговал `whom-pointing-jewel-maine.trycloudflare.com`).
         const createFiles = extractFileLikeTokens(stripUrls(createText));
         const deleteFiles = extractFileLikeTokens(stripUrls(deleteText));
         const missingFiles = [];
@@ -88,41 +89,44 @@ export class Auditor {
         for (const filePath of createFiles) {
             const resolved = findExistingFile(this.baseDir, filePath);
             if (resolved) {
-                // Keep the resolved absolute path: findTypecheckRoot walks up
-                // from it to the nearest tsconfig, and a relative token would
-                // resolve against the process cwd instead of baseDir.
+                // Храним резолвленный абсолютный путь: findTypecheckRoot идёт от него
+                // вверх к ближайшему tsconfig, а относительный токен резолвился бы
+                // от cwd процесса вместо baseDir.
                 existingFiles.push(resolved);
             }
             else {
                 missingFiles.push(filePath);
             }
         }
-        // A done delete-kind step requires its named files to be GONE.
+        // Done-шаг kind=delete требует ОТСУТСТВИЯ именованных файлов.
         for (const filePath of deleteFiles) {
             if (findExistingFile(this.baseDir, filePath)) {
                 leftoverFiles.push(filePath);
             }
         }
-        // Real test run: when the plan includes a verification step, do not
-        // trust the model's word (or exit codes) — actually execute the tests
-        // and check the runner summary. This catches the "all 7 passing ✅"
-        // final answers that hide 3 failing tests.
+        // Реальный прогон тестов: слову модели (и exit-кодам) не верим — реально
+        // исполняем тесты и смотрим сводку раннера. Ловит финальные "all 7
+        // passing ✅", прячущие 3 упавших.
+        //
+        // Решение EVIDENCE-based (тестовый файл есть на диске), не классификация
+        // прозы шагов по ключевым словам: правило #10 запрещает выводить требования
+        // из слов "test"/"тест" (план с тестами, но без такого слова, скипал аудит;
+        // постороннее "testing" форсило 90s-прогон).
         let testRun = null;
-        if (hasTestStep(plan) && findTestFile(this.baseDir)) {
+        if (findTestFile(this.baseDir)) {
             try {
                 testRun = await runTests(this.baseDir);
             }
             catch {
-                testRun = null; // infra failure — don't block on it
+                testRun = null; // сбой инфры — на нём не блокируемся
             }
         }
-        // Real typecheck: the audit must catch "the build is broken" even when
-        // every file exists (observed: deleting .js files left the .tsx sources
-        // with 11 tsc errors and the agent still declared success). Runs only
-        // when a tsconfig.json is reachable from baseDir or the resolved step
-        // files AND the file checks already passed — an audit that is doomed by
-        // missing/leftover files must not pay a 90s tsc spawn. Inconclusive
-        // results never block.
+        // Реальный typecheck: аудит ловит "сборка сломана", даже если все файлы на
+        // месте (было: удаление .js оставило .tsx-исходники с 11 tsc-ошибками, а
+        // агент заявил успех). Гоняется, только если tsconfig.json достижим от
+        // baseDir или резолвленных файлов шагов И файловые проверки уже прошли —
+        // обречённому на missing/leftover аудиту 90s tsc-спавн не платим.
+        // Inconclusive-результаты не блокируют.
         let typecheckError = null;
         if (missingFiles.length === 0 && leftoverFiles.length === 0) {
             const root = findTypecheckRoot(this.baseDir, existingFiles);
@@ -136,11 +140,11 @@ export class Auditor {
             }
         }
         const doneSteps = plan.steps.filter((s) => s.status === "done").length;
-        // done + skipped are both deliberate terminal states: `done` claims the
-        // work, `skipped` documents a decision that the step is not needed (the
-        // deliverable gate's documented escape hatch). Neither is a lie the
-        // audit must catch — a plan with a legitimately skipped step must be
-        // able to pass (observed: skipped step 1 kept the task rejected forever).
+        // done + skipped — оба осознанные терминальные состояния: `done` заявляет
+        // работу, `skipped` документирует решение, что шаг не нужен (задокументированная
+        // лазейка deliverable-gate). Ни то, ни другое — не ложь для аудита: план с
+        // легитимно скипнутым шагом обязан проходить (было: скипнутый шаг 1 вечно
+        // держал задачу реджектнутой).
         const terminalSteps = plan.steps.filter((s) => s.status === "done" || s.status === "skipped").length;
         const totalSteps = plan.steps.length;
         const auditedFiles = [...new Set([...createFiles, ...deleteFiles])];
@@ -153,10 +157,10 @@ export class Auditor {
         const testsFailing = testRun !== null && !testRun.passed;
         const typecheckFailing = typecheckError !== null;
         const passed = missingFiles.length === 0 && leftoverFiles.length === 0 && !testsFailing && !typecheckFailing;
-        // A "Task complete ✓" summary for an unfinished plan is a lie the model
-        // reads as a green light (observed: audit gate injected "[✓] Task
-        // complete: 1/3 steps done" while the plan had 2 pending steps). The
-        // summary must only claim completion when every step is actually done.
+        // Сводка "Task complete ✓" для незаконченного плана — ложь, которую модель
+        // читает как зелёный свет (было: audit-gate инжектил "[✓] Task complete:
+        // 1/3 steps done" при 2 пендинг шагах). Сводка заявляет завершение, только
+        // если реально done каждый шаг.
         const stepsPending = terminalSteps < totalSteps;
         let summary;
         if (missingFiles.length > 0) {