sysml-validate 0.15.0 → 0.15.2

package/out/main.js

@@ -30760,6 +30760,9 @@ function isExhibitStateDecl(item) {
 var ExitAction = "ExitAction";
 var ExposeMember = "ExposeMember";
 var ExposePath = "ExposePath";
+function isExposePath(item) {
+  return reflection2.isInstance(item, ExposePath);
+}
 var ExpressionDecl = "ExpressionDecl";
 var FeatureDecl = "FeatureDecl";
 function isFeatureDecl(item) {
@@ -58052,14 +58055,14 @@ function evaluateFilterCondition(node, metadataTypes, resolveRefs) {
     return node.items.length === 1 ? evaluateFilterCondition(node.items[0], metadataTypes, resolveRefs) : void 0;
   }
   if (isBinExpr(node)) {
-    if (node.op === "and" || node.op === "&") {
+    if (CONJUNCTION_OPERATORS.has(node.op)) {
       const left = evaluateFilterCondition(node.left, metadataTypes, resolveRefs);
       const right = evaluateFilterCondition(node.right, metadataTypes, resolveRefs);
       if (left === false || right === false)
         return false;
       return left === void 0 || right === void 0 ? void 0 : true;
     }
-    if (node.op === "or" || node.op === "|") {
+    if (DISJUNCTION_OPERATORS.has(node.op)) {
       const left = evaluateFilterCondition(node.left, metadataTypes, resolveRefs);
       const right = evaluateFilterCondition(node.right, metadataTypes, resolveRefs);
       if (left === true || right === true)
@@ -58070,6 +58073,42 @@ function evaluateFilterCondition(node, metadataTypes, resolveRefs) {
   }
   return void 0;
 }
+var CONJUNCTION_OPERATORS = /* @__PURE__ */ new Set(["and", "&"]);
+var DISJUNCTION_OPERATORS = /* @__PURE__ */ new Set(["or", "|"]);
+function undecidableFilterCondition(condition) {
+  if (!condition)
+    return void 0;
+  if (isSelfClassifyExpr(condition)) {
+    return condition.op === "@" || condition.op === "@@" ? void 0 : { node: condition, construct: `the '${condition.op}' classification operator` };
+  }
+  if (isNotExpr(condition) && condition.operand) {
+    return undecidableFilterCondition(condition.operand);
+  }
+  if (condition.$type === "NotExpr")
+    return void 0;
+  if (isParenExpr(condition)) {
+    return condition.items.length === 1 ? undecidableFilterCondition(condition.items[0]) : { node: condition, construct: "a parenthesized expression list" };
+  }
+  if (isBinExpr(condition)) {
+    if (CONJUNCTION_OPERATORS.has(condition.op) || DISJUNCTION_OPERATORS.has(condition.op)) {
+      return undecidableFilterCondition(condition.left) ?? undecidableFilterCondition(condition.right);
+    }
+    return { node: condition, construct: `the '${condition.op}' operator` };
+  }
+  return { node: condition, construct: describeFilterExpr(condition) };
+}
+function describeFilterExpr(node) {
+  if (isPostfixOp(node)) {
+    if ((node.dot || node.select) && node.field)
+      return `the '.${node.field}' feature access`;
+    if (node.arrow && node.invoke)
+      return `the '->${node.invoke}' invocation`;
+    return "this postfix expression";
+  }
+  if (isPathExpr(node))
+    return "a plain feature reference";
+  return "this expression form";
+}
 function attachedMetadataTypes(node, resolveRefs) {
   const siblings = node.$container?.members;
   if (!Array.isArray(siblings))
@@ -58713,6 +58752,13 @@ var DIAGNOSTIC_MESSAGES = {
   // implicit-redefinition resolution this validator does not yet model.
   RES017_DUPLICATE_MEMBER: (name) => `'${name}' is already declared in this namespace. Members must be distinguishable by name \u2014 rename or remove the duplicate.`,
   RES017_DUPLICATE_SHORT_NAME: (name) => `Short name '<${name}>' is already used in this namespace. Members must be distinguishable \u2014 rename the short name.`,
+  // issue #102 — REQ-387. The filter evaluator (`import-visibility.ts`,
+  // `evaluateFilterCondition`) decides metadata-presence tests and the Boolean
+  // operators over them; every other form fails OPEN, keeping the member. Failing
+  // open is the right default — under-importing would manufacture spurious
+  // RES001s — but an unevaluated filter produces a scope or view that looks
+  // authoritative and is not, so the fail-open is stated rather than assumed.
+  RES018_UNEVALUATED_FILTER: (subject, construct) => `${subject} filter is not evaluated: ${construct} is outside the metadata-filter evaluator, which decides '@'/'@@' metadata tests combined with 'not', 'and'/'&', and 'or'/'|'. The filter fails open \u2014 it is treated as pass-through and removes nothing.`,
   // REQ-007 — SysML v1 → v2 migration guardrail.
   MIG001_V1_KEYWORD: (keyword, v2, note) => `'${keyword}' is a SysML v1 construct, not a SysML v2 keyword. ${note} Use '${v2}'.`,
   MIG002_V1_STEREOTYPE_KNOWN: (stereotype, v2, note) => `SysML v2 has no stereotypes. ${note} Replace \xAB${stereotype}\xBB with '${v2}'.`,
@@ -58720,197 +58766,197 @@ var DIAGNOSTIC_MESSAGES = {
 };
 var KEYWORD_TOOLTIPS = {
   // Package / namespace
-  "package": { kind: "both", def: "Namespace that groups model elements.", example: "package VehicleModel { ... }" },
-  "namespace": { kind: "KerML", def: "Root namespace construct (KerML only).", example: "namespace Kernel { ... }" },
-  "library": { kind: "both", def: "Marks a package as a reusable library.", example: "library package Utils { ... }" },
-  "standard": { kind: "both", def: "Marks a package as a standard-library package. Should only appear in library source.", example: "standard library package ScalarValues { ... }" },
-  "import": { kind: "both", def: "Makes members of another namespace visible in the current scope. Release syntax requires explicit visibility.", example: "private import ISQ::*;" },
-  "alias": { kind: "both", def: "Declares a local name for an element in another namespace.", example: "alias Mass for ISQ::MassValue;" },
-  "filter": { kind: "SysML", def: "Restricts visible members of a namespace by a Boolean expression.", example: "filter @Safety;" },
+  "package": { kind: "both", def: "Namespace that groups model elements.", example: "package VehicleModel { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.5.1 (Packages)" },
+  "namespace": { kind: "KerML", def: "Root namespace construct (KerML only).", example: "namespace Kernel { ... }", cite: "OMG KerML v1.0 \xA78.2.3.4.1 (Namespaces)" },
+  "library": { kind: "both", def: "Marks a package as a reusable library.", example: "library package Utils { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.5.1 (Packages)" },
+  "standard": { kind: "both", def: "Marks a package as a standard-library package. Should only appear in library source.", example: "standard library package ScalarValues { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.5.1 (Packages)" },
+  "import": { kind: "both", def: "Makes members of another namespace visible in the current scope. Release syntax requires explicit visibility.", example: "private import ISQ::*;", cite: "OMG KerML v1.0 \xA78.2.3.4.2 (Imports)" },
+  "alias": { kind: "both", def: "Declares a local name for an element in another namespace.", example: "alias Mass for ISQ::MassValue;", cite: "OMG KerML v1.0 \xA78.2.3.4.3 (Namespace Elements)" },
+  "filter": { kind: "SysML", def: "Restricts visible members of a namespace by a Boolean expression.", example: "filter @Safety;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.5.2 (Package Elements)" },
   // Visibility
-  "public": { kind: "both", def: "Visibility: element visible to all importers." },
-  "private": { kind: "both", def: "Visibility: element visible only in its owning namespace." },
-  "protected": { kind: "both", def: "Visibility: element visible to specializations of the owning namespace." },
+  "public": { kind: "both", def: "Visibility: element visible to all importers.", cite: "OMG KerML v1.0 \xA78.2.3.4.3 (Namespace Elements)" },
+  "private": { kind: "both", def: "Visibility: element visible only in its owning namespace.", cite: "OMG KerML v1.0 \xA78.2.3.4.3 (Namespace Elements)" },
+  "protected": { kind: "both", def: "Visibility: element visible to specializations of the owning namespace.", cite: "OMG KerML v1.0 \xA78.2.3.4.3 (Namespace Elements)" },
   // Directions
-  "in": { kind: "both", def: "Input direction for a port feature or action parameter." },
-  "out": { kind: "both", def: "Output direction for a port feature or action parameter." },
-  "inout": { kind: "both", def: "Bidirectional direction for a port feature or action parameter." },
+  "in": { kind: "both", def: "Input direction for a port feature or action parameter.", cite: "OMG KerML v1.0 \xA78.2.4.3.1 (Features)" },
+  "out": { kind: "both", def: "Output direction for a port feature or action parameter.", cite: "OMG KerML v1.0 \xA78.2.4.3.1 (Features)" },
+  "inout": { kind: "both", def: "Bidirectional direction for a port feature or action parameter.", cite: "OMG KerML v1.0 \xA78.2.4.3.1 (Features)" },
   // Definition keywords
-  "part": { kind: "SysML", def: "Structural component with identity and internal structure. `part def` defines a reusable kind; `part` is a usage occurrence.", example: "part def Vehicle { ... }  // definition\npart myCar : Vehicle;      // usage" },
-  "port": { kind: "SysML", def: "Interaction point through which a part exchanges items or signals. `port def` defines the contract; `~` conjugates directions.", example: "port def PowerPort { out item power : ElectricalPower; }" },
-  "item": { kind: "SysML", def: "Something that flows, is exchanged, or is produced \u2014 matter, energy, data, or signals.", example: "item def Packet { attribute size : Integer; }" },
-  "attribute": { kind: "SysML", def: "Value-only feature without identity. Use for scalars, quantities, and typed constants.", example: "attribute mass : MassValue = 1500 [kg];" },
-  "action": { kind: "SysML", def: "Behavior step: consumes inputs, performs work, produces outputs. `action def` is reusable; `action` is a usage.", example: "action def Accelerate { in throttle : Real; out torque : Real; }" },
-  "state": { kind: "SysML", def: "Mode a system can occupy. Supports entry/do/exit actions and transitions.", example: "state def Idle { entry action e; do action d; exit action x; }" },
-  "calc": { kind: "SysML", def: "Pure function-like action that returns a value; no side effects.", example: "calc def Speed { in d : LengthValue; in t : TimeValue; return : SpeedValue; }" },
-  "constraint": { kind: "SysML", def: "Formal Boolean condition that must hold. Body is a single Boolean expression.", example: "constraint def MaxMass { subject v : Vehicle; require constraint { v.mass <= 2500 [kg] } }" },
-  "requirement": { kind: "SysML", def: "First-class machine-checkable requirement with a subject, constraints, and verify links.", example: "requirement def MassReq { subject v : Vehicle; require constraint { v.mass <= 2500 [kg] } }" },
-  "concern": { kind: "SysML", def: "Stakeholder interest that may be addressed by requirements.", example: "concern def Safety { stakeholder s : Engineer; }" },
-  "case": { kind: "SysML", def: "Generic case element (see analysis case, verification case, use case for specific forms).", example: "case def C { ... }" },
-  "view": { kind: "SysML", def: "A presentation of a subset of model elements for a specific audience or purpose.", example: "view def SafetyView :> SysML::Views::View { ... }" },
-  "viewpoint": { kind: "SysML", def: "Purpose descriptor for a set of views, specifying stakeholders and framed concerns.", example: "viewpoint def SafetyVP { stakeholder s : SafetyEngineer; }" },
-  "rendering": { kind: "SysML", def: "Specification of how a view is presented (table, tree, diagram, etc.).", example: "rendering def TableRendering { ... }" },
-  "metadata": { kind: "SysML", def: "Non-semantic annotation attached to model elements. Used for tagging, tooling, and cross-cutting concerns.", example: "@Safety\npart def Engine { ... }" },
-  "enum": { kind: "SysML", def: "Enumeration definition with a set of named literal values.", example: "enum def Status { active, inactive, standby }" },
-  "occurrence": { kind: "SysML", def: "General occurrence concept covering things with a lifetime.", example: "occurrence def Event { ... }" },
-  "connection": { kind: "SysML", def: "A typed relationship linking two or more parts through ports.", example: "connection def PowerLink connect PowerOut to PowerIn;" },
-  "interface": { kind: "SysML", def: "Contract for interaction between two ends, specifying port types and flow.", example: "interface def PowerInterface { end source : PowerOutPort; end sink : ~PowerOutPort; }" },
-  "allocation": { kind: "SysML", def: "Maps a source element to a target element that realizes it.", example: "allocate functions.drive to hardware.motor;" },
-  "flow": { kind: "SysML", def: "Item flow between source and target (material, data, energy).", example: "flow power of ElectricalPower from battery.out to motor.in;" },
-  "succession": { kind: "SysML", def: "Temporal ordering between behaviors \u2014 source happens before target.", example: "succession first startEngine then driveForward;" },
-  "transition": { kind: "SysML", def: "Change between states: source, optional trigger, guard, effect, and target.", example: "transition first idle accept cmd : Start then running;" },
+  "part": { kind: "SysML", def: "Structural component with identity and internal structure. `part def` defines a reusable kind; `part` is a usage occurrence.", example: "part def Vehicle { ... }  // definition\npart myCar : Vehicle;      // usage", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.11 (Parts)" },
+  "port": { kind: "SysML", def: "Interaction point through which a part exchanges items or signals. `port def` defines the contract; `~` conjugates directions.", example: "port def PowerPort { out item power : ElectricalPower; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.12 (Ports)" },
+  "item": { kind: "SysML", def: "Something that flows, is exchanged, or is produced \u2014 matter, energy, data, or signals.", example: "item def Packet { attribute size : Integer; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.10 (Items)" },
+  "attribute": { kind: "SysML", def: "Value-only feature without identity. Use for scalars, quantities, and typed constants.", example: "attribute mass : MassValue = 1500 [kg];", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.7 (Attributes)" },
+  "action": { kind: "SysML", def: "Behavior step: consumes inputs, performs work, produces outputs. `action def` is reusable; `action` is a usage.", example: "action def Accelerate { in throttle : Real; out torque : Real; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17 (Actions)" },
+  "state": { kind: "SysML", def: "Mode a system can occupy. Supports entry/do/exit actions and transitions.", example: "state def Idle { entry action e; do action d; exit action x; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18 (States)" },
+  "calc": { kind: "SysML", def: "Pure function-like action that returns a value; no side effects.", example: "calc def Speed { in d : LengthValue; in t : TimeValue; return : SpeedValue; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.19 (Calculations)" },
+  "constraint": { kind: "SysML", def: "Formal Boolean condition that must hold. Body is a single Boolean expression.", example: "constraint def MaxMass { subject v : Vehicle; require constraint { v.mass <= 2500 [kg] } }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.20 (Constraints)" },
+  "requirement": { kind: "SysML", def: "First-class machine-checkable requirement with a subject, constraints, and verify links.", example: "requirement def MassReq { subject v : Vehicle; require constraint { v.mass <= 2500 [kg] } }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21 (Requirements)" },
+  "concern": { kind: "SysML", def: "Stakeholder interest that may be addressed by requirements.", example: "concern def Safety { stakeholder s : Engineer; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21.3 (Concerns)" },
+  "case": { kind: "SysML", def: "Generic case element (see analysis case, verification case, use case for specific forms).", example: "case def C { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.22 (Cases)" },
+  "view": { kind: "SysML", def: "A presentation of a subset of model elements for a specific audience or purpose.", example: "view def SafetyView :> SysML::Views::View { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.26.1 (View Definitions)" },
+  "viewpoint": { kind: "SysML", def: "Purpose descriptor for a set of views, specifying stakeholders and framed concerns.", example: "viewpoint def SafetyVP { stakeholder s : SafetyEngineer; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.26.3 (Viewpoints)" },
+  "rendering": { kind: "SysML", def: "Specification of how a view is presented (table, tree, diagram, etc.).", example: "rendering def TableRendering { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.26.4 (Renderings)" },
+  "metadata": { kind: "SysML", def: "Non-semantic annotation attached to model elements. Used for tagging, tooling, and cross-cutting concerns.", example: "@Safety\npart def Engine { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.27 (Metadata)" },
+  "enum": { kind: "SysML", def: "Enumeration definition with a set of named literal values.", example: "enum def Status { active, inactive, standby }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.8 (Enumerations)" },
+  "occurrence": { kind: "SysML", def: "General occurrence concept covering things with a lifetime.", example: "occurrence def Event { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.9 (Occurrences)" },
+  "connection": { kind: "SysML", def: "A typed relationship linking two or more parts through ports.", example: "connection def PowerLink connect PowerOut to PowerIn;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.13.1 (Connection Definition and Usage)" },
+  "interface": { kind: "SysML", def: "Contract for interaction between two ends, specifying port types and flow.", example: "interface def PowerInterface { end source : PowerOutPort; end sink : ~PowerOutPort; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.14 (Interfaces)" },
+  "allocation": { kind: "SysML", def: "Maps a source element to a target element that realizes it.", example: "allocate functions.drive to hardware.motor;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.15 (Allocations)" },
+  "flow": { kind: "SysML", def: "Item flow between source and target (material, data, energy).", example: "flow power of ElectricalPower from battery.out to motor.in;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.16 (Flows)" },
+  "succession": { kind: "SysML", def: "Temporal ordering between behaviors \u2014 source happens before target.", example: "succession first startEngine then driveForward;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.13.3 (Successions)" },
+  "transition": { kind: "SysML", def: "Change between states: source, optional trigger, guard, effect, and target.", example: "transition first idle accept cmd : Start then running;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18.3 (Transition Usages)" },
   // Modifiers
-  "abstract": { kind: "both", def: "Definition cannot be instantiated directly; must be specialized." },
-  "ref": { kind: "SysML", def: "References an element owned elsewhere rather than composing it." },
-  "derived": { kind: "both", def: "Feature value is computed from other features; not stored directly." },
-  "readonly": { kind: "both", def: "Legacy recovery token, not a SysML/KerML Release modifier. Use SysML constant for an immutable usage." },
-  "composite": { kind: "both", def: "Feature is compositely owned by the enclosing element (filled diamond)." },
-  "portion": { kind: "both", def: "Feature is a temporal or spatial portion of the owner." },
-  "var": { kind: "KerML", def: "Variable feature \u2014 value changes over time." },
-  "const": { kind: "KerML", def: "Constant feature \u2014 value set at creation time (KerML form). Use `constant` in SysML." },
-  "constant": { kind: "SysML", def: "Constant usage \u2014 value set at initialization, not changed afterward (SysML form)." },
-  "ordered": { kind: "both", def: "Feature values are ordered (sequence semantics)." },
-  "nonunique": { kind: "both", def: "Feature values may repeat (bag/multiset semantics)." },
-  "variation": { kind: "SysML", def: "A definition offering multiple variant alternatives." },
-  "variant": { kind: "SysML", def: "One alternative inside a variation definition." },
-  "individual": { kind: "SysML", def: "A unique real-world object; multiplicity [1] by definition." },
-  "snapshot": { kind: "SysML", def: "Zero-duration timeslice of an individual." },
-  "timeslice": { kind: "SysML", def: "Bounded lifetime segment of an individual." },
-  "parallel": { kind: "SysML", def: "State or region with concurrent sub-states (orthogonal regions)." },
-  "end": { kind: "both", def: "Endpoint feature in a connection or interface definition." },
+  "abstract": { kind: "both", def: "Definition cannot be instantiated directly; must be specialized.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.1 (Definitions)" },
+  "ref": { kind: "SysML", def: "References an element owned elsewhere rather than composing it.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.3 (Reference Usages)" },
+  "derived": { kind: "both", def: "Feature value is computed from other features; not stored directly.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.2 (Usages)" },
+  "readonly": { kind: "both", def: "Legacy recovery token, not a SysML/KerML Release modifier. Use SysML constant for an immutable usage.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.2 (Usages)" },
+  "composite": { kind: "both", def: "Feature is compositely owned by the enclosing element (filled diamond).", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.2 (Usages)" },
+  "portion": { kind: "both", def: "Feature is a temporal or spatial portion of the owner.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.2 (Usages)" },
+  "var": { kind: "KerML", def: "Variable feature \u2014 value changes over time.", cite: "OMG KerML v1.0 \xA78.2.4.3.1 (Features)" },
+  "const": { kind: "KerML", def: "Constant feature \u2014 value set at creation time (KerML form). Use `constant` in SysML.", cite: "OMG KerML v1.0 \xA78.2.4.3.1 (Features)" },
+  "constant": { kind: "SysML", def: "Constant usage \u2014 value set at initialization, not changed afterward (SysML form).", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.2 (Usages)" },
+  "ordered": { kind: "both", def: "Feature values are ordered (sequence semantics).", cite: "OMG KerML v1.0 \xA78.2.5.11 (Multiplicities)" },
+  "nonunique": { kind: "both", def: "Feature values may repeat (bag/multiset semantics).", cite: "OMG KerML v1.0 \xA78.2.5.11 (Multiplicities)" },
+  "variation": { kind: "SysML", def: "A definition offering multiple variant alternatives.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.1 (Definitions)" },
+  "variant": { kind: "SysML", def: "One alternative inside a variation definition.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.6.4 (Body Elements)" },
+  "individual": { kind: "SysML", def: "A unique real-world object; multiplicity [1] by definition.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.9.1 (Occurrence Definitions)" },
+  "snapshot": { kind: "SysML", def: "Zero-duration timeslice of an individual.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.9.2 (Occurrence Usages)" },
+  "timeslice": { kind: "SysML", def: "Bounded lifetime segment of an individual.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.9.2 (Occurrence Usages)" },
+  "parallel": { kind: "SysML", def: "State or region with concurrent sub-states (orthogonal regions).", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18.1 (State Definitions)" },
+  "end": { kind: "both", def: "Endpoint feature in a connection or interface definition.", cite: "OMG KerML v1.0 \xA78.2.5.5.1 (Connectors)" },
   // KerML kernel keywords
-  "type": { kind: "KerML", def: "Fundamental KerML classifier type. In user `.sysml` code, prefer `part def`, `attribute def`, etc." },
-  "class": { kind: "KerML", def: "KerML class (has identity). In `.sysml`, prefer `part def`." },
-  "classifier": { kind: "KerML", def: "KerML base classifier. In `.sysml`, prefer `part def`." },
-  "struct": { kind: "KerML", def: "KerML structure (data-value, no identity). In `.sysml`, prefer `attribute def`." },
-  "datatype": { kind: "KerML", def: "KerML data type (no identity). In `.sysml`, prefer `attribute def`." },
-  "metaclass": { kind: "KerML", def: "KerML metaclass for modeling language extension points." },
-  "assoc": { kind: "KerML", def: "KerML association. In `.sysml`, prefer `connection def`." },
-  "feature": { kind: "KerML", def: "Generic KerML feature. In `.sysml`, prefer `part`, `attribute`, `port`, etc." },
-  "function": { kind: "KerML", def: "KerML function (pure computation). In `.sysml`, prefer `calc def`." },
-  "predicate": { kind: "KerML", def: "KerML Boolean function. In `.sysml`, prefer `constraint def`." },
-  "step": { kind: "KerML", def: "KerML step (behavior invocation)." },
-  "behavior": { kind: "KerML", def: "KerML behavior classifier. In `.sysml`, prefer `action def`." },
-  "interaction": { kind: "KerML", def: "KerML interaction (multi-party behavior)." },
-  "expr": { kind: "KerML", def: "KerML expression feature." },
+  "type": { kind: "KerML", def: "Fundamental KerML classifier type. In user `.sysml` code, prefer `part def`, `attribute def`, etc.", cite: "OMG KerML v1.0 \xA78.2.4.1.1 (Types)" },
+  "class": { kind: "KerML", def: "KerML class (has identity). In `.sysml`, prefer `part def`.", cite: "OMG KerML v1.0 \xA78.2.5.2 (Classes)" },
+  "classifier": { kind: "KerML", def: "KerML base classifier. In `.sysml`, prefer `part def`.", cite: "OMG KerML v1.0 \xA78.2.4.2.1 (Classifiers)" },
+  "struct": { kind: "KerML", def: "KerML structure (data-value, no identity). In `.sysml`, prefer `attribute def`.", cite: "OMG KerML v1.0 \xA78.2.5.3 (Structures)" },
+  "datatype": { kind: "KerML", def: "KerML data type (no identity). In `.sysml`, prefer `attribute def`.", cite: "OMG KerML v1.0 \xA78.2.5.1 (Data Types)" },
+  "metaclass": { kind: "KerML", def: "KerML metaclass for modeling language extension points.", cite: "OMG KerML v1.0 \xA78.2.5.12 (Metadata)" },
+  "assoc": { kind: "KerML", def: "KerML association. In `.sysml`, prefer `connection def`.", cite: "OMG KerML v1.0 \xA78.2.5.4 (Associations)" },
+  "feature": { kind: "KerML", def: "Generic KerML feature. In `.sysml`, prefer `part`, `attribute`, `port`, etc.", cite: "OMG KerML v1.0 \xA78.2.4.3.1 (Features)" },
+  "function": { kind: "KerML", def: "KerML function (pure computation). In `.sysml`, prefer `calc def`.", cite: "OMG KerML v1.0 \xA78.2.5.7.1 (Functions)" },
+  "predicate": { kind: "KerML", def: "KerML Boolean function. In `.sysml`, prefer `constraint def`.", cite: "OMG KerML v1.0 \xA78.2.5.7.3 (Predicates)" },
+  "step": { kind: "KerML", def: "KerML step (behavior invocation).", cite: "OMG KerML v1.0 \xA78.2.5.6.2 (Steps)" },
+  "behavior": { kind: "KerML", def: "KerML behavior classifier. In `.sysml`, prefer `action def`.", cite: "OMG KerML v1.0 \xA78.2.5.6.1 (Behaviors)" },
+  "interaction": { kind: "KerML", def: "KerML interaction (multi-party behavior).", cite: "OMG KerML v1.0 \xA78.2.5.9.1 (Interactions)" },
+  "expr": { kind: "KerML", def: "KerML expression feature.", cite: "OMG KerML v1.0 \xA78.2.5.7.2 (Expressions)" },
   // Relationship keywords
-  "specializes": { kind: "both", def: "Keyword form of `:>` specialization relationship." },
-  "redefines": { kind: "both", def: "Keyword form of `:>>` redefinition relationship." },
-  "subsets": { kind: "both", def: "Keyword form of `:>` subsetting on feature usages." },
-  "conjugates": { kind: "both", def: "Keyword form of `~` conjugation on port types." },
-  "disjoint": { kind: "both", def: "Used in `disjoint from` to assert two types share no instances." },
-  "unions": { kind: "KerML", def: "Feature unions over other features." },
-  "intersects": { kind: "KerML", def: "Feature intersection." },
-  "differences": { kind: "KerML", def: "Feature set difference." },
-  "chains": { kind: "KerML", def: "Feature chaining through a path of features." },
-  "inverting": { kind: "KerML", def: "Feature that is the inverse of another." },
+  "specializes": { kind: "both", def: "Keyword form of `:>` specialization relationship.", cite: "OMG KerML v1.0 \xA78.2.4.1.2 (Specialization)" },
+  "redefines": { kind: "both", def: "Keyword form of `:>>` redefinition relationship.", cite: "OMG KerML v1.0 \xA78.2.4.3.4 (Redefinition)" },
+  "subsets": { kind: "both", def: "Keyword form of `:>` subsetting on feature usages.", cite: "OMG KerML v1.0 \xA78.2.4.3.3 (Subsetting)" },
+  "conjugates": { kind: "both", def: "Keyword form of `~` conjugation on port types.", cite: "OMG KerML v1.0 \xA78.2.4.1.3 (Conjugation)" },
+  "disjoint": { kind: "both", def: "Used in `disjoint from` to assert two types share no instances.", cite: "OMG KerML v1.0 \xA78.2.4.1.4 (Disjoining)" },
+  "unions": { kind: "KerML", def: "Feature unions over other features.", cite: "OMG KerML v1.0 \xA78.2.4.1.5 (Unioning, Intersecting, and Differencing)" },
+  "intersects": { kind: "KerML", def: "Feature intersection.", cite: "OMG KerML v1.0 \xA78.2.4.1.5 (Unioning, Intersecting, and Differencing)" },
+  "differences": { kind: "KerML", def: "Feature set difference.", cite: "OMG KerML v1.0 \xA78.2.4.1.5 (Unioning, Intersecting, and Differencing)" },
+  "chains": { kind: "KerML", def: "Feature chaining through a path of features.", cite: "OMG KerML v1.0 \xA78.2.4.3.5 (Feature Chaining)" },
+  "inverting": { kind: "KerML", def: "Feature that is the inverse of another.", cite: "OMG KerML v1.0 \xA78.2.4.3.6 (Feature Inverting)" },
   // Behavioral keywords
-  "perform": { kind: "SysML", def: "Part performs (executes) an action usage.", example: "perform action drive;" },
-  "exhibit": { kind: "SysML", def: "Part exhibits (runs) a state machine.", example: "exhibit state lifecycle;" },
-  "include": { kind: "SysML", def: "Use case always includes another use case.", example: "include useCase Authenticate;" },
-  "satisfy": { kind: "SysML", def: "Element satisfies a requirement.", example: "satisfy MassReq by myCar;" },
-  "verify": { kind: "SysML", def: "Verification case verifies a requirement.", example: "verify MassReq;" },
-  "require": { kind: "SysML", def: "Normative constraint inside a requirement definition.", example: "require constraint { mass <= 2500 [kg] }" },
-  "assume": { kind: "SysML", def: "Precondition inside a requirement (if false, req not violated).", example: "assume constraint { isLoaded }" },
-  "assert": { kind: "SysML", def: "Asserts that a constraint holds in the current scope.", example: "assert constraint { v.mass <= 2500 [kg] }" },
-  "subject": { kind: "SysML", def: "The element that a requirement, use case, or case constrains. Exactly one per definition.", example: "subject v : Vehicle;" },
-  "actor": { kind: "SysML", def: "An active external participant in a use case or case." },
-  "stakeholder": { kind: "SysML", def: "An interested party in a concern or viewpoint." },
-  "objective": { kind: "SysML", def: "Goal of an analysis or verification case.", example: "objective obj { verify MassReq; }" },
-  "frame": { kind: "SysML", def: "Frames a concern in a requirement or viewpoint.", example: "frame concern Safety;" },
-  "expose": { kind: "SysML", def: "Makes selected model elements visible in a view.", example: "expose myCar.engine;" },
-  "render": { kind: "SysML", def: "Specifies how a view is rendered (table, tree, diagram).", example: "render asTable;" },
+  "perform": { kind: "SysML", def: "Part performs (executes) an action usage.", example: "perform action drive;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.2 (Action Usages)" },
+  "exhibit": { kind: "SysML", def: "Part exhibits (runs) a state machine.", example: "exhibit state lifecycle;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18.2 (State Usages)" },
+  "include": { kind: "SysML", def: "Use case always includes another use case.", example: "include useCase Authenticate;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.25 (Use Cases)" },
+  "satisfy": { kind: "SysML", def: "Element satisfies a requirement.", example: "satisfy MassReq by myCar;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21.2 (Requirement Usages)" },
+  "verify": { kind: "SysML", def: "Verification case verifies a requirement.", example: "verify MassReq;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.24 (Verification Cases)" },
+  "require": { kind: "SysML", def: "Normative constraint inside a requirement definition.", example: "require constraint { mass <= 2500 [kg] }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21.1 (Requirement Definitions)" },
+  "assume": { kind: "SysML", def: "Precondition inside a requirement (if false, req not violated).", example: "assume constraint { isLoaded }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21.1 (Requirement Definitions)" },
+  "assert": { kind: "SysML", def: "Asserts that a constraint holds in the current scope.", example: "assert constraint { v.mass <= 2500 [kg] }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.20 (Constraints)" },
+  "subject": { kind: "SysML", def: "The element that a requirement, use case, or case constrains. Exactly one per definition.", example: "subject v : Vehicle;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.22 (Cases)" },
+  "actor": { kind: "SysML", def: "An active external participant in a use case or case.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.22 (Cases)" },
+  "stakeholder": { kind: "SysML", def: "An interested party in a concern or viewpoint.", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21.3 (Concerns)" },
+  "objective": { kind: "SysML", def: "Goal of an analysis or verification case.", example: "objective obj { verify MassReq; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.22 (Cases)" },
+  "frame": { kind: "SysML", def: "Frames a concern in a requirement or viewpoint.", example: "frame concern Safety;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.21.3 (Concerns)" },
+  "expose": { kind: "SysML", def: "Makes selected model elements visible in a view.", example: "expose myCar.engine;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.26.2 (View Usages)" },
+  "render": { kind: "SysML", def: "Specifies how a view is rendered (table, tree, diagram).", example: "render asTable;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.26.4 (Renderings)" },
   // Behavioral control
-  "entry": { kind: "SysML", def: "Action executed when entering a state.", example: "entry action initialize;" },
-  "do": { kind: "SysML", def: "Action executed while in a state.", example: "do action monitor;" },
-  "exit": { kind: "SysML", def: "Action executed when leaving a state.", example: "exit action cleanup;" },
-  "first": { kind: "SysML", def: "Source state of a transition, or first step in a sequence.", example: "first idle" },
-  "then": { kind: "SysML", def: "Target state of a transition, or next step in a sequence.", example: "then running" },
-  "accept": { kind: "SysML", def: "Transition trigger \u2014 waits for an event, time, or change.", example: "accept cmd : CommandSignal" },
-  "send": { kind: "SysML", def: "Sends an item or signal through a port.", example: "send statusUpdate via outputPort;" },
-  "if": { kind: "SysML", def: "Guard condition in a transition or conditional expression.", example: "if speed > 60 [km/h]" },
-  "while": { kind: "SysML", def: "Looping control flow \u2014 repeat while condition is true.", example: "while running loop { ... }" },
-  "for": { kind: "SysML", def: "Iteration over a collection.", example: "for x in wheels loop { ... }" },
-  "return": { kind: "SysML", def: "Return value declaration in a `calc def`.", example: "return result : SpeedValue;" },
-  "merge": { kind: "SysML", def: "Action flow merge node \u2014 multiple incoming, one outgoing.", example: "merge m;" },
-  "decide": { kind: "SysML", def: "Action flow decision (fork) node \u2014 one incoming, multiple guarded outgoing.", example: "decide d;" },
-  "join": { kind: "SysML", def: "Action flow join node \u2014 multiple incoming, one outgoing (all must complete).", example: "join j;" },
-  "fork": { kind: "SysML", def: "Action flow fork node \u2014 one incoming, multiple concurrent outgoing.", example: "fork f;" },
-  "terminate": { kind: "SysML", def: "Terminates the enclosing action or behavior.", example: "terminate;" },
-  "assign": { kind: "SysML", def: "Assignment action \u2014 sets a variable to an expression value.", example: "assign x := expr;" },
+  "entry": { kind: "SysML", def: "Action executed when entering a state.", example: "entry action initialize;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18.2 (State Usages)" },
+  "do": { kind: "SysML", def: "Action executed while in a state.", example: "do action monitor;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18.2 (State Usages)" },
+  "exit": { kind: "SysML", def: "Action executed when leaving a state.", example: "exit action cleanup;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.18.2 (State Usages)" },
+  "first": { kind: "SysML", def: "Source state of a transition, or first step in a sequence.", example: "first idle", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.8 (Action Successions)" },
+  "then": { kind: "SysML", def: "Target state of a transition, or next step in a sequence.", example: "then running", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.8 (Action Successions)" },
+  "accept": { kind: "SysML", def: "Transition trigger \u2014 waits for an event, time, or change.", example: "accept cmd : CommandSignal", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.4 (Send and Accept Action Usages)" },
+  "send": { kind: "SysML", def: "Sends an item or signal through a port.", example: "send statusUpdate via outputPort;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.4 (Send and Accept Action Usages)" },
+  "if": { kind: "SysML", def: "Guard condition in a transition or conditional expression.", example: "if speed > 60 [km/h]", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.7 (Structured Control Action Usages)" },
+  "while": { kind: "SysML", def: "Looping control flow \u2014 repeat while condition is true.", example: "while running loop { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.7 (Structured Control Action Usages)" },
+  "for": { kind: "SysML", def: "Iteration over a collection.", example: "for x in wheels loop { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.7 (Structured Control Action Usages)" },
+  "return": { kind: "SysML", def: "Return value declaration in a `calc def`.", example: "return result : SpeedValue;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.19 (Calculations)" },
+  "merge": { kind: "SysML", def: "Action flow merge node \u2014 multiple incoming, one outgoing.", example: "merge m;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.3 (Control Nodes)" },
+  "decide": { kind: "SysML", def: "Action flow decision (fork) node \u2014 one incoming, multiple guarded outgoing.", example: "decide d;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.3 (Control Nodes)" },
+  "join": { kind: "SysML", def: "Action flow join node \u2014 multiple incoming, one outgoing (all must complete).", example: "join j;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.3 (Control Nodes)" },
+  "fork": { kind: "SysML", def: "Action flow fork node \u2014 one incoming, multiple concurrent outgoing.", example: "fork f;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.3 (Control Nodes)" },
+  "terminate": { kind: "SysML", def: "Terminates the enclosing action or behavior.", example: "terminate;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.6 (Terminate Action Usages)" },
+  "assign": { kind: "SysML", def: "Assignment action \u2014 sets a variable to an expression value.", example: "assign x := expr;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.17.5 (Assignment Action Usages)" },
   // Connect/bind/flow
-  "connect": { kind: "SysML", def: "Creates a connector between two ends.", example: "connect engine.out to wheels.in;" },
-  "bind": { kind: "SysML", def: "Shorthand binding connector \u2014 two ends share the same value.", example: "bind outer.power = inner.supply;" },
-  "binding": { kind: "SysML", def: "Named binding connector declaration.", example: "binding link of supply = demand;" },
-  "allocate": { kind: "SysML", def: "Allocates a logical element to a physical element.", example: "allocate func.drive to hw.motor;" },
+  "connect": { kind: "SysML", def: "Creates a connector between two ends.", example: "connect engine.out to wheels.in;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.13.1 (Connection Definition and Usage)" },
+  "bind": { kind: "SysML", def: "Shorthand binding connector \u2014 two ends share the same value.", example: "bind outer.power = inner.supply;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.13.2 (Binding Connectors)" },
+  "binding": { kind: "SysML", def: "Named binding connector declaration.", example: "binding link of supply = demand;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.13.2 (Binding Connectors)" },
+  "allocate": { kind: "SysML", def: "Allocates a logical element to a physical element.", example: "allocate func.drive to hw.motor;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.15 (Allocations)" },
   // Doc/comment/rep
-  "doc": { kind: "both", def: "Modeled documentation attached to the next element (not discarded trivia).", example: "doc /* This part models the engine. */" },
-  "comment": { kind: "both", def: "Modeled comment with an optional target.", example: "comment about myCar /* important */ ;" },
-  "rep": { kind: "both", def: "Modeled textual representation in an external language.", example: 'rep vehicleView language "html" /* <b>Vehicle</b> */ ;' },
-  "language": { kind: "both", def: "Identifies the external language of a `rep` body.", example: 'rep r language "markdown" /* ... */ ;' },
-  "about": { kind: "both", def: "Attaches a `comment` or annotation to a named target.", example: "comment about myCar /* ... */ ;" },
+  "doc": { kind: "both", def: "Modeled documentation attached to the next element (not discarded trivia).", example: "doc /* This part models the engine. */", cite: "OMG KerML v1.0 \xA78.2.3.3.2 (Comments and Documentation)" },
+  "comment": { kind: "both", def: "Modeled comment with an optional target.", example: "comment about myCar /* important */ ;", cite: "OMG KerML v1.0 \xA78.2.3.3.2 (Comments and Documentation)" },
+  "rep": { kind: "both", def: "Modeled textual representation in an external language.", example: 'rep vehicleView language "html" /* <b>Vehicle</b> */ ;', cite: "OMG KerML v1.0 \xA78.2.3.3.3 (Textual Representation)" },
+  "language": { kind: "both", def: "Identifies the external language of a `rep` body.", example: 'rep r language "markdown" /* ... */ ;', cite: "OMG KerML v1.0 \xA78.2.3.3.3 (Textual Representation)" },
+  "about": { kind: "both", def: "Attaches a `comment` or annotation to a named target.", example: "comment about myCar /* ... */ ;", cite: "OMG KerML v1.0 \xA78.2.3.3.1 (Annotations)" },
   // Expression keywords
-  "and": { kind: "both", def: "Boolean conjunction (lower precedence than `&`). Do NOT use `&&`.", example: "isActive and isLoaded" },
-  "or": { kind: "both", def: "Boolean disjunction. Do NOT use `||`.", example: "isFull or isEmpty" },
-  "xor": { kind: "both", def: "Boolean exclusive-or.", example: "a xor b" },
-  "not": { kind: "both", def: "Boolean negation. Do NOT use `!`.", example: "not isActive" },
-  "implies": { kind: "both", def: "Logical implication (\u2192): `a implies b` is false only when a is true and b is false.", example: "isRunning implies hasPower" },
-  "istype": { kind: "both", def: "Classification test \u2014 is the value an instance of this type?", example: "x istype Vehicle" },
-  "hastype": { kind: "both", def: "Type check \u2014 does the value have exactly this type?", example: "x hastype Car" },
-  "as": { kind: "both", def: "Type cast expression.", example: "x as Car" },
-  "meta": { kind: "both", def: "Metadata access expression.", example: "x meta @Owner" },
-  "null": { kind: "both", def: "The null (no-value) literal.", example: "if x == null then ..." },
-  "true": { kind: "both", def: "Boolean literal true.", example: "attribute isLoaded : Boolean = true;" },
-  "false": { kind: "both", def: "Boolean literal false.", example: "attribute isLoaded : Boolean = false;" },
-  "new": { kind: "both", def: "Creates a new instance of the specified type.", example: "new Vehicle { ... }" }
+  "and": { kind: "both", def: "Boolean conjunction (lower precedence than `&`). Do NOT use `&&`.", example: "isActive and isLoaded", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "or": { kind: "both", def: "Boolean disjunction. Do NOT use `||`.", example: "isFull or isEmpty", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "xor": { kind: "both", def: "Boolean exclusive-or.", example: "a xor b", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "not": { kind: "both", def: "Boolean negation. Do NOT use `!`.", example: "not isActive", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "implies": { kind: "both", def: "Logical implication (\u2192): `a implies b` is false only when a is true and b is false.", example: "isRunning implies hasPower", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "istype": { kind: "both", def: "Classification test \u2014 is the value an instance of this type?", example: "x istype Vehicle", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "hastype": { kind: "both", def: "Type check \u2014 does the value have exactly this type?", example: "x hastype Car", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "as": { kind: "both", def: "Type cast expression.", example: "x as Car", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "meta": { kind: "both", def: "Metadata access expression.", example: "x meta @Owner", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "null": { kind: "both", def: "The null (no-value) literal.", example: "if x == null then ...", cite: "OMG KerML v1.0 \xA78.2.5.8.3 (Base Expressions)" },
+  "true": { kind: "both", def: "Boolean literal true.", example: "attribute isLoaded : Boolean = true;", cite: "OMG KerML v1.0 \xA78.2.5.8.4 (Literal Expressions)" },
+  "false": { kind: "both", def: "Boolean literal false.", example: "attribute isLoaded : Boolean = false;", cite: "OMG KerML v1.0 \xA78.2.5.8.4 (Literal Expressions)" },
+  "new": { kind: "both", def: "Creates a new instance of the specified type.", example: "new Vehicle { ... }", cite: "OMG KerML v1.0 \xA78.2.5.8.3 (Base Expressions)" }
 };
 var MULTI_WORD_KEYWORD_TOOLTIPS = {
-  "part def": { kind: "SysML", def: "Definition of a reusable structural part kind.", example: "part def Vehicle { ... }" },
-  "port def": { kind: "SysML", def: "Definition of a reusable port contract.", example: "port def PowerPort { out item power; }" },
-  "item def": { kind: "SysML", def: "Definition of an item kind that can flow or be exchanged.", example: "item def Packet;" },
-  "attribute def": { kind: "SysML", def: "Definition of a reusable value type or attribute kind.", example: "attribute def Mass;" },
-  "analysis case": { kind: "SysML", def: "Legacy recovery spelling for an analysis case; Release syntax omits case.", example: "analysis def MassRollup { ... }" },
-  "verification case": { kind: "SysML", def: "Legacy recovery spelling for a verification case; Release syntax omits case.", example: "verification def CrashTest { ... }" },
-  "use case": { kind: "SysML", def: "Case describing how actors use a subject to reach a goal.", example: "use case def DriveToWork { actor driver; }" },
-  "succession flow": { kind: "SysML", def: "Flow with temporal succession semantics between source and target.", example: "succession flow fuel from tank to engine;" }
+  "part def": { kind: "SysML", def: "Definition of a reusable structural part kind.", example: "part def Vehicle { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.11 (Parts)" },
+  "port def": { kind: "SysML", def: "Definition of a reusable port contract.", example: "port def PowerPort { out item power; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.12 (Ports)" },
+  "item def": { kind: "SysML", def: "Definition of an item kind that can flow or be exchanged.", example: "item def Packet;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.10 (Items)" },
+  "attribute def": { kind: "SysML", def: "Definition of a reusable value type or attribute kind.", example: "attribute def Mass;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.7 (Attributes)" },
+  "analysis case": { kind: "SysML", def: "Legacy recovery spelling for an analysis case; Release syntax omits case.", example: "analysis def MassRollup { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.23 (Analysis Cases)" },
+  "verification case": { kind: "SysML", def: "Legacy recovery spelling for a verification case; Release syntax omits case.", example: "verification def CrashTest { ... }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.24 (Verification Cases)" },
+  "use case": { kind: "SysML", def: "Case describing how actors use a subject to reach a goal.", example: "use case def DriveToWork { actor driver; }", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.25 (Use Cases)" },
+  "succession flow": { kind: "SysML", def: "Flow with temporal succession semantics between source and target.", example: "succession flow fuel from tank to engine;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.16 (Flows)" }
 };
 var OPERATOR_TOOLTIPS = {
-  ":": { desc: "**Typing** \u2014 binds a usage to a type (`defined by` in SysML, `typed by` in KerML).", precedence: 0, example: "part myCar : Vehicle;", cite: "OMG SysML v2 \xA74" },
-  ":>": { desc: "**Specialization** (on defs) / **Subsetting** (on features) \u2014 target specializes or subsets the named element.", precedence: 0, example: "part def Car :> Vehicle;", cite: "OMG SysML v2 \xA75" },
-  ":>>": { desc: "**Redefinition** \u2014 feature narrows or overrides an inherited feature.", precedence: 0, example: "attribute :>> mass = 1500 [kg];", cite: "OMG SysML v2 \xA75" },
-  "::>": { desc: "**Reference subsetting** \u2014 used on connector ends and view exposures to reference-subset a feature.", precedence: 0, example: "end e ::> vehicle.engine;", cite: "OMG SysML v2 \xA75" },
-  "=>": { desc: "**Cross-subsetting** \u2014 connector end cross-subsets a feature of the connector type.", precedence: 0, example: "connection c ::> myConn { end ::> src => myConn.source; }", cite: "OMG SysML v2 \xA78" },
-  "~": { desc: "**Conjugation** \u2014 flips the directions of all port features. Common on port typing: `port p : ~PowerOut;`.", precedence: 0, example: "port supply : ~PowerOutPort;", cite: "OMG SysML v2 \xA74" },
-  "::": { desc: "**Namespace separator** \u2014 descends into a package namespace (`Pkg::Member`).", precedence: 0, example: "import ISQ::MassValue;", cite: "OMG SysML v2 \xA711" },
-  "::*": { desc: "**Namespace wildcard** \u2014 imports all visible members of a namespace.", precedence: 0, example: "private import ISQ::*;", cite: "OMG SysML v2 \xA711" },
-  "::**": { desc: "**Recursive import** \u2014 imports all visible members recursively from nested namespaces.", precedence: 0, example: "private import Pkg::*::**;", cite: "OMG SysML v2 \xA711" },
-  ".": { desc: "**Feature access** \u2014 member path inside an expression (`vehicle.body.mass`). Do NOT use `.` to descend into packages; use `::`.", precedence: 18, example: "vehicle.body.mass <= 2500 [kg]", cite: "OMG SysML v2 \xA77" },
-  ".?": { desc: "**Null-safe feature access** \u2014 like `.` but returns null if the receiver is null.", precedence: 18, example: "vehicle.?engine.torque", cite: "OMG SysML v2 \xA77" },
-  "->": { desc: "**Collection / library invocation** \u2014 invokes a library or collection function on the receiver.", precedence: 18, example: "wheels->size()  // number of wheels\nwheels->forAll { in w : Wheel | w.pressure >= 2.5 }", cite: "OMG SysML v2 \xA77" },
-  "#(": { desc: "**Indexed access** \u2014 one-based index access on an ordered sequence.", precedence: 18, example: "wheels#(1).pressure  // first wheel", cite: "OMG SysML v2 \xA77" },
-  "**": { desc: "**Exponentiation** operator (precedence 16).", precedence: 16, example: "x ** 2  // x squared", cite: "OMG SysML v2 \xA714" },
-  "^": { desc: "**Exponentiation** operator (same as `**`, precedence 16).", precedence: 16, example: "x ^ 2", cite: "OMG SysML v2 \xA714" },
-  "*": { desc: "**Multiplication** (precedence 15).", precedence: 15, example: "mass * acceleration", cite: "OMG SysML v2 \xA714" },
-  "/": { desc: "**Division** (precedence 15).", precedence: 15, example: "distance / time", cite: "OMG SysML v2 \xA714" },
-  "%": { desc: "**Modulo** / remainder (precedence 15).", precedence: 15, example: "n % 2 == 0  // even", cite: "OMG SysML v2 \xA714" },
-  "+": { desc: "**Addition** (precedence 14) or unary plus (precedence 17).", precedence: 14, example: "a + b", cite: "OMG SysML v2 \xA714" },
-  "-": { desc: "**Subtraction** (precedence 14) or unary minus (precedence 17).", precedence: 14, example: "a - b", cite: "OMG SysML v2 \xA714" },
-  "..": { desc: "**Range** expression \u2014 inclusive integer or quantity range.", precedence: 13, example: "0..9  // values 0 through 9", cite: "OMG SysML v2 \xA714" },
-  "<": { desc: "**Less than** comparison (precedence 12).", precedence: 12, example: "mass < 2500 [kg]", cite: "OMG SysML v2 \xA714" },
-  "<=": { desc: "**Less than or equal** comparison (precedence 12).", precedence: 12, example: "speed <= 120 [km/h]", cite: "OMG SysML v2 \xA714" },
-  ">": { desc: "**Greater than** comparison (precedence 12).", precedence: 12, example: "pressure > 0 [Pa]", cite: "OMG SysML v2 \xA714" },
-  ">=": { desc: "**Greater than or equal** comparison (precedence 12).", precedence: 12, example: "charge >= 20 [%]", cite: "OMG SysML v2 \xA714" },
-  "==": { desc: "**Value equality** (precedence 11). Tests whether two values are equal. For binding/assignment use `=`.", precedence: 11, example: 'status == "active"', cite: "OMG SysML v2 \xA714" },
-  "!=": { desc: "**Value inequality** (precedence 11).", precedence: 11, example: "mode != null", cite: "OMG SysML v2 \xA714" },
-  "===": { desc: "**Identity equality** \u2014 tests that two references point to the same object (precedence 11).", precedence: 11, example: "a === b", cite: "OMG SysML v2 \xA714" },
-  "!==": { desc: "**Identity inequality** (precedence 11).", precedence: 11, example: "a !== b", cite: "OMG SysML v2 \xA714" },
-  "&": { desc: "**Bitwise / Boolean and** (lower precedence than comparison, precedence 9). Prefer `and` for Boolean logic.", precedence: 9, example: "flags & 0xFF", cite: "OMG SysML v2 \xA714" },
-  "|": { desc: "**Bitwise / Boolean or** (lower precedence than `xor`, precedence 7). Prefer `or` for Boolean logic.", precedence: 7, example: "flags | 0x01", cite: "OMG SysML v2 \xA714" },
-  "??": { desc: "**Null-coalescing** \u2014 returns the left operand if non-null, otherwise the right (precedence 2).", precedence: 2, example: 'name ?? "unnamed"', cite: "OMG SysML v2 \xA714" },
-  "?": { desc: "**Conditional then-marker** \u2014 separates condition from then-branch in `if cond ? thenExpr else elseExpr`.", precedence: 1, example: "if x > 0 ? x else -x", cite: "OMG SysML v2 \xA714" },
-  "=": { desc: "**Initial value** assignment or binding (not equality). For equality testing use `==`.", precedence: 0, example: "attribute mass : MassValue = 1500 [kg];", cite: "OMG SysML v2 \xA714" },
-  "@": { desc: "**Metadata application** shorthand \u2014 applies a metadata definition to the next element.", precedence: 0, example: "@Safety\npart def Engine;", cite: "OMG SysML v2 \xA712" },
-  "@@": { desc: "**Metaclass application** \u2014 applies a metaclass annotation.", precedence: 0, example: "@@StandardProfile", cite: "OMG SysML v2 \xA712" }
+  ":": { desc: "**Typing** \u2014 binds a usage to a type (`defined by` in SysML, `typed by` in KerML).", precedence: 0, example: "part myCar : Vehicle;", cite: "OMG KerML v1.0 \xA78.2.4.3.2 (Feature Typing)" },
+  ":>": { desc: "**Specialization** (on defs) / **Subsetting** (on features) \u2014 target specializes or subsets the named element.", precedence: 0, example: "part def Car :> Vehicle;", cite: "OMG KerML v1.0 \xA78.2.4.1.2 (Specialization)" },
+  ":>>": { desc: "**Redefinition** \u2014 feature narrows or overrides an inherited feature.", precedence: 0, example: "attribute :>> mass = 1500 [kg];", cite: "OMG KerML v1.0 \xA78.2.4.3.4 (Redefinition)" },
+  "::>": { desc: "**Reference subsetting** \u2014 used on connector ends and view exposures to reference-subset a feature.", precedence: 0, example: "end e ::> vehicle.engine;", cite: "OMG KerML v1.0 \xA78.2.4.3.3 (Subsetting)" },
+  "=>": { desc: "**Cross-subsetting** \u2014 connector end cross-subsets a feature of the connector type.", precedence: 0, example: "connection c ::> myConn { end ::> src => myConn.source; }", cite: "OMG KerML v1.0 \xA78.2.5.5.1 (Connectors)" },
+  "~": { desc: "**Conjugation** \u2014 flips the directions of all port features. Common on port typing: `port p : ~PowerOut;`.", precedence: 0, example: "port supply : ~PowerOutPort;", cite: "OMG KerML v1.0 \xA78.2.4.1.3 (Conjugation)" },
+  "::": { desc: "**Namespace separator** \u2014 descends into a package namespace (`Pkg::Member`).", precedence: 0, example: "import ISQ::MassValue;", cite: "OMG KerML v1.0 \xA78.2.2.3 (Names)" },
+  "::*": { desc: "**Namespace wildcard** \u2014 imports all visible members of a namespace.", precedence: 0, example: "private import ISQ::*;", cite: "OMG KerML v1.0 \xA78.2.3.4.2 (Imports)" },
+  "::**": { desc: "**Recursive import** \u2014 imports all visible members recursively from nested namespaces.", precedence: 0, example: "private import Pkg::*::**;", cite: "OMG KerML v1.0 \xA78.2.3.4.2 (Imports)" },
+  ".": { desc: "**Feature access** \u2014 member path inside an expression (`vehicle.body.mass`). Do NOT use `.` to descend into packages; use `::`.", precedence: 18, example: "vehicle.body.mass <= 2500 [kg]", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  ".?": { desc: "**Null-safe feature access** \u2014 like `.` but returns null if the receiver is null.", precedence: 18, example: "vehicle.?engine.torque", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "->": { desc: "**Collection / library invocation** \u2014 invokes a library or collection function on the receiver.", precedence: 18, example: "wheels->size()  // number of wheels\nwheels->forAll { in w : Wheel | w.pressure >= 2.5 }", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "#(": { desc: "**Indexed access** \u2014 one-based index access on an ordered sequence.", precedence: 18, example: "wheels#(1).pressure  // first wheel", cite: "OMG KerML v1.0 \xA78.2.5.8.2 (Primary Expressions)" },
+  "**": { desc: "**Exponentiation** operator (precedence 16).", precedence: 16, example: "x ** 2  // x squared", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "^": { desc: "**Exponentiation** operator (same as `**`, precedence 16).", precedence: 16, example: "x ^ 2", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "*": { desc: "**Multiplication** (precedence 15).", precedence: 15, example: "mass * acceleration", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "/": { desc: "**Division** (precedence 15).", precedence: 15, example: "distance / time", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "%": { desc: "**Modulo** / remainder (precedence 15).", precedence: 15, example: "n % 2 == 0  // even", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "+": { desc: "**Addition** (precedence 14) or unary plus (precedence 17).", precedence: 14, example: "a + b", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "-": { desc: "**Subtraction** (precedence 14) or unary minus (precedence 17).", precedence: 14, example: "a - b", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "..": { desc: "**Range** expression \u2014 inclusive integer or quantity range.", precedence: 13, example: "0..9  // values 0 through 9", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "<": { desc: "**Less than** comparison (precedence 12).", precedence: 12, example: "mass < 2500 [kg]", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "<=": { desc: "**Less than or equal** comparison (precedence 12).", precedence: 12, example: "speed <= 120 [km/h]", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  ">": { desc: "**Greater than** comparison (precedence 12).", precedence: 12, example: "pressure > 0 [Pa]", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  ">=": { desc: "**Greater than or equal** comparison (precedence 12).", precedence: 12, example: "charge >= 20 [%]", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "==": { desc: "**Value equality** (precedence 11). Tests whether two values are equal. For binding/assignment use `=`.", precedence: 11, example: 'status == "active"', cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "!=": { desc: "**Value inequality** (precedence 11).", precedence: 11, example: "mode != null", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "===": { desc: "**Identity equality** \u2014 tests that two references point to the same object (precedence 11).", precedence: 11, example: "a === b", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "!==": { desc: "**Identity inequality** (precedence 11).", precedence: 11, example: "a !== b", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "&": { desc: "**Bitwise / Boolean and** (lower precedence than comparison, precedence 9). Prefer `and` for Boolean logic.", precedence: 9, example: "flags & 0xFF", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "|": { desc: "**Bitwise / Boolean or** (lower precedence than `xor`, precedence 7). Prefer `or` for Boolean logic.", precedence: 7, example: "flags | 0x01", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "??": { desc: "**Null-coalescing** \u2014 returns the left operand if non-null, otherwise the right (precedence 2).", precedence: 2, example: 'name ?? "unnamed"', cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "?": { desc: "**Conditional then-marker** \u2014 separates condition from then-branch in `if cond ? thenExpr else elseExpr`.", precedence: 1, example: "if x > 0 ? x else -x", cite: "OMG KerML v1.0 \xA78.2.5.8.1 (Operator Expressions)" },
+  "=": { desc: "**Initial value** assignment or binding (not equality). For equality testing use `==`.", precedence: 0, example: "attribute mass : MassValue = 1500 [kg];", cite: "OMG KerML v1.0 \xA78.2.5.10 (Feature Values)" },
+  "@": { desc: "**Metadata application** shorthand \u2014 applies a metadata definition to the next element.", precedence: 0, example: "@Safety\npart def Engine;", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.27 (Metadata)" },
+  "@@": { desc: "**Metaclass application** \u2014 applies a metaclass annotation.", precedence: 0, example: "@@StandardProfile", cite: "OMG SysML v2.0 Part 1 \xA78.2.2.27 (Metadata)" }
 };
 
 // ../language-server/out/src/services/v1-guardrail.js
@@ -60567,6 +60613,7 @@ ${baseIndent}}`;
   checkCrossReferences(node, accept) {
     const index = this.buildIndex();
     const imports = [];
+    const exposePaths = [];
     const decls = [];
     const verifyStmts = [];
     const satisfyStmts = [];
@@ -60578,7 +60625,9 @@ ${baseIndent}}`;
         const path10 = importedPath(child);
         if (alias && path10 && importWildcard(child) === "none")
           aliasMap.set(alias, path10);
-      } else if (isVerifyStmt(child))
+      } else if (isExposePath(child))
+        exposePaths.push(child);
+      else if (isVerifyStmt(child))
         verifyStmts.push(child);
       else if (isSatisfyStmt(child))
         satisfyStmts.push(child);
@@ -60594,6 +60643,7 @@ ${baseIndent}}`;
     this.checkPrivateImports(imports, index, accept);
     this.checkPrivateWildcardReferences(node, imports, index, accept);
     this.checkImportCycles(imports, index, accept);
+    this.checkUnevaluatedFilters(imports, exposePaths, accept);
     if (sysmlDiagnosticSettings.unusedImports !== "off") {
       this.checkUnusedImports(node, imports, index, sysmlDiagnosticSettings.unusedImports, accept);
     }
@@ -61212,6 +61262,34 @@ ${baseIndent}}`;
     }
     return false;
   }
+  /**
+   * REQ-387 — RES018: an `import` or `expose` filter the metadata-filter
+   * evaluator cannot decide (issue #102).
+   *
+   * The evaluator keeps a member it cannot decide, so an unevaluated filter
+   * silently contributes the members it was written to exclude — a scope or a
+   * view that reads as authoritative and is not. Failing open stays (narrowing
+   * on a guess would manufacture unresolved-name errors); what changes is that
+   * the model now says so at the filter that is not applied.
+   *
+   * Default severity is `info` rather than a warning: the model is legal and the
+   * limitation is this evaluator's, not the author's. Teams that want an
+   * unevaluated filter to break a build raise it per code through
+   * `sysml.validation.severities` (REQ-240).
+   */
+  checkUnevaluatedFilters(imports, exposePaths, accept) {
+    const report = (condition, subject) => {
+      const undecidable = undecidableFilterCondition(condition);
+      if (!undecidable)
+        return;
+      accept(severity("RES018", "info"), DIAGNOSTIC_MESSAGES.RES018_UNEVALUATED_FILTER(subject, undecidable.construct), { node: undecidable.node, code: "RES018" });
+    };
+    for (const imp of imports)
+      for (const filter3 of imp.filters)
+        report(filter3.condition, "Import");
+    for (const path10 of exposePaths)
+      report(path10.condition, "Expose");
+  }
   // REQ-324 — RES009 unused import (configurable, OFF by default)
   checkUnusedImports(root3, imports, index, level, accept) {
     if (imports.length === 0)
@@ -63059,8 +63137,6 @@ function resolveEffectiveSubject(node) {
 }
 
 // ../language-server/out/src/services/hover-provider.js
-var KEYWORD_CITATION_SOURCE = "info/language/03-keywords-and-operators.md:1";
-var OPERATOR_CITATION_SOURCE = "info/language/03-keywords-and-operators.md:223";
 var MAX_HOVER_LINES = 30;
 function leafAtOffset(node, offset) {
   if (isLeafCstNode(node)) {
@@ -63470,7 +63546,7 @@ function buildKeywordHover(token) {
 ${info.example}
 \`\`\``);
   }
-  lines.push("", sourceFooter(KEYWORD_CITATION_SOURCE));
+  lines.push("", sourceFooter(info.cite));
   return lines.join("\n");
 }
 function escapeRegExp2(text) {
@@ -63495,7 +63571,7 @@ function buildMultiWordKeywordHover(document, leaf) {
           lines.push("", `\`\`\`sysml
 ${info.example}
 \`\`\``);
-        lines.push("", sourceFooter(KEYWORD_CITATION_SOURCE));
+        lines.push("", sourceFooter(info.cite));
         return {
           value: lines.join("\n"),
           range: {
@@ -63528,9 +63604,7 @@ ${info.example}
     lines.push("", `Maps to Kernel Function Library function \`${fn}\`.`);
   if (libraryFunctionDetails)
     lines.push("", libraryFunctionDetails);
-  if (info.cite)
-    lines.push("", `*${info.cite}*`);
-  lines.push("", sourceFooter(OPERATOR_CITATION_SOURCE));
+  lines.push("", sourceFooter(info.cite));
   return lines.join("\n");
 }
 function functionMemberSignature(member) {
@@ -63676,7 +63750,7 @@ function limitHoverLines(value) {
     return value;
   let footerIndex = -1;
   for (let index = lines.length - 1; index >= 0; index--) {
-    if (/^\*Source: `[^`]+:\d+`\*$/u.test(lines[index])) {
+    if (/^\*Source: `[^`]+`\*$/u.test(lines[index])) {
       footerIndex = index;
       break;
     }
@@ -69031,7 +69105,7 @@ async function runValidation(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.15.0" : "dev";
+var VERSION2 = true ? "0.15.2" : "dev";
 async function main(argv) {
   const command = parseArgs(argv);
   if (command.kind === "help") {