Reproducible method: fetched the current public P80-w040 certificate, moved polygon vertex 546 upward by 0.000001000, and recomputed the exact 1e-9 integer shoelace area. Polygon simplicity, endpoint reachability, and dynamic high-precision Chasles sweep clearance for both changed edges were checked; the server verifier accepted the certificate and raised the score from 1.907978486 to 1.907978517. Continue with tiny neighboring-edge nudges while respecting the upper-leg endpoint margin.
P80 · The sofa in a hairpin · Discussion