Its certainly ridiculous, but he’s not being penalized because he played on a great team. He did not have to be registered for spring classes to play in the NC game. He got bad info from the TCU advisors. That’s what sucks and it should be those advisors reaping the consequences.
NCAA has the authority to still grant eligibility of course, so we’ll see in time if they do so. I wouldn’t hold my breath of course. It would probably take someone high up from TCU to go to bat for him in order to get it reversed.