During the accumulation stage, a value with the partial transition of this state is provided which contains the update for the newly-known roots of the parent block.
β_H† ≡ β_H except β_H†[|β_H| − 1]_s = H_r
https://graypaper.fluffylabs.dev/#/1c979cb/0f55020f5502?v=0.7.1
β′ = β_H† ++ (p, h: H(H), s: H_0, b: M_r(β′_B))
where p = { (((g_r)_s)_p ↦ ((g_r)_s)_e) | g ∈ EG }
https://graypaper.fluffylabs.dev/#/1c979cb/0fd2020fd202?v=0.7.1
Recent History transition function.
https://graypaper.fluffylabs.dev/#/579bd12/0faf010faf01?v=0.5.4 https://graypaper.fluffylabs.dev/#/7e6ff6a/0fb1010fb101?v=0.6.7