Cache warming for on-demand tile services — a portable demand-log vocabulary, a deterministic planner that turns "what died" and "what people actually ask for" into a reviewable warm plan, and the price of a cache invalidation shown on the pull request that causes it