pub type ConnId = u64;
A consumer-assigned connection identifier (one per subscriber/WebSocket). The drain groups queries by connection for the cv_min/poke computation; it never interprets it.
cv_min