spacedb-consistency 0.6.0

SpaceDB Layer 3 — consistency tiers: an explicit, honest, per-field choice of Convergent (CRDT, default), Causal+ (session read-your-writes / monotonic reads over state vectors), or Strong (quorum, fail-safe under partition). Every op reports the level it actually achieved. Phase 1 SpaceDB Mission, M7.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

#![forbid(unsafe_code)]
//! # spacedb-consistency — SpaceDB Layer 3 (consistency tiers)
//!
//! Consistency is a **per-field choice**, declared in the schema, because in a
//! partition-prone world one global setting is always wrong. Three tiers:
//!
//! - [`Tier::Convergent`] — CRDT, the default: always available, auto-merging.
//! - [`Tier::Causal`] — session read-your-writes / monotonic reads via a
//!   [`CausalSession`], cheap and partition-tolerant, no consensus.
//! - [`Tier::Strong`] — linearizable, a quorum that **fails safe** under partition
//!   (M7-S2).
//!
//! And the honesty contract: every op returns the [`Outcome`] it actually achieved
//! — `Committed{tier}` / `Local` / `Stale{lag}` / `Unavailable{reason}` — so an app
//! can never mistake a local-only write for a durable one or a lagging read for a
//! current one.
//!
//! M7-S1 ships the tier annotations, the honesty contract, and the Causal+ tier;
//! the Strong quorum tier is S2. Open-core (MIT).

mod tier;
pub use tier::{ConsistencySchema, Tier};

mod outcome;
pub use outcome::{Outcome, UnavailableReason};

mod causal;
pub use causal::CausalSession;

mod strong;
pub use strong::{QuorumGroup, RejectReason, StrongResult};

/// Compiles the README's examples as doctests, so the documented API can never
/// drift from the real one. Not part of the public API, and not rendered into
/// the crate docs — it exists only under `cargo test --doc`.
#[cfg(doctest)]
#[doc = include_str!("../README.md")]
pub struct ReadmeDoctests;