Modules
Protocol-generic Viewstamped Replication runtime.
Protocol metadata supplied to the deterministic state machine.
Stateful VSR client session with monotonic request numbers and retries.
An explicit, ordered, fixed-membership VSR configuration.
An immutable, contiguous VSR operation log.
A client operation at a stable position in the replicated log.
A replica in an ordered VSR configuration.
Pure Viewstamped Replication state transition kernel.
Ordered effects emitted by the pure protocol core.
Versioned, group-scoped protocol message envelope.
Events accepted by the pure protocol transition function.
Immutable state consumed and returned by the pure VSR protocol.
Supervised effect interpreter for one VSR replica.
The cached result of an applied client request.
A client operation with a stable client identity and monotonic request number.
Contract for a deterministic service replicated by VSR.
Durable-state adapter contract used by a replica runtime.
Checksummed write-ahead log and atomic checkpoint storage.
Volatile storage for protocol development and deterministic tests.
Thin, optional-to-observe telemetry boundary for the runtime.
Message delivery boundary for protocol envelopes.
Explicit distributed-Erlang endpoint delivery.
Deterministic same-VM delivery through the VSR registry.