Struct FactRecord 

pub struct FactRecord {
    pub id: FactId,
    pub entity: EntityId,
    pub flags: u16,
    pub kind: u16,
    pub text: BlobId,
    pub vector: u32,
    pub revises: FactId,
    pub recorded_at: u64,
    pub valid_from: u64,
    pub valid_to: u64,
}

The unit of memory: one fact (48-byte slot, Uniform arena).

off	size	field
0	4	id (key)
4	4	entity
8	2	flags
10	2	kind (reserved, 0 in v1)
12	4	text
16	4	vector
20	4	revises
24	8	recorded_at
32	8	valid_from
40	8	valid_to

Fields

id: FactId

Fact id — the key.

entity: EntityId

Subject entity, or EntityId::NONE.

flags: u16

Bit set from fact_flags.

kind: u16

Reserved in v1; must be 0 (fact typing is a tag convention).

text: BlobId

Fact text (UTF-8) in the blob heap.

vector: u32

Slot index in the vector arena, or NONE_U32; meaningful only with fact_flags::HAS_VECTOR.

revises: FactId

Predecessor in the revision chain, or FactId::NONE. May name a burned id — a predecessor that was forgotten and physically purged by maintain; resolving it then yields None, the same answer a tombstoned record gives.

recorded_at: u64

Knowledge axis: when the memory learned this. Immutable.

valid_from: u64

Truth axis: start of the validity interval.

valid_to: u64

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

Implementations

impl FactRecord

pub fn is_tombstone(&self) -> bool

true when the tombstone flag is set.

pub fn is_closed(&self) -> bool

true when the validity interval is closed.

pub fn has_vector(&self) -> bool

true when a vector slot is attached.

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

The as_of(t) liveness rule: not a tombstone, already recorded at t, and t inside [valid_from, valid_to).

Trait Implementations

impl Clone for FactRecord

fn clone(&self) -> FactRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FactRecord

impl Debug for FactRecord

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

Formats the value using the given formatter.

impl Eq for FactRecord

impl PartialEq for FactRecord

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

Equality operator ==.

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

Inequality operator !=.

impl Slot for FactRecord

const SIZE: usize = 48

Total size of the record in bytes.

const KEY_LEN: usize = 4

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 FactRecord