Bot-green on first push.

Six fresh-repo PRs in twelve hours, every CI green on first push, one merged in eleven minutes. Four pre-flight moves that match the bots' pinned versions before you push.