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

//! 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;