Function next_correlation_id 

pub fn next_correlation_id() -> String

Mint a fresh correlation id.

Ids need only be unique among the exchanges in flight on one connection; a process-wide counter satisfies that with no per-connection state and no randomness dependency. They are opaque to the provider, which must echo the string verbatim rather than parse it.