If Manny Machado leads Pro Baseball in RBIs for the 2026 regular season, then the market resolves to Yes. The participant must have the highest total of the specified statistic across the entire season type as documented by the official league statistics. Only statistics from games officially designated as part of the specified season type are included. Preseason, postseason, playoff, exhibition, friendly, or all-star statistics are excluded unless the season_type specifically includes them. If a participant competes for multiple teams during the season, statistics from all teams are combined. Participants who do not play any games due to injury, suspension, retirement, or other reasons resolve to No. League minimum qualification thresholds apply. In case of exact ties where the league does not declare a single winner, tied participants receive a proportional payout. Statistical corrections are only considered if made before the expiration date. This market will close and expire early if the season ends earlier than expected.