It's a promising sign, but it's not gospel. Addison told Peak in like January that he was coming back to Pitt. KP also said he was playing in the bowl game immediately after the Wake game.
I'm sure seeing the plight of Baldonado helps with Hayes. He likely needs to add 15 pounds and learn to hold the edge better to have a shot at the next level.
And lastly... shouldn't he have two years left? He played four games in the regular season in 2022. So if you flip that and call it a redshirt season instead of 2020, which doesn't count as a year, then he can play in 2024 and 2025 if he wants to.