Crate ctfs 

Causal consistency at 40ns. Algebraic invariants without coordination.

Commutative ops don’t need consensus. Non-commutative ops fail fast at admission. pretty much the entire the entire trick.

Re-exports

pub use core::kernel::CausalMode;

pub use core::kernel::DualKernel;

pub use core::kernel::EscalatingKernel;

pub use core::kernel::MultiKernel;

pub use core::topology::resolve_conflict;

pub use core::topology::wins_conflict;

pub use core::topology::PreciseClock;

pub use core::AdmitError;

pub use core::AlgebraicClass;

pub use core::CausalClock;

pub use core::Checkpoint;

pub use core::CheckpointError;

pub use core::Fact;

pub use core::FactHeader;

pub use core::FactId;

pub use core::Frontier;

pub use core::FrontierState;

pub use core::Horizon;

pub use core::Invariant;

pub use core::InvariantError;

pub use core::Kernel;

pub use core::PruningPolicy;

pub use core::ReAnchorError;

pub use core::StateCell;

pub use core::View;

Modules

algebra

Invariant algebra. Commutative → no coordination. That’s the whole trick.

core

The guts. Kernels, clocks, state cells, persistence.

invariants

Built-in invariants. Use these or roll your own.

prelude

Prelude for convenient imports of primary API types.