feat(QVTS): add QVTS, the shape of a query result — Outcome and the QueryResult view

.meta.json

@@ -40,6 +40,10 @@
       "algorithm": "SHA256",
       "value": "1dc65b8af7d997047557b3297b8ac1b7e095ef992084e108f35e220a67518825"
     },
+    "libraries/QVTS.sysml": {
+      "algorithm": "SHA256",
+      "value": "2ca4bcb7419c1938eeb8cb475780890812ce96aa4a7c194b1475ce4a0e347bfe"
+    },
     "libraries/RandomFunctions.kerml": {
       "algorithm": "SHA256",
       "value": "50793e1e940b377777a931d102f86770b02576b019e6bfb7b8c33384cd78fbc7"
@@ -69,7 +73,7 @@
       "value": "9e00f049209584092dc8bcb398b736c08e6a39b1db667a8a744de3df72a543bf"
     }
   },
-  "created": "2026-11-03T17:53:51Z",
+  "created": "2026-11-10T17:33:38Z",
   "index": {
     "AnalysisRecords": "libraries/AnalysisRecords.sysml",
     "DiagramLayout": "libraries/DiagramLayout.sysml",
@@ -80,6 +84,7 @@
     "OOSEM": "libraries/OOSEM.sysml",
     "OpenSysMLMathFunctions": "libraries/OpenSysMLMathFunctions.kerml",
     "OpenSysMLRenderings": "libraries/OpenSysMLRenderings.sysml",
+    "QVTS": "libraries/QVTS.sysml",
     "RandomFunctions": "libraries/RandomFunctions.kerml",
     "Simulation": "libraries/Simulation.sysml",
     "StateActivity": "libraries/StateActivity.kerml",

.project.json

@@ -1,7 +1,7 @@
 {
   "name": "OpenSysML Extensions Library",
   "publisher": "Open-MBEE",
-  "description": "Community non-normative SysML v2 and KerML extension libraries: diagram layout, identity and migration metadata, MOSA and OOSEM vocabularies, document queries, renderings, simulation, state machines, stochastic and state-space extensions, math and random functions, and validation constraints.",
+  "description": "Community non-normative SysML v2 and KerML extension libraries: diagram layout, identity and migration metadata, MOSA and OOSEM vocabularies, document queries and query results, renderings, simulation, state machines, stochastic and state-space extensions, math and random functions, and validation constraints.",
   "version": "1.0.0",
   "license": "Apache-2.0",
   "website": "https://github.com/Open-MBEE/OpenSysML-Extensions-Library",

README.md

@@ -25,6 +25,7 @@ non-normative OpenSysML library; other tools resolve it when given the
 | OOSEM | OOSEM.sysml | Object-Oriented Systems Engineering Method artefacts, viewpoints and product views. | Any SysML v2 tool |
 | OpenSysMLMathFunctions | OpenSysMLMathFunctions.kerml | exp, ln, log, atan2, ceiling and the Integer quotient the Kernel Function Library omits. | Executing engine |
 | OpenSysMLRenderings | OpenSysMLRenderings.sysml | Renderings and views for case and mixed diagrams. `CaseView`/`asCaseDiagram` is a shorter way to write a standard `GeneralView` filtered on case-family metaclasses; the standard route is added by [OpenSysML#886](https://github.com/Open-MBEE/OpenSysML/pull/886). `MixedView`/`asMixedDiagram` is extension-only. | Any SysML v2 tool |
+| QVTS | QVTS.sysml | The shape of a query result: `QueryResult`, a view that exposes the elements a query selected and states the query, its source, its `Outcome` (established, path error or model error) and its provenance. Specified by [Open-MBEE/qvts](https://github.com/Open-MBEE/qvts). | Any SysML v2 tool |
 | RandomFunctions | RandomFunctions.kerml | Seeded random draws: uniform, uniformInteger, triangular, normal. | Executing engine |
 | Simulation | Simulation.sysml | How a behavior is meant to be run: run count, draw resolution, clock, Monte Carlo. | Executing engine |
 | StateActivity | StateActivity.kerml | `isActive`: a derived Boolean that is true while a state usage is in its state machine's active configuration. | Executing engine |

engine-contract.json

@@ -912,6 +912,21 @@
         "internal/ir/view/view.go"
       ]
     },
+    {
+      "name": "QVTS",
+      "kind": "package",
+      "consumers": [
+        "internal/doc/queryexec/resultview.go"
+      ]
+    },
+    {
+      "name": "QVTS::QueryResult",
+      "kind": "element",
+      "consumers": [
+        "internal/doc/queryexec/resultview.go",
+        "internal/ir/view/queryresult.go"
+      ]
+    },
     {
       "name": "RandomFunctions",
       "kind": "package",

libraries/QVTS.sysml

@@ -0,0 +1,29 @@
+library package QVTS {
+	doc /*
+	 * NON-NORMATIVE Query/View/Transformation vocabulary for SysML v2; not part
+	 * of the OMG SysML or KerML standard library.
+	 * The QVTS-R library, first cut: the shape of a query result. A query is a
+	 * calc def specializing DocumentQueries::Query; its result is a view that
+	 * exposes the selected elements and states how it was obtained.
+	 */
+	private import ScalarValues::*;
+
+	enum def Outcome {
+		doc /* established: a value, possibly empty; pathError: the query path names
+		     something the model does not have; modelError: the model violates a
+		     constraint a step relied on. */
+		established;
+		pathError;
+		modelError;
+	}
+
+	view def QueryResult {
+		doc /* One query run. The exposed members are the elements the query selected;
+		     the attributes say which query, over which source, with which outcome,
+		     and where the PROV record of the run is. */
+		attribute query : String;
+		attribute source : String;
+		attribute outcome : Outcome;
+		attribute provenance : String;
+	}
+}