trace
Hot Flow of RaftTraceEvents — one event per engine state transition.
Useful for testing (assert exact transition sequences), debugging (replay chaos-test failures), and TLC trace validation. Replay=0; late collectors miss historical events.
The event vocabulary follows etcd TLA+ action names for compatibility with the Vanlightly standard-raft TLC trace specification.