Struct ConservationMonitor 

pub struct ConservationMonitor { /* private fields */ }

Monitors conservation of tracked quantities across kernel boundaries.

Implementations

impl ConservationMonitor

pub fn new(epsilon: f64) -> Self

Create a new monitor with the given epsilon threshold.

pub fn snapshot( &mut self, law: ConservationLaw, label: impl Into<String>, value: f64, )

Record a quantity before kernel execution.

pub fn verify( &mut self, law: &ConservationLaw, label: &str, after_value: f64, ) -> Option<VerificationResult>

Verify a previously-snapshotted quantity after kernel execution.

Returns None if no matching snapshot exists.

pub fn verify_all<F>(&mut self, after_fn: F) -> Vec<VerificationResult>

where F: FnMut(&ConservationLaw, &str) -> f64,

Verify all remaining snapshots against a closure that provides the “after” value.

pub fn results(&self) -> &[VerificationResult]

Return all verification results collected so far.

pub fn pending(&self) -> usize

Number of unverified snapshots remaining.

pub fn reset(&mut self)

Reset the monitor for a new round of checks.

Trait Implementations

impl Clone for ConservationMonitor

fn clone(&self) -> ConservationMonitor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConservationMonitor

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

Formats the value using the given formatter.