Struct BitemporalCoord 

pub struct BitemporalCoord {
    pub valid_from: u64,
    pub valid_to: u64,
    pub system_time: u64,
}

Bitemporal versioning coordinate for a Knowledge Object.

Supports two independent time dimensions:

• Valid time (valid_from, valid_to): When the fact was/is true in the real world. Example: an employee’s tenure at a company.
• System time (system_time): When the system recorded this version. Assigned automatically by the HLC on write. Monotonically increasing.

This enables queries like:

• as_of(system_time=T₁) — “What did the system know at time T₁?”
• valid_at(valid_time=T₂) — “What was true at time T₂?”
• as_of(T₁).valid_at(T₂) — “What did the system believe at T₁ about T₂?”

Timestamps are HLC-encoded microseconds (see hlc.rs): upper 48 bits are physical microseconds since Unix epoch, lower 16 bits are logical counter.

Fields

valid_from: u64

Start of valid time interval (inclusive). HLC-encoded microseconds.

valid_to: u64

End of valid time interval (exclusive). u64::MAX means “still valid”. HLC-encoded microseconds.

system_time: u64

System time when this version was recorded. Assigned by HLC on write. HLC-encoded microseconds.

Implementations

impl BitemporalCoord

pub const ETERNAL: Self

Default “eternal” coordinate — valid from epoch 0, never expires.

pub fn new(valid_from: u64, system_time: u64) -> Self

Create a new bitemporal coordinate with an open-ended valid interval.

pub fn with_valid_range( valid_from: u64, valid_to: u64, system_time: u64, ) -> Self

Create a coordinate with a closed valid interval.

pub fn valid_at(&self, valid_time: u64) -> bool

Check if this coordinate is valid at a given valid time.

pub fn known_at(&self, system_time: u64) -> bool

Check if this coordinate was known to the system by a given system time.

pub fn visible_at(&self, system_time: u64, valid_time: u64) -> bool

Combined bitemporal query: was this fact known at sys_time and valid at valid_time?

pub fn close_valid_time(&mut self, valid_to: u64)

Close the valid time interval (the fact is no longer true).

pub fn is_current(&self) -> bool

Check if this coordinate represents a currently-valid fact (valid_to == MAX).

Trait Implementations

impl Clone for BitemporalCoord

fn clone(&self) -> BitemporalCoord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BitemporalCoord

impl Debug for BitemporalCoord

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

Formats the value using the given formatter.

impl Default for BitemporalCoord

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for BitemporalCoord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for BitemporalCoord

impl Hash for BitemporalCoord

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for BitemporalCoord

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for BitemporalCoord