Ok
With a push distribution, the .1 => 0.01 ED of AssetHub is supposed to model the storage costs, correct? No one can do this with precision, so this seems to be the appropriate logic: Underestimates mean that state grows faster, although not unbounded - effectively an economic subsidy on activity. Overestimates mean that the state grows slower - effectively an economic depressant on activity. Check?
In the push method, there is no cleanup because there is no claiming and nothing to clean up – all 1.25MM accounts get the ED and the fair coin.