Struct StrictScoreGivenTrace 

pub struct StrictScoreGivenTrace<'e> {
    pub base: Trace,
    pub trace: Trace,
    /* private fields */
}

The strict, fallible sibling of ScoreGivenTrace.

This handler backs score_given_trace_strict. Instead of panicking when the model’s address structure differs from the base trace, it records the first structural problem so the driver can return a FugueError:

• visiting an address absent from the base trace (or present with the wrong value type) -> ErrorCode::UnexpectedModelStructure;
• visiting the same address twice -> ErrorCode::AddressConflict.

On success every visited site stores a fresh, correctly scored choice.

Fields

base: Trace

Base trace containing the fixed choices to score.

trace: Trace

New trace to accumulate log-probabilities.

Trait Implementations

impl<'e> Handler for StrictScoreGivenTrace<'e>

fn on_sample_f64(&mut self, addr: &Address, dist: &dyn Distribution<f64>) -> f64

Handle an f64 sampling operation (continuous distributions).

fn on_sample_bool( &mut self, addr: &Address, dist: &dyn Distribution<bool>, ) -> bool

Handle a bool sampling operation (Bernoulli).

fn on_sample_u64(&mut self, addr: &Address, dist: &dyn Distribution<u64>) -> u64

Handle a u64 sampling operation (Poisson, Binomial).

fn on_sample_usize( &mut self, addr: &Address, dist: &dyn Distribution<usize>, ) -> usize

Handle a usize sampling operation (Categorical).

fn on_sample_i64(&mut self, addr: &Address, dist: &dyn Distribution<i64>) -> i64

Handle an i64 sampling operation (signed discrete distributions).

fn on_observe_f64( &mut self, _addr: &Address, dist: &dyn Distribution<f64>, value: f64, )

Handle an f64 observation operation.

fn on_observe_bool( &mut self, _addr: &Address, dist: &dyn Distribution<bool>, value: bool, )

Handle a bool observation operation.

fn on_observe_u64( &mut self, _addr: &Address, dist: &dyn Distribution<u64>, value: u64, )

Handle a u64 observation operation.

fn on_observe_usize( &mut self, _addr: &Address, dist: &dyn Distribution<usize>, value: usize, )

Handle a usize observation operation.

fn on_observe_i64( &mut self, _addr: &Address, dist: &dyn Distribution<i64>, value: i64, )

Handle an i64 observation operation.

fn on_factor(&mut self, logw: f64)

Handle a factor operation.

fn finish(self) -> Trace

Finalize the handler and return the accumulated trace.