pub type AgentId = u32;Expand description
Identifies one agent() call site by its position in the run.
Because the interpreter is deterministic, the same script with the same
arguments issues the same sequence of calls, so the position is a stable key
for Journal without any bookkeeping in the script itself.