Enum EpistemicState 

pub enum EpistemicState {
    ObjectiveKnowledge,
    InferredBelief,
    HearsayBelief,
    Unknown,
}

The epistemic weight of an agent’s belief about a proposition.

Maps to the JTB (Justified True Belief) model:

• ObjectiveKnowledge — belief + justification from a cryptographic source = Knowledge
• InferredBelief — belief + derivation from a prior event (no direct proof)
• HearsayBelief — belief received from an unverified peer (lowest weight)
• Unknown — no epistemic modality predicate found in the quin slice

Variants

ObjectiveKnowledge

Cryptographically verified — prov:wasGeneratedBy → CryptoSensor/SignedObjectiveEvent.

InferredBelief

Derived via local logic — prov:wasDerivedFrom → AgentQuery/HearsayEvent.

HearsayBelief

Received from an unverified peer — q42ep:believesViaHearsay present.

Unknown

No epistemic modality found for this agent/proposition pair.

Trait Implementations

impl Clone for EpistemicState

fn clone(&self) -> EpistemicState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicState

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

Formats the value using the given formatter.

impl PartialEq for EpistemicState

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

impl Eq for EpistemicState

impl StructuralPartialEq for EpistemicState