Struct SafeScoreGivenTrace 

pub struct SafeScoreGivenTrace {
    pub base: Trace,
    pub trace: Trace,
    pub warn_on_error: bool,
}

Safe version of ScoreGivenTrace that gracefully handles incomplete traces.

SafeScoreGivenTrace computes log-probability like ScoreGivenTrace, but handles missing addresses or type mismatches by returning negative infinity log-weight instead of panicking. Essential for production inference where trace validity cannot be guaranteed.

Example:

// Create incomplete trace
let mut rng = StdRng::seed_from_u64(42);
let (_, incomplete_trace) = runtime::handler::run(
    PriorHandler { rng: &mut rng, trace: Trace::default() },
    sample(addr!("x"), Normal::new(0.0, 1.0).unwrap()) // Only has "x"
);

// Safe scoring handles missing address gracefully
let (_, score_trace) = runtime::handler::run(
    SafeScoreGivenTrace {
        base: incomplete_trace,
        trace: Trace::default(),
        warn_on_error: true, // Enable warnings
    },
    sample(addr!("missing"), Normal::new(0.0, 1.0).unwrap()) // Address not in base
);

assert_eq!(score_trace.total_log_weight(), f64::NEG_INFINITY); // Graceful failure

Fields

base: Trace

Base trace containing the fixed choices to score.

trace: Trace

New trace to accumulate log-probabilities.

warn_on_error: bool

Whether to log warnings on missing addresses or type mismatches.

Trait Implementations

impl Handler for SafeScoreGivenTrace

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_observe_f64( &mut self, _: &Address, dist: &dyn Distribution<f64>, value: f64, )

Handle an f64 observation operation.

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

Handle a bool observation operation.

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

Handle a u64 observation operation.

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

Handle a usize 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.