handle_report_backend_window_id_unregistered

agentmux_launcher::reducer::window

Function handle_report_backend_window_id_unregistered 

Source 
pub(super) fn handle_report_backend_window_id_unregistered(
    state: &mut State,
    label: String,
) -> Vec<Event>
Expand description

Phase B.5 (window_id_map step a) — drop the host-reported label from the map. Strict pairing: emits BackendWindowIdUnregistered only when the label was present (mirrors WindowClosed and PoolWindowRemoved semantics — codex P2 PR #577 round-2).