η' : Updated entropy. GP eq (174–181). η'0 = H(η_0 ++ Y(H_v)) On epoch change: rotate η_0→η_1→η_2→η_3. Otherwise: η{1..3} unchanged.
7.4. Entropy (§6.3)
def
Jar.updateEntropy [Jar.JamConfig] (eta : Jar.Entropy) (h : Jar.Header) (t t' : Jar.Timeslot) : Jar.EntropyJar.updateEntropy [Jar.JamConfig] (eta : Jar.Entropy) (h : Jar.Header) (t t' : Jar.Timeslot) : Jar.Entropy