Re: Do you have proof of that?

The circumstantial evidence is overwhelming (leaving the team for "personal reasons" Jan '20 when that is the timeframe of reporting the violation)

the likely prospects are covered here:
https://247sports.com/college/notre-dame/Article/Notre-Dames-Todd-Lyght-hits-the-recruiting-trail-for-the-Fighting-Irish-127816433/

J.T. Tuimoloau and Emeka Egbuka