anon-iclr-submission/benchname-bug-localization huggingface dataset:
Repository: gisaia/arlas-server
Issue: H3 aggregations with geometries as bbox  returns invalid geojson

The first coordinate and the last coordinate must be equal : 

      "geometry": {
        "type": "Polygon",
        "coordinates": [
          [
            [
              **-123.63288293592632,
              39.00875060353428**
            ],
            [
              -123.6217990424484,
              39.00875060353428
            ],
            [
              -123.6217990424484,
              38.85480898898095
            ],
            [
              **-123.63288293592632,
              38.85480898898095**
            ]
          ]
        ]
      }

Changed files:
arlas-core/src/main/java/io/arlas/server/core/impl/elastic/services/ElasticExploreService.java

diff --git a/arlas-core/src/main/java/io/arlas/server/core/impl/elastic/services/ElasticExploreService.java b/arlas-core/src/main/java/io/arlas/server/core/impl/elastic/services/ElasticExploreService.java
index 94be4275..04761887 100644
--- a/arlas-core/src/main/java/io/arlas/server/core/impl/elastic/services/ElasticExploreService.java
+++ b/arlas-core/src/main/java/io/arlas/server/core/impl/elastic/services/ElasticExploreService.java
@@ -574,6 +574,7 @@ public class ElasticExploreService extends ExploreService {
         bounds.add(new LngLatAlt(bottomRight.getLon(), topLeft.getLat()));
         bounds.add(new LngLatAlt(bottomRight.getLon(), bottomRight.getLat()));
         bounds.add(new LngLatAlt(topLeft.getLon(), bottomRight.getLat()));
+        bounds.add(new LngLatAlt(topLeft.getLon(), topLeft.getLat()));
         box.add(bounds);
 
         return box;