The official leagues timer freezes on 2023-06-01 07:00 UTC, and then leagues will enter a 'pseudo-random' stage, where a secret time from +0 to +24 hours will be picked, when the actual leaderboard will be finalized. Distribution of users into their new divisions and cohorts might take even longer, up to one week.

This market resolves YES if the final user rankings are announced before 2023-06-01 23:00 UTC, otherwise NO.

Any of those will trigger a resolution of this market:

1) A manifold notification with the final ranking;

2) Two users send a screenshot of the leagues prize that was given to them (If I rank 5th or higher I will verify if I also got a prize);

3) The UI of leagues changes to signify that the leaderboard is final.