Crate calybris_core 

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

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;

Modules

budget

Per-tenant atomic budget engine with CAS reservation. Atomic budget engine with CAS (compare-and-swap) reservation management.

digest

Canonical SHA-256 digests for audit binding. Canonical SHA-256 digests for cross-platform audit binding.

finance

Fixed-point financial layer: ledger digest and conservation proofs. Fixed-point financial proofs for pre-trade budget and exposure guards.

kernel

Allocation-free prescriptive decision kernel. Allocation-free prescriptive decision kernel.

verify

Decision verification, replay, and correctness certificates. Decision verification, replay, and correctness certificates.

wal

HMAC-SHA256 hash-chained write-ahead log. Hash-chained Write-Ahead Log — tamper-evident, crash-detecting.