VAILS
VDOM AI Learning System. Един бинарник: интерактивен REPL, повърхности REST и WebSocket, оркестратор на LLM, Prolog и онтологичен двигател, CP-SAT решател, автономни агенти — всичко достъпно от езика VVL.
Произходът на VAILS
Произходът на VAILS се корени в размисли, започнати още през 90-те години, върху невронните мрежи, езика и механизмите на интелигентността. След като изучава системи за генериране на текст, базирани на семантични графи, Никола Корбулевски разработва през 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 отваря публичен тунел за демонстрации и webhooks.
Оркестратор на LLM
Свързан с доставчиците (OpenAI, Anthropic, локални). Мемоизиран кеш, нечувствителен към реда, retry с ~>. В режим 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 и верига на доверие.