Skip to content

test(parity): resolve facade methods against libmeos and broaden the smoke (stacks on #11)#12

Closed
estebanzimanyi wants to merge 1 commit into
MobilityDB:feat/parity-audit-exactfrom
estebanzimanyi:feat/parity-runtime-resolution
Closed

test(parity): resolve facade methods against libmeos and broaden the smoke (stacks on #11)#12
estebanzimanyi wants to merge 1 commit into
MobilityDB:feat/parity-audit-exactfrom
estebanzimanyi:feat/parity-runtime-resolution

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

Adds a --libmeos resolution check to parity_audit.py that confirms every MeosOps* facade method resolves to an exported symbol in a built libmeos (recorded as section 5 of docs/parity-status.md), and broadens MeosFacadeSmokeTest with an integer-span roundtrip and a pose-rotation assertion.

@estebanzimanyi estebanzimanyi force-pushed the feat/parity-runtime-resolution branch from e70278e to f1325be Compare May 29, 2026 12:42
…smoke

Add a --libmeos resolution check to parity_audit.py that confirms every MeosOps* facade method resolves to an exported symbol in a built libmeos and records it as section 5 of parity-status.md, and broaden MeosFacadeSmokeTest with an integer-span roundtrip and a pose-rotation assertion.

(cherry picked from commit f1325be)
@estebanzimanyi estebanzimanyi force-pushed the feat/parity-runtime-resolution branch from f1325be to df5c870 Compare May 31, 2026 07:49
@estebanzimanyi estebanzimanyi changed the base branch from main to feat/parity-audit-exact 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