micro-models-agent 2.16.1 → 2.17.2

package/dist/modules/execution/tracker.js

@@ -1,92 +0,0 @@
-// Трекер плана: указатель текущего шага, статусы, прогресс-строка.
-// Двигает указатель мимо уже settled (skipped/done) шагов, не мутируя их —
-// перезапись "skipped" в "in_progress" дедлочит план (модель не возьмётся за
-// шаг, который осознанно пропустила).
-import { PlanCreator, getPlanProgress } from "./planner";
-/** Трекер плана: указатель, статусы шагов, прогресс. */
-export class PlanTracker {
-    plan;
-    currentStepIndex = 0;
-    constructor(plan) {
-        this.plan = plan;
-    }
-    /** План целиком. */
-    getPlan() {
-        return this.plan;
-    }
-    /** Индекс текущего шага. */
-    getCurrentStepIndex() {
-        return this.currentStepIndex;
-    }
-    /** Текущий шаг (по указателю). */
-    getCurrentStep() {
-        return this.plan.steps[this.currentStepIndex];
-    }
-    /** Шаг по id. */
-    getStep(id) {
-        return this.plan.steps.find((s) => s.id === id);
-    }
-    /** Ставит статус шагу. */
-    updateStepStatus(id, status) {
-        const step = this.getStep(id);
-        if (step)
-            step.status = status;
-    }
-    /** Добавляет заметку к шагу. */
-    addNote(id, note) {
-        const step = this.getStep(id);
-        if (step)
-            step.note = note;
-    }
-    /**
-     * Двигает указатель к следующему незакрытому шагу (мимо done/skipped без
-     * мутаций). False, если шагов не осталось.
-     */
-    advance() {
-        let idx = this.currentStepIndex + 1;
-        while (idx < this.plan.steps.length &&
-            (this.plan.steps[idx].status === "skipped" || this.plan.steps[idx].status === "done")) {
-            idx++;
-        }
-        if (idx >= this.plan.steps.length)
-            return false;
-        this.currentStepIndex = idx;
-        if (this.plan.steps[idx].status === "pending") {
-            this.plan.steps[idx].status = "in_progress";
-        }
-        return true;
-    }
-    /**
-     * Подтягивает указатель мимо done/skipped шагов без смены статусов.
-     * Синхронизирует currentStepIndex, когда модель маркит шаги через тул
-     * `plan update` (он advance() не зовёт). Без этого getCurrentStep() вечно
-     * стоит на первом шаге и stuck-детектор копит ложные "no progress".
-     */
-    syncCurrentStep() {
-        while (this.currentStepIndex < this.plan.steps.length - 1 &&
-            (this.plan.steps[this.currentStepIndex].status === "done" ||
-                this.plan.steps[this.currentStepIndex].status === "skipped")) {
-            this.currentStepIndex++;
-        }
-    }
-    /** True, если все шаги done/skipped. */
-    isComplete() {
-        return this.plan.steps.every((s) => s.status === "done" || s.status === "skipped");
-    }
-    /** Строка прогресса: `[id] title settled/total (skipped) bar pct`. */
-    getProgressString() {
-        const p = getPlanProgress(this.plan);
-        const total = p.total;
-        const settled = p.settled;
-        const pct = total > 0 ? Math.round((settled / total) * 100) : 0;
-        const barWidth = 10;
-        const filled = Math.round((settled / total) * barWidth);
-        const bar = "█".repeat(filled) + "░".repeat(barWidth - filled);
-        const skippedPart = p.skipped > 0 ? ` (${p.skipped} skipped)` : "";
-        return `[${this.plan.id}] ${this.plan.title}  ${settled}/${total}${skippedPart}  ${bar}  ${pct}%`;
-    }
-    /** Промпт-блок плана с текущей позиции указателя. */
-    toPromptBlock() {
-        return PlanCreator.toPromptBlock(this.plan, this.currentStepIndex);
-    }
-}

package/dist/modules/execution/transient-error.js

@@ -1,30 +0,0 @@
-/**
- * Единая классификация транзиентных (временно сбойных) ошибок.
- *
- * Ранее существовало ДВЕ расходящиеся копии: `TRANSIENT_PATTERNS` в
- * stuck-detector.ts и `TRANSIENT_ERROR_PATTERNS` в moe-executor.ts. Из-за
- * этого одна и та же ошибка по-разному ретраилась в разных подсистемах:
- * moe-executor считал транзиентными 500/504/"network"/"fetch failed",
- * stuck-detector — "killed"/"SIGTERM"/"rate limit" и т.д.
- *
- * Здесь — объединение обеих копий в единый источник истины, чтобы решение
- * "эту ошибку можно ретраить" было одинаковым во всей системе.
- */
-const TRANSIENT_PATTERNS = [
-    /timeout/i,
-    /timed out/i,
-    /ECONNREFUSED/i,
-    /ETIMEDOUT/i,
-    /ECONNRESET/i,
-    /killed/i,
-    /SIGTERM/i,
-    /SIGKILL/i,
-    /rate limit/i,
-    /\b(429|500|502|503|504)\b/,
-    /network/i,
-    /fetch failed/i,
-];
-/** Истинно, если сообщение похоже на транзиентную (временно сбойную) ошибку. */
-export function isTransientError(message) {
-    return TRANSIENT_PATTERNS.some((p) => p.test(message));
-}

package/dist/modules/execution/types.js

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

package/dist/modules/execution/verifier.js

@@ -1,343 +0,0 @@
-// Верификатор шагов: файлы, синтаксис, скрипты, typecheck, success_criteria.
-import { existsSync, readFileSync } from "fs";
-import { resolve, extname, dirname, join } from "path";
-import { spawn } from "child_process";
-import { t } from "../../i18n/index";
-import { validateExpertConfig } from "../../config/experts";
-import { findProjectRoot, resolveTscCommand } from "../lsp/project-root";
-import { extractFileLikeTokens, stripUrls } from "../hallucination/js-identifiers";
-import { findExistingFile } from "./auditor";
-import { findTypecheckRoot } from "./audit-runners";
-import { killTree } from "../processes/kill-tree";
-import { settleChildClose } from "../../utils/child-run";
-/** Верификатор шагов и MoE-планов: файлы, синтаксис, скрипты, tsc, критерии. */
-export class StepVerifier {
-    baseDir;
-    constructor(baseDir) {
-        this.baseDir = baseDir;
-    }
-    /** Проверяет существование файла (с nested-резолвером findExistingFile). */
-    async checkFileExists(path) {
-        // Nested-aware (тот же резолвер, что в verifyStep): проект в
-        // `baseDir/proj/` нельзя репортить пропавшим, если файл ниже.
-        const resolved = findExistingFile(this.baseDir, path);
-        const exists = !!resolved;
-        return {
-            passed: exists,
-            message: exists ? t("verify.file_exists", { path }) : t("verify.file_not_found", { path }),
-        };
-    }
-    /** Запускает `bun run <script>` (60s), возвращает пункт проверки. */
-    async runScript(scriptName) {
-        try {
-            await this.runAsync(`bun run ${scriptName}`, this.baseDir, 60_000);
-            return { passed: true, message: t("verify.script_passed", { script: scriptName }) };
-        }
-        catch (e) {
-            return {
-                passed: false,
-                message: t("verify.script_failed", { script: scriptName, message: e.message }),
-            };
-        }
-    }
-    /** Проектный typecheck (tsc --noEmit); без tsconfig/tsc — пропуск, не фейл. */
-    async runTypeCheck(existingFiles = []) {
-        // Корень проекта резолвим и по артефактам: проект во вложенном
-        // `baseDir/proj/` надо типчекать, а не скипать ("No tsconfig.json found") —
-        // старый поиск только от baseDir его не видел.
-        const root = findTypecheckRoot(this.baseDir, existingFiles) ?? this.baseDir;
-        const tsconfigPath = join(root, "tsconfig.json");
-        if (!existsSync(tsconfigPath)) {
-            return { passed: true, message: t("verify.typecheck_skipped_no_tsconfig") };
-        }
-        const tsc = resolveTscCommand(root);
-        if (!tsc)
-            return { passed: true, message: t("verify.typecheck_skipped_no_tsc") };
-        try {
-            await this.runAsync(`${tsc} --noEmit`, root, 60_000);
-            return { passed: true, message: t("verify.typecheck_passed") };
-        }
-        catch (e) {
-            const stderr = e.stderr?.toString() || e.stdout?.toString() || e.message;
-            return {
-                passed: false,
-                message: t("verify.typecheck_failed", { error: stderr.slice(0, 500) }),
-            };
-        }
-    }
-    /**
-     * Типчекает конкретный файл, резолвя корень проекта от РАСПОЛОЖЕНИЯ ФАЙЛА
-     * (не от baseDir агента). Для вложенных раскладок (`baseDir/proj/` со своим
-     * tsconfig.json) старая проверка от baseDir молча скипала каждую ошибку типов
-     * (было в ses_mst2r0r5: ноль type feedback за всю сессию). Маркеры зеркалят
-     * конфиг TypeScript LSP-сервера.
-     */
-    async runTypeCheckForFile(filePath) {
-        const projectRoot = findProjectRoot(filePath, this.baseDir, ["tsconfig.json", "package.json"]);
-        const tsconfigPath = join(projectRoot, "tsconfig.json");
-        if (!existsSync(tsconfigPath)) {
-            return { passed: true, message: t("verify.typecheck_skipped_no_tsconfig") };
-        }
-        const tsc = resolveTscCommand(projectRoot);
-        if (!tsc)
-            return { passed: true, message: t("verify.typecheck_skipped_no_tsc") };
-        try {
-            await this.runAsync(`${tsc} --noEmit --skipLibCheck`, projectRoot, 60_000);
-            return { passed: true, message: t("verify.typecheck_passed") };
-        }
-        catch (e) {
-            const stderr = e.stderr?.toString() || e.stdout?.toString() || e.message;
-            return {
-                passed: false,
-                message: t("verify.typecheck_failed", { error: stderr.slice(0, 500) }),
-            };
-        }
-    }
-    /** Запускает `test`-скрипт проекта; без package.json/скрипта — пропуск. */
-    async runTests() {
-        const pkgPath = resolve(this.baseDir, "package.json");
-        if (!existsSync(pkgPath)) {
-            return { passed: true, message: t("verify.tests_skipped_no_package") };
-        }
-        try {
-            const pkg = JSON.parse(require("fs").readFileSync(pkgPath, "utf-8"));
-            if (!pkg.scripts?.test) {
-                return { passed: true, message: t("verify.tests_skipped_no_script") };
-            }
-        }
-        catch {
-            /* fall through — пробуем запустить */
-        }
-        return this.runScript("test");
-    }
-    /** Проверяет существование списка файлов-артефактов (параллельно). */
-    async verifyArtifactFiles(files) {
-        return Promise.all(files.map((f) => this.checkFileExists(f)));
-    }
-    /**
-     * Проверяет machine-readable success_criteria подзадачи ДО решения о merge
-     * (Plan 5.1). Поддержаны формы:
-     * - `file-exists:<path>`
-     * - `substring-in-file:<path>:<text>`
-     * - `command-exit-0:<command>`
-     * Остальное — LLM-only критерий: варнинг (не ошибка), чтобы Router всё равно
-     * видел его в контексте.
-     */
-    async verifySubtaskCriteria(subtask) {
-        const errors = [];
-        const warnings = [];
-        const details = [];
-        for (const criterion of subtask.success_criteria || []) {
-            const sep = criterion.indexOf(":");
-            if (sep <= 0) {
-                warnings.push(`Subtask "${subtask.id}": non-machine criterion "${criterion}" (LLM-only)`);
-                continue;
-            }
-            const kind = criterion.slice(0, sep);
-            const rest = criterion.slice(sep + 1);
-            if (kind === "file-exists") {
-                const check = await this.checkFileExists(rest);
-                details.push(check);
-                if (!check.passed)
-                    errors.push(`[${subtask.id}] ${check.message}`);
-                continue;
-            }
-            if (kind === "substring-in-file") {
-                const colon = rest.indexOf(":");
-                if (colon <= 0) {
-                    warnings.push(`Subtask "${subtask.id}": malformed substring-in-file criterion "${criterion}"`);
-                    continue;
-                }
-                const path = rest.slice(0, colon);
-                const needle = rest.slice(colon + 1);
-                const resolved = resolve(this.baseDir, path);
-                if (!existsSync(resolved)) {
-                    const item = { passed: false, message: t("verify.file_not_found", { path }) };
-                    details.push(item);
-                    errors.push(`[${subtask.id}] ${item.message}`);
-                    continue;
-                }
-                const content = readFileSync(resolved, "utf-8");
-                const passed = content.includes(needle);
-                details.push({ passed, message: `substring "${needle}" in ${path}: ${passed}` });
-                if (!passed)
-                    errors.push(`[${subtask.id}] "${needle}" not found in ${path}`);
-                continue;
-            }
-            if (kind === "command-exit-0") {
-                try {
-                    await this.runAsync(rest, this.baseDir, 30_000);
-                    details.push({ passed: true, message: `command ok: ${rest}` });
-                }
-                catch (e) {
-                    const item = {
-                        passed: false,
-                        message: `command failed: ${rest} (${String(e.message).slice(0, 200)})`,
-                    };
-                    details.push(item);
-                    errors.push(`[${subtask.id}] ${item.message}`);
-                }
-                continue;
-            }
-            warnings.push(`Subtask "${subtask.id}": unknown criterion kind "${kind}" (LLM-only)`);
-        }
-        return { errors, warnings, details };
-    }
-    /** Верифицирует MoE-манифест: эксперты, typecheck, файлы и критерии подзадач. */
-    async verifyMoEManifest(plan, config, allToolTags) {
-        const errors = [];
-        const warnings = [];
-        const details = [];
-        const expertErrors = validateExpertConfig(config, allToolTags);
-        for (const err of expertErrors) {
-            errors.push(err);
-            details.push({ passed: false, message: err });
-        }
-        const existingArtifacts = plan.subtasks
-            .flatMap((s) => s.allowed_files || [])
-            .map((f) => findExistingFile(this.baseDir, f))
-            .filter((f) => !!f);
-        const tscResult = await this.runTypeCheck(existingArtifacts);
-        details.push(tscResult);
-        if (!tscResult.passed) {
-            errors.push(tscResult.message);
-        }
-        for (const sub of plan.subtasks) {
-            const fileChecks = await this.verifyArtifactFiles(sub.allowed_files || []);
-            for (const check of fileChecks) {
-                details.push(check);
-                if (!check.passed) {
-                    errors.push(check.message);
-                }
-            }
-            // Machine-readable success_criteria (Plan 5.1) — проверяются до merge.
-            const criteria = await this.verifySubtaskCriteria(sub);
-            errors.push(...criteria.errors);
-            warnings.push(...criteria.warnings);
-            details.push(...criteria.details);
-        }
-        return {
-            success: errors.length === 0,
-            errors,
-            warnings,
-            details,
-        };
-    }
-    /** Верифицирует шаг: файлы из описания существуют (+синтаксис; delete — наоборот). */
-    async verifyStep(stepDescription, kind) {
-        const fileMatches = extractFileLikeTokens(stripUrls(stepDescription));
-        // Нет именованных файлов — шаг непроверяем по существованию. НЕ пропускаем
-        // тривиально (пустой every() = true); сигналим noFiles, чтобы тул вёл
-        // модель к настоящей проверке.
-        if (fileMatches.length === 0) {
-            return { passed: false, syntaxValid: true, failed: [], noFiles: true };
-        }
-        const results = [];
-        let syntaxValid = true;
-        for (const filePath of fileMatches) {
-            const resolved = findExistingFile(this.baseDir, filePath);
-            const exists = !!resolved;
-            if (kind === "delete") {
-                // Для delete-шагов: отсутствие файла — pass
-                results.push({
-                    passed: !exists,
-                    message: exists
-                        ? t("verify.file_still_exists", { path: filePath })
-                        : t("verify.file_not_found", { path: filePath }),
-                });
-                // Удалённый файл синтаксически не проверяем
-                continue;
-            }
-            // Create-шаги: файл обязан существовать + валидный синтаксис
-            if (!exists) {
-                results.push({ passed: false, message: t("verify.file_not_found", { path: filePath }) });
-                continue;
-            }
-            results.push({ passed: true, message: t("verify.file_exists", { path: filePath }) });
-            if (!(await this.validateSyntax(resolved))) {
-                syntaxValid = false;
-                results.push({ passed: false, message: t("verify.syntax_error", { path: filePath }) });
-            }
-        }
-        return {
-            passed: results.every((r) => r.passed),
-            syntaxValid,
-            failed: results.filter((r) => !r.passed),
-            noFiles: false,
-        };
-    }
-    async validateSyntax(filePath) {
-        const ext = extname(filePath);
-        if (ext === ".ts" || ext === ".tsx" || ext === ".cts" || ext === ".mts") {
-            // Локальный tsc, а не npx: npx без локального пакета уходит в сеть и
-            // висит секундами. Нет tsc — пропускаем проверку (как и раньше «not
-            // found → true»), но мгновенно.
-            const tsc = resolveTscCommand(dirname(filePath));
-            if (!tsc)
-                return true;
-            try {
-                // Путь в кавычках — команды идут через shell и ломаются на пробелах.
-                await this.runAsync(`${tsc} --noEmit --skipLibCheck "${filePath}"`, this.baseDir, 20000);
-                return true;
-            }
-            catch (err) {
-                if (err.status === 127 ||
-                    err.message.includes("not found") ||
-                    err.message.includes("ENOENT")) {
-                    return true;
-                }
-                const stderr = err.stderr?.toString() || "";
-                if (stderr.includes("error TS") && !stderr.includes("Cannot find module")) {
-                    return false;
-                }
-                return true;
-            }
-        }
-        if (ext === ".js" || ext === ".jsx" || ext === ".cjs" || ext === ".mjs") {
-            try {
-                await this.runAsync(`node --check "${filePath}"`, this.baseDir, 5000);
-                return true;
-            }
-            catch {
-                return false;
-            }
-        }
-        return true;
-    }
-    /**
-     * Запускает команду асинхронно (не блокируя event loop) и резолвится на
-     * выходе. На ненулевой exit или таймаут — reject с захваченными stderr/stdout.
-     */
-    runAsync(command, cwd, timeoutMs) {
-        return new Promise((resolve, reject) => {
-            const child = spawn(command, {
-                cwd,
-                shell: true,
-                windowsHide: true,
-                stdio: ["ignore", "pipe", "pipe"],
-            });
-            let stdout = "";
-            let stderr = "";
-            child.stdout?.on("data", (d) => {
-                stdout += d.toString();
-            });
-            child.stderr?.on("data", (d) => {
-                stderr += d.toString();
-            });
-            const timer = setTimeout(() => {
-                // Убиваем всё дерево: при shell:true child.kill() останавливает только
-                // shell, а реальный внук tsc/node продолжает висеть.
-                killTree(child);
-                reject(new Error(`Command timed out after ${timeoutMs}ms`));
-            }, timeoutMs);
-            child.on("error", (err) => {
-                clearTimeout(timer);
-                reject(err);
-            });
-            child.on("close", (code) => {
-                clearTimeout(timer);
-                settleChildClose(code, stdout, stderr, `Command failed with exit code ${code}`, resolve, reject);
-            });
-        });
-    }
-}

package/dist/modules/execution/windows-commands.js

@@ -1,52 +0,0 @@
-/**
- * Unix-команды, которых нет в Windows cmd.exe (или семантика несовместима).
- * 9B-модель тянется к grep/sed/ls/find через тул bash; каждый фейл возвращает
- * хинт, но модель ретраит.
- *
- * Сессионный модульный компаньон пер-командного hard-stop самого тула bash
- * (`UNIX_TO_WIN_HINTS` / `FAILING_FIRST_WORDS` / `HARD_BLOCK_THRESHOLD` в
- * src/tools/bash.ts). Тот механизм инжектит "STOP using X" В вывод тула,
- * который 9B-модель склонна игнорировать; этот, гейченный на win32 как bash.ts,
- * кладёт <system-summary> перед следующим вызовом модели. Списки команд держим
- * синхронно.
- *
- * Это allow/deny-список команд (как чёрный список команд security-модуля),
- * НЕ классификация задач (правило #10).
- */
-const FORBIDDEN_COMMANDS = new Set([
-    "grep",
-    "sed",
-    "awk",
-    "uniq",
-    "xargs",
-    "cut",
-    "tr",
-    "basename",
-    "dirname",
-    "export",
-    "source",
-    "sleep",
-    "env",
-    "ls",
-    "find",
-    "rm",
-    "touch",
-    "which",
-    "diff",
-    "cp",
-    "mv",
-]);
-function firstWord(command) {
-    const segs = command.trim().split(/[\s;|&]+/);
-    return (segs[0] || "").replace(/[^\w-]/g, "").toLowerCase();
-}
-/** Имя запрещённой команды, если `command` с неё начинается (понимает `cd x && …`). */
-export function forbiddenWindowsCommand(command) {
-    const m = command.match(/^\s*cd\s+\S+\s*&&\s*(\S+)/);
-    if (m)
-        return forbiddenWindowsCommand(m[1]);
-    const word = firstWord(command);
-    if (word && FORBIDDEN_COMMANDS.has(word))
-        return word;
-    return null;
-}

package/dist/modules/hallucination/artifact-claim.js

@@ -1,93 +0,0 @@
-/**
- * Проверки заявлений об артефактах (ses_mul5pepu_9mdq90): qwen3.5-9b записала fizzbuzz.py,
- * не смогла запустить (python в чёрном списке), затем вставила "ожидаемый" вывод
- * программы с неверными значениями как якобы реальный; также записала schema.drawio
- * с битым `<diagram/>` + висячим `</diagram>` и заявила "валидный XML".
- * Проверка success-claim срабатывает только на сигналы ошибок в выводах тулов,
- * поэтому оба случая прошли молча.
- *
- * Две детерминированные проверки (regex + состояние диска от вызывающего, без LLM):
- * - `checkArtifactClaims`: ответ подаёт файл как созданный/валидный, а на диске
- *   его нет или он не парсится.
- * - `checkUnverifiedOutput`: ответ подаёт кодовый блок как реальный вывод
- *   программы, но ни один тул в окне доказательств ничего успешно не исполнял.
- *
- * Чистые функции — состояние диска (`ArtifactState[]`) резолвит вызывающий
- * (цикл агента, владелец baseDir), модуль остаётся тестируемым.
- * Точность смещена в сторону recall, как в success-claim.ts: ложное срабатывание
- * стоит одну ограниченную re-check итерацию, пропуск — статус-кво.
- */
-const WORD = "A-Za-zА-Яа-яЁё0-9_";
-const wb = (body) => new RegExp(`(?<![${WORD}])(?:${body})(?![${WORD}])`, "i");
-/** Язык успеха про файл (любая локаль, на которой говорит агент). */
-const ARTIFACT_SUCCESS_RE = wb("создан[а-яё]*|записан[а-яё]*|сохран[её]н[а-яё]*|готов[а-яё]*|валид[а-яё]*|проверен[а-яё]*|существует|valid(?:ated)?|verified|checked|written|saved|created|exists?|ready");
-/**
- * Каким словом успеха (если есть) ответ описывает упоминание файла.
- * Возвращает найденное слово для точного retry-сообщения.
- */
-function claimedAs(response, path) {
-    const idx = response.toLowerCase().indexOf(path.toLowerCase());
-    if (idx === -1)
-        return null;
-    // Смотрим окно вокруг упоминания — заявление обычно в том же
-    // предложении ("Файл schema.drawio создан и валиден").
-    const window = response.slice(Math.max(0, idx - 160), idx + path.length + 160);
-    const m = window.match(ARTIFACT_SUCCESS_RE);
-    return m ? m[0] : null;
-}
-/**
- * Возвращает противоречие, если ответ подаёт резолвленный артефакт как
- * созданный/валидный, а на диске его нет или он не парсится.
- */
-export function checkArtifactClaims(response, artifacts) {
-    if (!response)
-        return null;
-    for (const a of artifacts) {
-        const claim = a.claim ?? claimedAs(response, a.path);
-        if (!claim)
-            continue;
-        if (!a.exists) {
-            return {
-                tool: "disk",
-                path: a.path,
-                snippet: `${a.path}: file not found on disk, claimed "${claim}"`,
-            };
-        }
-        if (a.parseError) {
-            return {
-                tool: "disk",
-                path: a.path,
-                snippet: `${a.path}: ${a.parseError}, claimed "${claim}"`,
-            };
-        }
-    }
-    return null;
-}
-/** Фразы, подающие кодовый блок как РЕАЛЬНЫЙ вывод исполнения (не пример). */
-const OUTPUT_AS_RESULT_RE = wb("вывод программы|вывод команды|результат запуска|результат выполнения|program output|command output|execution result|запустил[а-яё]*.*вывод|покажу вывод|actual output");
-/** Хеджирование, понижающее блок до ожидания/примера — честно, пропускаем. */
-const OUTPUT_HEDGE_RE = wb("ожидаем[а-яё]*|expected|пример[а-яё]*|example|для справки|sample|например|предполагаем[а-яё]*|должен быть|should be");
-const FENCE_RE = /```/;
-/** Тулы, чей успех означает "что-то реально исполнилось". */
-const EXEC_TOOLS = new Set(["bash", "process_wait", "pipeline_run"]);
-/**
- * Возвращает противоречие, если ответ показывает вывод как результат запуска,
- * но ни один exec-тул в окне доказательств успешно не отработал.
- */
-export function checkUnverifiedOutput(response, tools) {
-    if (!response || !OUTPUT_AS_RESULT_RE.test(response))
-        return null;
-    if (OUTPUT_HEDGE_RE.test(response))
-        return null;
-    if (!FENCE_RE.test(response))
-        return null;
-    const recent = tools.filter((t) => t.text?.trim()).slice(-10);
-    const executed = recent.some((t) => t.ok === true && t.name !== undefined && EXEC_TOOLS.has(t.name));
-    if (executed)
-        return null;
-    const m = response.match(OUTPUT_AS_RESULT_RE);
-    return {
-        tool: "no-execution",
-        snippet: `claimed "${m?.[0] ?? "output"}" with no successful execution tool in evidence`,
-    };
-}