Skip to content

Calybris Core v0.3.10

Latest
Latest

Choose a tag to compare

View all tags
@emirhuseynrmx emirhuseynrmx released this 26 Jun 22:04
v0.3.10
e437ed1

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

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.

Assets 2
Loading