Dot

@Serializable

data class Dot(val replica: ReplicaId, val seq: Long)

A clock-free unique name for a single operation: the issuing replica paired with that replica's own monotonically-increasing seq (1, 2, 3…).

Uniqueness needs no coordination: the replica namespaces the dot, and a replica only ever bumps its own counter, so no two operations anywhere can mint the same dot. This replaces wall-clock timestamps for causality.

Constructors

Dot

constructor(replica: ReplicaId, seq: Long)

Properties

replica

val replica: ReplicaId

seq

val seq: Long

the per-replica sequence number; always >= 1.