Machine learning models for MLB prop betting lines. Starter strikeout predictions with 72% calibrated accuracy at the 5.5 K line, plus first-five-innings win probability using negative binomial Monte Carlo simulation.