Struct ContextFact 

pub struct ContextFact { /* private fields */ }

Read-only projection of a validated assertion in the context.

This type is not promotion authority. It is the value suggestors and pack authors can read from context after the engine has promoted a proposal. Constructing one locally does not admit it into Converge; there is no public API that accepts a ContextFact as promoted truth.

Implementations

impl ContextFact

pub fn new_projection( key: ContextKey, id: impl Into<FactId>, content: impl Into<String>, promotion_record: FactPromotionRecord, created_at: impl Into<Timestamp>, ) -> ContextFact

Creates a read-only context projection.

This constructor does not promote anything and is intentionally named as a projection constructor. The engine is still the only component that can add context facts to a live ContextState.

pub fn key(&self) -> ContextKey

Returns the context key this fact belongs to.

pub fn id(&self) -> &FactId

Returns the fact identifier.

pub fn content(&self) -> &str

Returns the fact content.

pub fn promotion_record(&self) -> &FactPromotionRecord

Returns the immutable promotion record for this fact.

pub fn created_at(&self) -> &Timestamp

Returns the fact creation timestamp.

pub fn is_replay_eligible(&self) -> bool

Returns whether the fact is replay-eligible.

pub fn parse_json_content<T>(&self) -> Result<T, Error>

where T: DeserializeOwned,

Parse the fact’s content as JSON into a typed value.

This helper is deliberately named for JSON and preserves parse errors. Callers that use another representation should parse content with that representation’s decoder.

Trait Implementations

impl Clone for ContextFact

fn clone(&self) -> ContextFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContextFact

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContextFact

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ContextFact

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

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 Eq for ContextFact

impl StructuralPartialEq for ContextFact