Repository navigation
Record the position functions of a temporal point cloud and a box in the Spark gaps ledger - #156
Merged
estebanzimanyi merged 1 commit intoOct 5, 2026
Conversation
…the Spark gaps ledger tools/spark-udf-gaps.txt lists the 32 public MEOS position functions over a point cloud box and a temporal point cloud, <op>_tpcbox_tpointcloud and <op>_tpointcloud_tpcbox for left, overleft, right, overright, below, overbelow, above, overabove, front, overfront, back, overback, before, overbefore, after and overafter, each taking a TPCBox, which the Spark surface carries no value type for, as the ledger lists their topological siblings overlaps_tpcbox_tpointcloud and the others. Witness: MobilityDB #2981 makes the 48 position functions of a temporal point cloud public, and JMEOS main fails its Spark gaps step against master 4ba7818277: "32 public functions the surface does not reach and the ledger does not list ... above_tpcbox_tpointcloud arg:TPCBox * ... right_tpointcloud_tpcbox arg:TPCBox *". Measured: against MobilityDB 4ba7818277 and the catalog of MEOS-API 18a1e6d53c, with the jar regen-from-catalog.sh builds from it, --rebaseline adds these 32 lines and removes none, the ledger lists 751 functions, and --gaps reports none new.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
tools/spark-udf-gaps.txt lists the 32 public MEOS position functions over a point cloud box and a
temporal point cloud, _tpcbox_tpointcloud and _tpointcloud_tpcbox for left, overleft,
right, overright, below, overbelow, above, overabove, front, overfront, back, overback, before,
overbefore, after and overafter, each taking a TPCBox, which the Spark surface carries no value
type for, as the ledger lists their topological siblings overlaps_tpcbox_tpointcloud and the
others.
Witness: MobilityDB #2981 makes the 48 position functions of a temporal point cloud public, and
JMEOS main fails its Spark gaps step against master 4ba7818277: "32 public functions the surface
does not reach and the ledger does not list ... above_tpcbox_tpointcloud arg:TPCBox * ...
right_tpointcloud_tpcbox arg:TPCBox *".
Measured: against MobilityDB 4ba7818277 and the catalog of MEOS-API 18a1e6d53c, with the jar
regen-from-catalog.sh builds from it, --rebaseline adds these 32 lines and removes none, the
ledger lists 751 functions, and --gaps reports none new.