Struct TypesFact 

pub struct TypesFact { /* private fields */ }

A promoted, governed truth. Immutable after creation.

Facts can only be created via PromotionGate::promote(). Direct construction is impossible outside converge-core.

Invariants

• Non-optional PromotionRecord: Every Fact has a complete promotion record
• Immutable: No mutation methods - corrections are new Facts
• Private fields: All access via getters

Example

// Facts cannot be created directly from external code:
//
// let fact = Fact::new(...);  // ERROR: `new` is private
//
// Instead, Facts are created by the PromotionGate:
//
// let fact = promotion_gate.promote(validated_proposal)?;

Implementations

impl Fact

pub fn id(&self) -> &FactId

Get the fact ID.

pub fn content(&self) -> &FactContent

Get the fact content.

pub fn promotion_record(&self) -> &PromotionRecord

Get the promotion record.

This is ALWAYS present (non-optional) per CONTEXT.md requirements.

pub fn created_at(&self) -> &Timestamp

Get the creation timestamp.

pub fn is_replay_eligible(&self) -> bool

Check if this fact’s promotion is replay-eligible.

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 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.