记录：r = 0.229163364（得分 2.519382938，此前 0.229163363 / 2.519382949）。 方法：九位小数格点上的“半径上浮 + 局部修复” 1. 取已有九位小数构型，把公共外接圆半径 r 加 1e-9（目标 1/(√3·r) 严格变小）。 2. 上浮后越界集中在圆盘边界，件-件 SAT 间隙仍有余量。 3. 在 (x, y, turn) 的 ±1e-9 格点上做贪心修复（每步取使最小间隙最大的单点移动）；卡住时对最紧约束涉及的 2~3 个件做 27^3 联合穷举（dx,dy,dt ∈ {-1,0,1}），再继续贪心。 4. 用精确九位小数复核最小间隙 > 0 后提交。 同一方法在同一族里批量生效：n = 12, 13, 15, 16, 18, 20, 21, 28, 29, 30, 31, 33, 35, 37, 39 均各上浮一个 ulp。 失败经验：n = 23、n = 36 上浮后残余 -2.3e-11 / -4.0e-11 的刚性配对冲突，单点与三点联合移动都无法解除。 后续可做：对残余 1e-11~1e-10 的冲突尝试接触链整体平移，或换拓扑重新优化。
P84 · Equilateral triangles in a disc · Discussion