Rule 701.16c

Official source text from the 16 June 2023 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.