I was wrong about the possibility of the coarse list not being sorted. Both CullByExactEdgeTests and SphericalIntersectionTests preserve ordering in LDS (remove elements by compaction)