It appears you're right, Marc, that the IPG doesn't support setting aside the Charging Badger when undoing Abby's second draw. If we go by the book, then, allowing the Charging Badger to be one of the cards returned to the library would seem to be correct.
I would be unhappy to carry out that solution, though, and I would be even more unhappy with that solution if I were Nora. The point of rewinding is to attempt to repair the game state–and undoing Nora's second draw by returning the Charging Badger results in an impossible game state.
Although it doesn't apply to this situation, there is precedent in the IPG for “legally known” information about cards in a hidden zone–namely, remedying a L@EC infraction when some of the library is non-random.
I'm new at this so I suppose the safe bet is just, “Do it by the book, dummy.” On the other hand, it's impossible for a document to anticipate all possible problems.
Thinking about René's solution, if we had to rewind to the point where Divination was cast (say Abby payed GGG for Divination) but Abby also failed to reveal the second card she drew, then it's actually impossible to strictly apply the remedy prescribed by the IPG; the procedure would be
1) Undo the second card drawn from Divination: randomize Abby's hand and place one card from her hand on top of her library.
2) Undo the first card drawn from Divination: the identity of the first card is known to both players, so we return Charging Badger…but of course there's a 25% chance we already took Charging Badger out of Abby's hand. Error, program crash.
Deviation from the letter of the IPG is necessary if we're rewinding Divination entirely; I'm comfortable saying deviation from the letter of the IPG is appropriate if we're only rewinding the second draw from Divination.
(Edited, clarified the last section.)
Edited Bradley Morin (April 17, 2014 08:29:41 AM)