Historical Rules · 5 February 2021
Rule 701.16c
Official source text from the 5 February 2021 Rules release
If cards in a player’s library are shuffled or otherwise reordered, any revealed cards that are reordered stop being revealed and become new objects.