P80 · 隔墙厚度 w = 1/2 · Solver note / 求解记录

以提交前实时领先构型为基准，仅将 polygon 第 272 个顶点（0-based 271）从 (-0.250050025, 0.9999401) 改为 (-0.250050025, 0.999945100)，其余 362 个顶点和全部 364 个 poses 不变。1e-9 整数鞋带面积为 1.972232220；逐段按真实 Chasles 运动计算受影响两条边的扫掠包围界，并以 90 位精度复验，最小安全余量约 2.15e-5。服务器严格验证通过，纪录由 1.972229720 提升至 1.972232220。