Struct EpistemicCircuit 

pub struct EpistemicCircuit { /* private fields */ }

Bounded circuit state for epistemic/probabilistic fixtures.

Implementations

impl EpistemicCircuit

pub fn compile( base_probability: f64, conditioned_probabilities: Vec<(EpistemicAssumption, f64)>, adapter: KnowledgeCompilerAdapter, ) -> Result<Self>

Compile a bounded circuit fixture with optional assumption-conditioned probabilities.

pub fn semantic_contract(&self) -> EpistemicProbabilisticContract

Return the semantic contract for this circuit.

pub fn compiler_evidence_literals(&self) -> Vec<String>

Return active compiler evidence literals in deterministic order.

pub fn query_probability(&self) -> ProbabilityValue

Return the current query probability.

pub fn apply_assumption( &mut self, assumption: EpistemicAssumption, ) -> Result<CircuitUpdate>

Apply an epistemic assumption as probabilistic evidence.

pub fn apply_accepted_world_view( &mut self, evidence: AcceptedWorldViewEvidence, ) -> Result<CircuitUpdate>

Apply epistemic evidence that has already passed world-view validation.

pub fn circuit_fingerprint(&self) -> u64

Return the stable circuit fingerprint.

pub fn incremental_update_count(&self) -> usize

Return the number of incremental evidence updates applied.

Trait Implementations

impl Clone for EpistemicCircuit

fn clone(&self) -> EpistemicCircuit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicCircuit

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

Formats the value using the given formatter.