calybris-core 0.3.10

Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
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
32
33
34
35
36
37

//! # Calybris Core
//!
//! Deterministic proof-carrying decision kernel, HMAC-SHA256 hash-chained
//! write-ahead log, CAS atomic budget engine, and fixed-point financial proofs.
//!
//! - **`kernel`**: Allocation-free integer decision kernel (8.6M decisions/sec)
//! - **`verify`**: Canonical digests, replay verification, correctness certificates
//! - **`finance`**: Ledger snapshots and fixed-point conservation proofs for pre-trade guard primitives
//! - **`wal`**: Generic tamper-evident hash-chained WAL with optional HMAC keying
//! - **`budget`**: Per-tenant atomic budget management with conservation invariant
//!
//! ```no_run
//! use calybris_core::kernel::*;
//! use calybris_core::verify::{audit_bundle, verify_decision, VerifyResult};
//! use calybris_core::finance::certify_ledger;
//! use calybris_core::budget::BudgetEngine;
//! #[cfg(feature = "wal")]
//! use calybris_core::wal::WalWriter;
//! ```

#![forbid(unsafe_code)]

mod sync;

/// Per-tenant atomic budget engine with CAS reservation.
pub mod budget;
/// Canonical SHA-256 digests for audit binding.
pub mod digest;
/// Fixed-point financial layer: ledger digest and conservation proofs.
pub mod finance;
/// Allocation-free prescriptive decision kernel.
pub mod kernel;
/// Decision verification, replay, and correctness certificates.
pub mod verify;
/// HMAC-SHA256 hash-chained write-ahead log.
#[cfg(feature = "wal")]
pub mod wal;