Expand description
Single-threaded, deterministic FIFO bus. Each event is dispatched to every interested
subscriber in registration order; their emissions are collected then appended, so the
output is reproducible — the property CI and report --check rely on.