sysmlpy 0.96.4__tar.gz → 0.97.0__tar.gz

{sysmlpy-0.96.4 → sysmlpy-0.97.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sysmlpy
-Version: 0.96.4
+Version: 0.97.0
 Summary: 
 License-File: LICENSE
 Author: Jon R. Fox (mycr0ft)
@@ -14,6 +14,7 @@ Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 3.14
 Classifier: Programming Language :: Python :: 3.15
+Provides-Extra: boxes
 Provides-Extra: cayley
 Provides-Extra: graph
 Provides-Extra: jupyter
@@ -182,6 +183,7 @@ threshold or operational error, `2` = parse/load failure — so
 |---------|---------|
 | `sysmlpy parse <file>` | Parse a file and print a representation |
 | `sysmlpy analyze <file...>` | Semantic analysis; CI-friendly exit codes |
+| `sysmlpy ci <paths...>` | CI check: parse gate (blocking) + semantics (advisory/strict) — shared engine of the GitHub Action, GitLab template, pre-commit hooks |
 | `sysmlpy diff <old> <new>` | Semantic model diff (text/markdown/json) |
 | `sysmlpy view <file>` | Render a PlantUML / Markdown / HTML view |
 | `sysmlpy format <file...>` | Pretty-print (canonicalize) SysML files (alias `fmt`) |
@@ -223,10 +225,65 @@ sysml> %quit
 
 # Excel workbook of the tabular views
 sysmlpy xlsx bill_of_materials.sysml -o bom.xlsx
+
+# CI: check every model in a tree — parse failures block, semantics advisory
+sysmlpy ci models
 ```
 
 Every subcommand accepts `--help` for its own flags.
 
+## CI Integration (GitHub Actions, GitLab, pre-commit)
+
+`sysmlpy ci` is the one engine behind all the CI integrations — parse
+failures always block; semantic findings are **advisory** by default
+(known analyzer limitations on units-heavy models — see
+`docs/ci-integration.md`), and `--semantic strict` promotes semantics to
+blocking once your codebase is analyzer-clean.
+
+**GitHub Actions** — this repo ships a reusable workflow; in your repo:
+
+```yaml
+jobs:
+  sysml-check:
+    uses: mycr0ft/sysmlpy/.github/workflows/sysml-check.yml@v0.96.4
+    with:
+      paths: models
+      semantic: advisory   # off | advisory | strict
+```
+
+This repo's own pushes/PRs dogfood the same workflow
+(`sysml-dogfood.yml` calling it with `install: source`) over the
+bundled standard library and the showcase fixtures — the gate that
+found the two real visitor crashes on named multiplicity bounds
+(`[nCauses]`, `[wallNumber]`) in the bundled library.
+
+**GitLab CI** — include the template from this repo:
+
+```yaml
+include:
+  - project: mycr0ft/sysmlpy
+    ref: v0.96.4
+    file: .gitlab/sysml-check.gitlab-ci.yml
+
+sysml-check:
+  extends: .sysml-check
+  variables:
+    SYSML_PATHS: "models src"
+```
+
+**pre-commit** — check at commit time:
+
+```yaml
+repos:
+  - repo: https://github.com/mycr0ft/sysmlpy
+    rev: v0.96.4
+    hooks:
+      - id: sysmlpy-ci            # parse gate + advisory semantics
+```
+
+Full options (excludes, library path, version pinning, DFA cache for
+faster re-runs, and the promote-to-strict path): `docs/ci-integration.md`.
+
 ## Documentation
 
 Documentation can be found [here.](https://mycr0ft.github.io/sysmlpy/)

{sysmlpy-0.96.4 → sysmlpy-0.97.0}/README.md

@@ -146,6 +146,7 @@ threshold or operational error, `2` = parse/load failure — so
 |---------|---------|
 | `sysmlpy parse <file>` | Parse a file and print a representation |
 | `sysmlpy analyze <file...>` | Semantic analysis; CI-friendly exit codes |
+| `sysmlpy ci <paths...>` | CI check: parse gate (blocking) + semantics (advisory/strict) — shared engine of the GitHub Action, GitLab template, pre-commit hooks |
 | `sysmlpy diff <old> <new>` | Semantic model diff (text/markdown/json) |
 | `sysmlpy view <file>` | Render a PlantUML / Markdown / HTML view |
 | `sysmlpy format <file...>` | Pretty-print (canonicalize) SysML files (alias `fmt`) |
@@ -187,10 +188,65 @@ sysml> %quit
 
 # Excel workbook of the tabular views
 sysmlpy xlsx bill_of_materials.sysml -o bom.xlsx
+
+# CI: check every model in a tree — parse failures block, semantics advisory
+sysmlpy ci models
 ```
 
 Every subcommand accepts `--help` for its own flags.
 
+## CI Integration (GitHub Actions, GitLab, pre-commit)
+
+`sysmlpy ci` is the one engine behind all the CI integrations — parse
+failures always block; semantic findings are **advisory** by default
+(known analyzer limitations on units-heavy models — see
+`docs/ci-integration.md`), and `--semantic strict` promotes semantics to
+blocking once your codebase is analyzer-clean.
+
+**GitHub Actions** — this repo ships a reusable workflow; in your repo:
+
+```yaml
+jobs:
+  sysml-check:
+    uses: mycr0ft/sysmlpy/.github/workflows/sysml-check.yml@v0.96.4
+    with:
+      paths: models
+      semantic: advisory   # off | advisory | strict
+```
+
+This repo's own pushes/PRs dogfood the same workflow
+(`sysml-dogfood.yml` calling it with `install: source`) over the
+bundled standard library and the showcase fixtures — the gate that
+found the two real visitor crashes on named multiplicity bounds
+(`[nCauses]`, `[wallNumber]`) in the bundled library.
+
+**GitLab CI** — include the template from this repo:
+
+```yaml
+include:
+  - project: mycr0ft/sysmlpy
+    ref: v0.96.4
+    file: .gitlab/sysml-check.gitlab-ci.yml
+
+sysml-check:
+  extends: .sysml-check
+  variables:
+    SYSML_PATHS: "models src"
+```
+
+**pre-commit** — check at commit time:
+
+```yaml
+repos:
+  - repo: https://github.com/mycr0ft/sysmlpy
+    rev: v0.96.4
+    hooks:
+      - id: sysmlpy-ci            # parse gate + advisory semantics
+```
+
+Full options (excludes, library path, version pinning, DFA cache for
+faster re-runs, and the promote-to-strict path): `docs/ci-integration.md`.
+
 ## Documentation
 
 Documentation can be found [here.](https://mycr0ft.github.io/sysmlpy/)

{sysmlpy-0.96.4 → sysmlpy-0.97.0}/pyproject.toml

@@ -6,7 +6,7 @@ build-backend = "poetry.core.masonry.api"
 
 [project]
 name = "sysmlpy"
-version = "0.96.4"
+version = "0.97.0"
 description = ""
 authors = [{ name = "Jon R. Fox (mycr0ft)", email = "jon.fox@drfox.com" }]
 readme = "README.md"
@@ -34,6 +34,7 @@ sim = ["transitions"]
 reqif = ["reqif"]
 cayley = ["requests"]
 jupyter = ["ipython"]
+boxes = ["diagramboxes"]
 
 [tool.poetry.scripts]
 sysmlpy = "sysmlpy.__main__:main"
@@ -43,6 +44,7 @@ sysmlpy-lsp = "sysmlpy.lsp.stdio:main"
 pytest = ">=8.0,<9.0"
 
 [tool.pytest.ini_options]
+norecursedirs = ["tests/kerml_batteries"]
 markers = [
     "conformance: OMG 2026-03 XPect parse conformance suite (slow; deselect with -m 'not conformance')",
 ]

{sysmlpy-0.96.4 → sysmlpy-0.97.0}/src/sysmlpy/__init__.py

@@ -20,7 +20,7 @@ __all__ = [
     "as_sequence_view", "as_case_view", "as_browser_view",
     "extract_traceability", "TraceabilityReport", "RequirementTrace",
     "to_interchange", "from_interchange", "interchange_to_json_text",
-    "reconcile_ids",
+    "reconcile_ids", "qn_registry",
     "reqif_import", "reqif_import_model", "reqif_export",
     "evaluate_expression", "evaluate_calculation", "collect_values",
     "check_constraints", "ConstraintReport", "ConstraintResult",
@@ -58,7 +58,7 @@ from sysmlpy.traceability import (
 )
 from sysmlpy.interchange import (
     to_interchange, from_interchange, interchange_to_json_text,
-    reconcile_ids,
+    reconcile_ids, qn_registry,
 )
 from sysmlpy.reqif_io import (
     reqif_import, reqif_import_model, reqif_export,

{sysmlpy-0.96.4 → sysmlpy-0.97.0}/src/sysmlpy/__main__.py

@@ -6,6 +6,7 @@ Subcommands
 -----------
 parse     Parse a SysML file and print a representation (default: repr()).
 analyze   Run semantic analysis on one or more files; CI-friendly exit codes.
+ci        CI check: parse gate (blocking) + semantics (advisory/strict).
 view      Render a PlantUML / Markdown / HTML view of a model.
 diff      Semantic diff of two SysML files (review workflows).
 format    Canonicalize (pretty-print) SysML files (alias: fmt).
@@ -22,6 +23,8 @@ Legacy flat invocation (``sysmlpy FILE --dump`` etc.) is preserved for
 backward compatibility and behaves exactly like ``sysmlpy parse``.
 """
 
+from __future__ import annotations
+
 import argparse
 import inspect
 import json
@@ -34,7 +37,7 @@ from sysmlpy import loads
 # Subcommand table, also used to detect the legacy flat invocation form.
 SUBCOMMANDS = ("parse", "analyze", "view", "trace", "export", "import",
                "reqif-import", "reqif-export",
-               "eval", "xlsx", "sim", "diff", "format", "fmt", "repl")
+               "eval", "xlsx", "sim", "diff", "format", "fmt", "repl", "ci")
 
 
 # ---------------------------------------------------------------------------
@@ -215,6 +218,26 @@ def cmd_analyze(args) -> int:
     return 1 if errors else 0
 
 
+# ---------------------------------------------------------------------------
+# sysmlpy ci
+# ---------------------------------------------------------------------------
+
+def cmd_ci(args) -> int:
+    from sysmlpy.ci_check import run_check, format_output
+
+    semantic = args.semantic
+    if args.semantic_off:
+        semantic = "off"
+    result = run_check(
+        args.paths,
+        semantic=semantic,
+        library=args.library,
+        exclude=args.exclude or (),
+    )
+    print(format_output(result, args.format))
+    return result.exit_code
+
+
 # ---------------------------------------------------------------------------
 # sysmlpy view
 # ---------------------------------------------------------------------------
@@ -844,6 +867,43 @@ def build_parser() -> argparse.ArgumentParser:
     )
     p_analyze.set_defaults(func=cmd_analyze)
 
+    # -- ci ------------------------------------------------------------------
+    p_ci = sub.add_parser(
+        "ci",
+        help="CI check: parse gate (blocking) + semantics (advisory)",
+        description="Check SysML/KerML files the way CI does: every file "
+                    "must parse (blocking); semantic findings are advisory "
+                    "unless --semantic strict. Exit 0 clean, 1 findings, "
+                    "2 operational error.",
+    )
+    p_ci.add_argument(
+        "paths", nargs="+",
+        help="Files or directories (searched recursively) to check",
+    )
+    p_ci.add_argument(
+        "--semantic", choices=("off", "advisory", "strict"), default="advisory",
+        help="Semantic gate mode (default: advisory — findings reported, "
+             "parse failures still block). strict promotes semantics to "
+             "blocking; off skips semantic analysis entirely.",
+    )
+    p_ci.add_argument(
+        "--no-semantic", dest="semantic_off", action="store_true",
+        help="Shorthand for --semantic off",
+    )
+    p_ci.add_argument(
+        "-l", "--library",
+        help="Path to SysML v2 library files for semantic analysis",
+    )
+    p_ci.add_argument(
+        "--exclude", action="append", default=None,
+        help="Substring pattern to skip (repeatable), e.g. --exclude third_party/",
+    )
+    p_ci.add_argument(
+        "--format", choices=("text", "json"), default="text",
+        help="Output format: human-readable text (default) or JSON",
+    )
+    p_ci.set_defaults(func=cmd_ci)
+
     # -- diff ----------------------------------------------------------------
     p_diff = sub.add_parser(
         "diff",

{sysmlpy-0.96.4 → sysmlpy-0.97.0}/src/sysmlpy/antlr_visitor.py

@@ -7381,7 +7381,7 @@ def _extract_multiplicity_from_ctx(om_ctx):
                         }
                     ]
                 }
-            else:
+            elif value_text.isdigit():
                 return {
                     "name": "MultiplicityExpressionMember",
                     "ownedRelatedElement": [
@@ -7390,6 +7390,20 @@ def _extract_multiplicity_from_ctx(om_ctx):
                         }
                     ]
                 }
+            else:
+                # Named multiplicity bound (e.g. '[nCauses]'), as used in
+                # the standard library's succession multiplicities — emit
+                # a feature reference, not an int().
+                return {
+                    "name": "MultiplicityExpressionMember",
+                    "ownedRelatedElement": [
+                        {"name": "MultiplicityRelatedElement", "ownedRelatedElement":
+                            {"name": "FeatureReferenceExpression", "ownedRelationship": [
+                                {"name": "FeatureReferenceMember", "memberElement": value_text}
+                            ]}
+                        }
+                    ]
+                }
         
         if len(members) == 1:
             bound_dicts = [_make_bound(members[0].getText())]
@@ -7443,7 +7457,7 @@ def _extract_multiplicity_from_mp(mp_ctx):
                         }
                     ]
                 }
-            else:
+            elif value_text.isdigit():
                 return {
                     "name": "MultiplicityExpressionMember",
                     "ownedRelatedElement": [
@@ -7452,6 +7466,20 @@ def _extract_multiplicity_from_mp(mp_ctx):
                         }
                     ]
                 }
+            else:
+                # Named multiplicity bound (e.g. '[nCauses]'), as used in
+                # the standard library's succession multiplicities — emit
+                # a feature reference, not an int().
+                return {
+                    "name": "MultiplicityExpressionMember",
+                    "ownedRelatedElement": [
+                        {"name": "MultiplicityRelatedElement", "ownedRelatedElement":
+                            {"name": "FeatureReferenceExpression", "ownedRelationship": [
+                                {"name": "FeatureReferenceMember", "memberElement": value_text}
+                            ]}
+                        }
+                    ]
+                }
         
         if len(members) == 1:
             bound_dicts = [_make_bound(members[0].getText())]