Документация RAGRAF — подробно и с доказательствами

Проблематика: почему агенту нельзя доверять память о коде Три измеренных симптома слепого агента, данные VulnGym и LLMxCPG, и пять анти-требований, из которых выросла архитектура RAGRAF. Архитектура: три файла SQLite и ноль инфраструктуры Хранилища, конвейер индексации, конверт ответа, provenance, детерминированные идентификаторы и деградация — как устроен RAGRAF изнутри. Свежесть и дрейф: как индекс не даёт себе врать Иммутабельные ревизии, append-only журнал расхождений, сторож контрольных сумм, метки stale и архивы «что изменилось в знаниях» — главная гарантия RAGRAF.

Установка и первый запуск за 10 минут Windows-установщик и pip-путь, ensure, первая индексация, первый запрос и подключение агента — с реальными числами и типичными граблями. Регламент работы агента: MCP, AGENTS.md и типовые сценарии 23 MCP-инструмента, режимы агента, регламент «спроси индекс, а не grep», и три рабочих сценария с реальным числом вызовов. Админ-панель: каталог, качество, использование, настройки Как устроена локальная панель 127.0.0.1:8777: четыре блока, REST API, токен-гейт мутаций, безопасность и интерактивный эмулятор. CLI: команды, флаги, коды выхода Полный справочник командной строки ragraf: установка, ensure, query, reindex, selftest, порядок глобальных флагов и коды выхода. Диагностика: книга рецептов Симптомы → причины → лечение: установка, индексация, Joern, эмбеддинги, MCP, панель, Windows-специфика. Всё из реальных прогонов и реестра дефектов.

22 операции: полный справочник фасада Каждая операция — назначение, ключевые флаги, что в результате и какие пределы объявляет. Конверт ответа и правила чтения. Конфигурация корпуса: каждый ключ с пояснением Полный разбор YAML-конфига: проект, отбор файлов, секреты, эмбеддинги, индексы, Joern, пороги переиндексации и валидация. CPG-слой: Joern, межпроцедурные вызовы и честная деградация Что добавляет Joern (php2cpg), 12 фактов CPG, backend torch.sparse, контракт degraded и почему отсутствие Joern — не авария, а режим. GPU-вычисления: когда графы и эмбеддинги считают на видеокарте Два GPU-пути RAGRAF (эмбеддинги и тензорный обход графов), измеренные пороги переключения, backend-каскад и честная экономика ускорения.

Замеры и границы: что доказано, а что нет Все опубликованные числа продукта с источниками: навигационные задачи, проверяемость фактов, латентности, индексация — и честный разбор того, чему верить нельзя. Перспективы: что будет дальше и какую пользу это принесёт Roadmap продукта по направлениям: taint-анализ, параллельная индексация, кэш запросов, мультикорпусность, LSP-мост, live A/B-доказательства — с оценкой пользы каждого пункта.