You say that as if it is a done deal. He's still on the roster, which he would not be were he taking an ORS (and therefore not enrolled at Cornell). You know something that we don't?
I *think* the Ivy League rule was "four seasons in five years," which was changed to "four in six" for the COVID-cancelled year. An ORS this year would be his sixth year, and I don't think he'd be allowed back for a "four in seven" even if he hadn't graduated by then. My guess is that he wrestles for Cornell this year; if he doesn't, he would have to wrestle somewhere else. Maybe he does graduate work at Lehigh?
(edit)
Here's a bit from Harvard's web site: