She sounds right on track to me. She is not only doing what she can at HS, she is going above and beyond that in her area of interest.
Of course you named a bunch of very hard admits. Not that she shouldn’t apply if she stays on the track you outline, but the really critical thing will be to identify some other colleges which will be easier admits and would also be great.
You don’t have to do this now, but this forum is GREAT at brainstorming options. Like I am already itching to suggest some other great public options (Washington, Wisconsin, Minnesota, Pitt, and so on), maybe WUSTL as a slightly easier reach, and so on.
But again, in terms of course track, I think you are good.