axon-lang 1.38.5

AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `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

//! AXON Runtime — Epistemic Security Kernel (§ESK Fase 6).
//!
//! Direct port of `axon/runtime/esk/`. The ESK sits at the sealed boundary
//! of the runtime and gives every artefact a cryptographic, regulatory,
//! and epistemic identity that external audits (SOC 2 / ISO 27001 / FIPS /
//! CC EAL 4+) can verify without access to Axon internals.
//!
//! Sub-modules:
//!   * `compliance` — canonical κ registry (§Fase 6.1).
//!   * `provenance` — HMAC / Merkle-chained signed envelopes (§Fase 6.2).
//!   * `attestation` — SBOM + ComplianceDossier + in-toto Statement (§Fase 6.6).
//!   * `audit_engine` — gap analysis, risk register, evidence packager.

pub mod attestation;
pub mod audit_engine;
pub mod compliance;
pub mod provenance;