That's a fair way to do it.
I decided if a guy was seeded at 23 and lost his first two matches, he's one of the first 8 to go. With 32 seeds, that would be the 24-32 seeds should be the first to go. So he wrestled below seed.
If a guy was ranked 12 and finished just shy of AA, then I said that was even because he would have been in the 9-12 finishing range.
If a 15 seed lost 2 straight, below seed. If he won one and lost 2, below seed because he's going out with the 16 worst seeds. If he lost, then won 2 and lost, even. I hope that makes sense.
The way the bracket is set up, first people to lose 2 are 8 wrestlers. Then next set is another 8, then 4 then 4, and then you have the top 8.
I just saw your revised post. Indeed I did miss Mastro, I looked for OKST and did not see it at 125, but there he is and was above his seed for sure. That's why you are the rocket scientist and I'm not.
mspart