An engineering note on the real-time push path. Re-verified against production 2026-09-13: push and poll run in parallel and share dedup, and the push path is the primary one.