sysml2kit 0.3.0__tar.gz → 0.3.1__tar.gz

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## 0.3.1 — 2026-08-21
+
+Hotfix release; upgrade recommended.
+
+- **`fmt` could silently delete verification bindings and verify links.**
+  The loss gate's grammar signature missed MetadataFeature nodes, and
+  dependency statements leave no grammar node at all, so a format pass on a
+  binding-bearing file removed both without triggering the refusal. The
+  signature now covers metadata/annotation/dependency nodes and a textual
+  keyword guard catches statements the parser drops entirely; `fmt` on such
+  files now refuses unless `--lossy` is passed.
+- Metadata values in textual output were rendered with Python repr
+  (single-quoted strings, `True`/`False`); they now render as SysML text
+  (double-quoted strings, `true`/`false`).
+- With multiple verificationBinding annotations on one analysis, requirement
+  checking used the last binding while write-back provenance named the
+  first. Both now use the first binding, extra bindings execute with a
+  logged warning, and full multi-binding support is planned.
+
 ## 0.3.0 — 2026-08-21
 
 - **Verification execution** (`sysml2kit.verify`): `verificationBinding`

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/CLAUDE.md

@@ -50,8 +50,7 @@ never edit `_version.py` or add a version literal.
 - `interop/` — `RequirementSpec` extraction; the `metricKey` attribute
   convention bridges to phased-array-systems and aedl (adapters live in those
   repos, not here).
-- `cli.py` — typer app. MCP is deferred to v0.2; when added it goes in
-  `src/sysml2kit/mcp/` following apab's `docs/mcp-conventions.md`.
+- `cli.py` — typer app; `mcp/` follows apab's `docs/mcp-conventions.md`.
 
 ## Constraints
 

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sysml2kit
-Version: 0.3.0
+Version: 0.3.1
 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

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/docs/rf-library.md

@@ -21,12 +21,13 @@ for spec in extract_requirements(model):
 It ships four library packages (RFVocabulary quantity kinds with units,
 RFParts part/port definitions, RFRequirements requirement definitions using
 the metricKey convention, RFAnalyses analysis case definitions) plus
-**SatcomTerminal28GHz** — a worked example mirroring the aedl `t3-001`
-benchmark: a 28 GHz LEO uplink phased-array terminal with eight
-machine-checkable requirements (worst-case link margin, sidelobe level,
-independent link crosscheck, clear-sky and gain agreement, prime-power and
-unit-cost ceilings, grating-lobe margin), each satisfied by a part and
-verified by an analysis.
+two worked examples. **SatcomTerminal28GHz** mirrors the aedl `t3-001`
+benchmark: eight machine-checkable requirements, each satisfied by a part
+and verified by an analysis. **SatcomTerminalPAS** is executable: its
+`pasStudy` analysis carries a `verificationBinding` for the
+`phased-array-systems` engine, so `sysml2kit verify` runs a real study and
+all five requirements pass with margin (see
+[verification](verification.md)).
 
 The library demonstrates the intended division of labor: domain vocabulary
 as SysML v2 model content, generic mechanics in the kit, physics engines

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/src/sysml2kit/_version.py

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

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/src/sysml2kit/backends/sysmlpy.py

@@ -257,7 +257,20 @@ def _import_texts(node: dict[str, Any]) -> list[str]:
 
 #: Grammar node names counted by :func:`grammar_signature`; infrastructure
 #: wrappers whose names merely end in Usage are excluded.
-_SIGNATURE_EXTRA = frozenset({"Package", "Documentation", "NamespaceImport", "MembershipImport"})
+_SIGNATURE_EXTRA = frozenset(
+    {
+        "Package",
+        "Documentation",
+        "NamespaceImport",
+        "MembershipImport",
+        # Metadata and annotation nodes carry verification bindings; missing
+        # them let fmt silently delete bindings before 0.3.1.
+        "MetadataFeature",
+        "MetadataDefinition",
+        "AnnotatingElement",
+        "Dependency",
+    }
+)
 _SIGNATURE_EXCLUDE = frozenset({"Usage", "SubjectUsage"})
 
 

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/src/sysml2kit/cli.py

@@ -326,6 +326,15 @@ def fmt(
     for kind in sorted(set(before) | set(after)):
         if before.get(kind, 0) != after.get(kind, 0):
             losses.append(f"{kind}: {before.get(kind, 0)} -> {after.get(kind, 0)}")
+    # Dependency statements leave no node in the grammar signature at all, so
+    # a textual keyword count is the only guard that can see them.
+    import re as _re
+
+    for keyword in ("dependency", "metadata", "satisfy", "allocate"):
+        n_before = len(_re.findall(rf"\b{keyword}\b", source))
+        n_after = len(_re.findall(rf"\b{keyword}\b", formatted))
+        if n_before != n_after:
+            losses.append(f"'{keyword}' statements: {n_before} -> {n_after}")
     entries = diff_models(model, backend.parse(formatted), by_name=True)
     if entries:
         losses.append(render_diff(entries))

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/src/sysml2kit/text/writer.py

@@ -175,5 +175,14 @@ def _render_metadata(model: Model, element: MetadataUsage, indent: str) -> str:
     if not element.values:
         return f"{indent}metadata{name}{about};"
     inner = indent + _INDENT
-    lines = [f"{inner}{escape_name(k)} = {v!r};" for k, v in element.values.items()]
+    lines = [f"{inner}{escape_name(k)} = {_metadata_value(v)};" for k, v in element.values.items()]
     return f"{indent}metadata{name}{about} {{\n" + "\n".join(lines) + f"\n{indent}}}"
+
+
+def _metadata_value(value: str | float | bool) -> str:
+    """Render a metadata value in SysML syntax, not Python repr."""
+    if isinstance(value, bool):
+        return "true" if value else "false"
+    if isinstance(value, str):
+        return '"' + value.replace('"', '\\"') + '"'
+    return str(value)

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/src/sysml2kit/verify/runner.py

@@ -8,6 +8,7 @@ into the model with provenance, opt-in.
 
 from __future__ import annotations
 
+import logging
 from collections.abc import Sequence
 from pathlib import Path
 from typing import Literal
@@ -22,6 +23,8 @@ from sysml2kit.model.metadata import MetadataUsage
 from sysml2kit.verify.binding import VerificationBinding, build_payload, extract_bindings
 from sysml2kit.verify.engines import EngineRegistry
 
+logger = logging.getLogger(__name__)
+
 VERDICT_NAME = "verificationVerdict"
 _RESULT_SOURCE_PREFIX = "sysml2kit.verify"
 
@@ -141,7 +144,21 @@ def run_verification(
     for binding in bindings:
         results.append(_run_binding(binding, registry, base_dir, engine_versions))
 
-    by_analysis = {r.analysis: r for r in results}
+    # First binding per analysis wins for checking, matching apply_results'
+    # selection, so provenance always names the engine that produced the
+    # verdict. Full multi-binding (fidelity ladder) support is planned; until
+    # then extra bindings execute but are not checked, and we say so.
+    by_analysis: dict[str, AnalysisResult] = {}
+    for result in results:
+        if result.analysis in by_analysis:
+            logger.warning(
+                "analysis %s has multiple bindings; only the first (%s) is "
+                "checked against requirements",
+                result.analysis,
+                by_analysis[result.analysis].engine,
+            )
+            continue
+        by_analysis[result.analysis] = result
     verdicts = [
         _verdict(spec, by_analysis[qualified])
         for spec in extract_requirements(model)

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/tests/test_cli_fmt.py

@@ -97,3 +97,27 @@ def test_fmt_rejects_json(tmp_path):
     f.write_text("[]")
     result = runner.invoke(app, ["fmt", str(f)])
     assert result.exit_code != 0
+
+
+BINDING_BEARING = """package P {
+    part b;
+    requirement <'R1'> A;
+    analysis ana;
+    dependency from ana to A; // verify
+    metadata verificationBinding about ana {
+        engine = "fake";
+    }
+}
+"""
+
+
+def test_fmt_refuses_binding_bearing_file(tmp_path):
+    """Regression: before 0.3.1 fmt silently deleted bindings and verify links."""
+    f = tmp_path / "m.sysml"
+    f.write_text(BINDING_BEARING)
+    result = runner.invoke(app, ["fmt", str(f)])
+    assert result.exit_code == 1
+    assert "refusing" in result.output
+    assert "dependency" in result.output
+    assert "metadata" in result.output
+    assert f.read_text() == BINDING_BEARING  # untouched

{sysml2kit-0.3.0 → sysml2kit-0.3.1}/tests/test_verify.py

@@ -214,3 +214,26 @@ def test_write_back_provenance_and_idempotency():
         )
         == 1
     )
+
+
+def test_multiple_bindings_first_wins_consistently(caplog):
+    """Hotfix regression: checking and write-back provenance must agree."""
+    model = bound_model()
+    analysis = model.find(name="RangeAnalysis")[0]
+    builder.metadata(model, analysis, {"engine": "second"}, name="verificationBinding")
+    registry = EngineRegistry()
+    registry.register("fake", lambda p: {"range_km": 420.0})
+    registry.register("second", lambda p: {"range_km": 1.0})  # would fail the check
+    import logging
+
+    with caplog.at_level(logging.WARNING):
+        run = run_verification(model, registry=registry)
+    assert len(run.analyses) == 2  # both executed
+    (verdict,) = run.requirements
+    assert verdict.status == "pass"  # checked against the FIRST binding (fake)
+    assert "multiple bindings" in caplog.text
+    apply_results(model, run)
+    written = next(
+        el for el in model.owned_by(analysis) if getattr(el, "declared_name", "") == "range_km"
+    )
+    assert "fake==" in written.value.source  # provenance names the checked engine