Push notifications that actually arrive, and say what they are

Sending a push notification gives you a ticket, and a ticket means queued. It does not mean delivered. Delivery is in a receipt that arrives about twenty seconds later, and until this release nothing read those receipts — so every send looked successful, including the ones going to devices that had uninstalled the app months earlier.

Receipts are read now, failures are attributed back to the token that caused them, and dead tokens are pruned. That matters beyond tidiness: a large share of a send going to dead tokens is a signal the delivery service reads about the sender.

Notifications also gained a branded image card, stored server-side so the version in the app and the version in the push are the same thing rather than two implementations that drift. Sends are batched, and the schedule that drives them runs automatically.

Two smaller faults went with it: like notifications were printing the same line twice, and the deep link on an announcement pointed at a route that did not exist, so tapping it went nowhere.