micro-models-agent 2.16.1 → 2.17.2

package/dist/modules/hallucination/confidence.js

@@ -1,81 +0,0 @@
-import { t } from "../../i18n/index";
-const MIN_CHARS = 1;
-/** Оба ответа должны быть не короче — короткий честный ответ ("Готово.") дважды
- *  подряд не деградация и не должен жечь hallucination-retry. */
-const MIN_REPEAT_CHARS = 120;
-const MIN_REPEAT_WORDS = 20;
-/** Пересечение слов выше порога считается повтором (было 0.5). */
-const REPEAT_OVERLAP_THRESHOLD = 0.8;
-/** Проверка уверенности: пустой ответ, дословный повтор, низкая diversity. */
-export class ConfidenceCheck {
-    previousResponse = "";
-    /** Запоминает предыдущий ответ для детекции повторов. */
-    setPreviousResponse(response) {
-        this.previousResponse = response;
-    }
-    /** Валидирует ответ: retry на пустоту/повтор, warn на низкую diversity, иначе pass. */
-    validate(response) {
-        if (!response || response.length < MIN_CHARS) {
-            return {
-                status: "retry",
-                kind: "short",
-                reason: t("hall.short_response"),
-            };
-        }
-        // Короткие реплики не флагуются: приветствие, скупое подтверждение или
-        // однострочник — валидный ответ. Реальное усечение ловит finish_reason
-        // провайдера ("length"), пустоту — retry выше.
-        const wordCount = response.split(/\s+/).filter(Boolean).length;
-        // Языконезависимо: детекция повторов по пересечению слов. Флагуем только
-        // если ОБА ответа содержательные — короткий ответ после длинного (или два
-        // коротких) не цикл.
-        if (this.previousResponse) {
-            const prevWords = this.previousResponse.split(/\s+/).filter(Boolean).length;
-            const bothSubstantive = response.length >= MIN_REPEAT_CHARS &&
-                this.previousResponse.length >= MIN_REPEAT_CHARS &&
-                wordCount >= MIN_REPEAT_WORDS &&
-                prevWords >= MIN_REPEAT_WORDS;
-            if (bothSubstantive) {
-                const overlap = this.calculateOverlap(response, this.previousResponse);
-                if (overlap > REPEAT_OVERLAP_THRESHOLD) {
-                    return {
-                        status: "retry",
-                        kind: "repetition",
-                        reason: t("hall.repetitive", { pct: Math.round(overlap * 100) }),
-                    };
-                }
-            }
-        }
-        // Языконезависимо: очень низкая diversity слов (одни и те же слова по кругу)
-        const words = response
-            .toLowerCase()
-            .split(/\s+/)
-            .filter((w) => w.length > 2);
-        if (words.length >= 10) {
-            const unique = new Set(words);
-            const diversity = unique.size / words.length;
-            if (diversity < 0.25) {
-                return {
-                    status: "warn",
-                    kind: "diversity",
-                    reason: t("hall.repetitive", {
-                        pct: Math.round((1 - diversity) * 100),
-                    }),
-                };
-            }
-        }
-        return { status: "pass" };
-    }
-    calculateOverlap(a, b) {
-        const wordsA = new Set(a.toLowerCase().split(/\s+/).filter(Boolean));
-        const wordsB = new Set(b.toLowerCase().split(/\s+/).filter(Boolean));
-        const smaller = Math.min(wordsA.size, wordsB.size);
-        if (smaller === 0)
-            return 0;
-        let matches = 0;
-        for (const w of wordsB)
-            if (wordsA.has(w))
-                matches++;
-        return matches / smaller;
-    }
-}

package/dist/modules/hallucination/consistency.js

@@ -1,37 +0,0 @@
-/** Проверка консистентности: решения, созданные/удалённые файлы сессии. */
-export class ConsistencyCheck {
-    decisions = [];
-    createdFiles = new Set();
-    deletedFiles = new Set();
-    /** Запоминает решение агента. */
-    trackDecision(decision, location) {
-        this.decisions.push({ decision, location });
-    }
-    /** Отмечает созданный файл (снимает с него флаг удалённого). */
-    trackCreatedFile(path) {
-        this.createdFiles.add(path);
-        // Удаление с последующим пересозданием снимает флаг — иначе wasFileDeleted()
-        // считает файл пропавшим и после delete+create.
-        this.deletedFiles.delete(path);
-    }
-    /** Отмечает удалённый файл. */
-    trackDeletedFile(path) {
-        this.deletedFiles.add(path);
-    }
-    /** Все созданные файлы. */
-    getCreatedFiles() {
-        return Array.from(this.createdFiles);
-    }
-    /** Все удалённые файлы. */
-    getDeletedFiles() {
-        return Array.from(this.deletedFiles);
-    }
-    /** Все отслеживаемые решения. */
-    getDecisions() {
-        return this.decisions;
-    }
-    /** True, если есть хоть одно решение. */
-    hasDecisions() {
-        return this.decisions.length > 0;
-    }
-}

package/dist/modules/hallucination/detector.js

@@ -1,57 +0,0 @@
-// Оркестратор проверок галлюцинаций: confidence → factual → LLM-судья.
-import { ConsistencyCheck } from "./consistency";
-import { ConfidenceCheck } from "./confidence";
-import { FactualCheck } from "./factual";
-import { LLMJudge } from "./llm-judge";
-/** Детектор галлюцинаций: объединяет проверки уверенности, фактов и LLM-судью. */
-export class HallucinationDetector {
-    consistency;
-    confidence;
-    factual;
-    judge;
-    constructor(baseDir, llmProvider, options) {
-        this.consistency = new ConsistencyCheck();
-        this.confidence = new ConfidenceCheck();
-        this.factual = baseDir ? new FactualCheck(baseDir) : null;
-        // Судья opt-out: работает только если передан провайдер И вызывающий явно
-        // его не отключил (главный агент отключает по умолчанию через
-        // config.hallucination.judge.enabled).
-        const judgeEnabled = options?.judgeEnabled ?? true;
-        this.judge = llmProvider && judgeEnabled ? new LLMJudge(llmProvider) : null;
-    }
-    /** Доступ к проверке консистентности (решения, созданные/удалённые файлы). */
-    getConsistencyCheck() {
-        return this.consistency;
-    }
-    /** Доступ к проверке уверенности (повторы, diversity). */
-    getConfidenceCheck() {
-        return this.confidence;
-    }
-    /** Добавляет файлы, известные из сводок компакции, в фактическую проверку. */
-    addKnownFiles(files) {
-        this.factual?.addKnownFiles(files);
-    }
-    /** Валидирует ответ: retry/block уверенности → факты → LLM-судья + warn-агрегация. */
-    async validate(response) {
-        const confidenceResult = this.confidence.validate(response);
-        if (confidenceResult.status === "retry" || confidenceResult.status === "block") {
-            return confidenceResult;
-        }
-        const deletedFiles = new Set(this.consistency.getDeletedFiles());
-        const factualResult = this.factual?.validate(response, deletedFiles);
-        if (factualResult && factualResult.status !== "pass") {
-            return factualResult;
-        }
-        // Судья по консистентности (LLM): быстрый путь (нет решений) — без LLM-вызова.
-        const judgeResult = this.judge ? await this.judge.validate(response, this.consistency) : null;
-        const warnings = [];
-        if (judgeResult && judgeResult.status === "warn")
-            warnings.push(judgeResult.reason || "");
-        if (confidenceResult.status === "warn")
-            warnings.push(confidenceResult.reason || "");
-        if (warnings.length > 0) {
-            return { status: "warn", reason: warnings.join("; ") };
-        }
-        return { status: "pass" };
-    }
-}

package/dist/modules/hallucination/factual.js

@@ -1,205 +0,0 @@
-// Фактическая проверка: упомянутые в ответе пути файлов против диска и индекса.
-import { existsSync, readdirSync } from "fs";
-import { resolve, isAbsolute, join } from "path";
-import { t } from "../../i18n/index";
-import { extractFileLikeTokens, stripUrls } from "./js-identifiers";
-import { HALLUCINATION_NAME_CACHE_TTL_MS, HALLUCINATION_RESCAN_COOLDOWN_MS, } from "../../config/timeouts";
-/** Генерированные/кэшированные каталоги — пропускаем при поиске голых имён. */
-const IGNORED_DIRS = new Set([
-    "node_modules",
-    ".git",
-    "dist",
-    "build",
-    "coverage",
-    ".mma",
-    "_testing",
-]);
-/** Проверка фактов: упомянутые файлы существуют на диске/в индексе, иначе warn. */
-export class FactualCheck {
-    baseDir;
-    nameCache = null;
-    nameCacheTime = 0;
-    lastRescan = 0;
-    static NAME_CACHE_TTL_MS = HALLUCINATION_NAME_CACHE_TTL_MS;
-    static RESCAN_COOLDOWN_MS = HALLUCINATION_RESCAN_COOLDOWN_MS;
-    static MAX_INDEXED_FILES = 20_000;
-    /** Файлы, известные из сводок компакции — переживают сбросы контекста. */
-    knownFiles = new Set();
-    constructor(baseDir) {
-        this.baseDir = baseDir;
-    }
-    /** Добавляет пути, известные из сводок компакции. Проверяются раньше скана ФС:
-     *  голые имена из уплотнённых ходов узнаются, даже если каталог в IGNORED_DIRS. */
-    addKnownFiles(files) {
-        for (const f of files)
-            this.knownFiles.add(f);
-    }
-    /**
-     * Валидирует пути файлов в ответе: warn со списком отсутствующих, иначе pass.
-     * @param response текст ответа модели; @param deletedFiles уже удалённые (не флагуются).
-     */
-    validate(response, deletedFiles) {
-        const filePaths = this.extractFilePaths(response);
-        if (filePaths.length === 0)
-            return { status: "pass" };
-        const deletedBasenames = deletedFiles
-            ? new Set([...deletedFiles].map((p) => p.split(/[/\\]/).pop() ?? p))
-            : undefined;
-        const nonExistent = [];
-        for (const fp of filePaths) {
-            if (deletedBasenames?.has(fp))
-                continue;
-            if (!this.pathExists(fp)) {
-                nonExistent.push(fp);
-            }
-        }
-        if (nonExistent.length > 0) {
-            return {
-                status: "warn",
-                reason: t("hall.unknown_paths", {
-                    paths: nonExistent.slice(0, 5).join(", "),
-                }),
-            };
-        }
-        return { status: "pass" };
-    }
-    /**
-     * Голые имена ("bikes.json") и относительные пути ("src/data/bikes.json")
-     * садятся на дерево проекта. Абсолютные проверяются как есть.
-     */
-    pathExists(fp) {
-        if (isAbsolute(fp))
-            return existsSync(fp);
-        // Сначала известные файлы из сводок компакции
-        if (this.knownFiles.has(fp))
-            return true;
-        for (const cand of this.dotfileVariants(fp)) {
-            if (this.knownFiles.has(cand))
-                return true;
-            if (existsSync(resolve(this.baseDir, cand)))
-                return true;
-        }
-        // "foo.json" без каталога — голое имя, которое может жить где угодно под
-        // baseDir (напр. src/data/bikes.json). Резолв только от корня давал ложные
-        // "unknown file".
-        if (!fp.includes("/") && !fp.includes("\\")) {
-            return this.bareNameExists(fp);
-        }
-        return false;
-    }
-    /**
-     * Токен-regex не якорит ведущую точку (`\b` не матчится между не-словом и
-     * `.`), поэтому дотфайлы (.prettierrc.json, .env, …) извлекаются как
-     * "prettierrc.json". Перед вердиктом "нет файла" пробуем basename с точкой,
-     * "src/config.json" даёт и "src/.config.json", а "mma/index-cache.json" —
-     * и ".mma/index-cache.json" (родители с точкой).
-     */
-    dotfileVariants(fp) {
-        const variants = [fp];
-        const sep = fp.includes("\\") ? "\\" : "/";
-        const parts = fp.split(sep);
-        // Пробуем basename с точкой (старая логика)
-        const base = parts[parts.length - 1];
-        if (!base.startsWith(".")) {
-            const withDotBase = [...parts.slice(0, -1), `.${base}`].join(sep);
-            variants.push(withDotBase);
-        }
-        // Пробуем точку на каждом родительском компоненте
-        for (let i = 0; i < parts.length - 1; i++) {
-            if (!parts[i].startsWith(".")) {
-                const dotted = [...parts.slice(0, i), `.${parts[i]}`, ...parts.slice(i + 1)].join(sep);
-                if (!variants.includes(dotted))
-                    variants.push(dotted);
-            }
-        }
-        return variants;
-    }
-    bareNameExists(name) {
-        for (const cand of this.dotfileVariants(name)) {
-            if (existsSync(resolve(this.baseDir, cand)))
-                return true;
-            if (this.indexHas(cand))
-                return true;
-            // Известные файлы: голое имя может совпасть с полным путём из компакции
-            for (const known of this.knownFiles) {
-                if (known.endsWith(`/${cand}`) || known.endsWith(`\\${cand}`) || known === cand) {
-                    return true;
-                }
-            }
-        }
-        // Имя файла может содержать пробел: «отчёт 1.txt» извлекается токеном
-        // «1.txt». Прежде чем объявлять файл отсутствующим, проверяем, не
-        // заканчивается ли какое-то известное имя на « 1.txt».
-        const spaceName = ` ${name}`;
-        for (const known of this.knownFiles) {
-            if (known.endsWith(spaceName))
-                return true;
-        }
-        for (const key of this.getNameIndex().keys()) {
-            if (key.endsWith(spaceName))
-                return true;
-        }
-        // write_file текущей сессии мог создать файл после сборки индекса.
-        // Перед warn — разовый рескан (rate-limited).
-        const now = Date.now();
-        if (now - this.lastRescan < FactualCheck.RESCAN_COOLDOWN_MS)
-            return false;
-        this.lastRescan = now;
-        this.nameCache = null;
-        this.nameCacheTime = 0;
-        return this.indexHas(name);
-    }
-    indexHas(name) {
-        return (this.getNameIndex().get(name)?.length ?? 0) > 0;
-    }
-    /**
-     * Индекс basename → пути, пересборка каждые NAME_CACHE_TTL_MS, чтобы новые
-     * файлы (write_file) подхватывались без полного скана на каждый ответ.
-     */
-    getNameIndex() {
-        const now = Date.now();
-        if (this.nameCache && now - this.nameCacheTime < FactualCheck.NAME_CACHE_TTL_MS) {
-            return this.nameCache;
-        }
-        const index = new Map();
-        const scanned = this.scanDir(this.baseDir, index, 0);
-        if (scanned > 0 || index.size > 0) {
-            this.nameCache = index;
-            this.nameCacheTime = now;
-        }
-        return index;
-    }
-    scanDir(dir, index, count) {
-        if (count >= FactualCheck.MAX_INDEXED_FILES)
-            return count;
-        let entries;
-        try {
-            entries = readdirSync(dir, { withFileTypes: true });
-        }
-        catch {
-            return count;
-        }
-        for (const entry of entries) {
-            if (count >= FactualCheck.MAX_INDEXED_FILES)
-                break;
-            const full = join(dir, entry.name);
-            if (entry.isDirectory()) {
-                if (!IGNORED_DIRS.has(entry.name)) {
-                    count = this.scanDir(full, index, count);
-                }
-            }
-            else if (entry.isFile()) {
-                const list = index.get(entry.name);
-                if (list)
-                    list.push(full);
-                else
-                    index.set(entry.name, [full]);
-                count++;
-            }
-        }
-        return count;
-    }
-    extractFilePaths(text) {
-        return extractFileLikeTokens(stripUrls(text));
-    }
-}

package/dist/modules/hallucination/index.js

@@ -1,6 +0,0 @@
-// Детектор галлюцинаций: реэкспорт проверок (консистентность, уверенность, факты, LLM-судья).
-export { HallucinationDetector } from "./detector";
-export { ConsistencyCheck } from "./consistency";
-export { ConfidenceCheck } from "./confidence";
-export { FactualCheck } from "./factual";
-export { LLMJudge } from "./llm-judge";

package/dist/modules/hallucination/js-identifiers.js

@@ -1,261 +0,0 @@
-/**
- * JS/TS-глобалы, чей member access (`process.env`, `console.log`, `Math.max`)
- * похож на путь к файлу для `\b[\w./\\-]+\.[a-z]+\b`-regex'ов, но является
- * кодом, а не файлом. Общий для фактической проверки галлюцинаций и аудитора
- * исполнения — оба перестают флаговать member access как "потерянные файлы".
- *
- * Здесь же общий фильтр "этот токен вообще файл?"
- * (`isFilePathLike` / `extractFileLikeTokens` / `stripUrls`), чтобы два
- * экстрактора не расходились (было: аудитор считал hostname URL
- * `whom-pointing-jewel-maine.trycloudflare.com` в шаге плана потерянным
- * файлом, а фактическая проверка корректно игнорировала).
- *
- * Голые токены `word.ext` гейтятся allow-list'ом реальных расширений
- * (`FILE_EXTENSIONS`), а не deny-list'ом TLD — домен в любом нынешнем или
- * будущем TLD (`Gismeteo.by`, `weather.com`, `example.xyz`) никогда не
- * спутается с файлом, и список TLD вести не нужно.
- */
-const JS_GLOBALS = new Set([
-    "process",
-    "console",
-    "math",
-    "json",
-    "global",
-    "globalthis",
-    "window",
-    "document",
-    "buffer",
-    "module",
-    "require",
-    "exports",
-    "url",
-    "promise",
-    "array",
-    "object",
-    "string",
-    "number",
-    "boolean",
-    "symbol",
-    "date",
-    "regexp",
-    "error",
-    "map",
-    "set",
-    "weakmap",
-    "weakset",
-    "proxy",
-    "reflect",
-    "intl",
-    "crypto",
-    "performance",
-    "fetch",
-    "navigator",
-    "location",
-    "settimeout",
-    "setinterval",
-    "cleartimeout",
-    "clearinterval",
-    "queuemicrotask",
-    "structuredclone",
-    "textencoder",
-    "textdecoder",
-    "atomics",
-    "sharedarraybuffer",
-    "dataview",
-    "arraybuffer",
-    "bigint",
-    "infinity",
-    "nan",
-    "undefined",
-    "bun",
-    "deno",
-    "node",
-]);
-/**
- * True, если `candidate` начинается с известного JS/TS-глобала и точки
- * (`process.env`, `console.log`, частичные совпадения `process.env.NODE`
- * от `\b[\w./\\-]+\.[a-z]+`-regex'ов) — member access, не путь к файлу.
- */
-export function isJsMemberAccess(candidate) {
-    const lower = candidate.toLowerCase();
-    const m = lower.match(/^([\w-]+)\./);
-    return m !== null && JS_GLOBALS.has(m[1]);
-}
-/**
- * Расширения, делающие голый токен `word.ext` похожим на путь к файлу.
- *
- * Allow-list осознанно: перечислять всё, что НЕ файл (TLD, бренды, …) —
- * хрупкая эвристика, которая никогда не полна. Вместо этого голый `word.ext`
- * считается файлом только при известном расширении — так `Gismeteo.by`,
- * `weather.com` и любой будущий TLD не флагуются, а настоящие
- * `config.json` / `helper.ts` — да.
- */
-const FILE_EXTENSIONS = new Set([
-    // исходники / код
-    "ts",
-    "tsx",
-    "js",
-    "jsx",
-    "mjs",
-    "cjs",
-    "py",
-    "pyc",
-    "rb",
-    "go",
-    "rs",
-    "java",
-    "jar",
-    "kt",
-    "kts",
-    "c",
-    "h",
-    "cc",
-    "cpp",
-    "cxx",
-    "hpp",
-    "hh",
-    "cs",
-    "php",
-    "swift",
-    "m",
-    "mm",
-    "lua",
-    "pl",
-    "sh",
-    "bash",
-    "zsh",
-    "fish",
-    "bat",
-    "cmd",
-    "ps1",
-    "vue",
-    "svelte",
-    "dart",
-    // конфиги / данные / доки
-    "json",
-    "jsonc",
-    "json5",
-    "yaml",
-    "yml",
-    "toml",
-    "ini",
-    "cfg",
-    "conf",
-    "env",
-    "xml",
-    "drawio",
-    "html",
-    "htm",
-    "md",
-    "markdown",
-    "rst",
-    "txt",
-    "log",
-    "csv",
-    "tsv",
-    "lock",
-    "sql",
-    "sqlite",
-    "db",
-    "wasm",
-    "map",
-    "css",
-    "scss",
-    "sass",
-    "less",
-    // ассеты / бинарники
-    "svg",
-    "png",
-    "jpg",
-    "jpeg",
-    "gif",
-    "webp",
-    "bmp",
-    "ico",
-    "avif",
-    "tiff",
-    "pdf",
-    "doc",
-    "docx",
-    "xls",
-    "xlsx",
-    "ppt",
-    "pptx",
-    "odt",
-    "ods",
-    "zip",
-    "gz",
-    "tar",
-    "tgz",
-    "bz2",
-    "xz",
-    "7z",
-    "rar",
-    "bin",
-    "exe",
-    "dll",
-    "so",
-    "o",
-    "a",
-    "dylib",
-]);
-/** Известные рантаймы/библиотеки на .js/.ts, которые НЕ файлы. */
-const TECH_NAMES = new Set([
-    "node.js",
-    "react.js",
-    "vue.js",
-    "next.js",
-    "angular.js",
-    "express.js",
-    "deno.js",
-    "qwik.js",
-    "svelte.js",
-    "jquery.js",
-]);
-const FILE_TOKEN_RE = /\b(?:[a-zA-Z]:[\\/])?[\w./\\-]+\.[a-z]{1,6}\b/gi;
-/**
- * True, если `candidate` — правдоподобный токен пути: у пути с разделителем
- * последний сегмент обязан нести непустой stem перед расширением (сегменты
- * только из расширения вроде `tsx/.ts` отбрасываются), а голый `word.ext` —
- * файл только при известном расширении (домены `Gismeteo.by` / `weather.com`
- * — никогда файлы). JS member access (`process.env`) и техно-имена
- * (`node.js`) — никогда файлы.
- */
-export function isFilePathLike(s) {
-    const lower = s.toLowerCase();
-    if (TECH_NAMES.has(lower))
-        return false;
-    if (isJsMemberAccess(s))
-        return false;
-    const ext = s.split(".").pop()?.toLowerCase() || "";
-    if (!s.includes("/") && !s.includes("\\")) {
-        if (!/^\w+\.[a-z]{1,6}$/i.test(s))
-            return false;
-        return FILE_EXTENSIONS.has(ext);
-    }
-    // Токены с разделителем: требуем у ПОСЛЕДНЕГО сегмента настоящее имя
-    // (непустой stem перед расширением). Иначе сегмент только из расширения
-    // вроде "tsx/.ts" (из ".tsx/.ts" в описании шага) или дотфайл ("src/.env")
-    // читается как файл, и deliverable-gate требует "создать tsx/.ts"
-    // (было в ses_mstda6uo: шаг "Проверить что остались только .tsx/.ts файлы").
-    const last = s.split(/[\\/]/).pop() ?? "";
-    const lastDot = last.lastIndexOf(".");
-    if (lastDot <= 0)
-        return false;
-    return true;
-}
-/**
- * Извлекает дедуплицированные файлоподобные токены из свободного текста.
- * Голые `word.ext` фильтруются через `isFilePathLike` (allow-list реальных
- * расширений — хосты/TLD вроде `whom-pointing-jewel-maine.trycloudflare.com`
- * или `Gismeteo.by` не выживают); URL вырезаются заранее, чтобы
- * `https://host/repo.git` не выжил как "файл".
- */
-export function extractFileLikeTokens(text) {
-    const matches = text.match(FILE_TOKEN_RE) || [];
-    return [...new Set(matches.filter(isFilePathLike))];
-}
-/** Вырезает URL (scheme://… до пробела/кавычки), чтобы они не парсились как пути. */
-export function stripUrls(text) {
-    return text.replace(/\bhttps?:\/\/[^\s"'<>]+/gi, " ");
-}