chore(release): bring develop's post-cut changes into 0.10.0

.agents/skills/testing-sysml-repl/SKILL.md

@@ -6309,6 +6309,36 @@ None for these local REPL/gRPC checks.
 - Validate saved Turtle independently with rdflib; check real triples and declarations rather than
   trusting the save confirmation.
 
+
+## Migration and state-rendering comparisons
+
+- Migrate real Cameo archives through `bin/sysml model.mdzip -migrate sysml
+  -o output.sysml -migration-report output.report.txt`; source XMI is normally
+  `com.nomagic.magicdraw.uml_model.model` inside the archive.
+- Compare reports by element XMI ID, not line number or name: repeated names
+  can move records into the approximated section even when their notation was
+  successfully emitted. Preserve counts and inspect the notation as well.
+- For direction checks, resolve `informationSource`, `informationTarget`,
+  `realizingConnector`, connector ends' `partWithPort`/`role`, and part/port
+  types from XMI. A conveyed item's emitted path should end in the actual
+  flow property of the connector's port type. Include a reversed connector
+  order fixture and an unrelated-end negative control.
+- A compiler/lowering fix may repair an old migrated `.sysml` without
+  changing its state declarations. Comparing old and new notation under the
+  same new binary is not a negative control: use a separately built
+  pre-change binary to demonstrate the old empty graph.
+- Use `-render '#state:M' -render-form text` for a small state definition,
+  and `-graphs M` to inspect inherited vertices, parent IDs and transitions.
+  Unsupported inherited members may produce an empty rendering plus a
+  `cannot be inherited` note while the CLI still exits zero. Exit status and
+  strict validation alone do not establish a nonempty graph.
+- For positioned migrated views, default DOT may omit unpositioned inherited
+  nodes. Read `not represented` comments; use `-render-unplaced strip` to
+  include those nodes below the original drawing. Do not confuse omitted
+  placement with failed graph lowering. Named rendering may also print
+  validation warnings from other views; separate requested-view warnings
+  from whole-model warnings.
+
 ### Devin Secrets Needed
 
 None for native local CLI/REPL tests.

.circleci/config.yml

@@ -23,6 +23,13 @@ executors:
       - image: cimg/python:3.11
     resource_class: medium
 
+  # The -node variant of the same image: the Jupyter kernel package builds
+  # its JupyterLab extension with Node before it builds the wheels.
+  python-node-executor:
+    docker:
+      - image: cimg/python:3.11-node
+    resource_class: medium
+
   rust-executor:
     docker:
       - image: cimg/rust:1.83
@@ -1682,7 +1689,7 @@ jobs:
   # platform bundles that platform's kernel, so `pip install` alone registers
   # it; the sdist carries none and downloads by the pins.
   build-jupyter-kernel-package:
-    executor: python-executor
+    executor: python-node-executor
     steps:
       - checkout
       - rehearsal-tag
@@ -1691,9 +1698,11 @@ jobs:
       - attach_workspace:
           at: .
 
+      # jupyterlab provides `jupyter labextension build`, which bundles the
+      # extension every distribution ships (make jupyterlab-build).
       - run:
           name: Install build tooling
-          command: python -m pip install --upgrade pip build twine packaging
+          command: python -m pip install --upgrade pip build twine packaging jupyterlab==4.6.4
 
       - run:
           name: Resolve the version from the tag
@@ -1778,6 +1787,25 @@ jobs:
             # The kernelspec `install` would write names the binary it copies in.
             /tmp/verify-kernel-wheel/bin/python -m jupyter_opensysml_kernel kernelspec
 
+      # The same wheel, installed alone, put the prebuilt JupyterLab extension
+      # where JupyterLab 4 and Notebook 7 load federated extensions from.
+      - run:
+          name: Check the installed wheel registered the JupyterLab extension
+          command: |
+            /tmp/verify-kernel-wheel/bin/python - \<<'EOF'
+            import json
+            import os
+            import sys
+
+            root = os.path.join(sys.prefix, "share", "jupyter", "labextensions", "jupyterlab-opensysml")
+            with open(os.path.join(root, "package.json")) as f:
+                manifest = json.load(f)
+            load = manifest["jupyterlab"]["_build"]["load"]
+            if not os.path.isfile(os.path.join(root, load)) or not os.path.isfile(os.path.join(root, "install.json")):
+                raise SystemExit(f"Error: {root} is not a loadable federated extension (load={load!r})")
+            print(f"jupyterlab-opensysml {manifest['version']} installed at {root}, loading {load}")
+            EOF
+
       # A distribution whose table lacks any of the five kernel assets for the
       # tag, or pins a digest other than the one its binary hashes to, fails
       # the job here: every platform wheel and the sdist. The installed wheel

.github/workflows/nightly.yml

@@ -332,9 +332,18 @@ jobs:
       - name: Build the Jupyter kernel sdist and platform wheels
         env:
           PYPI_VERSION: ${{ steps.version.outputs.pypi }}
+          NPM_VERSION: ${{ steps.version.outputs.npm }}
         run: |
-          # The sdist, then one wheel per platform bundling the kernel from dist/jupyter;
-          # the script opens each and checks what it carries.
+          # jupyterlab provides `jupyter labextension build`, which bundles the
+          # JupyterLab extension every distribution ships (make jupyterlab-build).
+          python -m pip install --only-binary ":all:" jupyterlab==4.6.4
+          # `jupyter labextension list` reports the extension's manifest version, so the
+          # manifest is stamped with the snapshot's npm version first; `npm version` keeps
+          # the lock file in step, as `npm ci` requires.
+          (cd editors/jupyterlab && npm version --no-git-tag-version "$NPM_VERSION")
+          git diff --stat -- editors/jupyterlab/package.json editors/jupyterlab/package-lock.json
+          # The extension, the sdist, then one wheel per platform bundling the kernel
+          # from dist/jupyter; the script opens each and checks what it carries.
           "$KERNEL_DIST_SCRIPT" dist/jupyter client/jupyter-kernel/dist
           # The version is PEP 440 in canonical form and the build tools normalize the
           # name, so these are the files.
@@ -344,6 +353,13 @@ jobs:
             echo "::error::expected five platform wheels for ${PYPI_VERSION}, found $#: $*"
             exit 1
           fi
+          stamped=$(unzip -p "$1" '*.data/data/share/jupyter/labextensions/jupyterlab-opensysml/package.json' \
+            | python -c 'import json, sys; print(json.load(sys.stdin)["version"])')
+          if [ "$stamped" != "$NPM_VERSION" ]; then
+            echo "::error::the labextension in $1 carries version '$stamped', not the '$NPM_VERSION' it is being published as."
+            exit 1
+          fi
+          echo "ok: the labextension carries $stamped"
           python -m twine check --strict client/jupyter-kernel/dist/*
 
       # Like the client's wheel: this platform's wheel must import at the snapshot

.github/workflows/pr.yml

@@ -55,6 +55,7 @@ jobs:
       julia: ${{ steps.areas.outputs.julia }}
       matlab: ${{ steps.areas.outputs.matlab }}
       vscode: ${{ steps.areas.outputs.vscode }}
+      jupyterlab: ${{ steps.areas.outputs.jupyterlab }}
       mdk: ${{ steps.areas.outputs.mdk }}
       syson: ${{ steps.areas.outputs.syson }}
     steps:
@@ -77,10 +78,11 @@ jobs:
     needs: changes
     if: needs.changes.outputs.go == 'true'
     # The shards split the suite's slowest packages across runners so each gets its own job cap (see scripts/race-shard.sh).
+    # internal/exec/runtime alone outruns a job under -race, so it is two shards split by test name (see make test-shard).
     strategy:
       fail-fast: false
       matrix:
-        shard: [runtime, model, export, rest]
+        shard: [runtime, runtime-corpus, model, export, rest]
     runs-on: ubuntu-latest
     permissions:
       contents: read
@@ -251,8 +253,8 @@ jobs:
       - name: Download the Reference-FMUs
         run: ./scripts/download-reference-fmus.sh
 
-      # Per-package timeout: under -race the runtime package runs 31-47 minutes on
-      # these runners. Matches `make test-shard`.
+      # Per-package timeout: under -race the whole runtime package ran 31-57 minutes
+      # on these runners, hence its two shards. Matches `make test-shard`.
       - name: Run Go race tests
         env:
           SHARD: ${{ matrix.shard }}
@@ -272,8 +274,12 @@ jobs:
     permissions:
       contents: read
     timeout-minutes: 5
-    # The shard package sets are disjoint, so their blocks concatenate under one mode line.
+    # The shards' blocks concatenate under one mode line; the two runtime shards instrument
+    # the same package, so their duplicate blocks are collapsed as make coverage does.
     steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
       - name: Download shard profiles
         uses: actions/download-artifact@v4
         with:
@@ -285,12 +291,12 @@ jobs:
           set -euo pipefail
           profiles=(shards/coverage-*/coverage.txt)
           # One per race-tests shard.
-          if [ "${#profiles[@]}" -ne 4 ]; then echo "error: expected 4 shard profiles, found ${#profiles[@]}" >&2; exit 1; fi
+          if [ "${#profiles[@]}" -ne 5 ]; then echo "error: expected 5 shard profiles, found ${#profiles[@]}" >&2; exit 1; fi
           for f in "${profiles[@]}"; do
             [ "$(head -n 1 "$f")" = "mode: atomic" ] || { echo "error: $f is not an atomic-mode profile" >&2; exit 1; }
           done
           { echo "mode: atomic"; for f in "${profiles[@]}"; do tail -n +2 "$f"; done; } > coverage.txt
-          wc -l coverage.txt
+          python3 scripts/dedupe-coverage.py coverage.txt
 
       - name: Upload coverage artifact
         uses: actions/upload-artifact@v4
@@ -797,6 +803,7 @@ jobs:
       - rust-test
       - static-and-integrity
       - vscode-extension
+      - jupyterlab-extension
       - wasm-gate
       - xpect-oracle
     runs-on: ubuntu-latest
@@ -823,6 +830,7 @@ jobs:
           RUST_TEST_RESULT: ${{ needs.rust-test.result }}
           STATIC_AND_INTEGRITY_RESULT: ${{ needs.static-and-integrity.result }}
           VSCODE_EXTENSION_RESULT: ${{ needs.vscode-extension.result }}
+          JUPYTERLAB_EXTENSION_RESULT: ${{ needs.jupyterlab-extension.result }}
           WASM_GATE_RESULT: ${{ needs.wasm-gate.result }}
           XPECT_ORACLE_RESULT: ${{ needs.xpect-oracle.result }}
         run: |
@@ -844,6 +852,7 @@ jobs:
              ! ok "$RUST_TEST_RESULT" ||
              ! ok "$STATIC_AND_INTEGRITY_RESULT" ||
              ! ok "$VSCODE_EXTENSION_RESULT" ||
+             ! ok "$JUPYTERLAB_EXTENSION_RESULT" ||
              ! ok "$WASM_GATE_RESULT" ||
              ! ok "$XPECT_ORACLE_RESULT"; then
             echo "changes=$CHANGES_RESULT"
@@ -863,6 +872,7 @@ jobs:
             echo "rust-test=$RUST_TEST_RESULT"
             echo "static-and-integrity=$STATIC_AND_INTEGRITY_RESULT"
             echo "vscode-extension=$VSCODE_EXTENSION_RESULT"
+            echo "jupyterlab-extension=$JUPYTERLAB_EXTENSION_RESULT"
             echo "wasm-gate=$WASM_GATE_RESULT"
             echo "xpect-oracle=$XPECT_ORACLE_RESULT"
             exit 1
@@ -978,6 +988,49 @@ jobs:
           path: editors/vscode/opensysml-sysml.vsix
           if-no-files-found: error
 
+  jupyterlab-extension:
+    name: JupyterLab extension
+    needs: changes
+    if: needs.changes.outputs.jupyterlab == 'true'
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+    timeout-minutes: 10
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+          cache: npm
+          cache-dependency-path: editors/jupyterlab/package-lock.json
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.11'
+
+      # jupyterlab provides `jupyter labextension build`, which bundles the
+      # extension the kernel package ships. The generated syntax table is
+      # gated by go test ./editors/... in the Go suite.
+      - name: Install JupyterLab
+        run: pip install --only-binary ":all:" jupyterlab==4.6.4
+
+      - name: Test the tokenizer
+        run: make jupyterlab-test
+
+      - name: Build the prebuilt extension
+        run: make jupyterlab-build
+
+      - name: Upload JupyterLab extension artifact
+        uses: actions/upload-artifact@v4
+        with:
+          name: jupyterlab-extension
+          path: client/jupyter-kernel/labextension
+          if-no-files-found: error
+
   mdk-plugin:
     name: OpenSysML MDK plugin
     needs: [changes, build]

.gitignore

@@ -70,3 +70,4 @@ cmd/*/rsrc_windows_*.syso
 
 # The kernel a platform wheel bundles, staged by the release pipeline (setup.py)
 /client/jupyter-kernel/jupyter_opensysml_kernel/bin/
+/client/jupyter-kernel/labextension/