feat: import the OpenSysML extension libraries with their history, plus pilot-pinned validation CI

[devin-ai-integration]

Summary

Moves OpenSysML's 14 non-normative SysML v2/KerML extension libraries into this repository, with their history. OpenSysML and any other SysML v2 tool can then consume them from one place.

• History: git filter-repo on a fresh clone of Open-MBEE/OpenSysML develop (source commit 49d7d1350c4347425ed23dae872186dce357563e).

  • The filter keeps every path these files have lived at: internal/workspace/libs/stdlib/OpenSysML Libraries/, internal/core/libs/stdlib/OpenSysML Libraries/ and internal/core/libs/stdlib/Systemica Libraries/SystemicaMathFunctions.kerml, which was later renamed OpenSysMLMathFunctions.kerml. That is 170 commits.
  • #N references in commit messages are rewritten to Open-MBEE/OpenSysML#N, so they don't link to this repository's issues.
  • The import lands as a merge with --allow-unrelated-histories (42dc1f7). The imported libraries/ is byte-identical to the source commit's directory.
  • Merge this PR with a merge commit, not squash or rebase, or the history is lost.

• Layout: a flat libraries/<Name>.sysml|.kerml, one top-level library package per file, with the file stem equal to the package name. SysML resolves libraries by package name, not by path, so any tool can load the directory as-is. scripts/check-readme-table.sh enforces the stem/package rule and keeps the README table complete.

• License: Apache-2.0 for every file. All were authored in OpenSysML; OpenSysML's internal/workspace/libs/stdlib/NOTICE already excludes OpenSysML Libraries/ from the OMG EPL-2.0 material, and no OMG library text is copied.

• Validation CI (.github/workflows/ci.yml):

  • scripts/pilot-pin.sh pins the OMG pilot at tag 2026-08 = 692170b71867353b8f90341e61556f49a5beb0e5, the same pin OpenSysML uses. scripts/verify-pilot-pin.sh fails if that tag no longer resolves to that commit.
  • scripts/validate-libraries.sh builds the pilot batch validator and requires 0 errors and 0 warnings over libraries/.
  • Allow-list: exactly 4 warnings are allowed for now, listed in validation/allowed-warnings.txt. These are "User library packages should not be marked as standard" on DiagramLayout, IdentityMetadata, MigrationMetadata and SysMLValidation. They are not fixed here, because an open OpenSysML PR changes those declarations to library package; once it merges, the change is ported here and the entries are deleted. A stale allow-list entry fails the gate, so the list can only shrink.

• .kpar: scripts/build-kpar.py writes a deterministic KerML 10.3 project archive (.project.json + .meta.json with a SHA-256 per unit, in the format sysml-toolkit reads). CI uploads it as an artifact. release.yml attaches it to every vX.Y.Z tag's GitHub release.

• Engine contract (engine-contract.json): the 125 qualified names OpenSysML binds to, so these names are an API. Each entry has a kind and the OpenSysML consumers that use it, plus migratorEmitted on names the SysML v1 migrator writes into user models:

  • function (10): parameters in order;
  • metadata (26): the attributes the engine reads;
  • document (45), element (38) and package (7).

  scripts/check-engine-contract.sh runs in CI in two parts:

  • check-engine-contract.py checks the schema, sort order and uniqueness.
  • engine-contract/CheckEngineContract.java loads the libraries on the pinned pilot and resolves every entry: a namespace for package, a Function with exactly those parameters for function, and a Metaclass with those features for metadata.

  On a PR it also diffs against the base's manifest. Removing an entry, changing its kind or parameters, or dropping an attribute fails unless contract is bumped, which means a MAJOR release and a coordinated OpenSysML re-pin (CONTRIBUTING.md).

• Advisory job: OpenSysML against these libraries checks out OpenSysML develop, syncs this PR's libraries in with scripts/sync-extension-libraries.sh --source, and runs the library-dependent Go test packages. It is continue-on-error and not a required check. Until the companion OpenSysML PR lands on develop, it has no sync script to call and skips.

• Docs: README.md covers purpose, the library table with portability, loading in the pilot/Eclipse/SysON/sysml-toolkit/OpenSysML, and semver policy. CONTRIBUTING.md covers how to propose, name, document and validate a library, and how review works.

Merge order

1. Merge this PR first, with a merge commit.
2. Then the companion Open-MBEE/OpenSysML PR. It vendors these libraries pinned to this branch's commit. After this PR merges, its pin is bumped to the merged commit on main.

Verification

• validate-libraries.sh passes locally with 0 errors and the 4 allow-listed warnings.
• Each of these fails the gate: an injected syntax error, adding standard to a fifth file, deleting an allow-list entry, and adding a stale allow-list entry.
• Each of these fails the contract check (scratch edits, reverted):
  • renaming OpenSysMLMathFunctions::log in its library;
  • swapping log's parameters;
  • renaming a metadata attribute;
  • an invalid kind;
  • removing Simulation::MonteCarlo from the manifest. That one passes with contract: 2 and prints the MAJOR notice.
• build-kpar.py produces byte-identical output across two builds. sysmlv2 check --lib <sysml.library> <the .kpar> (sysml-toolkit) reads the archive and verifies its checksums.

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

[devin-ai-integration]

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