Yes, those 4 are all gone, and its up in the air (at least publicly) if a few others who were in and around the top 7 like the older Quarzo and Jenna Schulz will use their covid years.
I think there are 3-4 clear "key" pieces based off last year's performances. Leah Stephens the obvious one with her 43rd place finish and several top tier results at Nuttycombe and ACC's to go along with that. Grace Hartman would be the 2nd with her 5th place finish for the team last year in 63rd and now she has seemingly gone up to another level with her 15:28 at Indoor Nats to get an All-American Finish in the 5k. Fiona Smith is the wildcard. DIII legend but its always a crapshoot how that will translate to the D1 level. NC State needs to her to have an immediate impact similar to Ella Baran or Alex Philip in recent years. The final seemingly obvious returner is Hannah Gapes who was 6th on the team and 73rd at Nationals last year.
If Quarzo and Schulz return that certainly helps out with depth, but neither of them have yet to be able to crack the top 100 at nationals. Certainly can't rule them out of improving but maybe not how NC State wants to enter the season relying on that much improvement, so not ideal for a top 5 runner if you want to podium. After that it gets less clear. Still a ton of talent on the roster, but either not proven at the NCAA level or unable to stay healthy. The latter referring to Brooke Rauber who had a really clutch race to finish 5th on the team for their 2022 title but has struggled to stay healthy otherwise. The rest of their team that is expected to be competitive for travel squads are going to be true freshman and redshirt freshman in XC. Can one of them have a Leah Stephens like impact? one of Bethany Michalak, Xela Martinez or Jolena Quarzo would be my guess if anyone did make that jum but thats a tough ask for a freshman. We'll see how Quarzo does at U-20 World XC later this month to see what expectations to hold for her.
I'm guessing NC State will have a strong eye in the transfer portal this spring to see if they can find at least a reliable top 5 scorer and cross their fingers for a low stick to transfer. If they dont its going to be tough to podium unless teams blow up like BYU did last year. The 2025 and 2026 squads look like they have potential to get back to podium favorite status again however. Stephens, Hartman and Gapes all have 3 more years of XC eligibility on top of the recruits they are bringing in.