small nuance, the first-step EV is just the honest hash share. the real edge from selfish mining shows up in the continuation game, once you condition on fork resolution and orphan risk. so i’d separate the immediate lottery from the strategy value.