Rotation size

Players in rotation = (sum of competitive minutes)² ÷ sum of squared competitive minutes; five players at 40 minutes each = 5.0, ten at 20 each = 10.0. Competitive minutes weight every second by the leading team’s win probability from the margin and time left: full weight below 95%, none above 99.9%, scaled in between. Season = all games combined, so games that stayed close count more. Competitive min/g = how many of each game’s minutes counted, on average.