The interesting design question is how platforms should handle resolution disputes like this. Polymarket uses UMA's optimistic oracle, which allows anyone to challenge a resolution within a dispute window. But that only works when someone is incentivized to challenge. If the manipulator holds both sides of the market at the right ratio, they can profit even if the resolution is later corrected. Serious prediction markets will eventually need to adopt multi-source oracle designs the way DeFi lending protocols moved to Chainlink-style aggregated price feeds after the flash loan attacks of 2020.