Uniform quadratic-logarithmic bound for guarded correction density

Write $L=\log n$, $N=n/L$, $Y=\lfloor n^{2/9}\rfloor$, and $h=\mathrm{upperTailLength}(c,n)$. Fix $W,K_0$, $c,\delta_*>0$, and real $\beta$. Let $D=\mathrm{roughCanonicalUniformGuardedPostchargeCorrectionDensityConstant}(W,K_0,c,\beta)$. Eventually, for every realized bank and guarded anchor certificate satisfying its cutoff threshold and $Y$ below the central cutoff, every attained active raw correction label has balanced guarded postcharge density bounded by

The estimate is uniform over active labels, bank realizations, and guard certificates at the permitted scale.