feat(libs): vendor the extension libraries pinned to OpenSysML-Extensions-Library, with an engine contract - #881

Open

devin-ai-integration[bot] wants to merge 12 commits into

feature/pinned-extension-libraries

Commits on Oct 4, 2026

feat(libs): pin and sync the vendored extension libraries from OpenSysML-Extensions-Library

devin-ai-integration[bot]
and
HuiJun
committed
6adea4d
test(libs): hold the runtime registry and bound names to engine-contract.json

devin-ai-integration[bot]
and
HuiJun
committed
928d62a
ci,docs: extension-libraries drift check, advisory upstream workflow, and the new library home

devin-ai-integration[bot]
and
HuiJun
committed
c5aa23d
fix(contract): re-pick extensions pin; reject duplicate manifest entries; name all 14 libraries in README

devin-ai-integration[bot]
and
HuiJun
committed
f499baf
docs: exclude the extension-libraries engineering record from the built site

devin-ai-integration[bot]
and
HuiJun
committed
0f33df3
fix(libs): refuse an upstream without engine-contract.json; test the tools module in the upstream job

devin-ai-integration[bot]
and
HuiJun
committed
7a0eda4
chore: retrigger pull request checks

devin-ai-integration[bot]
and
HuiJun
committed
d8e3469
Merge branch 'develop' into feature/pinned-extension-libraries

devin-ai-integration[bot]
and
HuiJun
committed
d33fcb8
chore(libs): pin the extension libraries to the merged Extensions-Library main

devin-ai-integration[bot]
and
HuiJun
committed
265c440
Merge branch 'develop' into feature/pinned-extension-libraries

devin-ai-integration[bot]
and
HuiJun
committed
e2c82c9
chore: retrigger pull request checks

devin-ai-integration[bot]
and
HuiJun
committed
734d3fc
Merge branch 'develop' into feature/pinned-extension-libraries

devin-ai-integration[bot]
and
HuiJun
committed
53516ef