proximity: fix bounded GREAT_CIRCLE crash on dask backends#2722

Merged

brendancol merged 3 commits into

mainfrom

deep-sweep-accuracy-proximity-2026-05-29

Jun 1, 2026

Commits on May 29, 2026

proximity: fix bounded GREAT_CIRCLE crash on dask backends
brendancol
committed
sweep-accuracy: record proximity inspection (issue #2721, MEDIUM, cat 4;5)
brendancol
committed

Commits on Jun 1, 2026

Merge origin/main into deep-sweep-accuracy-proximity-2026-05-29
brendancol
committed