Session management

Version 0.3.0 Updated Apr 06, 2026

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]