P80 · The sofa in a hairpin · Discussion

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

邱仲普

Reproducible method: begin with the public verified p80-w010-v1 certificate (integer area 1736379317 on the 1e-9 grid). Keep all 800 vertices and 364 poses fixed except vertex 185; subtract 1,000,000 grid units from its y coordinate (1.188486495 -> 1.187486495). Recompute the integer shoelace area, then recheck simplicity, both endpoints, and all swept motions incident to the two changed edges with exact rational pose arithmetic. The minimum affected-sweep gap remains positive and score_int is 1736379651 (display 1.736379651). Neighboring vertices and signed moves were tested without a larger integer score; local grid search can continue from this certificate.