Module state 

EngineState — a CLI-side mirror of live engine state.

Populated by the WS subscriber (push) and opportunistically by HTTP polls (pull). Every field that the TUI renders is a Stat<T>, so staleness is visible and the renderer can refuse to display values that age out.

The mirror is read by widgets via a cheap clone of its Arc, and it is updated only from within the subscriber’s task. This keeps the lock scope small and lets ratatui’s render loop acquire read() handles without contention.

See ADR-003 (state model) and spec §3.5 (“engine is the source of truth”).

Structs

ConnectionHealth

A connection health roll-up for the status bar.

EngineState

Live mirror of the engine fields the CLI renders.