He didn’t wrestle any matches one season, but I’m not sure if he wasn’t enrolled. It shows as a season on wrestlestat, unlike Yianni for example who showed as Spartan Combat for the years he wasn’t enrolled.
Could be wrong but isn’t there something about only being enrolled for 8 total semesters? He still shows on the roster now, so would think if he knew he was done for the year and was saving semesters he would have unenrolled from this semester. He’s also listed as a senior, so to your original point maybe this is all moot and he is graduating.