Struct Fact 

pub struct Fact {
    pub id: Ulid,
    pub scope: Scope,
    pub subject: Ulid,
    pub predicate: String,
    pub object: Ulid,
    pub fact_text: String,
    pub embedding: Option<Vec<f32>>,
    pub bt: BiTemporal,
    pub confidence: f32,
    pub provenance: Vec<Ulid>,
    pub activation: f32,
}

Fields

id: Ulid

scope: Scope

RFC 0001 — partition key for multi-agent / multi-tenant isolation.

subject: Ulid

predicate: String

object: Ulid

fact_text: String

embedding: Option<Vec<f32>>

See the W3 skip_serializing rationale on Chunk::embedding.

bt: BiTemporal

confidence: f32

provenance: Vec<Ulid>

activation: f32

Implementations

impl Fact

pub fn new( scope: Scope, subject: Ulid, predicate: impl Into<String>, object: Ulid, fact_text: impl Into<String>, confidence: f32, clock: &HlcClock, ) -> Fact

Construct a new Fact.

scope is the partition key (RFC 0001). Corresponds to “Claim” in the RFC §3.2 primitive list (the codebase uses Fact as the canonical name).

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fact

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Fact

fn deserialize<__D>( __deserializer: __D, ) -> Result<Fact, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Fact

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Fact

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Fact