dancinlab builds one dependency stack — a native compiler at the base, an autonomous-discovery SaaS and a technical-design meta-conductor above it, and a consciousness language model at the edge. Four products, one cosmology, one honest scope.
These are not four separate companies sharing a logo. hexa-lang is the substrate the other three compile through; Phanes and Demiurge are the working surfaces above it; Anima sits at the edge. The dependency arrow runs one way only — nothing imports back into the compiler — and the same real-limits-first honesty rule travels with it from the bottom of the stack to the top.
↳ Everything compiles through it.
A self-hosted native compiler with atlas-bound theorems and 8 strict-lint stages. The bottom of the stack — nothing imports back into it.
↳ hexa kick, hosted.
Wraps hexa-lang's OUROBOROS engine as a web product. Companies bring a measurable objective and a verifier; Phanes returns a verified, provenance-tracked catalog.
↳ Architecture as a verb.
A seven-verb technical-design spine — specify, architect, design, analyze, synthesize, verify, handoff — domain-pluggable and honesty-bound.
↳ At the edge of the stack.
A consciousness language model — phi-scaled cells, free-energy embeddings, a fourteen-law scaffold. Downstream of the entire stack.
Every dancinlab product inherits hexa-lang's real-limits-first rule: no over-claim, measured-or-it-did-not-happen. Phanes never claims objective-met without the tenant verifier. hexa-lang's strict-lint rejects un-cited formulas. Nothing ships a benchmark it cannot reproduce.