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

从提交前的公开纪录解 1.755055611 出发，保持 364 个 poses 及其余 799 个多边形顶点不变，仅将 polygon[185].y 从 0.50000005 下移到 0.49999405。用 10^-9 整数鞋带公式得到面积整数 1755055624（+13）。独立检查整数简单多边形与有理端点条件；只需重验相邻边 184、185，对全部 Chasles 旋转段枚举端点圆弧的坐标极值，120/180 位重算一致，最小禁区间隙 2.414894957776338655e-6（motion 120, edge 184）。较大的 0.008 同向扰动会穿墙，故缩小到 6e-6。