Struct SyncClock 

pub struct SyncClock {
    pub hlc: Hlc,
    pub knowledge: BTreeMap<u64, EstimateInterval>,
}

A light-cone-aware CRDT clock: a Hybrid Logical Clock (causal order) plus per-node knowledge intervals (light-cone-bounded estimates of each peer’s current time). Its merge is a join over a lattice — max on the HLC, interval intersection per node — so replicas separated by bounded (even interplanetary) delay converge conflict-free, regardless of message order. This realises “spacelike separation = CRDT concurrency”: events with no shared light cone need no total order, only this commutative/associative/idempotent merge.

Fields

hlc: Hlc

knowledge: BTreeMap<u64, EstimateInterval>

Implementations

impl SyncClock

pub fn new() -> Self

pub fn tick(&self, now_nanos: i64) -> SyncClock

Stamp a local event (advance the HLC); knowledge is carried unchanged.

pub fn observe(&self, node: u64, interval: EstimateInterval) -> SyncClock

Record (and tighten) what this clock knows about node node’s current time. A fresh node is inserted; a known node’s interval is intersected, so observation can only narrow knowledge.

pub fn merge(&self, other: &SyncClock) -> SyncClock

The CRDT join with another replica — max HLC (the lattice join on the derived total order), per-node interval intersection on shared keys, union of distinct keys. Commutative, associative, and idempotent, so gossip converges regardless of message order.

Trait Implementations

impl Clone for SyncClock

fn clone(&self) -> SyncClock

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SyncClock

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SyncClock

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for SyncClock

fn eq(&self, other: &SyncClock) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SyncClock

impl StructuralPartialEq for SyncClock