I'd investigate a bit, but in the scenario as written this is a clear GRV Warning for Nolan and FtMGS for Adam. However, if the circumstances were slightly different I can see the argument for an upgrade to GL for Nolan. (And no FtMGS for Adam.)
As has been noted, the reason we don't upgrade in cases of the card having been uniquely identifiable at some point in the past is to stop players from seeing the problem and waiting to call it out so that their opponent gets a GL rather than a Warning–it's all about the fact that the other player had a chance to call it out, and didn't.
While yes, from a pure rules perspective Enlightened Tutor leaves the card was on top of the library and thus uniquely identifiable, I've known players to shortcut through end-of-turn top-of-library tutors significantly, pulling the card out of the library face-down, shuffling, and only then revealing, putting the card into their hand pretty much immediately, such that it barely touches the top of the library, if it does at all. (Heck, I've been one of those players in casual games.) If Nolan shortcutted the tutoring process in this manner, it's quite possible that Adam would not reasonably have had a chance to call him out on the lack of revealing before the card was already in hand. If my investigation seemed to indicate that this was the case, I'd talk to the HJ about upgrading the penalty.
But once again, as presented, this is plain old GRV Warning/FtMGS.
Edited Callum Milne (Dec. 6, 2012 10:14:39 PM)