🔒Type-safe genericsWorks with any type that implements Eq + Hash — integers, strings, structs, tuples.
🧮Checked & uncheckedEvery function has a checked variant returning Result and an unchecked variant that panics, so you choose the tradeoff.
📐Mathematically correctVerified against known properties — H(X|X) = 0, I(X;Y) = H(X) for identical variables, H(X,Y) = 2 for independent fair bits.