Skip to main content

check_thermal_claim

Function check_thermal_claim 

Source
pub fn check_thermal_claim(claim: &ThermalClaim) -> Option<ThermalVerdict>
Expand description

THE judge. Some(verdict) iff the claim is well-formed, physically coherent, and the reassembled G·ΔT equals P EXACTLY at every node.