But it’s not about when they leave their crease though is it? It’s about when the ball becomes dead! 99% of the time in that situation today you see batsmen wait with their bat still in the crease until the point the keeper passes the ball on the ball to a fielder - then the ball is dead, or the umpire calls over - then the ball is dead!
Virtually every time you see a batsman leave his crease during an over he has waited until the ball is “dead” - Bairstow didn’t and him and England have paid the price!
I think the bigger argument is Cummings could have withdrawn the appeal!
The rules aren't clear at all on when the ball is "dead" other than after the last delivery because the umpire calls over.
But batsmen leave their crease at other times during the over, and the umpire doesn't shout over or signal the ball is no longer live. To me it's very clear when you play the game - if the ball goes through to the keeper who fields it cleanly, my opinion is that the ball is automatically dead as long as they aren't attempting to run a bye. The only exception I can see is a batsman batting out of his crease. If they fail to go back and ground something behind the crease after the ball passes by, then it's absolutely fair to stump them. Bairstow did not bat outside his crease though, and scratched his mark with his foot IIRC.
But yes it's within the laws of the game to run him out if over hasn't been called, but it's not something I would ever want or try to do. I find it infuriating at junior cricket when someone tries one of those weird run outs, especially at the non strikers end tbf. Are we here to play cricket and enjoy ourselves or to try run each other out in random ways.
England lost the game because of their bowling in sessions of 1 & 2 of day and their batting on the final session of day 2 and first session of day 3. You can't lose 6 for 40 odd and expect to win. That session was the most pivotal. Even 40 or 50 more and the game is probably quite different. The run out/stumping today doesn't help though.