Formally verified polygon intersection library, one-shotted by Claude Opus 4.8

Maker permute shipped a formally verified polygon intersection implementation and noted that Claude Opus 4.8 solved it in a single attempt after previous models failed. For indie devs building geometry-heavy tools or computational graphics, formal verification of this kind of notoriously tricky algorithm is a meaningful baseline to borrow from.