Struct EdgeHistorySlot 

pub struct EdgeHistorySlot {
    pub a: EntityId,
    pub rel: TermId,
    pub b: EntityId,
    pub edge: EdgeId,
    pub fact: FactId,
    pub flags: u16,
    pub kind: u16,
    pub recorded_at: u64,
    pub valid_from: u64,
    pub valid_to: u64,
}

A temporal typed graph edge version (48-byte slot, Ordered arena, key [a BE | valid_from BE | edge BE]).

Stored twice, in two mirrored history arenas with the same orientation as EdgeSlot. The hot current graph still uses EdgeSlot; this record is the source of truth for historical as_of traversal.

The key is time-ordered per entity, not grouped by relation. An as_of(t) traversal wants the versions valid at one instant, and at most one version of a (a, rel, b) triple is valid at any instant, so grouping by triple forces a walk through every version of every triple to find the few that answer. Ordering by valid_from instead lets the traversal start at t and walk backwards through the versions that most recently became true — the candidates — and stop when it has enough.

Fields

a: EntityId

First key component (out-arena: source; in-arena: destination).

rel: TermId

Interned relation term.

b: EntityId

Second key component (out-arena: destination; in-arena: source).

edge: EdgeId

Edge-version id.

fact: FactId

Provenance fact, or FactId::NONE.

flags: u16

Edge flags; see edge_flags.

kind: u16

Reserved for future lifecycle states.

recorded_at: u64

Knowledge axis: when the edge version was recorded.

valid_from: u64

Truth axis: start of the edge validity interval.

valid_to: u64

Truth axis: end of the edge validity interval; VALID_TO_OPEN = current.

Implementations

impl EdgeHistorySlot

pub fn active_at(&self, t: u64) -> bool

true when the edge version is active at t.

pub fn is_open(&self) -> bool

true when this version is the current open edge.

Trait Implementations

impl Clone for EdgeHistorySlot

fn clone(&self) -> EdgeHistorySlot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EdgeHistorySlot

impl Debug for EdgeHistorySlot

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

Formats the value using the given formatter.

impl Eq for EdgeHistorySlot

impl PartialEq for EdgeHistorySlot

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

Equality operator ==.

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

Inequality operator !=.

impl Slot for EdgeHistorySlot

const SIZE: usize = edge_hist_at::SIZE

Total size of the record in bytes.

const KEY_LEN: usize = edge_hist_at::KEY_LEN

Length of the key prefix; sorting and lookups compare only these leading bytes. Must not exceed SIZE.

fn write(&self, out: &mut [u8])

Serializes the record into out (out.len() == SIZE), filling every byte.

fn read(bytes: &[u8]) -> Self

Reconstructs the record from bytes (bytes.len() == SIZE).

impl StructuralPartialEq for EdgeHistorySlot