micro-models-agent 2.16.1 → 2.17.2

package/dist/modules/hallucination/llm-judge.js

@@ -1,116 +0,0 @@
-// LLM-судья консистентности: противоречит ли новый ответ ранним решениям.
-import { t } from "../../i18n/index";
-import { HALLUCINATION_JUDGE_TIMEOUT_MS as JUDGE_TIMEOUT_MS } from "../../config/timeouts";
-const MAX_DECISIONS_SHOWN = 6;
-const MAX_RESPONSE_CHARS = 2000;
-/**
- * Консистентность через LLM-судью. Спрашивает модель, противоречит ли свежий
- * ответ агента его ранним решениям — вместо хрупкой эвристики совпадения слов,
- * ловившей только дословные развороты.
- *
- * Быстрый путь: нет отслеживаемых решений — pass без LLM-вызова.
- * Любой сбой судьи (таймаут, ошибка провайдера, непарсящийся вердикт) —
- * деградация в pass, чтобы цикл агента не блокировался судьёй.
- */
-/** LLM-судья: проверяет новый ответ на противоречие ранним решениям. */
-export class LLMJudge {
-    provider;
-    constructor(provider) {
-        this.provider = provider;
-    }
-    /** Валидирует ответ против решений: warn при противоречии, иначе pass (сбои — тоже pass). */
-    async validate(response, consistency) {
-        const decisions = consistency.getDecisions();
-        if (decisions.length === 0) {
-            return { status: "pass" };
-        }
-        const shown = decisions.slice(-MAX_DECISIONS_SHOWN);
-        const decisionLines = shown
-            .map((d, i) => `${i + 1}. [${d.location || "agent"}] "${d.decision}"`)
-            .join("\n");
-        const system = `You are a consistency checker for an AI coding agent. The agent previously made these decisions:
-
-${decisionLines}
-
-Decide whether the agent's NEW response contradicts any of these decisions. A contradiction means reversing or abandoning a previously stated approach (e.g. switching to a different framework, changing a chosen strategy, or undoing a decision that was explicitly made).
-
-Reply with ONLY valid JSON, no other text:
-- {"contradicts": false}
-- {"contradicts": true, "reason": "short explanation"}`;
-        const user = `Agent's new response:\n\n${response.slice(0, MAX_RESPONSE_CHARS)}`;
-        try {
-            const verdictText = await this.askJudge([
-                { role: "system", content: system },
-                { role: "user", content: user },
-            ]);
-            const verdict = this.parseVerdict(verdictText);
-            if (verdict.contradicts) {
-                const reason = verdict.reason?.trim() ? ` — ${verdict.reason.trim()}` : "";
-                return {
-                    status: "warn",
-                    reason: t("hall.contradiction_llm", { reason }),
-                };
-            }
-            return { status: "pass" };
-        }
-        catch {
-            return { status: "pass" };
-        }
-    }
-    /** Один запрос к судье со сбором текстовых чанков. */
-    async askJudge(messages) {
-        let text = "";
-        const controller = new AbortController();
-        let timer;
-        const consume = (async () => {
-            for await (const chunk of this.provider.chat(messages, [], controller.signal)) {
-                if (chunk.type === "text" && chunk.content) {
-                    text += chunk.content;
-                }
-            }
-            return text;
-        })();
-        // Таймаут может завершить гонку, пока фоновый стрим ещё идёт;
-        // его позднее rejection не должно всплыть как unhandled rejection.
-        consume.catch(() => { });
-        const timeout = new Promise((_, reject) => {
-            timer = setTimeout(() => {
-                controller.abort();
-                reject(new Error("LLM judge timed out"));
-            }, JUDGE_TIMEOUT_MS);
-        });
-        try {
-            return await Promise.race([consume, timeout]);
-        }
-        finally {
-            if (timer)
-                clearTimeout(timer);
-            // Абортим фоновый стрим и на успешном пути, чтобы рано завершившийся
-            // судья не продолжал стримить в фоне.
-            controller.abort();
-        }
-    }
-    /** Парсит вердикт: строгий JSON → терпимый разбор, иначе "не противоречит". */
-    parseVerdict(text) {
-        const block = text.match(/\{[\s\S]*\}/);
-        if (block) {
-            try {
-                const obj = JSON.parse(block[0]);
-                if (typeof obj.contradicts === "boolean") {
-                    return {
-                        contradicts: obj.contradicts,
-                        reason: typeof obj.reason === "string" ? obj.reason : undefined,
-                    };
-                }
-            }
-            catch {
-                // Не парсится строго — ниже терпимый разбор
-            }
-        }
-        const lower = text.toLowerCase();
-        if (lower.includes('"contradicts": true') || /^yes\b/.test(lower.trim())) {
-            return { contradicts: true, reason: text.slice(0, 200) };
-        }
-        return { contradicts: false };
-    }
-}

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

@@ -1,59 +0,0 @@
-/**
- * Проверка заявлений об успехе (ses_muih0ah5): модель объявила "MMA 2.8.0
- * опубликован", а её же тулы показывали `latest: 2.5.0` и 404 на тарболле
- * 2.8.0. Factual-check валидирует только пути файлов, так что сильное
- * заявление об успехе вразрез со свежими доказательствами прошло молча.
- *
- * Полностью детерминирована (regex + флаги успеха тулов, без LLM): сильное
- * заявление о завершении + сигналы ошибок в свежих выводах тулов + отсутствие
- * хеджирования в ответе = противоречие. Точность осознанно смещена в recall —
- * ложное срабатывание стоит одну ограниченную re-check итерацию
- * (MAX_CLAIM_CHECK_RETRIES), пропуск — статус-кво.
- */
-/**
- * Помощник границ слов. `\b`/`\w` в JS — только ASCII, поэтому кириллические
- * окончания (опубликован**а**, ошибк**а**) их не матчат — границы выписаны явно
- * для обоих алфавитов. Lookbehind поддерживают все рантаймы MMA (Node ≥20, Bun).
- */
-const WORD = "A-Za-zА-Яа-яЁё0-9_";
-const wb = (body) => new RegExp(`(?<![${WORD}])(?:${body})(?![${WORD}])`, "i");
-/** Сильные, нехеджированные заявления о завершении (любая локаль агента). */
-const SUCCESS_CLAIM_RE = wb("published|опубликован[а-яё]*|задеплоен[а-яё]*|deployed|shipped|готово|выполнено|завершен[а-яё]*|успешно|success(?:ful(?:ly)?)?|done|completed?|finished|все сделано|всё сделано");
-/** Ответ уже хеджирован — модель учла неопределённость, пропускаем. */
-const HEDGE_RE = wb("may take|being processed|processing|staged|propagat[a-z]*|in progress|shortly|soon|will appear|несколько минут|обрабатывается|застейджен[а-яё]*|подожд[а-яё]*|проверь[а-яё]* позже|появится|пропагир[а-яё]*|кэш[а-яё]*|cach[a-z]*|обычно|typically");
-/** Сигналы ошибок в выводе тулов (узко: коды + явные фейлы). */
-const FAILURE_SIGNAL_RE = new RegExp(`${wb("404|409|40[03]|50\\d|failed|failure|not found|ERR_[A-Z_]+|E(?:404|409|ACCES|PERM|CONNREFUSED|TIMED?OUT)|conflict|denied|ошибка|ошибк[а-яё]*|не найден[а-яё]*|не удалось|отклонено").source}|✗|⛔`, "i");
-const EVIDENCE_WINDOW = 10;
-const EVIDENCE_TEXT_CAP = 400;
-const SNIPPET_MAX_CHARS = 160;
-/**
- * Возвращает противоречащее доказательство, или null если ответ в порядке:
- * нет заявления об успехе, есть хеджирование, или нет сигналов ошибок в свежих тулах.
- */
-export function checkSuccessClaim(response, tools) {
-    if (!response || !SUCCESS_CLAIM_RE.test(response))
-        return null;
-    if (HEDGE_RE.test(response))
-        return null;
-    const recent = tools.filter((t) => t.text?.trim()).slice(-EVIDENCE_WINDOW);
-    // Свежайшее противоречие первым — цитируется самое актуальное доказательство.
-    for (let i = recent.length - 1; i >= 0; i--) {
-        const entry = recent[i];
-        const text = entry.text.slice(0, EVIDENCE_TEXT_CAP);
-        if (entry.ok === false || FAILURE_SIGNAL_RE.test(text)) {
-            const firstLine = text
-                .split("\n")
-                .map((l) => l.trim())
-                .find((l) => l.length > 0);
-            if (!firstLine)
-                continue;
-            return {
-                tool: entry.name || "tool",
-                snippet: firstLine.length > SNIPPET_MAX_CHARS
-                    ? `${firstLine.slice(0, SNIPPET_MAX_CHARS - 1)}…`
-                    : firstLine,
-            };
-        }
-    }
-    return null;
-}

package/dist/modules/index.js

@@ -1,5 +0,0 @@
-export { ModuleRegistry } from "./registry";
-export { SkillsLoader, SkillsModule } from "./skills";
-export { PluginManager } from "./plugins";
-export { PluginLoader } from "./plugins/loader";
-export { MCPClient, MCPRegistry } from "./mcp";

package/dist/modules/indexer/cache.js

@@ -1,88 +0,0 @@
-// Дисковый кэш индекса проекта: envelope с версией, root и сигнатурой дерева.
-import { readFileSync, writeFileSync, existsSync, mkdirSync, rmSync } from "fs";
-import { join } from "path";
-/**
- * Инкремент при смене envelope или формы `IndexResult`: кэши старого MMA
- * считаются протухшими и перестраиваются.
- */
-/** Версия схемы кэша индекса. */
-export const CACHE_VERSION = 2;
-/** Дисковый кэш индекса с валидацией версии/root/сигнатуры. */
-export class IndexCache {
-    cachePath;
-    cache = null;
-    root;
-    signature;
-    constructor(cacheDir, opts = {}) {
-        this.cachePath = join(cacheDir, "index-cache.json");
-        this.root = opts.root;
-        this.signature = opts.signature;
-    }
-    /**
-     * Возвращает кэшированный индекс, только если он описывает текущее дерево.
-     * Отвергает кэш при расхождении версии схемы, сохранённого `root` или
-     * `signature`; легаси-кэш (сырой `IndexResult` без envelope) считается
-     * протухшим. Вызывающие на `null` делают полный обход.
-     */
-    load() {
-        if (this.cache)
-            return this.cache;
-        if (!existsSync(this.cachePath))
-            return null;
-        try {
-            const parsed = JSON.parse(readFileSync(this.cachePath, "utf-8"));
-            if (parsed.version !== CACHE_VERSION || !parsed.result)
-                return null;
-            if (this.root !== undefined && parsed.root !== this.root)
-                return null;
-            if (this.signature && parsed.signature !== this.currentSignature())
-                return null;
-            this.cache = parsed.result;
-            return this.cache;
-        }
-        catch {
-            return null;
-        }
-    }
-    /** Сохраняет результат индекса в кэш (память + диск). */
-    save(result) {
-        this.cache = result;
-        const envelope = {
-            version: CACHE_VERSION,
-            root: this.root ?? "",
-            signature: this.currentSignature(),
-            result,
-        };
-        const dir = join(this.cachePath, "..");
-        if (!existsSync(dir))
-            mkdirSync(dir, { recursive: true });
-        writeFileSync(this.cachePath, JSON.stringify(envelope), "utf-8");
-    }
-    /** Инвалидирует кэш (память + дисковый файл). */
-    invalidate() {
-        this.cache = null;
-        if (existsSync(this.cachePath)) {
-            try {
-                rmSync(this.cachePath);
-            }
-            catch {
-                /* best-effort очистка */
-            }
-        }
-    }
-    /**
-     * Считает сигнатуру дерева защищённо: нечитаемое дерево даёт пустую строку,
-     * которая не совпадёт с сохранённой успешным обходом — битое дерево
-     * инвалидирует кэш, а не вызывает доверие к нему.
-     */
-    currentSignature() {
-        if (!this.signature)
-            return "";
-        try {
-            return this.signature();
-        }
-        catch {
-            return "";
-        }
-    }
-}

package/dist/modules/indexer/index.js

@@ -1,4 +0,0 @@
-// Индекс проекта: реэкспорт вокера, кэша и модуля карты проекта.
-export { Indexer } from "./walker";
-export { IndexCache } from "./cache";
-export { IndexerModule } from "./module";

package/dist/modules/indexer/map-command.js

@@ -1,33 +0,0 @@
-import { t } from "../../i18n/index";
-/**
- * Общая реализация команды карты проекта для `mma map` (CLI) и `/map` (REPL):
- * summary (точный текст из системного промпта), refresh и find.
- */
-export async function runMapAction(module, action, query) {
-    const summary = async () => {
-        const result = await module.buildIndex();
-        if (!result)
-            return { ok: false, output: t("indexer.not_indexed") };
-        return { ok: true, output: module.getPromptMap() ?? t("indexer.not_indexed") };
-    };
-    switch (action) {
-        case "refresh": {
-            const result = await module.refresh();
-            if (!result)
-                return { ok: false, output: t("indexer.not_indexed") };
-            return {
-                ok: true,
-                output: `${t("map.refreshed")}\n${module.getPromptMap() ?? ""}`.trimEnd(),
-            };
-        }
-        case "find": {
-            const q = (query ?? "").trim();
-            if (!q)
-                return { ok: false, output: t("map.find_usage") };
-            await module.buildIndex();
-            return { ok: true, output: module.formatFind(q) };
-        }
-        default:
-            return summary();
-    }
-}

package/dist/modules/indexer/map-select.js

@@ -1,87 +0,0 @@
-import { toForwardSlash } from "../../tools/path-utils";
-import { isCodeLanguage } from "./symbols";
-/** Локфайлы и генерированные манифесты: структурной ценности в карте нет. */
-const NOISE_BASENAMES = new Set([
-    "package-lock.json",
-    "bun.lock",
-    "bun.lockb",
-    "yarn.lock",
-    "pnpm-lock.yaml",
-    "cargo.lock",
-    "go.sum",
-    "composer.lock",
-    "poetry.lock",
-]);
-/** True, если файл — локфайловый шум (не попадает в карту). */
-export function isNoiseFile(file) {
-    const base = toForwardSlash(file.path).split("/").pop()?.toLowerCase() ?? "";
-    return NOISE_BASENAMES.has(base);
-}
-function isTestFile(path) {
-    return (path.startsWith("test/") ||
-        path.startsWith("tests/") ||
-        path.includes("/test/") ||
-        path.includes("/tests/") ||
-        path.includes("__tests__/") ||
-        /\.(test|spec)\.[a-z0-9]+$/i.test(path));
-}
-/** Ниже ранг — полезнее для понимания структуры проекта. */
-function rank(file) {
-    const path = toForwardSlash(file.path).toLowerCase();
-    if (isTestFile(path))
-        return 1;
-    if (isCodeLanguage(file.language))
-        return 0;
-    return 2;
-}
-/** Верхний сегмент пути (`src/core/x.ts` → `src`; файл корня → его имя). */
-function topDir(path) {
-    const normalized = toForwardSlash(path);
-    const slash = normalized.indexOf("/");
-    return slash >= 0 ? normalized.slice(0, slash) : normalized;
-}
-/** Сколько файлов исходного кода под каждым верхнеуровневым каталогом. */
-function codeCountByTopDir(files) {
-    const counts = new Map();
-    for (const file of files) {
-        if (isNoiseFile(file) || rank(file) !== 0)
-            continue;
-        const dir = topDir(file.path);
-        counts.set(dir, (counts.get(dir) ?? 0) + 1);
-    }
-    return counts;
-}
-/**
- * Выбирает файлы для блока карты проекта в промпте.
- *
- * Индекс строится произвольным обходом `readdir`, так что наивный
- * `files.slice(0, N)` может перечислить одни доки, конфиги и тесты, а реальное
- * дерево исходников (`src/`) не показать — модель увидит "карту проекта" без
- * кода. Отбор:
- *   1. выкидывает локфайловый шум,
- *   2. ранжирует исходники выше тестов, тесты выше доков/конфигов,
- *   3. внутри ранга первыми — каталоги с плотнейшим кодом (плотнейший корень
- *      почти всегда настоящее дерево исходников — имён каталогов не захардкожено),
- *   4. затем мельче пути, затем алфавит — детерминированно, чтобы блок не
- *      менялся между ходами и выживал префиксный KV-кэш.
- */
-export function selectMapFiles(files, max) {
-    const codeByDir = codeCountByTopDir(files);
-    return files
-        .filter((file) => !isNoiseFile(file))
-        .sort((a, b) => {
-        const rankDiff = rank(a) - rank(b);
-        if (rankDiff !== 0)
-            return rankDiff;
-        const densityDiff = (codeByDir.get(topDir(b.path)) ?? 0) - (codeByDir.get(topDir(a.path)) ?? 0);
-        if (densityDiff !== 0)
-            return densityDiff;
-        const pathA = toForwardSlash(a.path);
-        const pathB = toForwardSlash(b.path);
-        const depthDiff = pathA.split("/").length - pathB.split("/").length;
-        if (depthDiff !== 0)
-            return depthDiff;
-        return pathA < pathB ? -1 : pathA > pathB ? 1 : 0;
-    })
-        .slice(0, max);
-}