Struct ConservationBudget 

pub struct ConservationBudget { /* private fields */ }

Tracks cumulative conservation drift across multiple kernel executions.

Implementations

impl ConservationBudget

pub fn new(alert_threshold: f64) -> Self

Create a new budget with the given alert threshold.

pub fn record(&mut self, result: &VerificationResult)

Record a verification result, accumulating drift.

pub fn record_all(&mut self, results: &[VerificationResult])

Record multiple results at once.

pub fn drift_for(&self, law: &ConservationLaw) -> f64

Get the cumulative drift for a specific law.

pub fn total_drift(&self) -> f64

Get the total cumulative drift across all laws.

pub fn check_alert(&self) -> Option<Alert>

Check whether cumulative drift exceeds the alert threshold.

pub fn verification_count(&self) -> u64

Total number of verifications recorded.

pub fn violation_count(&self) -> u64

Total number of violations recorded.

pub fn average_drift(&self) -> f64

Average drift per verification.

pub fn violation_rate(&self) -> f64

Violation rate as a fraction (0.0 to 1.0).

Trait Implementations

impl Clone for ConservationBudget

fn clone(&self) -> ConservationBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConservationBudget

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

Formats the value using the given formatter.