Maxperson
Morkus from Orkus
There is no action either on the part of the player or that the DM declared for the player. There was just knowledge that the PC automatically knew, which is one of the ways an auto success to know something works.I don't agree.
If we characterise a GM describing things to the players as the GM deciding on auto-success for an action not declared by the player, we now seem to be positing that the GM can declare actions for the player's PC, perhaps without even telling the player that they have done so!