calybris_core/lib.rs
1//! # Calybris Core
2//!
3//! Deterministic proof-carrying decision kernel, HMAC-SHA256 hash-chained
4//! write-ahead log, CAS atomic budget engine, and fixed-point financial proofs.
5//!
6//! - **`kernel`**: Allocation-free integer decision kernel (~8.6M prescribe/sec on CodSpeed CI)
7//! - **`verify`**: Canonical digests, replay verification, correctness certificates
8//! - **`receipt`**: Replay-verified receipts binding policy, state, WAL, and signatures
9//! - **`finance`**: Ledger snapshots and fixed-point conservation proofs for pre-trade guard primitives
10//! - **`wal`**: Single-writer hash-chained WAL with HMAC keying and trusted head anchors
11//! - **`budget`**: Per-tenant atomic budget management with conservation invariant
12//! - **`config`**: Runtime configuration with builder ergonomics
13//! - **`builder`**: Builder patterns for `KernelInput`, `KernelModel`, `PolicySnapshot`
14//! - **`persistence`**: Snapshot save/load and crash recovery
15//! - **`async_wal`**: Non-blocking WAL via Tokio (feature `async`)
16//! - **`instrument`**: Structured tracing instrumentation (feature `observability`)
17//!
18//! ```no_run
19//! use calybris_core::kernel::*;
20//! use calybris_core::verify::{audit_bundle, verify_decision, VerifyResult};
21//! use calybris_core::finance::certify_ledger;
22//! use calybris_core::budget::BudgetEngine;
23//! use calybris_core::builder::{InputBuilder, ModelBuilder, PolicyBuilder};
24//! use calybris_core::config::EngineConfig;
25//! #[cfg(feature = "wal")]
26//! use calybris_core::wal::WalWriter;
27//! ```
28
29#![forbid(unsafe_code)]
30
31#[cfg(feature = "serde")]
32mod bounded_io;
33mod sync;
34
35/// Async hash-chained WAL using Tokio.
36#[cfg(feature = "async")]
37pub mod async_wal;
38/// Per-tenant atomic budget engine with CAS reservation.
39pub mod budget;
40/// Builder ergonomics for inputs, models, and policies.
41pub mod builder;
42/// Single proof envelope binding decision to full evidence chain.
43#[cfg(feature = "serde")]
44pub mod certificate;
45/// Runtime configuration and validation.
46pub mod config;
47/// Canonical SHA-256 digests for audit binding.
48pub mod digest;
49/// Fixed-point financial layer: ledger digest and conservation proofs.
50pub mod finance;
51/// Structured tracing instrumentation.
52#[cfg(feature = "observability")]
53pub mod instrument;
54/// Allocation-free prescriptive decision kernel.
55pub mod kernel;
56/// Snapshot persistence and crash recovery.
57#[cfg(feature = "serde")]
58pub mod persistence;
59
60pub mod proof;
61
62#[cfg(feature = "provenance")]
63pub mod provenance;
64
65/// Signed receipt binding a decision to policy, state, and WAL evidence.
66#[cfg(feature = "serde")]
67pub mod receipt;
68
69pub mod state;
70/// Decision verification, replay, and correctness certificates.
71pub mod verify;
72/// HMAC-SHA256 hash-chained write-ahead log.
73#[cfg(feature = "wal")]
74pub mod wal;