🏅 Top traders

Confirmed that he would resign as Conservative leader, though only when arrangements were in place to choose his successor.

has he formally resigned yet?

Yeah, I actually don't think he has resigned as leader yet

Not sure it is totally clear. Said "Not immediately" and that he would (i.e. in future) but this might mean
1 Resign now to step down when leader is elected rather than stepping down immediately.
2. Wait for leadership election preparations to be ready then resign then contest starts.

1 Should be enough to resolve the market as has been done.
2. Might be a little borderline but probably not enough to resolve yet, assuming there is later information on when he does actually resign. If such info does not come to light then may have to use 5 July date?

@GordanKnott
Would you be happy for a mod to unresolve or reopen it, or do you think your resolution is correct?

How could we test if (1) is true in the short term?