trace

abstract val trace: Flow<RaftTraceEvent>

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.