Struct State 

pub struct State {
    pub lifecycle: LifecyclePhase,
    pub processes: HashMap<u32, ProcessRecord>,
    pub event_version: u64,
    pub next_client_id: u64,
    pub workspaces: HashMap<String, WorkspaceRecord>,
    pub tabs: HashMap<String, TabRecord>,
    pub blocks: HashMap<String, BlockRecord>,
    pub windows: HashMap<String, WindowRecord>,
}

Fields

lifecycle: LifecyclePhase

processes: HashMap<u32, ProcessRecord>

event_version: u64

next_client_id: u64

workspaces: HashMap<String, WorkspaceRecord>

Phase E.2 — workspaces canonical to the srv reducer. Bootstrapped from SQLite at startup; subsequent transitions flow through update. In E.2 the reducer is a session-only projection — pipe-originated mutations live only in this map until the process restarts. E.2c adds the persist subscriber that mirrors changes back to SQLite (idempotent, version-gated) and migrates HTTP/WS RPC through the reducer.

tabs: HashMap<String, TabRecord>

Phase E.2b — tabs canonical to the srv reducer. Keyed by tab_id; ordering within a workspace is held in WorkspaceRecord.tab_ids. Bootstrap-loaded from SQLite at startup alongside workspaces.

blocks: HashMap<String, BlockRecord>

Phase E.3 — blocks canonical to the srv reducer. Keyed by block_id; ordering within a tab is held in TabRecord.block_ids. Bootstrap-loaded from SQLite at startup alongside workspaces and tabs.

windows: HashMap<String, WindowRecord>

Phase E.5 — window→workspace mapping. Bootstrap-loaded from SQLite Window rows. Mutated by the saga-driven CreateWindow/ CloseWindow/SwitchWorkspace commands; sagas use it to keep window+workspace lifecycle coherent.

Implementations

impl State

pub fn bump_version(&mut self) -> u64

Increment + return the monotonic event-version counter. Every emitted Event carries a version; subscribers detect gaps for resync (Phase D.3).

pub fn alloc_client_id(&mut self) -> u64

Allocate a fresh client_id for a new Register reply.

Trait Implementations

impl Debug for State

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for State

fn default() -> Self

Returns the “default value” for a type.