sysml-validate 0.15.1 → 0.15.3

package/out/main.js

@@ -45489,8 +45489,17 @@ var SysMLGrammar = () => loadedSysMLGrammar ?? (loadedSysMLGrammar = loadGrammar
                     "$type": "Group",
                     "elements": [
                       {
-                        "$type": "Keyword",
-                        "value": "."
+                        "$type": "Alternatives",
+                        "elements": [
+                          {
+                            "$type": "Keyword",
+                            "value": "."
+                          },
+                          {
+                            "$type": "Keyword",
+                            "value": "::"
+                          }
+                        ]
                       },
                       {
                         "$type": "Assignment",
@@ -58759,6 +58768,15 @@ var DIAGNOSTIC_MESSAGES = {
   // 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-389 — Namespace qualification versus feature chaining in every written path
+  // issue #213 — the KerML textual BNF binds `::` tighter than `.`: each
+  // dot-separated link of a FeatureChain is a complete QualifiedName, and only
+  // a Feature can be an `OwnedFeatureChaining::chainingFeature`. A Definition
+  // specializes Classifier, not Feature, so it can never sit on the LEFT of a
+  // dot. Our permissive scoping resolves the dotted form anyway (a definition
+  // is a Type, hence a Namespace), which is exactly why it needs saying: the
+  // Pilot implementation refuses the same text at linking time.
+  RES019_DEFINITION_IN_FEATURE_CHAIN: (segment, member) => `'${segment}' is a definition, not a usage, so '${member}' is reached through it with '::' rather than '.'. Only a feature can be chained with '.' (KerML FeatureChain).`,
   // 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}'.`,
@@ -58766,197 +58784,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
@@ -59169,7 +59187,31 @@ var FeaturePathResolver = class {
   }
   // REQ-220/317 — resolve every independently clickable/diagnosable segment.
   resolve(node) {
-    const segments = this.segmentsOf(node);
+    return this.resolveSegments(node, this.segmentsOf(node));
+  }
+  // REQ-389 — Namespace qualification versus feature chaining in every written path
+  // issue #213 — a `perform` / `exhibit` target is stored as `name` plus an
+  // untyped `chainSegs` array, so `A::b`, `A.b` and `A.b::c` all collapse to the
+  // same AST and the separator rule is unenforceable from it. The CST still
+  // carries the separators verbatim; read the path back off it and resolve it
+  // exactly as an expression path is resolved.
+  resolveDeclarationPath(node) {
+    return this.resolveSegments(node, this.declarationSegmentsOf(node));
+  }
+  // REQ-389 — Namespace qualification versus feature chaining in every written path
+  // issue #213 — a connector end keeps its whole path in ONE datatype-string
+  // property (`ConnectorEnd.path`, a `RelationPath`), so there is no `chainSegs`
+  // list to read at all. Resolve it off that property's CST span instead; the
+  // separator rule is the same one, because a connector end reaches the world
+  // through the same OwnedReferenceSubsetting as `perform` and `exhibit`.
+  resolvePropertyPath(node, property3) {
+    const cst = node.$cstNode;
+    const propertyNode = cst ? grammar_utils_exports.findNodeForProperty(cst, property3) : void 0;
+    if (!cst || !propertyNode)
+      return { segments: [] };
+    return this.resolveSegments(node, this.segmentsInSpan(cst, propertyNode.offset, propertyNode.end));
+  }
+  resolveSegments(node, segments) {
     if (segments.length === 0)
       return { segments };
     const root3 = ast_utils_exports.getDocument(node).parseResult.value;
@@ -59218,6 +59260,61 @@ var FeaturePathResolver = class {
     }
     return segments;
   }
+  // REQ-389 — Namespace qualification versus feature chaining in every written path
+  // issue #213 — the path of a reference-form declaration (`perform A::b.c;`,
+  // `exhibit VehicleStates::operating;`) spans the `name` property through the
+  // last `chainSegs` element. Everything after it (a `redefines` tail, a typing,
+  // a body) belongs to other properties and must not be read as path segments,
+  // so the CST leaves are taken only from that span.
+  declarationSegmentsOf(node) {
+    const cst = node.$cstNode;
+    if (!cst)
+      return [];
+    const nameNode = grammar_utils_exports.findNodeForProperty(cst, "name");
+    if (!nameNode)
+      return [];
+    const chainNodes = grammar_utils_exports.findNodesForProperty(cst, "chainSegs");
+    const end = chainNodes.length > 0 ? chainNodes[chainNodes.length - 1].end : nameNode.end;
+    return this.segmentsInSpan(cst, nameNode.offset, end);
+  }
+  /** The path segments spelled between two offsets of `cst`, separators retained.
+   *  `$` is the root-namespace GlobalQualification prefix and carries no segment;
+   *  a `RelationSegment`'s own `[n]` multiplicity addresses the segment it follows
+   *  (`engine[2]`) and is likewise not one, so bracketed text is skipped whole. */
+  segmentsInSpan(cst, from, to) {
+    const segments = [];
+    let separator;
+    let bracketDepth = 0;
+    for (const leaf of cst_utils_exports.flattenCst(cst)) {
+      if (leaf.offset < from)
+        continue;
+      if (leaf.end > to)
+        break;
+      if (leaf.text === "[") {
+        bracketDepth += 1;
+        continue;
+      }
+      if (leaf.text === "]") {
+        bracketDepth = Math.max(0, bracketDepth - 1);
+        continue;
+      }
+      if (bracketDepth > 0)
+        continue;
+      if (leaf.text === "$")
+        continue;
+      if (leaf.text === "." || leaf.text === "::") {
+        separator = leaf.text;
+        continue;
+      }
+      segments.push({
+        text: canonicalEscapedName(leaf.text),
+        separator: segments.length === 0 ? void 0 : separator,
+        cst: leaf
+      });
+      separator = void 0;
+    }
+    return segments;
+  }
   resolveRoot(node, name, snapshot) {
     if (name === "self" || name === "this" || name === "that") {
       for (let owner = node.$container; owner; owner = owner.$container) {
@@ -59408,6 +59505,28 @@ var FeaturePathResolver = class {
   }
 };
 
+// ../language-server/out/src/services/namespace-kind.js
+var KERML_CLASSIFIER_DECL_TYPES = /* @__PURE__ */ new Set([
+  "AssociationDecl",
+  "BehaviorDecl",
+  "ClassDecl",
+  "ClassifierDecl",
+  "DatatypeDecl",
+  "FunctionDecl",
+  "InteractionDecl",
+  "MetaclassDecl",
+  "PredicateDecl",
+  "StructDecl",
+  "TypeDecl"
+]);
+function isNamespaceOnlyDecl(node) {
+  if (isPackage(node) || node.$type === "NamespaceDecl" || node.$type === "BareDefDecl")
+    return true;
+  if (KERML_CLASSIFIER_DECL_TYPES.has(node.$type))
+    return true;
+  return node.isDef === true;
+}
+
 // ../language-server/out/src/services/validator.js
 var severityOverrides = {};
 function setSeverityOverrides(overrides) {
@@ -59419,6 +59538,9 @@ function severity(code, defaultSeverity) {
 function isLibraryDocument2(node) {
   return isLibraryDocument(ast_utils_exports.getDocument(node));
 }
+function isDefinitionOnlyNode(node) {
+  return !isPackage(node) && isNamespaceOnlyDecl(node);
+}
 var TABLE_4_ESCAPES = /* @__PURE__ */ new Set(['"', "'", "\\", "b", "f", "t", "n"]);
 var IDENT_START = /[\p{L}_]/u;
 var IDENT_PART = /[\p{L}\p{N}_]/u;
@@ -59601,6 +59723,53 @@ var SysmlValidator = class _SysmlValidator {
       data: { featurePathSegment: true }
     });
   }
+  // REQ-389 — Namespace qualification versus feature chaining in every written path
+  // issue #213 — RES019: `::` binds tighter than `.`. Each dot-separated link of
+  // a KerML FeatureChain is a complete QualifiedName, and an
+  // `OwnedFeatureChaining::chainingFeature` is scoped to `[SysML::Feature|…]`,
+  // so only a USAGE may sit on the left of a dot; a Definition specializes
+  // Classifier and a package is a plain Namespace. `perform`, `exhibit` and
+  // every connector end reach the world through the same
+  // OwnedReferenceSubsetting, so one rule governs them all. This extension's
+  // permissive scoping resolves the dotted form regardless (a definition IS a
+  // Namespace), which is precisely why it is worth a warning rather than
+  // silence: the Pilot implementation refuses the same text at LINKING time, so
+  // the model is not portable. A warning, never an error — the text is
+  // well-formed here and the fix is mechanical.
+  checkChainSeparators(node, accept) {
+    const chainSegs = node.chainSegs;
+    if (!Array.isArray(chainSegs) || chainSegs.length === 0)
+      return;
+    this.reportChainSeparators(node, this.featurePaths.resolveDeclarationPath(node).segments, accept);
+  }
+  // REQ-389 — issue #213. A connector end (`connect`, `flow`, `bind`,
+  // `succession`, `interface`, `allocate`, the transition ends) keeps its whole
+  // path in one `RelationPath` datatype string, so there is no `chainSegs` list —
+  // but it reaches its target through the same OwnedReferenceSubsetting as
+  // `perform` and `exhibit`, and the rule does not change with the statement that
+  // carries it. `reference` is the `references` / `::>` tail, which is a second
+  // OwnedReferenceSubsetting on the same end and is judged the same way.
+  checkConnectorEndSeparators(node, accept) {
+    for (const property3 of ["path", "reference"]) {
+      const text = node[property3];
+      if (typeof text !== "string" || !text.includes("."))
+        continue;
+      this.reportChainSeparators(node, this.featurePaths.resolvePropertyPath(node, property3).segments, accept);
+    }
+  }
+  /** RES019 for one resolved path: the first non-final link that is chained with
+   *  `.` from something that can never be a Feature. */
+  reportChainSeparators(node, segments, accept) {
+    for (let index = 0; index + 1 < segments.length; index += 1) {
+      if (segments[index + 1].separator !== ".")
+        continue;
+      const owner = segments[index].target;
+      if (!owner || !isDefinitionOnlyNode(owner))
+        continue;
+      accept(severity("RES019", "warning"), DIAGNOSTIC_MESSAGES.RES019_DEFINITION_IN_FEATURE_CHAIN(segments[index].text, segments[index + 1].text), { node, range: segments[index].cst.range, code: "RES019" });
+      return;
+    }
+  }
   // REQ-169, REQ-329 — SSM001 def/usage mismatch for parts
   checkPartDecl(node, accept) {
     if (!node.isDef && node.name && /^[A-Z]/.test(node.name)) {
@@ -61465,6 +61634,11 @@ ${baseIndent}}`;
       Document: this.checkDocument.bind(this),
       PartDecl: this.checkPartDecl.bind(this),
       PathExpr: this.checkPathExpr.bind(this),
+      // issue #213 — RES019: the `::` vs `.` rule on the reference-form
+      // declarations that reach their target through OwnedReferenceSubsetting.
+      PerformStmt: this.checkChainSeparators.bind(this),
+      ExhibitStateDecl: this.checkChainSeparators.bind(this),
+      ConnectorEnd: this.checkConnectorEndSeparators.bind(this),
       RequirementDecl: this.checkRequirementDecl.bind(this),
       AttributeDecl: this.checkAttributeDecl.bind(this),
       ConstraintDecl: this.checkConstraintDecl.bind(this),
@@ -63137,8 +63311,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)) {
@@ -63548,7 +63720,7 @@ function buildKeywordHover(token) {
 ${info.example}
 \`\`\``);
   }
-  lines.push("", sourceFooter(KEYWORD_CITATION_SOURCE));
+  lines.push("", sourceFooter(info.cite));
   return lines.join("\n");
 }
 function escapeRegExp2(text) {
@@ -63573,7 +63745,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: {
@@ -63606,9 +63778,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) {
@@ -63754,7 +63924,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;
     }
@@ -69109,7 +69279,7 @@ async function runValidation(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.15.1" : "dev";
+var VERSION2 = true ? "0.15.3" : "dev";
 async function main(argv) {
   const command = parseArgs(argv);
   if (command.kind === "help") {