P06 · n = 114 · Solver note / 求解记录

从实时页面的 114 圆九位整数证书出发，将容器半径目标降至 748.836275014，在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解；独立整数检查确认全部 114 个包含约束与 6441 个成对分离约束。该解严格领先 1e-9；更低目标可扩大窗口或进行全局重启。