SafeMesh — main (unreleased)
SafeMesh provides Lean-backed CRDT convergence for small, embeddable state sync. It is for developers building state-sync systems who bring the transport and application schema. This page follows main (unreleased), rather than a release manual.
Try the Rust break-it walkthrough: it partitions replicas, drops, duplicates,
and reorders messages, heals with anti-entropy, and finishes with CONVERGED=true.
Orientation and source map
Section titled “Orientation and source map”This orientation is a reading map for the development branch. The linked repository documents follow the development branch and remain the source of the technical instructions.
Choose a starting point
Section titled “Choose a starting point”- Project entrypoint: start with the repository’s current status and package instructions.
- Architecture guide: locate the design overview.
- Claims and evidence guide: locate the proof boundaries and evaluation account.
- Examples guide: locate runnable demonstrations in their existing directories.
- Generated API reference: inspect the Rust core API from this build’s source.
Use this site
Section titled “Use this site”Search covers these navigation guides; it does not index the contents of the linked GitHub documents.
The Lab entry opens the Lab at the address chosen when this documentation site is built; the hosted site includes the Lab under its own lab/ path.