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
//! # spacedb-crdt — SpaceDB Layer 1 (convergent collections)
//!
//! The default data tier, and the reason SpaceDB survives a partition-prone mesh:
//! data is modeled as **Y-CRDT** (via `yrs`), so every write is locally available
//! and merges conflict-free with no coordination. Writing offline on a
//! Starlink-partitioned home is a non-event, not an error.
//!
//! M2-S1 ships [`CrdtDoc`]: a document with a typed field→CRDT-type mapping
//! (LWW-Register + PN-Counter), local-first mutation, and the sync primitives
//! (state vector, incremental update, merge). The order-independent convergence
//! property — *the same updates in any order produce the same state* — is proven
//! by the fuzzed test in `tests/convergence.rs`.
//!
//! Open-core (MIT): this depends on `yrs` directly, never on a MATA crate.
//! Persistence into the encrypted `spacedb-store` is M2-S2.
pub use ;
pub use CrdtDoc;
pub use ;
pub use ;
pub use compact_updates;
/// 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`.
;