I heard he could come back if he wanted to. He had one more year of eligibility and this year doesn’t go towards than, I don’t think, so he can play one more year IF he wants to.
It's definitely a weird situation. Without counting his covid year, he has played 4 years, with a 5th redshirt season too. So the NCAA would count 2019, 2021, 2022, 2023, and then 2024. So if he comes back in 24, it would actually be his 5th counted season of eligibility (7th total in college if you count 2016 RS year and 2020 COVID year). I always assumed he would need a Medical Redshirt from the AA, but I'm not sure now what he has to do. So your source could be right.
from UTSPORTS.com
2023 – RS-SENIOR (FIFTH YEAR)
Expected to miss multiple weeks after sustaining an injury in the 2023 season opener ... Missed Week 2 due to injury but served as one of four team captains vs. Austin Peay (9/9) ... Started at linebacker in his UT debut vs. Virginia (9/2), playing 29 snaps and recording four total tackles.
2022 – RS-SENIOR (BYU)
A team captain who finished the season as the Cougars’ second-leading tackler with 62 stops – 29 solo – with four tackles for loss, a sack, a forced fumble and a fumble recovery … Started all 12 of the games he played in at middle linebacker … Did not play in the New Mexico Bowl vs. SMU … Had a season-high eight tackles – five solo - at Liberty (10/22) … Delivered a tackle for loss in games vs. Boise State (11/5) and Utah Tech (11/19) … Solid outing in win vs. Baylor with six tackles, including 1.5 for loss.
2021 – RS-JUNIOR (BYU)
A team captain who played and started in the first three games of the season before suffering a season-ending ACL injury during the Cougars’ 27-17 win over Arizona State (9/18) … Tallied 31 tackles – 14 solo – with 3.5 for loss and 1.5 sacks … Recorded a career-high 17 tackles (10 solo, seven assist), including a tackle-for-loss in 24-16 season-opening win over Arizona at Allegiant Stadium (9/4).
2020 – RS-SOPHOMORE (BYU)
A second team All-Independent performer in 2020, leading the BYU defense during an 11-win season culminating with a victory in the Boca Raton Bowl where he was named the defensive MVP … Played in 10 games and started eight at middle linebacker … Ranked second on the team with 72 tackles, including 35 of the solo variety … Logged nine tackles in a Boca Raton Bowl win vs. UCF, which was coached by Josh Heupel (12/20) … Also had nine tackles apiece in contests vs. Troy (9/26), Boise State (11/6), Coastal Carolina (12/5) and San Diego State (12/12).
2019 – RS-FRESHMAN (BYU)
Played in 11 games with two starts at linebacker … Totaled 25 tackles – 17 solo – with 1.5 tackles for loss, one sack and two pass breakups … Started vs. USC (9/14) and in the season opener vs. Utah (8/29) … Collected two tackles in road win at Tennessee (9/7) … Notched a season-best five tackles at UMass (11/23) … Had four tackles and a sack vs. Liberty (11/9).
2016 – FRESHMAN (BYU)
Redshirted as a true freshman in 2016 before serving a full-time mission for The Church of Jesus Christ of Latter-day Saints in Orlando, Florida from 2017-19.