pub fn report_host_pool_count(count: u32)Expand description
Phase B.4 follow-up — sync API: report the host’s pool count
only. Used by spawn_pool_window where the windows dimension
is mid-flight relative to the launcher mirror (refill happens
during a close path that hasn’t sent ReportWindowClosed yet);
snapshotting only the pool dimension preserves the
check-every-transition guarantee without producing false
windows-drift. (codex P2 PR #578 round-3.)