The definitive category-defining domain for prediction markets, probability verification protocols, and the future of decentralized forecasting.