Eventual raw broad-pool surplus with three guard coordinates

Fix natural $W,K,m$ and positive real $c,\delta_*$. Eventually in $n$, every complete rough label $r$ at cutoff $y(n)$ that is intrinsically active and nonexceptional at $(n,\delta_*)$ satisfies

where $T$ is the full upper complete-rough-row target and $\mathcal B$ is the raw broad correction pool.

The surplus accommodates both an arbitrary fixed pool minimum and the literal three-coordinate guard budget.