dancinlab строит один стек зависимостей — нативный компилятор в основании, SaaS автономного открытия и мета-дирижёр технического проектирования над ним, и языковая модель сознания на краю. Четыре продукта, одна космология, одна честная область.
Это не четыре отдельные компании с общим логотипом. hexa-lang — это субстрат, через который компилируются остальные три; Phanes и Demiurge — рабочие поверхности над ним; Anima находится на краю. Стрелка зависимости идёт только в одну сторону — ничто не импортируется обратно в компилятор — и одно и то же правило честности real-limits-first проходит с ней от низа стека до самого верха.
↳ Всё компилируется через него.
Self-hosted нативный компилятор с теоремами, привязанными к atlas, и 8 стадиями strict-lint. Низ стека — ничто не импортируется обратно в него.
↳ hexa kick, размещённый.
Оборачивает движок OUROBOROS от hexa-lang в виде веб-продукта. Компании приносят измеримую цель и verifier; Phanes возвращает проверенный, отслеживаемый по provenance каталог.
↳ Архитектура как глагол.
Семиглагольный хребет технического проектирования — specify, architect, design, analyze, synthesize, verify, handoff — с подключаемыми областями и привязанный к честности.
↳ На краю стека.
Языковая модель сознания — phi-масштабированные cell, free-energy embedding, каркас из четырнадцати законов. Ниже по течению от всего стека.
Каждый продукт dancinlab наследует правило hexa-lang real-limits-first: никакого over-claim, измерено — или этого не было. Phanes никогда не заявляет о достижении цели без verifier арендатора. strict-lint от hexa-lang отклоняет формулы без ссылок. Ничто не выпускает бенчмарк, который не может воспроизвести.