sysml2kit 0.1.0__tar.gz → 0.2.0__tar.gz

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/CHANGELOG.md

@@ -1,5 +1,27 @@
 # Changelog
 
+## 0.2.0 — 2026-08-21
+
+- **Parse fidelity**: the sysmlpy backend now walks the raw ANTLR dict
+  (`load_grammar_antlr`) instead of the lossy wrapper objects. Short names,
+  feature typing (incl. cross-package), multiplicity, attribute values with
+  units, requirement subjects and text, docs, and satisfy statements survive
+  a text parse. Upstream visitor losses (dependency statements, allocate and
+  connect endpoints, verification cases) are pinned by tests, documented in
+  SPEC.md, and filed upstream (sysmlpy #4, #5).
+- **MCP server** (`pip install sysml2kit[mcp]`; `sysml2kit mcp serve`):
+  eight tools — model_show, model_validate, model_diff, model_export,
+  model_diagram, requirements_trace, requirements_extract, library_load.
+- **`fmt` command** with a loss-refusing safety gate (grammar-signature and
+  model-diff comparison; `--lossy` to override, `--check` for CI).
+- **Mermaid views** (`sysml2kit.views`): ownership tree and requirement
+  trace diagrams; `export --to mermaid` and the model_diagram tool.
+- **Conformance oracle** pinned to windtrader-java 0.1.1 (sha256-verified,
+  out-of-process pilot parser); weekly workflow green.
+- Downstream bridges landed as PRs: phased-array-systems#1 (op-form
+  RequirementSet) and aedl#1 (bound-form requirements); the RequirementSpec
+  field set is now frozen by a schema test.
+
 ## 0.1.0 — 2026-08-21
 
 First working release.

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sysml2kit
-Version: 0.1.0
+Version: 0.2.0
 Summary: API-first Python tooling for building, querying, validating, and automating SysML v2 models
 Project-URL: Homepage, https://github.com/jman4162/sysml2kit
 Project-URL: Source, https://github.com/jman4162/sysml2kit
@@ -30,6 +30,8 @@ Requires-Dist: pydantic>=2.7
 Requires-Dist: typer>=0.12
 Provides-Extra: graph
 Requires-Dist: networkx>=3.2; extra == 'graph'
+Provides-Extra: mcp
+Requires-Dist: mcp<2,>=1.26; extra == 'mcp'
 Provides-Extra: parse
 Requires-Dist: sysmlpy<0.37,>=0.36.2; extra == 'parse'
 Description-Content-Type: text/markdown
@@ -133,9 +135,22 @@ SysML v2 model library consumed through this package.
 
 ## For agents
 
-The CLI (`sysml2kit show | validate | diff | export`) is the current
-automation surface. An MCP server is planned for v0.2 under
-`sysml2kit.mcp`.
+An MCP server ships behind the `mcp` extra with eight tools: `model_show`,
+`model_validate`, `model_diff`, `model_export`, `model_diagram`,
+`requirements_trace`, `requirements_extract`, `library_load`. Artifacts are
+returned as file paths, not payloads.
+
+```bash
+pip install "sysml2kit[mcp,parse]"
+sysml2kit mcp serve            # stdio; --transport http also supported
+```
+
+```json
+{"mcpServers": {"sysml2kit": {"command": "sysml2kit", "args": ["mcp", "serve"]}}}
+```
+
+The CLI (`sysml2kit show | validate | diff | export | fmt`) covers the same
+operations for shell use.
 
 ## Development
 

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/README.md

@@ -97,9 +97,22 @@ SysML v2 model library consumed through this package.
 
 ## For agents
 
-The CLI (`sysml2kit show | validate | diff | export`) is the current
-automation surface. An MCP server is planned for v0.2 under
-`sysml2kit.mcp`.
+An MCP server ships behind the `mcp` extra with eight tools: `model_show`,
+`model_validate`, `model_diff`, `model_export`, `model_diagram`,
+`requirements_trace`, `requirements_extract`, `library_load`. Artifacts are
+returned as file paths, not payloads.
+
+```bash
+pip install "sysml2kit[mcp,parse]"
+sysml2kit mcp serve            # stdio; --transport http also supported
+```
+
+```json
+{"mcpServers": {"sysml2kit": {"command": "sysml2kit", "args": ["mcp", "serve"]}}}
+```
+
+The CLI (`sysml2kit show | validate | diff | export | fmt`) covers the same
+operations for shell use.
 
 ## Development
 

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/SPEC.md

@@ -46,6 +46,27 @@ not drop elements the profile lacks classes for.
 - **Documentation is a field** (`Element.doc`), not an owned `Documentation`
   element; the writer emits `doc /* ... */` bodies.
 
+## Text parse fidelity (sysmlpy backend, 0.36.x)
+
+The backend parses via ``sysmlpy.load_grammar_antlr`` and walks the raw
+ANTLR dict (the wrapper-object loader rebuilds usage bodies lossily and is
+not used). What survives a text round trip:
+
+| Round-trips | Lost upstream (sysmlpy visitor discards it) |
+|---|---|
+| names, short names | `dependency A to B;` statements (how the writer emits verify/derive) |
+| docs (package/part/requirement scope) | `allocate X to Y;` endpoints |
+| feature typing, incl. cross-package | `connect a.pa to b.pb;` endpoints |
+| multiplicity | `verification` case usages (dropped entirely) |
+| attribute values with units | value provenance (`source`/`confidence` have no textual slot) |
+| requirement subject and text | |
+| satisfy (package level and inside part bodies) | |
+
+Consequence: **satisfy traceability survives text; verify/derive/allocate
+require the JSON interchange.** The losses are pinned by tests in
+`tests/test_backend_fidelity.py` so an upstream sysmlpy fix surfaces as a
+test failure.
+
 ## Identity and ownership
 
 - Every element has a UUID `element_id`, mapping to the API JSON `@id`.

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/docs/api-client.md

@@ -10,7 +10,7 @@ from sysml2kit.api import SysMLApiClient
 with SysMLApiClient("https://models.example.com", token="…") as client:
     for project in client.list_projects():
         print(project.id, project.name)
-    model = client.list_elements(project_id, commit_id)   # -> sysml2kit Model
+    model = client.list_elements(project_id, commit_id)  # -> sysml2kit Model
     client.push_model(project_id, model, message="update")
 ```
 

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/docs/backends.md

@@ -15,14 +15,19 @@ model = backend.parse_files([path_a, path_b])
 
 `pip install sysml2kit[parse]` installs
 [sysmlpy](https://github.com/mycr0ft/sysmlpy) (MIT, ANTLR4-based). The
-adapter maps its parse tree into the pragmatic profile; constructs the
-profile lacks come back as `OpaqueElement` with a logged warning.
-
-Fidelity: sysmlpy 0.36 does not surface typing, multiplicity, or attribute
-values on its wrapper objects, so those fields are empty after a parse.
-Names, kinds, docs, and ownership round-trip; the writer-emit → parse → 
-compare test in CI pins exactly that contract. Use JSON interchange when you
-need full fidelity.
+backend parses with `sysmlpy.load_grammar_antlr` and walks the raw ANTLR
+dict — sysmlpy's own wrapper loader rebuilds usage bodies lossily, so the
+wrappers are not used.
+
+Fidelity: names, short names, docs, feature typing (including
+cross-package), multiplicity, attribute values with units, requirement
+subjects, and satisfy statements survive a text parse. What cannot
+round-trip is what sysmlpy's visitor discards before we see it: `dependency`
+statements (how the writer emits verify/derive), `allocate` and `connect`
+endpoints, and `verification` cases (filed upstream as sysmlpy #4 and #5).
+The fidelity table lives in SPEC.md and is pinned by
+`tests/test_backend_fidelity.py`. Use JSON interchange when you need the
+full traceability graph.
 
 The dependency is capped (`sysmlpy>=0.36.2,<0.37`) because it has a single
 maintainer; bumps are deliberate, after reading the release notes.

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/docs/cli.md

@@ -12,8 +12,13 @@ sysml2kit diff old.json new.json --by-name  # match by qualified name, not id
 sysml2kit export model.sysml --to json -o model.json
 sysml2kit export model.json --to sysml
 sysml2kit export model.json --to json --stable-ids  # UUIDv5 ids for committing
+sysml2kit export model.json --to mermaid --diagram trace  # or tree
+sysml2kit fmt model.sysml                 # refuses lossy rewrites; --lossy overrides
+sysml2kit fmt model.sysml --check         # CI mode: exit 1 if it would change
+sysml2kit mcp serve                       # MCP server (mcp extra)
 sysml2kit version
 ```
 
 Exit codes: `validate` returns 1 when any error-severity issue is found;
-`diff` returns 1 when the models differ. Both suit CI gates.
+`diff` returns 1 when the models differ; `fmt --check` returns 1 when the
+file would change. All suit CI gates.

sysml2kit-0.2.0/docs/mcp.md

@@ -0,0 +1,34 @@
+# MCP server
+
+`pip install "sysml2kit[mcp]"` and run:
+
+```bash
+sysml2kit mcp serve                    # stdio (default)
+sysml2kit mcp serve --transport http   # streamable HTTP
+```
+
+Client config:
+
+```json
+{"mcpServers": {"sysml2kit": {"command": "sysml2kit", "args": ["mcp", "serve"]}}}
+```
+
+Every tool takes model file paths (`.json` interchange always works;
+`.sysml` needs the `parse` extra), returns a JSON dict with a `status` key,
+and reports failures as `{"error": ..., "status": "failed"}` instead of
+raising. Artifacts are returned as file paths, not payloads.
+
+| Tool | What it does |
+|---|---|
+| `model_show(path, traceability)` | Element tree, kind counts, optional trace matrix |
+| `model_validate(path)` | S2K rule issues with severity counts |
+| `model_diff(path_a, path_b, by_name)` | Element-level differences (capped list) |
+| `model_export(path, out, to, stable_ids)` | Convert to interchange JSON or `.sysml` |
+| `model_diagram(path, out, kind)` | Write a mermaid `.mmd` (trace or tree view) |
+| `requirements_trace(path)` | Matrix plus unsatisfied/unverified lists |
+| `requirements_extract(path)` | `RequirementSpec` list (the adapter payload) |
+| `library_load(name, out)` | Write a packaged rf-library model as JSON |
+
+A typical agent loop: write a `.sysml` file, `model_validate` it, fix issues,
+`requirements_trace` to check coverage, `model_export --stable-ids` to commit
+the interchange form, `model_diagram` to explain the result.

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/docs/quickstart.md

@@ -13,18 +13,21 @@ model = Model()
 pkg = builder.pkg(model, "Vehicle")
 battery = builder.part(model, "battery", owner=pkg)
 range_req = builder.req(
-    model, "REQ-001", "Range", owner=pkg,
+    model,
+    "REQ-001",
+    "Range",
+    owner=pkg,
     text="The vehicle shall travel at least 400 km on one charge.",
 )
 builder.satisfy(model, source=battery, target=range_req)
 
-print(unverified_requirements(model))   # [REQ-001] - nothing verifies it yet
-print(trace_matrix(model).render())     # requirement-by-part grid
+print(unverified_requirements(model))  # [REQ-001] - nothing verifies it yet
+print(trace_matrix(model).render())  # requirement-by-part grid
 for issue in validate(model):
     print(issue.rule_id, issue.severity, issue.message)
 
-print(write_model(model))               # SysML v2 textual notation
-write_json(model, "vehicle.json")       # Systems Modeling API interchange
+print(write_model(model))  # SysML v2 textual notation
+write_json(model, "vehicle.json")  # Systems Modeling API interchange
 ```
 
 The same operations from the command line:

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/mkdocs.yml

@@ -36,6 +36,7 @@ nav:
   - Traceability: traceability.md
   - Interchange: interchange.md
   - Command line: cli.md
+  - MCP server: mcp.md
   - API client: api-client.md
   - Parser backends: backends.md
   - RF library: rf-library.md

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/pyproject.toml

@@ -50,6 +50,8 @@ dependencies = [
 # after checking the release notes.
 parse = ["sysmlpy>=0.36.2,<0.37"]
 graph = ["networkx>=3.2"]
+# mcp 2.0.0 removed mcp.server.fastmcp; stay on 1.x until the surface is ported.
+mcp = ["mcp>=1.26,<2"]
 
 [project.scripts]
 sysml2kit = "sysml2kit.cli:app"
@@ -70,11 +72,13 @@ test = [
 ]
 lint = ["mypy>=1.15", "ruff>=0.16"]
 parse-test = ["sysmlpy>=0.36.2,<0.37"]
+mcp-test = ["mcp>=1.26,<2"]
 docs = ["mkdocs-material>=9.5", "mkdocstrings[python]>=0.27"]
 dev = [
   { include-group = "test" },
   { include-group = "lint" },
   { include-group = "parse-test" },
+  { include-group = "mcp-test" },
   { include-group = "docs" },
 ]
 
@@ -137,9 +141,16 @@ files = ["src/sysml2kit"]
 plugins = ["pydantic.mypy"]
 
 [[tool.mypy.overrides]]
-module = ["sysmlpy.*", "pint.*", "networkx.*"]
+# sysml2kit_rf_library is an optional runtime peer, not a dependency.
+module = ["sysmlpy.*", "pint.*", "networkx.*", "sysml2kit_rf_library", "sysml2kit_rf_library.*"]
 ignore_missing_imports = true
 
+[[tool.mypy.overrides]]
+# The MCP server class is typed loosely (SDK 1.x/2.x compatibility), so its
+# tool decorator is Any; the tools themselves stay fully annotated.
+module = "sysml2kit.mcp.*"
+disallow_untyped_decorators = false
+
 [[tool.mypy.overrides]]
 module = "tests.*"
 disallow_untyped_defs = false
@@ -150,7 +161,12 @@ minversion = "8.0"
 testpaths = ["tests", "src/sysml2kit"]
 addopts = ["-ra", "--strict-markers", "--strict-config", "--doctest-modules"]
 xfail_strict = true
-filterwarnings = ["error"]
+filterwarnings = [
+  "error",
+  # The mcp SDK's FastMCP settings model trips this pydantic-settings warning
+  # internally; not ours to fix.
+  "ignore::pydantic_settings.exceptions.IncompleteFieldDefinitionWarning",
+]
 markers = [
   "parse: requires the sysmlpy parse extra",
   "api: requires a live Systems Modeling API server",

{sysml2kit-0.1.0 → sysml2kit-0.2.0}/src/sysml2kit/_version.py

@@ -18,7 +18,7 @@ version_tuple: tuple[int | str, ...]
 commit_id: str | None
 __commit_id__: str | None
 
-__version__ = version = '0.1.0'
-__version_tuple__ = version_tuple = (0, 1, 0)
+__version__ = version = '0.2.0'
+__version_tuple__ = version_tuple = (0, 2, 0)
 
 __commit_id__ = commit_id = None