Struct SpacetimeStamp 

pub struct SpacetimeStamp {
    pub instant_nanos: i64,
    pub position: Position,
}

A space-aware timestamp — when (a SmoothUTC instant, nanoseconds) AND where (a position in space). This is the heart of the light-cone model: two events can only be causally ordered if their time separation is at least the light-travel time between their positions. Closer in time than that and they are spacelike-separated — genuinely concurrent, no signal could connect them, which is exactly where CRDTs (conflict-free, order-free merge) are the right tool.

Fields

instant_nanos: i64

position: Position

Implementations

impl SpacetimeStamp

pub fn light_separation_nanos(self, other: SpacetimeStamp) -> i64

The light-travel time (nanoseconds) between the two events’ positions — the minimum time separation for a causal link. Symmetric.

pub fn causal_relation(self, other: SpacetimeStamp) -> CausalRelation

The causal relation to other, decided by the light cone: causally ordered only when the time gap covers the spatial (light) gap; otherwise spacelike-concurrent.

pub fn observed_at_nanos(self, observer: Position) -> i64

The instant this event is observed from observer (its own time + the light delay across the distance) — the space-aware generalisation of observed_arrival_nanos.

Trait Implementations

impl Clone for SpacetimeStamp

fn clone(&self) -> SpacetimeStamp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpacetimeStamp

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

Formats the value using the given formatter.

impl PartialEq for SpacetimeStamp

fn eq(&self, other: &SpacetimeStamp) -> 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 Copy for SpacetimeStamp

impl StructuralPartialEq for SpacetimeStamp