Struct Claim 

pub struct Claim { /* private fields */ }

A committed claim — write-once and immutable after it is appended to the store.

All fields are set at injection time via Claim::new; no field may be mutated after commit. Fields are private to enforce the write-once invariant at compile time: non-destruction (all writes are INSERT-only) and provenance immutability are both upheld by the absence of setters.

Implementations

impl Claim

pub fn new( claim_ref: ClaimRef, agent_id: AgentId, fact: Fact, cardinality: Cardinality, provenance: ProvenanceLabel, external_anchor: ExternalAnchor, transaction_time: TransactionTime, valid_time: ValidTime, confidence: Confidence, criticality: Criticality, derived_from: Vec<ClaimRef>, metadata: Option<Value>, snapshot_schema_version: Option<u32>, ) -> Self

Construct a fully-formed, frozen Claim. The only constructor.

pub fn claim_ref(&self) -> &ClaimRef

Return the stable claim reference (UUID).

pub fn agent_id(&self) -> &AgentId

Return the agent that owns this claim.

pub fn fact(&self) -> &Fact

Return the (subject, predicate, value) triple.

pub fn cardinality(&self) -> &Cardinality

Return the caller-supplied cardinality hint.

pub fn provenance(&self) -> &ProvenanceLabel

Return the provenance label.

pub fn external_anchor(&self) -> &ExternalAnchor

Return the external anchor (source document, URL, etc.).

pub fn transaction_time(&self) -> &TransactionTime

Return the transaction time (when the claim was written to the store).

pub fn valid_time(&self) -> &ValidTime

Return the valid-time window (when the claim holds in the world).

pub fn confidence(&self) -> &Confidence

Return the dual confidence scores.

pub fn criticality(&self) -> &Criticality

Return the criticality class.

pub fn derived_from(&self) -> &[ClaimRef]

Return the list of upstream claims this claim was derived from.

pub fn metadata(&self) -> Option<&Value>

Return the optional caller-supplied metadata blob.

pub fn snapshot_schema_version(&self) -> Option<u32>

Return the optional snapshot schema version for migration support.

Trait Implementations

impl Clone for Claim

fn clone(&self) -> Claim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Claim

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Claim

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Claim

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

where __S: Serializer,

Serialize this value into the given Serde serializer.