sysml-validate 0.15.6 → 0.15.8

package/README.md

@@ -3,7 +3,7 @@
 Headless SysML v2 / KerML validation. Runs the same parser, linker, and
 diagnostics as the
 [SysML v2 VS Code extension](https://marketplace.visualstudio.com/items?itemName=voidaliot.vscode-sysml-v2)
-— the Problems panel, in a terminal or a CI job. No VS Code, no browser, no
+Problems panel, in a terminal or a CI job. No VS Code, no browser, no
 display server.
 
 ```bash
@@ -26,7 +26,7 @@ models/vehicle.sysml
 ✓ 2 files checked, no problems found
 ```
 
-Colour is used on a terminal and dropped everywhere else — a pipe, a log file,
+Colour is used on a terminal and dropped everywhere else, a pipe, a log file,
 or a coding agent's chat window gets exactly the plain text above. `--color` and
 `--no-color` force it either way, and `NO_COLOR` is honoured.
 
@@ -62,7 +62,7 @@ and the rest resolve with nothing else installed.
 ## Examples
 
 **Check one file while you work.** Paths, positions, severity, and the
-diagnostic code — everything needed to jump to the problem:
+diagnostic code, everything needed to jump to the problem:
 
 ```console
 $ sysml-validate models/vehicle.sysml
@@ -72,7 +72,7 @@ models/vehicle.sysml
 ✖ 1 problem (1 error) in 1 of 1 file
 ```
 
-**See the advisory notices too.** Hints and info are out of the way by default —
+**See the advisory notices too.** Hints and info are out of the way by default, 
 `--all` brings them in:
 
 ```console
@@ -99,7 +99,7 @@ Compact prints **nothing at all** on a clean run, so `[ -s report.txt ]` and
 **Structured output** for a script or a dashboard:
 
 ```console
-$ sysml-validate models/ --format json | jq '.counts, .diagnostics[0].code'
+$ sysml-validate models/ --format json | jq '.counts.diagnostics[0].code'
 {
   "error": 2,
   "warning": 0,
@@ -143,14 +143,14 @@ exit=1
 ## Your project's configuration is honoured
 
 The validator reads the settings your team commits, in the editor's own
-precedence — `.vscode/settings.json` first, then `.vscode/sysml/project.json`:
+precedence, `.vscode/settings.json` first, then `.vscode/sysml/project.json`:
 
 | Setting | Effect |
 |---|---|
 | `sysml.lint.profile` | `default` / `quiet` / `strict` style-notice volume |
 | `sysml.validation.severities` | Per-code severity overrides (e.g. `{ "SEM006": "warning" }`) |
 | `sysml.diagnostics.unusedImports` | `off` / `warning` / `error` |
-| `sysml.diagnostics.units` | UNIT001–UNIT005 dimensional analysis on/off |
+| `sysml.diagnostics.units` | UNIT001 to UNIT005 dimensional analysis on/off |
 
 `--lint-profile` overrides the profile for one run, and `--no-config` ignores
 both files. Note that `sysml.validation.severities` covers the validator's own

package/out/main.js

@@ -61187,10 +61187,22 @@ ${baseIndent}}`;
   // target feature, so each end must be able to hold it (OMG SysML v2 Part 1
   // §7.12 ItemFlow / PayloadFeature). Reported per end, and only when the end
   // resolves unambiguously and carries exactly one written type.
+  //
+  // A MESSAGE is deliberately exempt, though the grammar folds it into the same
+  // statement. OMG SysML 8.2.2.16 gives `flow` FlowEndMembers — a FlowEnd is a
+  // FlowFeature, the feature that holds the payload — while a message's `from`
+  // and `to` are MessageEventMembers: `message m of i : I from evt1 to evt2` is
+  // "parsed as an abstract FlowUsage, but without any flowEnds", its two ends
+  // redefining Message::sourceEvent and Message::targetEvent (8.4.12.2). The
+  // ends of a message are the two OCCURRENCES that exchange the payload, so
+  // demanding that they be able to hold it reports every sequence-diagram
+  // message as an error.
   checkFlowPayload(decl, model, index, accept) {
     if (decl.$type !== "FlowStmt")
       return;
     const flow = decl;
+    if (flow.flowKind === "message")
+      return;
     const payload = flowPayloadType(flow.payload);
     if (!payload || payload.conjugated)
       return;
@@ -70012,7 +70024,7 @@ async function runValidation(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.15.6" : "dev";
+var VERSION2 = true ? "0.15.8" : "dev";
 async function main(argv) {
   const command = parseArgs(argv);
   if (command.kind === "help") {