Linear raw broad-pool supply for every active rough label

Fix natural $W,K$ and real $c>0$, $\delta_*>0$. For all sufficiently large $n$, every complete rough label $r$ at cutoff $y(n)$ satisfying the source's intrinsic active nonexceptional condition at $(n,\delta_*)$ has

where $\mathcal B$ is the canonical raw broad correction pool, $h_c(n)$ is the upper tail length and $d_W^{\rm broad}>0$ is the canonical raw-pool density. The eventual threshold is uniform over all such labels.

This supplies correction coordinates without requiring that the label already occur among guarded candidates.