Struct Hypothesis 

pub struct Hypothesis { /* private fields */ }

Explainable claim whose belief is maintained by a reasoning engine.

Implementations

impl Hypothesis

pub fn new( subject: EntityId, predicate: KnowledgePredicate, value: EvidenceValue, prior: Probability, ) -> Self

Creates a weak, proposed claim at the supplied prior.

pub fn with_id( id: impl Into<String>, subject: EntityId, predicate: KnowledgePredicate, value: EvidenceValue, prior: Probability, ) -> Result<Self, ReasoningModelError>

Creates a hypothesis with a stable host-assigned identifier.

Deterministic decision engines should use this constructor so repeated evaluation updates one hypothesis instead of creating duplicates.

pub fn observe( &mut self, observation: BayesianEvidence, ) -> Result<BeliefWrite, ReasoningModelError>

Applies one observation to the Bayesian belief.

pub fn set_strength(&mut self, strength: HypothesisStrength)

Replaces the strength assigned by a deterministic rule.

pub fn set_state(&mut self, state: HypothesisState)

Replaces the lifecycle state assigned by the reasoning engine or verifier.

pub fn id(&self) -> &str

Returns the hypothesis identifier.

pub fn subject(&self) -> &EntityId

Returns the claim subject.

pub fn predicate(&self) -> &KnowledgePredicate

Returns the claim predicate.

pub fn value(&self) -> &EvidenceValue

Returns the claim value.

pub fn belief(&self) -> &BayesianBelief

Returns the complete Bayesian belief and audit trail.

pub fn prior(&self) -> Probability

Returns the caller- or policy-supplied prior probability.

pub fn posterior(&self) -> Probability

Returns the current posterior probability.

pub fn strength(&self) -> HypothesisStrength

Returns the rule-assigned evidence strength.

pub fn state(&self) -> HypothesisState

Returns the current evaluation state.

pub fn updated_at_ms(&self) -> u64

Returns when the hypothesis last changed in Unix milliseconds.

pub fn same_evaluation_as(&self, other: &Self) -> bool

Returns whether two records carry the same decision state.

Wall-clock update timestamps are deliberately ignored so deterministic re-evaluation can remain idempotent.

Trait Implementations

impl Clone for Hypothesis

fn clone(&self) -> Hypothesis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Hypothesis

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Hypothesis

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Hypothesis

impl PartialEq for Hypothesis

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Hypothesis

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Hypothesis