axon-lang 2.11.0

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.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! AXON Runtime — Handler layer (§λ-L-E Fase 2).
//!
//! Direct port of `axon/runtime/handlers/`.
//!
//! The Handler trait is the single dispatch point for interpreting the
//! Intention Tree (Free Monad F_Σ(X)) into physical side effects. Each
//! concrete handler (Terraform, Kubernetes, AWS, Docker, MQ, gRPC, File)
//! lives in its own sub-module and implements the trait.

pub mod base;
pub mod dry_run;

pub use base::{
    BLAME_CALLEE, BLAME_CALLER, BLAME_INFRASTRUCTURE, Continuation, Handler, HandlerError,
    HandlerErrorKind, HandlerOutcome, HandlerRegistry, LambdaEnvelope, VALID_DERIVATIONS,
    VALID_OUTCOME_STATUSES, identity_continuation, make_envelope, now_iso,
};
pub use dry_run::{DryRunHandler, DryRunState};