Skip to content

chore(engine-contract): list DocumentQueries::Differ, bound by OpenSysML's query planner - #17

Merged
NicolasRouquette merged 2 commits into
mainfrom
chore/engine-contract-differ
Oct 29, 2026
Merged

NicolasRouquette merged 2 commits into
mainfrom
chore/engine-contract-differ

Conversation

@devin-ai-integration

@devin-ai-integration devin-ai-integration Bot commented Oct 29, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Open-MBEE/OpenSysML#1690 binds DocumentQueries::Differ (declared by #16) in internal/ir/queryplan/compiler.go, and OpenSysML's hygiene gate TestEngineContractCoversEveryBoundName requires every bound name to be in engine-contract.json — "new engine bindings are added to the manifest by the OpenSysML-side pull request that introduces them — upstream there first" (CONTRIBUTING, The engine contract). This adds the entry, kind document, consumer internal/ir/queryplan/compiler.go, in name order; scripts/check-engine-contract.py passes.

Semver impact: PATCH. Additive manifest entry; contract stays 1 (a bump is for changing or removing an entry). No library source changes.

Link to Devin session: https://nasa-jpl-demo.devinenterprise.com/sessions/18ad47adf36f44e9b6824a4472f9678d
Open in Devin Desktop: https://nasa-jpl-demo.devinenterprise.com/desktop/session/18ad47adf36f44e9b6824a4472f9678d?variant=devin
Requested by: @NicolasRouquette


Devin Review

devin-ai-integration Bot and others added 2 commits October 29, 2026 16:10
…sML's query planner

Co-Authored-By: Nicolas Rouquette <nicolas.f.rouquette@jpl.nasa.gov>
Co-Authored-By: Nicolas Rouquette <nicolas.f.rouquette@jpl.nasa.gov>
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

Devin Review

@NicolasRouquette
NicolasRouquette merged commit b87334f into main Oct 29, 2026
2 checks passed
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