VoronoiDiagramBuilder: tolerance-based dedup + safe cell construction (stacked on #1212) - #3

Open

grootstebozewolf wants to merge 4 commits into

micycle1:fixupfrom

grootstebozewolf:stacked-on-1212-voronoi-deduplication

Commits on Jul 12, 2026

Fix #20: VoronoiDiagramBuilder robustness on near-coincident points.
grootstebozewolf
committed
148750f
Address skeptic: safe omit for degenerate Voronoi cells in getVoronoiCellPolygon + filter; independent count assert in repro test (hardcoded 4 from known #20 data). Targeted tests + fresh verif run…
grootstebozewolf
committed
3d92805
docs: add issue20-verification.md with full Rocq report for #20 (WKB, theorems, test); update history link
grootstebozewolf
committed
05bda13

Commits on Jul 14, 2026

Fix license headers for EPL 2.0 compliance
grootstebozewolf
committed
30ab402