According to the manual "It includes any player who has made his first
"major league" appearance in the most recent "major league" season."

I believe he has to actually appear in a game, not just make the 40-man roster. The Yanks supposedly want to give him a year at AAA so we may not see him available until this fall.