Real-time county margin analyzer, turnout differential model, and regional coalition firewall inspector.