Skip to main content

Module ordering

Module ordering 

Source
Expand description

Ordering key for causal ordering of operations (§5.9).

Manifold uses a composite ordering key (epoch_id, workspace_id, seq) for deterministic causal ordering. Wall clock is informational only — never used for correctness, but clamped monotonically so it’s always non-decreasing.

§Ordering semantics

The authoritative ordering triple is (epoch_id, workspace_id, seq). Wall clock is display-only and excluded from Ord/PartialOrd.

Within a single workspace, seq is strictly monotonically increasing. Across workspaces, ties are broken by workspace_id (lexicographic). Across epochs, ties are broken by epoch_id (hex-string lexicographic).

Structs§

OrderingKey
Composite ordering key for causal ordering of operations.
SequenceGenerator
Per-workspace sequence and wall-clock generator.