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
23
24
25
26
27
28
29
30
31

//! §Fase 35 — the `axonstore` cognitive data plane runtime.
//!
//! `axonstore` is reframed in Fase 35 from an ignored declaration into
//! a load-bearing runtime primitive: a persistent relation that is
//! epistemically typed, audit-chained by construction, streamable, and
//! capability-secured (the plan vivo's four pillars).
//!
//! This module is built **Rust-canonical** per the 0-Python strategic
//! direction — the Python `axon/runtime/store_backends/` modules are
//! the historical reference this cycle learns from, frozen.
//!
//! # Sub-module map (sequenced per the plan vivo §5)
//!
//! - [`filter`] — 35.b — the parameterized `where`-expression filter
//!   compiler. SQL-injection-proof by construction (D4).
//! - `postgres_backend` — 35.c — the `sqlx::PgPool` SQL substrate.
//! - `registry` — 35.d — closed-catalog `store_name` → backend dispatch.
//! - `epistemic` — 35.g — Pillar I, the ESK trust lattice join.
//! - `audit_chain` — 35.h — Pillar II, the HMAC-Merkle mutation chain.
//! - `row_stream` — 35.i — Pillar III, `retrieve` as a `Stream<Row>`.

pub mod audit_chain;
pub mod capability;
pub mod epistemic;
pub mod filter;
pub mod introspect_cli;
pub mod postgres_backend;
pub mod registry;
pub mod pin_observability;
pub mod row_stream;
pub mod store_conn;