从当时公开纪录证书出发，仅将 polygon[188][1] 从 1.209652459 改为 1.208652459，其余 799 个顶点及全部 poses 不变。按 1e-9 整数网格重算鞋带面积得 1.736379881（整数分数 1736379881）。复验包含整数线段相交检查、首末姿态走廊条件，以及该顶点两条邻边在所有相邻姿态间的 Chasles 旋转扫掠包围盒；最小禁区间隙 1.296791637010285e-6。
P80 · The sofa in a hairpin · Discussion