File size: 1,266 Bytes
224e773 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | //! Conserved value enforcement for ω
use super::ledger::Ledger;
/// Check if omega (conserved value) is consistent
pub fn is_conserved(ledger: &Ledger) -> bool {
// ω must not be zero (reserved value)
ledger.omega != 0
}
/// Enforce conservation across composition
pub fn conserves_in_composition(a: &Ledger, b: &Ledger) -> bool {
a.omega == b.omega
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn nonzero_conserved() {
let ledger = Ledger {
s: 100,
delta: 50,
iota: -50,
omega: 42,
};
assert!(is_conserved(&ledger));
}
#[test]
fn zero_not_conserved() {
let ledger = Ledger {
s: 100,
delta: 50,
iota: -50,
omega: 0,
};
assert!(!is_conserved(&ledger));
}
#[test]
fn composition_conservation() {
let a = Ledger {
s: 100,
delta: 50,
iota: -50,
omega: 42,
};
let b = Ledger {
s: 50,
delta: 25,
iota: -25,
omega: 42,
};
assert!(conserves_in_composition(&a, &b));
}
}
|