In this rule

Historical Rules · 25 July 2025

Rule 701.20d

Official source text from the 25 July 2025 Rules release

Permalink

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.

Find this number in the current Rules