HTML / SSR
Páginas pre-renderizadas más hidratación. Hoy la wiki son 128 páginas tipadas.
Insignia - ya en producción
Un lenguaje. Cada superficie.
GaiaLang es el sustrato de autoría detrás de todo lo que Gaia entrega. Escribes una fuente una vez. El compilador puede emitir página web, UI de terminal, prompt de agente, fila de política, clientes tipados, servicios, workers o módulos de runtime. La misma fuente compacta es legible para humanos y eficiente en tokens para LLMs.
Targets
HTML / SSRUI de terminalPrompt de agenteRegistro del kernelBackends de lenguajeContexto LLM
GaiaLang syntax
The source is readable before it compiles.
GaiaLang pages use a small, highlighted authoring grammar: page metadata, section blocks, lists, tables, wiki links, and embedded script only where logic is needed.
That keeps wiki pages, product specs, prompts, and policy rows understandable to people before
the compiler emits them for Gaia services.
Language backends
One source can lower into whatever runtime the job needs.
GaiaLang is not tied to one output language. The source stays human-readable while emitters can generate TypeScript for apps, Python for workflow glue, Go for services, Rust for runtime modules, or another target when the platform needs it.
Built for LLMs
Token-efficient context by design.
GaiaLang gives agents compact structure instead of dumping loose docs into the prompt. Stable sections, typed metadata, tables, and explicit links let Gaia load only the slice a task needs, preserve cache-friendly prefixes, and turn the same source into prompts, policies, UI, and code.
Por qué existe
La mayoría de stacks tienen cuatro fuentes de verdad. Nosotros tenemos una.
La documentación se aleja del código. Las políticas se alejan del kernel que las aplica. El texto de la UI difiere del prompt del agente que lo explica. GaiaLang trata esto como un error de categoría. El componente, la regla, el prompt y la página no son cosas separadas que hay que mantener sincronizadas. Son una fuente que el compilador baja al target que el trabajo necesita.
Targets de emisión
Escribe una vez. Entrega en todo lo que Gaia corre.
UI de terminal
Árbol JSON de render consumido por clientes de terminal Gaia; otros runtimes pueden emitirse desde la misma fuente.
Prompt de agente
La misma fuente que leen los humanos se vuelve el system prompt de los agentes.
Registro del kernel
Las políticas se vuelven filas. Las decisiones citan las mismas líneas que los humanos ven.
Backends de lenguaje
Emite TypeScript, Python, Go, Rust u otro target cuando un flujo necesita otro runtime.
Contexto LLM
Estructura compacta, metadata tipada y secciones estables mantienen prompts pequeños y cache-friendly.
Tiers hard y soft
La prosa se hot-patchea. El comportamiento se controla.
No todo diff pesa igual. Un typo en un párrafo de política no es un cambio de comportamiento. Una regla nueva en el kernel sí. GaiaLang clasifica cada cambio y lo enruta. El compilador es la puerta, no una reunión.
Prosa dentro de regiones <Soft>
Broadcast de live-patch. Sin rebuild de imagen. Sin deploy. Los clientes toman el parche firmado y hacen hot-swap.
Comportamiento, estructura o reglas del kernel
PR + ratificación en base de datos. El chequeo de lockstep en CI lo marca. Nada corre hasta que se firme.
Los cuatro principios
Qué hace diferente a GaiaLang.
Una fuente. Muchos targets.
El compilador es dueño del lowering. La página de wiki, prompt de agente, UI de terminal, fila de política, cliente tipado, worker y adaptador de servicio pueden salir de la misma fuente.
La wiki es código.
Los docs y el código no divergen porque son el mismo artefacto. Un diff en un párrafo de política o ratifica como texto soft o falla el chequeo de lockstep.
Herencia que solo aprieta.
Los overrides soft pueden estrechar una regla, nunca aflojarla. El compilador refuerza la dirección.
Compilador propio.
Gaia posee el sustrato de autoría. Specs de producto, páginas de wiki, prompts, políticas y artefactos emitidos avanzan juntos bajo un solo compilador.
Entregando hoy
No es un roadmap. Es un build.
128 páginas de wiki compiladas
6 familias de targets
14 tests de integración del compilador
0 enlaces rotos al hacer build
Prueba GaiaLang
Describe el producto. El sustrato hace el resto.
El mismo compilador que mueve la página que estás leyendo mueve cada producto que Gaia entrega. Empieza un proyecto y ya estás encima desde la primera línea.
Solicitar acceso al alpha