Instalación
Cómo obtener AXON
axon-lang se licencia comercialmente: no es open source ni open core, y no hay un paquete público que instalar. El acceso al compilador pasa por ventas:
Contactar a ventasAbre un chat de WhatsApp con ventas.
Lo que recibes es un binario, axon. El resto de esta página cuenta qué
necesita de la máquina y cuánto cuestan sus características opcionales.
Requisitos previos
| Requisito | Por qué |
|---|---|
| Rust 1.95+ | Es el rust-version de todos los manifiestos. Una toolchain más antigua falla con un error de MSRV, no con un error de compilación. |
| Un compilador de C funcionando (MSVC / clang / gcc) | ring —al que se llega a través de rustls, que es como este compilador habla HTTPS con cada proveedor de modelos— compila C incondicionalmente en su script de build. En Windows bastan las MSVC Build Tools; en Debian o Ubuntu, build-essential. |
Se comprueban en tiempo de build, no de instalación. Si cargo install se
detiene con un error de cc o del enlazador en lugar de un error de Rust, lo
que falta es la toolchain de C.
Características
La instalación por defecto es el compilador y la CLI de gobierno — check,
compile, run, dossier, sbom, audit, pcc prove, pcc verify — y no
añade ninguna dependencia más allá de eso. Todo lo pesado se activa a mano:
| Característica | Qué activa | Qué cuesta |
|---|---|---|
cli (por defecto) | el compilador + la superficie de gobierno | — |
server | el servidor HTTP / SSE / NDJSON / WebSocket, y el binario axon-server | la pila de servicio de axum |
postgres | el plano de datos axonstore contra PostgreSQL real | ~36 crates — la mayor palanca sobre el tiempo de instalación |
documents | la superficie OOXML y axon evidence-package | compresión en Rust puro |
csys-native | los kernels C23: conteo exacto de tokens BPE, la frontera criptográfica | necesita una toolchain de C |
Dejar csys-native apagado es una limitación acotada y etiquetada, no
silenciosa: count_tokens devuelve una estimación en vez de un conteo BPE
exacto, y mandate pierde sus prohibiciones de sesgo de logits de nivel 1 —
mientras que el nivel 2, el bucle de refinamiento que es la garantía, queda
intacto.
Verificar la instalación
axon --version
axon check app.axon
Tanto axon --version como axon version imprimen la misma cadena.