I mean, they've shown the math using the actual seeding criteria, so the premise of your thread has been objectively proven incorrect. So while you think it's "unfair" according to the agreed seeding criteria this is the only "fair" result.
It sounds like your actual beef is with the seeding criteria. It sounds like you want to add a component that takes into account previous year results and whether someone was in the weight class the previous year.