So if she retroactively collects prize money, I'd say she should lose any marks counted as high school set. Granted, she didn't run any record times after nationals so it may be a mute issue.
That leads me to this, it's a shame she couldn't have waited until this coming summer to go pro, it would have been nice to see if she could have put these records way out of reach.
Amateur status has nothing to do with high school records, as we currently keep them. All that's required is that you're a high school student in the US.