Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

This project provides the first formally verified implementation of a polygon intersection algorithm, ensuring mathematical correctness through rigorous proof. It is intended for developers and researchers in computational geometry, computer graphics, or formal verification who require reliable, bug-free geometric operations. The work is particularly interesting because it documents how the author's experience collaborating with AI agents evolved dramatically with the release of Opus 4.8, which was able to directly supply the algorithm implementation.