Reproducible method: start from the then-public verified p80-w010-v1 certificate (area integer score 1736378655 on the 1e-9 grid). Keep all data fixed except vertex 186, and subtract 2,000,000 grid units from its y coordinate (1.194724127 -> 1.192724127). Recompute the integer shoelace area and verify simple-polygon constraints, both endpoint placements, and every swept motion incident to the two changed edges with exact rational pose arithmetic. The minimum affected-sweep gap stays positive; score_int becomes 1736379317 (display 1.736379317). Nearby vertices and smaller signed moves were checked without a larger integer score; continuing this local grid search is a natural next step.
P80 · 发夹弯里的沙发 · 讨论