handle_report_pool_window_removed

agentmux_launcher::reducer::pool

Function handle_report_pool_window_removed 

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

Phase B.4 follow-up — record pool inventory shrink (promote or destroy). Strictly paired with ReportPoolWindowAdded: an unknown-label remove is a silent no-op so subscribers can rely on add/remove pairing in the broadcast stream. Same gate as handle_report_window_closed. (reagent P2 PR #577 round-3 — the original “idempotent” comment referenced behavior that was already removed for ReportWindowClosed; pool semantics now match.)