fn apply_srv_window_closed(
wstore: &WaveStore,
window_id: &str,
) -> Result<(), Box<dyn Error>>Expand description
Phase E.5 — delete the persisted Window row + remove the id
from Client.windowids. Mirrors wcore::close_window’s order:
prune client.windowids FIRST (so any read between the two ops
doesn’t see a dangling id), then delete the Window row.
(codex P1 #619.)