I argued that we should pick a few iconic pieces of media that are near-canonical for Santa mythos. The discussion broke down when my wife suggested that Frosty the Snowman was a good reference. Of course he’d know Frosty… he’s the ONLY magical snowman made of Christmas snow. The Wife claimed he also knew Karen’s name. I said that I didn’t recall if he did or not, and even if he did it proves nothing. Whomever/whatever Santa is using to determine naughty/nice would have briefed Santa on Karen’s outstanding journey, selflessness and courage. Santa would know her name too.
The real test is if he knew all the supporting characters. And even then, it’s a 22-minute Rankin-Bass embellishment of a song about a snowman with Santa thrown in to wrap up the story. If you want to use an RB animagic story for Santa, you have to go with “Santa Claus is Coming to Town.” If I remember correctly, Kris Kringle doesn’t already know everyone’s names.