Remark: The exact quantifier separation

The quantities $B$, $L$, $T_{\Gamma }$, and the refinement threshold may grow with a fixed source's complexity. They appear only in $r_{{\Gamma }_j,j,g}(n)$, which vanishes after that source is fixed. The coarse coefficient is $2L_g$, not a graph-dependent sum.