VAILS
VDOM AI Learning System. Один бинарник: интерактивный REPL, поверхности REST и WebSocket, оркестратор LLM, движок Prolog и онтологии, решатель CP-SAT, автономные агенты — всё доступно из языка VVL.
Истоки VAILS
Истоки VAILS восходят к размышлениям, начатым ещё в 1990-х годах, о нейронных сетях, языке и механизмах интеллекта. Изучив системы генерации текста на основе семантических графов, Николя Корбулевски в 2006 году разрабатывает технологию W.H.O.L.E. — Web Hyper Object Linking and Embedding, — призванную моделировать и изучать связи между понятиями.
Именно на этой основе родилась V.A.I.L.S. — VDOM Artificial Intelligence Learning System, — архитектура, объединяющая обучение, диалог и генерацию контента. Задолго до появления моделей типа Transformer VAILS уже опиралась на одну интуицию: интеллект рождается из растущей сложности связей между знаниями и их способности к самоорганизации.
И сегодня мы заново изобретаем велосипед в каждом ИИ-проекте — из-за отсутствия сервера искусственного интеллекта, тогда как у любого проекта есть сервер баз данных. И из-за отсутствия языка, способного нативно работать с семантическими понятиями напрямую через символику. Именно это и делает VVL.
Именно благодаря серверу нового типа можно наконец перейти к настоящему созданию нативных ИИ-приложений.
Семь подсистем, одна крыша
Сервер VAILS объединяет под одной памятью слои, которые раньше разрозненно делили между микросервисами, скриптами и тетрадями: core, distributed, knowledge, compute, agents, vapp и voice. Запуск в виде REPL, скрипта .vvl, демона, через REST или WebSocket — в зависимости от выбранной поверхности.
Интерактивный REPL
Чтение-вычисление-печать на двух языках. Пошаговая трассировка, переключение через :vvl / :prolog.
REST API
Любая конечная точка VVL становится HTTP. :gateway on открывает публичный туннель для демонстраций и вебхуков.
Оркестратор LLM
Подключён к провайдерам (OpenAI, Anthropic, локальные). Мемоизированный кэш, нечувствительный к порядку, повтор с ~>. В режиме jev модель решений Jev сначала принимает типизированные решения (~0,4 с); если она сомневается, подключается LLM.
Движок Prolog
Первый класс. obj-assert проецирует любой экземпляр VVL в факты. Треугольник LLM ↔ ОО ↔ Prolog.
Онтологическая система
37 встроенных. Типизированные схемы, приоритетные правила, infer-fixpoint, эфемерные миры с авто-восстановлением.
Решатель CP-SAT и планирование
Подмножество VVL, скомпилированное в OR-Tools. 12 форм тела, 3 типа решений, диагностика why-infeasible; DSL planning:* (задачи, ресурсы, горизонт, гео).
Автономные агенты
Три уровня автономии: сгенерированная лямбда @, цикл ReAct [agent], мультиагентная оркестрация [architect] — ~99% сгенерированного кода синтаксически корректны. В режиме jev судья [agent] и проверки [architect] проходят через Jev.
Серверные автоматизации
Опциональные модули: подписанный PDF/Factur-X, Office COM, OCR и vision, Selenium, Gmail/Calendar, MCP и коннекторы плагинов, клиенты ProSuite/Tekitisy/VDOM.
Кластер распределённых вычислений
Master хранит код с адресацией по отпечатку, задания и аренды; воркеры забирают шарды, проверяют код и выполняют его в изолированной ВМ. Восстановление, drain, аудит и горячая копия входят в протокол.
Нативная ВМ
Виртуальная машина на Rust выполняет чистое подмножество языка. Каждая скомпилированная программа показывает своё покрытие: что нативно, что уходит к хосту — входное условие кластера.
Реестр смарт-контрактов
Транзакционный реестр, встроенный в сервер: каждый вызов контракта — это связанный в цепочку и подписанный блок (SQLite, Ed25519). [ledger:verify] повторно воспроизводит всю историю; реплики кластера повторно выполняют и удостоверяют её; консоль администрирования отображает блоки, состояние и якоря.
VScript и подписанные плагины
Песочничный встроенный язык (модернизированный VBScript, Tier 1/3), вызываемый через [vscript "..."]; внешние расширения, подписанные Ed25519 с цепочкой доверия.