Small state. Explicit effects.
Classic Paxos, Multi-Paxos and rotating ownership. Fixed-capacity storage, deterministic transitions, and a visible write-before-send contract.
PAXOS, FROM THE PAPER TO YOUR PROCESS
Agreement,
under uncertainty.
Messages arrive late. Machines restart. Decisions must endure. A bounded consensus engine in Odin, with an idiomatic Python interface.
ONE SLOT. ONE DECISION.
Messages may be lost.Agreement is preserved.
Odin inside. Python outside.
Typed sessions, asyncio, owned bytes and errors that explain the next step. You choose the storage and authenticated transport.
A library you can study.
Trace Lamport’s paper through diagrams, invariants and code. Inspect the design records and the limits of measured performance.
A SMALL FIRST EXPERIMENT
Three participants.
One ordered log.
Install the Python package with uv or pip. The in-process cluster below is memory-backed, for learning and tests. Production sessions use your journal, history and transport adapters.
Explore the Python API ↗PYTHON paxodin
$ uv add paxodin
from paxodin.testing import Cluster
with Cluster(3) as cluster:
receipt = cluster.append(b"hello, consensus")
print(receipt.slot, receipt.value)
# 1 b'hello, consensus'THE LIBRARY, OPEN
Go from intuition to implementation.
The book ↗
From a single decision to a working replicated system, with visual explanations and a safety argument.
Design records ↗
The decisions, tradeoffs, implementation status and verification evidence behind the library.
Read offline
Download the complete book. Individual design-record PDFs are available from the POD index.
THE PAXODIN CLI
Your local project companion.
Build, test, simulate and generate documentation from a checkout.
The Odin import remains paxos.
Linux x86-64 ↗macOS · Apple Silicon ↗Windows x86-64 ↗Source tools need Odin; documentation commands also need Typst.