Skip to content

docs(parity): record the JMEOS-jar / MEOS-library resolution skew (stacks on #13)#14

Closed
estebanzimanyi wants to merge 2 commits into
MobilityDB:feat/parity-sql-surfacefrom
estebanzimanyi:feat/parity-resolution-skew
Closed

docs(parity): record the JMEOS-jar / MEOS-library resolution skew (stacks on #13)#14
estebanzimanyi wants to merge 2 commits into
MobilityDB:feat/parity-sql-surfacefrom
estebanzimanyi:feat/parity-resolution-skew

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

Section 5 of docs/parity-status.md reports facade-method resolution against a built MEOS library (2277 of 2286) and splits the 9 unresolved into the seven symbols declared in the public headers that the build does not export and the two functions the JMEOS jar carries ahead of the current public headers.

@estebanzimanyi estebanzimanyi force-pushed the feat/parity-resolution-skew branch from dcb9be8 to 8972caf Compare May 29, 2026 12:42
Section 5 of parity-status.md reports facade-method resolution against a built MEOS library (2277 of 2286) and splits the 9 unresolved into the seven symbols declared in the public headers that the build does not export and the two functions the JMEOS jar carries ahead of the current public headers.

(cherry picked from commit 8972caf)
@estebanzimanyi estebanzimanyi force-pushed the feat/parity-resolution-skew branch from 8972caf to f8141d2 Compare May 31, 2026 07:49
…MEOS-only

The berlinmod Haversine and SegmentDistance classes computed a planar/great-circle
distance that diverges from MEOS geog_distance (4124.39 vs 4132.97 m on the parity
corpus) and were selected silently when libmeos failed to load, so the parity-oracle
suite validated against a non-canonical distance and a missing libmeos produced a
wrong number rather than an error. MEOSBridge now evaluates every spatial predicate
through MEOS geog_dwithin / geog_distance with no fallback and fails loudly at load
when libmeos is absent, matching the MeosOps surface. The BerlinMOD local drivers run
on MEOS. The distance cells (Q5/Q6/Q9) now equal the MEOS value, matching the Kafka
Streams parity row.
@estebanzimanyi estebanzimanyi changed the base branch from main to feat/parity-sql-surface June 11, 2026 16:46
@estebanzimanyi

Copy link
Copy Markdown
Member Author

Superseded by the Path-B consolidation: the former 18-deep stack is collapsed into two reviewable topical PRs on top of the merged scaffold — MEOS integration #30 → benchmark #31 — each one clean squashed commit with the generated-facade bulk, dead family-flag profiles, committed target/ artifacts, and invented synthetic corpus removed. Closing as folded into #30/#31.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant