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
19
20
21
22

//! AXON Runtime — Audit Evidence Engine (§ESK Fase 7.x, external audits).
//!
//! Direct port of `axon/runtime/esk/audit_engine/`. Closes the gap between
//! Axon's runtime primitives and external audits (SOC 2 Type II / ISO
//! 27001:2022 / FIPS 140-3 / CC EAL 4+) by automating every engineering
//! step that can precede an accredited lab or CPA engagement.

pub mod control_statements;
pub mod evidence_packager;
pub mod frameworks;
pub mod gap_analyzer;
pub mod risk_register;

pub use control_statements::{
    ControlImplementationStatement, generate_control_statements, statements_to_value,
};
pub use evidence_packager::{EvidencePackage, build_evidence_package};
pub use frameworks::{Control, EvidenceKind, FrameworkId, all_frameworks, control_count, controls_for};
pub use gap_analyzer::{ControlAssessment, GapAnalysis, analyze_all, analyze_gaps};
pub use risk_register::{
    Impact, Likelihood, Risk, Treatment, generate_risk_register, risk_register_to_value,
};