Session management

Updated Nov 29, 2025

ConnectionId wraps a u64 identifier with helpers for construction, formatting, and retrieval. SessionRegistry stores weak references to PushHandle instances keyed by ConnectionId, automatically pruning dead entries during lookups. Helpers insert and remove handles, bulk-prune stale entries, or return live handle/identifier pairs for background tasks that need to enumerate active sessions.[^40]