crabka_verified/
lib.rs

1//! Formally verified pure kernels shared by Crabka's consensus and log crates.
2//!
3//! Every function here is a total, synchronous, allocation-light kernel whose
4//! functional contract is proven with Creusot (see `docs/verification.md`).
5//! Host crates call through - there are no duplicate bodies anywhere.
6#![doc(html_root_url = "https://docs.rs/crabka-verified/0.3.8")]
7
8pub mod compaction;
9pub mod consensus;
10pub mod log_index;
11
12pub use compaction::{
13    BatchMeta, RecordMeta, RetainDecision, TxnDataState, compute_horizon, retain_decision,
14};
15pub use consensus::{election_jitter_ms, log_is_up_to_date, recompute_high_watermark};
16pub use log_index::offset_index_lookup;
crabka_verified/lib.rs

crabka_verified/
lib.rs
