feat: add NPR7123, the NASA NPR 7123.1D systems-engineering library

.meta.json

@@ -14,7 +14,7 @@
     },
     "libraries/DocumentQueries.sysml": {
       "algorithm": "SHA256",
-      "value": "d55d49583b4932c422535f3321c28a1a60268b02b5f6c451d2ef8d2704531e46"
+      "value": "a48490f0dfd88c40285ae79fcc38500ba398dcbcf49dc4a208fcfde8a0069662"
     },
     "libraries/IdentityMetadata.sysml": {
       "algorithm": "SHA256",
@@ -28,6 +28,10 @@
       "algorithm": "SHA256",
       "value": "4bafea415e043bb14c8dd1858753e1bc318808ff8c8294523cdc12ebea0e319c"
     },
+    "libraries/NPR7123.sysml": {
+      "algorithm": "SHA256",
+      "value": "42e8d6eae75c8f2c1c5d8204ca8b1ca98ba202abd3de17011a2c0ab63f86d343"
+    },
     "libraries/OOSEM.sysml": {
       "algorithm": "SHA256",
       "value": "7845c981b51ff99b9204a26493d5a07396f9007a2cf51c6ca7583125bfd31abf"
@@ -69,14 +73,15 @@
       "value": "9e00f049209584092dc8bcb398b736c08e6a39b1db667a8a744de3df72a543bf"
     }
   },
-  "created": "2026-11-03T17:53:51Z",
+  "created": "2026-11-04T16:10:55Z",
   "index": {
     "AnalysisRecords": "libraries/AnalysisRecords.sysml",
     "DiagramLayout": "libraries/DiagramLayout.sysml",
     "DocumentQueries": "libraries/DocumentQueries.sysml",
     "IdentityMetadata": "libraries/IdentityMetadata.sysml",
     "MOSA": "libraries/MOSA.sysml",
     "MigrationMetadata": "libraries/MigrationMetadata.sysml",
+    "NPR7123": "libraries/NPR7123.sysml",
     "OOSEM": "libraries/OOSEM.sysml",
     "OpenSysMLMathFunctions": "libraries/OpenSysMLMathFunctions.kerml",
     "OpenSysMLRenderings": "libraries/OpenSysMLRenderings.sysml",

README.md

@@ -21,6 +21,7 @@ non-normative OpenSysML library; other tools resolve it when given the
 | DocumentQueries | DocumentQueries.sysml | Calc definitions (OwnedElements, Descendants, Ancestors, …) that document views evaluate to select elements. | Executing engine |
 | IdentityMetadata | IdentityMetadata.sysml | Binds notation to repository element identity. | Any SysML v2 tool |
 | MOSA | MOSA.sysml | Modular Open Systems Approach (10 U.S.C. § 4401) vocabulary. | Any SysML v2 tool |
+| NPR7123 | NPR7123.sysml | NASA NPR 7123.1D systems-engineering vocabulary: the 17 common technical processes, life-cycle reviews with the Appendix G entrance/success criteria, work-product maturity (Table 5-1, Appendix F), TRLs, the active SE requirements and the Appendix H compliance matrix. | Any SysML v2 tool |
 | MigrationMetadata | MigrationMetadata.sysml | What a migration from another modelling language had to make up because the source left it unstated. | Any SysML v2 tool |
 | 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 |

engine-contract.json

@@ -721,6 +721,114 @@
         "internal/translate/migrate/names.go"
       ]
     },
+    {
+      "name": "NPR7123::Compliance",
+      "kind": "metadata",
+      "attributes": [
+        "comply",
+        "justification"
+      ],
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::ComplianceMatrix",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::ComplyKind",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::EntranceCriterion",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::LifeCycleReview",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::MaturityExpectation",
+      "kind": "metadata",
+      "attributes": [
+        "review",
+        "maturity",
+        "required",
+        "requirementId"
+      ],
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::ReviewKind",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::SEMP",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::SERequirement",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::SERequirements",
+      "kind": "package",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::SuccessCriterion",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::TechnicalProcess",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::WorkProduct",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
+    {
+      "name": "NPR7123::WorkProductMaturity",
+      "kind": "element",
+      "consumers": [
+        "internal/check/passes/npr7123.go"
+      ]
+    },
     {
       "name": "OOSEM::ComponentRequirement",
       "kind": "element",

libraries/DocumentQueries.sysml

@@ -223,8 +223,10 @@ library package DocumentQueries {
 	 * A feature chain (e.g. stat.runs or 'Monte Carlo'.runs) reads a
 	 * feature of a member nested in the row element, each segment
 	 * resolved against the members of the element reached so far —
-	 * own members before inherited ones; a row lacking a segment is
-	 * absent on that row, a member declaring no value is an empty
+	 * own members before inherited ones, else the element-valued
+	 * metaclass feature of that name (type.documentation reads the
+	 * documentation of a usage's definition); a row lacking a segment
+	 * is absent on that row, a member declaring no value is an empty
 	 * cell, and a member holding more values than its multiplicity
 	 * admits fails the column as a direct feature column does. A cell
 	 * over a metadata row reads its direct features only. A property