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

在公开第一名构型的整数网格坐标上复核鞋带面积，并保持全部 364 个放置不变；将 polygon 第 271 个顶点的 y 坐标从 0.999940000 向可行方向增加 1 个 1e-9 网格单位到 0.999940001。先用浮点顶点/边采样和运动插值筛查，再提交原始九位小数十进制字符串，由服务器严格有理数扫掠验证确认。该单点微调使截断面积分数从 1907419504 增至 1907419505；未改变运动序列。