Based on the information currently available, the problem with Polymarket is likely due to UMA's Optimistic Oracle being too "optimistic" and unable to discern facts to output accurate results (or resolve disputes)? Because according to Polymarket's design, all disputes in the market are resolved through the UMA optimistic oracle "without permission" (original document). The oracle has gone bankrupt, but I don't see any change in UMA's coin price.