AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Extension of nom to trace parser execution
Observability utilities for UCP
Tracing, metrics, and observability for Torvyn
eBPF-based observability for AI agent sessions, prompts, process trees, files, network activity, and token usage.
JIT compilation for Axonml tensor operations
Embedded database for serverless and edge runtimes, storing data as Parquet on S3
Cross-language telemetry helpers with privacy, resilience, and OTLP support.
Emit diagnostic events to the OpenTelemetry SDK.
A concurrent garbage collected arena
Derive support for the sandpit GC
A1 — The cryptographic identity and authorization layer that turns anonymous AI agents into accountable, verifiable entities. One Identity. Full Provenance.
A tracer for Active Record queries
ActiveRecord OpenTracing tracer