Structs§
- Conservation
Report - Result of a single conservation-law check.
- Edge
Verifier - Accumulates multiple conservation checks and produces a summary report.
- Summary
Report - Summary report from
EdgeVerifier.
Constants§
- DEFAULT_
TOLERANCE - Default tolerance for floating-point comparisons.
Functions§
- kl_
divergence - Compute KL divergence D(p || q) in base-2.
- shannon_
entropy - Compute Shannon entropy in base-2 for a probability distribution.
- verify_
conservation - Verify that the sum of
partsequalstotalwithintolerance. - verify_
conservation_ with_ tolerance - Same as
verify_conservationbut with an explicit tolerance. - verify_
determinant - Verify the determinant of a 2×2 matrix against an expected value.