From f198e2d784a0e12872e5d5782cc203e326f550e2 Mon Sep 17 00:00:00 2001 From: Esteban Zimanyi Date: Sun, 25 Oct 2026 18:31:55 +0100 Subject: [PATCH] Record the sort keys of a span and a span set in the Spark gaps ledger MobilityDB makes public the order-preserving sort keys of a span and a span set, span_sortkey and spanset_sortkey, each returning a byte array through a pointer and its length, which the Spark UDF surface does not carry, as for setstate_serialize, which the ledger lists with that return. tools/spark-udf-gaps.txt lists the 2. Witness: over MobilityDB master bc6f2729ea and MEOS-API master 71c23da the step refusing a public function the Spark surface stops reaching fails on main's ledger with "2 public functions the surface does not reach and the ledger does not list", naming span_sortkey and spanset_sortkey, each array-or-out-param:size and unsupported-return:uint8_t *. Measured over the same pair with the jar built from that catalog and that libmeos: the step reports no function missing from the ledger, which lists 778 functions; the build runs 127 codegen and 1804 jmeos-core tests with no failure, skip or warning line. --- tools/spark-udf-gaps.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/spark-udf-gaps.txt b/tools/spark-udf-gaps.txt index 0c7e27901..6eb513945 100644 --- a/tools/spark-udf-gaps.txt +++ b/tools/spark-udf-gaps.txt @@ -432,8 +432,10 @@ set_split_n_spans array-or-out-param:count setstate_deserialize array-or-out-param:bytes setstate_serialize array-or-out-param:size_out; unsupported-return:uint8_t * span_hash ret:uint32_t +span_sortkey array-or-out-param:size; unsupported-return:uint8_t * spanset_hash ret:uint32_t spanset_make array:Span * +spanset_sortkey array-or-out-param:size; unsupported-return:uint8_t * spanset_spanarr internal spanset_spans array-or-out-param:count spanset_split_each_n_spans array-or-out-param:count