Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed