Calybris Core v0.3.10

Calybris Core v0.3.10

Deterministic Rust decision kernel with replayable audits, optional WAL, and fixed-point budget proofs.

Highlights

• Deterministic integer-only decision kernel for allow / substitute / reject decisions
• Canonical policy/input/decision/ledger digests for replayable audit binding
• Optional HMAC-keyed hash-chained WAL
• CAS budget reserve/commit/release with conservation checks
• Fixed-point ledger proof and financial certificate helpers
• #![forbid(unsafe_code)]
• Unit tests, proptest, Loom, Miri, clippy, docs.rs, and CI coverage

Notable changes in 0.3.10

Fixed

• top_up_tenant now holds the initial_microcents lock through read, credit, and write, preventing concurrent lost updates.
• conservation_status_for_snapshot uses checked per-tenant sums for adversarial snapshots.
• snapshot_totals uses checked i128 aggregate sums and surfaces overflow through ConservationStatus::AggregateOverflow.
• Rustdoc intra-doc links build without broken-link warnings.
• WalWriter::append advances sequence/hash state only after serialization and write succeed.
• ledger_digest sorts tenants internally, so raw BudgetSnapshot order cannot change the canonical digest.
• GitHub Actions now use actions/checkout@v4 and actions/cache@v4.

Added

• BudgetEngine::try_total_committed_microcents
• ConservationProof::aggregate_totals_representable
• FinancialCertificate::aggregate_totals_representable
• Additional regression tests for WAL append failure state, raw ledger ordering, aggregate committed overflow, and concurrent top-ups under Loom

Changed

• README now separates local examples from dependency installation.
• Project positioning is clearer: Calybris Core is not an LLM framework, exchange, or strategy engine; it is a small deterministic core primitive.

Try it locally

git clone https://github.com/emirhuseynrmx/calybris-core
cd calybris-core
cargo run --example quickstart
cargo run --example llm_routing
cargo run --example replay_audit

Links

• Repo: https://github.com/emirhuseynrmx/calybris-core
• Crate: https://crates.io/crates/calybris-core
• Docs: https://docs.rs/calybris-core

Note

This crate is a core primitive, not a complete production platform. External audit, key management, deployment policy, and operational controls remain the responsibility of the embedding system.

v0.2.0 — HMAC-SHA256 Keyed WAL

HMAC-SHA256 keyed mode for adversarial tamper evidence. Fixed chain validation with serde_json preserve_order. 35 tests.

v0.1.0 — Initial Release

Deterministic integer kernel, hash-chained WAL, CAS atomic budget engine. 30 tests, zero unsafe, Apache-2.0.