deviceKeys

The set of currently-connected serial device keys (the rest part of an s$rest SERIAL address).

Implementations MUST emit a fresh set whenever the connected-device set changes. Equal sets MUST be deduped by the underlying StateFlow semantics so collectors do not observe redundant emissions.