Function mint_exec_id 

pub fn mint_exec_id() -> String

A fresh exec id from the production clock: x- plus 16 hex characters.

exec_id_at over tokio’s clock. Code holding a Session mints through the session’s clock instead, so a test that pins the clock pins the id.