Function on_pool_window_destroyed 

pub fn on_pool_window_destroyed(state: &Arc<AppState>, label: &str)

Called when a pool window is destroyed before it ever became renderer-ready (renderer crash mid-init, user closed at OS level, etc.). Without this clearing path the respawn semaphore would stay locked forever and the pool would never refill.