sysml-v2-lsp 0.35.0 → 0.37.0

package/dist/server/mcpServer.js

@@ -10545,8 +10545,8 @@ var require_main2 = __commonJS({
         }
         uinteger2.is = is;
       })(uinteger || (exports3.uinteger = uinteger = {}));
-      var Position;
-      (function(Position2) {
+      var Position2;
+      (function(Position3) {
         function create(line, character) {
           if (line === Number.MAX_VALUE) {
             line = uinteger.MAX_VALUE;
@@ -10556,31 +10556,31 @@ var require_main2 = __commonJS({
           }
           return { line, character };
         }
-        Position2.create = create;
+        Position3.create = create;
         function is(value) {
           var candidate = value;
           return Is.objectLiteral(candidate) && Is.uinteger(candidate.line) && Is.uinteger(candidate.character);
         }
-        Position2.is = is;
-      })(Position || (exports3.Position = Position = {}));
-      var Range;
-      (function(Range2) {
+        Position3.is = is;
+      })(Position2 || (exports3.Position = Position2 = {}));
+      var Range2;
+      (function(Range3) {
         function create(one, two, three, four) {
           if (Is.uinteger(one) && Is.uinteger(two) && Is.uinteger(three) && Is.uinteger(four)) {
-            return { start: Position.create(one, two), end: Position.create(three, four) };
-          } else if (Position.is(one) && Position.is(two)) {
+            return { start: Position2.create(one, two), end: Position2.create(three, four) };
+          } else if (Position2.is(one) && Position2.is(two)) {
             return { start: one, end: two };
           } else {
             throw new Error("Range#create called with invalid arguments[".concat(one, ", ").concat(two, ", ").concat(three, ", ").concat(four, "]"));
           }
         }
-        Range2.create = create;
+        Range3.create = create;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Position.is(candidate.start) && Position.is(candidate.end);
+          return Is.objectLiteral(candidate) && Position2.is(candidate.start) && Position2.is(candidate.end);
         }
-        Range2.is = is;
-      })(Range || (exports3.Range = Range = {}));
+        Range3.is = is;
+      })(Range2 || (exports3.Range = Range2 = {}));
       var Location;
       (function(Location2) {
         function create(uri, range) {
@@ -10589,7 +10589,7 @@ var require_main2 = __commonJS({
         Location2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Range.is(candidate.range) && (Is.string(candidate.uri) || Is.undefined(candidate.uri));
+          return Is.objectLiteral(candidate) && Range2.is(candidate.range) && (Is.string(candidate.uri) || Is.undefined(candidate.uri));
         }
         Location2.is = is;
       })(Location || (exports3.Location = Location = {}));
@@ -10601,7 +10601,7 @@ var require_main2 = __commonJS({
         LocationLink2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Range.is(candidate.targetRange) && Is.string(candidate.targetUri) && Range.is(candidate.targetSelectionRange) && (Range.is(candidate.originSelectionRange) || Is.undefined(candidate.originSelectionRange));
+          return Is.objectLiteral(candidate) && Range2.is(candidate.targetRange) && Is.string(candidate.targetUri) && Range2.is(candidate.targetSelectionRange) && (Range2.is(candidate.originSelectionRange) || Is.undefined(candidate.originSelectionRange));
         }
         LocationLink2.is = is;
       })(LocationLink || (exports3.LocationLink = LocationLink = {}));
@@ -10633,7 +10633,7 @@ var require_main2 = __commonJS({
         ColorInformation2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Range.is(candidate.range) && Color.is(candidate.color);
+          return Is.objectLiteral(candidate) && Range2.is(candidate.range) && Color.is(candidate.color);
         }
         ColorInformation2.is = is;
       })(ColorInformation || (exports3.ColorInformation = ColorInformation = {}));
@@ -10744,7 +10744,7 @@ var require_main2 = __commonJS({
         function is(value) {
           var _a3;
           var candidate = value;
-          return Is.defined(candidate) && Range.is(candidate.range) && Is.string(candidate.message) && (Is.number(candidate.severity) || Is.undefined(candidate.severity)) && (Is.integer(candidate.code) || Is.string(candidate.code) || Is.undefined(candidate.code)) && (Is.undefined(candidate.codeDescription) || Is.string((_a3 = candidate.codeDescription) === null || _a3 === void 0 ? void 0 : _a3.href)) && (Is.string(candidate.source) || Is.undefined(candidate.source)) && (Is.undefined(candidate.relatedInformation) || Is.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation.is));
+          return Is.defined(candidate) && Range2.is(candidate.range) && Is.string(candidate.message) && (Is.number(candidate.severity) || Is.undefined(candidate.severity)) && (Is.integer(candidate.code) || Is.string(candidate.code) || Is.undefined(candidate.code)) && (Is.undefined(candidate.codeDescription) || Is.string((_a3 = candidate.codeDescription) === null || _a3 === void 0 ? void 0 : _a3.href)) && (Is.string(candidate.source) || Is.undefined(candidate.source)) && (Is.undefined(candidate.relatedInformation) || Is.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation.is));
         }
         Diagnostic3.is = is;
       })(Diagnostic2 || (exports3.Diagnostic = Diagnostic2 = {}));
@@ -10784,7 +10784,7 @@ var require_main2 = __commonJS({
         TextEdit2.del = del;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Is.string(candidate.newText) && Range.is(candidate.range);
+          return Is.objectLiteral(candidate) && Is.string(candidate.newText) && Range2.is(candidate.range);
         }
         TextEdit2.is = is;
       })(TextEdit || (exports3.TextEdit = TextEdit = {}));
@@ -11328,7 +11328,7 @@ var require_main2 = __commonJS({
         InsertReplaceEdit2.create = create;
         function is(value) {
           var candidate = value;
-          return candidate && Is.string(candidate.newText) && Range.is(candidate.insert) && Range.is(candidate.replace);
+          return candidate && Is.string(candidate.newText) && Range2.is(candidate.insert) && Range2.is(candidate.replace);
         }
         InsertReplaceEdit2.is = is;
       })(InsertReplaceEdit || (exports3.InsertReplaceEdit = InsertReplaceEdit = {}));
@@ -11375,7 +11375,7 @@ var require_main2 = __commonJS({
       (function(Hover2) {
         function is(value) {
           var candidate = value;
-          return !!candidate && Is.objectLiteral(candidate) && (MarkupContent.is(candidate.contents) || MarkedString.is(candidate.contents) || Is.typedArray(candidate.contents, MarkedString.is)) && (value.range === void 0 || Range.is(value.range));
+          return !!candidate && Is.objectLiteral(candidate) && (MarkupContent.is(candidate.contents) || MarkedString.is(candidate.contents) || Is.typedArray(candidate.contents, MarkedString.is)) && (value.range === void 0 || Range2.is(value.range));
         }
         Hover2.is = is;
       })(Hover || (exports3.Hover = Hover = {}));
@@ -11496,7 +11496,7 @@ var require_main2 = __commonJS({
         DocumentSymbol2.create = create;
         function is(value) {
           var candidate = value;
-          return candidate && Is.string(candidate.name) && Is.number(candidate.kind) && Range.is(candidate.range) && Range.is(candidate.selectionRange) && (candidate.detail === void 0 || Is.string(candidate.detail)) && (candidate.deprecated === void 0 || Is.boolean(candidate.deprecated)) && (candidate.children === void 0 || Array.isArray(candidate.children)) && (candidate.tags === void 0 || Array.isArray(candidate.tags));
+          return candidate && Is.string(candidate.name) && Is.number(candidate.kind) && Range2.is(candidate.range) && Range2.is(candidate.selectionRange) && (candidate.detail === void 0 || Is.string(candidate.detail)) && (candidate.deprecated === void 0 || Is.boolean(candidate.deprecated)) && (candidate.children === void 0 || Array.isArray(candidate.children)) && (candidate.tags === void 0 || Array.isArray(candidate.tags));
         }
         DocumentSymbol2.is = is;
       })(DocumentSymbol || (exports3.DocumentSymbol = DocumentSymbol = {}));
@@ -11573,7 +11573,7 @@ var require_main2 = __commonJS({
         CodeLens2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.defined(candidate) && Range.is(candidate.range) && (Is.undefined(candidate.command) || Command.is(candidate.command));
+          return Is.defined(candidate) && Range2.is(candidate.range) && (Is.undefined(candidate.command) || Command.is(candidate.command));
         }
         CodeLens2.is = is;
       })(CodeLens || (exports3.CodeLens = CodeLens = {}));
@@ -11597,7 +11597,7 @@ var require_main2 = __commonJS({
         DocumentLink2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.defined(candidate) && Range.is(candidate.range) && (Is.undefined(candidate.target) || Is.string(candidate.target));
+          return Is.defined(candidate) && Range2.is(candidate.range) && (Is.undefined(candidate.target) || Is.string(candidate.target));
         }
         DocumentLink2.is = is;
       })(DocumentLink || (exports3.DocumentLink = DocumentLink = {}));
@@ -11609,7 +11609,7 @@ var require_main2 = __commonJS({
         SelectionRange2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Range.is(candidate.range) && (candidate.parent === void 0 || SelectionRange2.is(candidate.parent));
+          return Is.objectLiteral(candidate) && Range2.is(candidate.range) && (candidate.parent === void 0 || SelectionRange2.is(candidate.parent));
         }
         SelectionRange2.is = is;
       })(SelectionRange || (exports3.SelectionRange = SelectionRange = {}));
@@ -11668,7 +11668,7 @@ var require_main2 = __commonJS({
         InlineValueText2.create = create;
         function is(value) {
           var candidate = value;
-          return candidate !== void 0 && candidate !== null && Range.is(candidate.range) && Is.string(candidate.text);
+          return candidate !== void 0 && candidate !== null && Range2.is(candidate.range) && Is.string(candidate.text);
         }
         InlineValueText2.is = is;
       })(InlineValueText || (exports3.InlineValueText = InlineValueText = {}));
@@ -11680,7 +11680,7 @@ var require_main2 = __commonJS({
         InlineValueVariableLookup2.create = create;
         function is(value) {
           var candidate = value;
-          return candidate !== void 0 && candidate !== null && Range.is(candidate.range) && Is.boolean(candidate.caseSensitiveLookup) && (Is.string(candidate.variableName) || candidate.variableName === void 0);
+          return candidate !== void 0 && candidate !== null && Range2.is(candidate.range) && Is.boolean(candidate.caseSensitiveLookup) && (Is.string(candidate.variableName) || candidate.variableName === void 0);
         }
         InlineValueVariableLookup2.is = is;
       })(InlineValueVariableLookup || (exports3.InlineValueVariableLookup = InlineValueVariableLookup = {}));
@@ -11692,7 +11692,7 @@ var require_main2 = __commonJS({
         InlineValueEvaluatableExpression2.create = create;
         function is(value) {
           var candidate = value;
-          return candidate !== void 0 && candidate !== null && Range.is(candidate.range) && (Is.string(candidate.expression) || candidate.expression === void 0);
+          return candidate !== void 0 && candidate !== null && Range2.is(candidate.range) && (Is.string(candidate.expression) || candidate.expression === void 0);
         }
         InlineValueEvaluatableExpression2.is = is;
       })(InlineValueEvaluatableExpression || (exports3.InlineValueEvaluatableExpression = InlineValueEvaluatableExpression = {}));
@@ -11704,7 +11704,7 @@ var require_main2 = __commonJS({
         InlineValueContext2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.defined(candidate) && Range.is(value.stoppedLocation);
+          return Is.defined(candidate) && Range2.is(value.stoppedLocation);
         }
         InlineValueContext2.is = is;
       })(InlineValueContext || (exports3.InlineValueContext = InlineValueContext = {}));
@@ -11741,7 +11741,7 @@ var require_main2 = __commonJS({
         InlayHint2.create = create;
         function is(value) {
           var candidate = value;
-          return Is.objectLiteral(candidate) && Position.is(candidate.position) && (Is.string(candidate.label) || Is.typedArray(candidate.label, InlayHintLabelPart.is)) && (candidate.kind === void 0 || InlayHintKind.is(candidate.kind)) && candidate.textEdits === void 0 || Is.typedArray(candidate.textEdits, TextEdit.is) && (candidate.tooltip === void 0 || Is.string(candidate.tooltip) || MarkupContent.is(candidate.tooltip)) && (candidate.paddingLeft === void 0 || Is.boolean(candidate.paddingLeft)) && (candidate.paddingRight === void 0 || Is.boolean(candidate.paddingRight));
+          return Is.objectLiteral(candidate) && Position2.is(candidate.position) && (Is.string(candidate.label) || Is.typedArray(candidate.label, InlayHintLabelPart.is)) && (candidate.kind === void 0 || InlayHintKind.is(candidate.kind)) && candidate.textEdits === void 0 || Is.typedArray(candidate.textEdits, TextEdit.is) && (candidate.tooltip === void 0 || Is.string(candidate.tooltip) || MarkupContent.is(candidate.tooltip)) && (candidate.paddingLeft === void 0 || Is.boolean(candidate.paddingLeft)) && (candidate.paddingRight === void 0 || Is.boolean(candidate.paddingRight));
         }
         InlayHint2.is = is;
       })(InlayHint || (exports3.InlayHint = InlayHint = {}));
@@ -11930,7 +11930,7 @@ var require_main2 = __commonJS({
             var lineOffsets = this.getLineOffsets();
             var low = 0, high = lineOffsets.length;
             if (high === 0) {
-              return Position.create(0, offset);
+              return Position2.create(0, offset);
             }
             while (low < high) {
               var mid = Math.floor((low + high) / 2);
@@ -11941,7 +11941,7 @@ var require_main2 = __commonJS({
               }
             }
             var line = low - 1;
-            return Position.create(line, offset - lineOffsets[line]);
+            return Position2.create(line, offset - lineOffsets[line]);
           };
           FullTextDocument2.prototype.offsetAt = function(position) {
             var lineOffsets = this.getLineOffsets();
@@ -20332,6 +20332,7 @@ __export(util_exports, {
   required: () => required,
   safeExtend: () => safeExtend,
   shallowClone: () => shallowClone,
+  sizeCaps: () => sizeCaps,
   slugify: () => slugify,
   stringifyPrimitive: () => stringifyPrimitive,
   toZod: () => toZod,
@@ -20851,6 +20852,18 @@ function prefixIssues(path, issues) {
 function unwrapMessage(message) {
   return typeof message === "string" ? message : message?.message;
 }
+function sizeCaps(defChecks) {
+  const caps = [];
+  for (const ch of defChecks ?? []) {
+    const d = ch._zod.def;
+    if (!/_(length|size)$|_equals$/.test(d.check))
+      break;
+    const max = d.maximum ?? d.length ?? d.size;
+    if (max >= 0)
+      caps.push([max, ch]);
+  }
+  return caps;
+}
 function attachSchema(issues, start, inst) {
   var _a3;
   for (let i = start; i < issues.length; i++) {
@@ -22271,7 +22284,7 @@ ${content.join("\n")}
 var version = {
   major: 4,
   minor: 6,
-  patch: 5
+  patch: 6
 };
 
 // node_modules/zod/v4/core/schemas.js
@@ -23027,6 +23040,31 @@ var $ZodDate = /* @__PURE__ */ $constructor("$ZodDate", (inst, def) => {
     return payload;
   };
 });
+function capSize(inst, size) {
+  const caps = sizeCaps(inst._zod.def.checks);
+  if (!caps.length)
+    return;
+  const cap = Math.min(...caps.map((c) => c[0]));
+  const parse4 = inst._zod.parse;
+  inst._zod.parse = (payload, ctx2) => {
+    const n2 = size(payload.value);
+    if (n2 > cap && !ctx2?.skipChecks && ctx2?.direction !== "backward") {
+      for (const [max, ch] of sizeCaps(inst._zod.def.checks)) {
+        if (n2 > max && ch._zod.def.when(payload)) {
+          const start = payload.issues.length;
+          ch._zod.check(payload);
+          payload.issues[start].continue = false;
+          attachSchema(payload.issues, start, inst);
+          return payload;
+        }
+      }
+    }
+    return parse4(payload, ctx2);
+  };
+}
+var arraySize = (input2) => Array.isArray(input2) ? input2.length : -1;
+var mapSize = (input2) => input2 instanceof Map ? input2.size : -1;
+var setSize = (input2) => input2 instanceof Set ? input2.size : -1;
 function handleArrayResult(result, final, index2) {
   if (result.issues.length) {
     final.issues.push(...prefixIssues(index2, result.issues));
@@ -23070,6 +23108,7 @@ var $ZodArray = /* @__PURE__ */ $constructor("$ZodArray", (inst, def) => {
     }
     return payload;
   };
+  capSize(inst, arraySize);
 });
 function handlePropertyResult(result, final, key, input2, optin, optout) {
   const isPresent = key in input2;
@@ -24026,6 +24065,7 @@ var $ZodMap = /* @__PURE__ */ $constructor("$ZodMap", (inst, def) => {
       return Promise.all(proms).then(() => payload);
     return payload;
   };
+  capSize(inst, mapSize);
 });
 function handleMapResult(keyResult, valueResult, final, key, input2, inst, ctx2) {
   if (keyResult.issues.length) {
@@ -24092,6 +24132,7 @@ var $ZodSet = /* @__PURE__ */ $constructor("$ZodSet", (inst, def) => {
       return Promise.all(proms).then(() => payload);
     return payload;
   };
+  capSize(inst, setSize);
 });
 function handleSetResult(result, final) {
   if (result.issues.length) {
@@ -33622,9 +33663,15 @@ function generateNullableCheck(doc, ctx2, schema, accessor, buildsValue = true)
   doc.write(`}`);
   return outputVar;
 }
+function generateSizeGate(doc, schema, size) {
+  for (const [max, check2] of sizeCaps(schema._zod.def.checks)) {
+    doc.write(`if (${size} > ${numericOperand(max, check2._zod.def.check)}) return INVALID;`);
+  }
+}
 function generateArrayCheck(doc, ctx2, schema, accessor, buildsValue = true) {
   const def = schema._zod.def;
   doc.write(`if (!Array.isArray(${accessor})) return INVALID;`);
+  generateSizeGate(doc, schema, `${accessor}.length`);
   const outputVar = buildsValue ? newVar(ctx2) : null;
   const iVar = newVar(ctx2);
   const elemVar = newVar(ctx2);
@@ -34024,6 +34071,7 @@ function literalPropertyKey(ctx2, key) {
 function generateMapCheck(doc, ctx2, schema, accessor) {
   const def = schema._zod.def;
   doc.write(`if (!(${accessor} instanceof Map)) return INVALID;`);
+  generateSizeGate(doc, schema, `${accessor}.size`);
   const outputVar = newVar(ctx2);
   const kVar = newVar(ctx2);
   const valVar = newVar(ctx2);
@@ -34040,6 +34088,7 @@ function generateMapCheck(doc, ctx2, schema, accessor) {
 function generateSetCheck(doc, ctx2, schema, accessor) {
   const def = schema._zod.def;
   doc.write(`if (!(${accessor} instanceof Set)) return INVALID;`);
+  generateSizeGate(doc, schema, `${accessor}.size`);
   const outputVar = newVar(ctx2);
   const valVar = newVar(ctx2);
   doc.write(`const ${outputVar} = new Set();`);
@@ -158824,18 +158873,71 @@ var SysMLErrorListener = class extends BaseErrorListener {
   }
 };
 
+// server/src/parser/positionUtils.ts
+function normalizeUtf16Columns(text, tokens, errors) {
+  if (!/[\uD800-\uDBFF][\uDC00-\uDFFF]/.test(text)) return;
+  const columns = /* @__PURE__ */ new Map();
+  const lines = text.split("\n");
+  for (let line = 0; line < lines.length; line++) {
+    if (!/[\uD800-\uDBFF][\uDC00-\uDFFF]/.test(lines[line])) continue;
+    const offsets = [0];
+    for (const character of lines[line]) offsets.push(offsets[offsets.length - 1] + character.length);
+    columns.set(line, offsets);
+  }
+  for (const token of tokens) {
+    token.column = columns.get(token.line - 1)?.[token.column] ?? token.column;
+  }
+  for (const error62 of errors) {
+    error62.column = columns.get(error62.line)?.[error62.column] ?? error62.column;
+  }
+}
+function tokenToPosition(token) {
+  return {
+    line: (token.line ?? 1) - 1,
+    character: token.column ?? 0
+  };
+}
+function tokenToRange(token) {
+  const start = tokenToPosition(token);
+  const length = token.text?.length ?? 1;
+  return {
+    start,
+    end: { line: start.line, character: start.character + length }
+  };
+}
+function contextToRange(ctx2) {
+  const startToken = ctx2.start;
+  const stopToken = ctx2.stop ?? ctx2.start;
+  if (!startToken) {
+    return { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } };
+  }
+  const start = {
+    line: (startToken.line ?? 1) - 1,
+    character: startToken.column ?? 0
+  };
+  const end = stopToken ? {
+    line: (stopToken.line ?? 1) - 1,
+    character: (stopToken.column ?? 0) + (stopToken.text?.length ?? 1)
+  } : { line: start.line, character: start.character + 1 };
+  return { start, end };
+}
+
 // server/src/parser/parseDocument.ts
+function withUtf16Columns(text, result) {
+  normalizeUtf16Columns(text, result.tokenStream.getTokens(), result.errors);
+  return result;
+}
 function parseDocument(text) {
   const result = parseDocumentCore(text);
   if (result.errors.length > 0 && hasStaleDfaStates()) {
     markDfaNotPreSeeded();
     clearAllDFAStates();
-    return parseDocumentLL(text, result.lexer, result.tokenStream);
+    return withUtf16Columns(text, parseDocumentLL(text, result.lexer, result.tokenStream));
   }
   if (isDfaPreSeeded()) {
     markDfaNotPreSeeded();
   }
-  return result;
+  return withUtf16Columns(text, result);
 }
 function parseDocumentCore(text) {
   const inputStream = CharStream.fromString(text);
@@ -158924,10 +159026,152 @@ var _batchDefaultStrategy = new DefaultErrorStrategy();
 // server/src/providers/semanticValidator.ts
 var import_node = __toESM(require_node3());
 
+// server/src/utils/sysmlKeywords.ts
+var SYSML_KEYWORDS_ARRAY = SysMLv2Lexer.literalNames.filter((n2) => n2 != null).map((n2) => n2.replace(/^'|'$/g, "")).filter((n2) => /^[a-z]+$/.test(n2)).sort();
+var SYSML_KEYWORDS = new Set(SYSML_KEYWORDS_ARRAY);
+
 // server/src/utils/identUtils.ts
+function isIdentStart(c) {
+  return c >= 65 && c <= 90 || c >= 97 && c <= 122 || c === 95;
+}
 function isIdentPart(c) {
   return c >= 65 && c <= 90 || c >= 97 && c <= 122 || c >= 48 && c <= 57 || c === 95;
 }
+var ESCAPES = {
+  b: "\b",
+  t: "	",
+  n: "\n",
+  f: "\f",
+  r: "\r",
+  "'": "'",
+  '"': '"',
+  "\\": "\\"
+};
+function unquoteName(text) {
+  if (!text.startsWith("'") || !text.endsWith("'")) return text;
+  return text.slice(1, -1).replace(/\\([btnfr'"\\])/g, (_, ch) => ESCAPES[ch]);
+}
+function quoteName(name) {
+  if (/^[A-Za-z_][A-Za-z_0-9]*$/.test(name) && !SYSML_KEYWORDS.has(name)) return name;
+  const escaped = name.replace(/[\\'\b\t\n\f\r]/g, (ch) => {
+    const entry = Object.entries(ESCAPES).find(([, value]) => value === ch);
+    return `\\${entry[0]}`;
+  });
+  return `'${escaped}'`;
+}
+function splitQualifiedName(text) {
+  const parts = [];
+  let start = 0;
+  let quoted = false;
+  for (let i = 0; i < text.length; i++) {
+    if (quoted && text[i] === "\\") {
+      i++;
+      continue;
+    }
+    if (text[i] === "'" && (quoted || i === start)) quoted = !quoted;
+    if (!quoted && text.startsWith("::", i)) {
+      parts.push(unquoteName(text.slice(start, i).trim()));
+      start = i + 2;
+      i++;
+    }
+  }
+  parts.push(unquoteName(text.slice(start).trim()));
+  return parts;
+}
+function joinQualifiedName(parts) {
+  return parts.map((part) => /::|['\\\r\n\t\b\f]/.test(part) ? quoteName(part) : part).join("::");
+}
+function readNameAt(text, start, allowIncomplete = false) {
+  if (text[start] === "'") {
+    let end2 = start + 1;
+    while (end2 < text.length && text[end2] !== "'") {
+      if (text[end2] === "\r" || text[end2] === "\n") return void 0;
+      if (text[end2] === "\\") {
+        if (!Object.hasOwn(ESCAPES, text[end2 + 1])) return void 0;
+        end2++;
+      }
+      end2++;
+    }
+    if (end2 >= text.length) {
+      return allowIncomplete ? { name: unquoteName(`${text.slice(start)}'`), start, end: text.length } : void 0;
+    }
+    if (end2 === start + 1 && !allowIncomplete) return void 0;
+    return { name: unquoteName(text.slice(start, end2 + 1)), start, end: end2 + 1 };
+  }
+  if (!isIdentStart(text.charCodeAt(start))) return void 0;
+  let end = start + 1;
+  while (end < text.length && isIdentPart(text.charCodeAt(end))) end++;
+  return { name: text.slice(start, end), start, end };
+}
+function readQualifiedNameAt(text, start, allowIncomplete = false) {
+  const first = readNameAt(text, start, allowIncomplete);
+  if (!first) return void 0;
+  const segments = [first];
+  let end = first.end;
+  while (end < text.length) {
+    let next = end;
+    while (/\s/.test(text[next] ?? "") && next < text.length) next++;
+    if (!text.startsWith("::", next)) break;
+    next += 2;
+    while (/\s/.test(text[next] ?? "") && next < text.length) next++;
+    const segment = readNameAt(text, next, allowIncomplete);
+    if (!segment) break;
+    segments.push(segment);
+    end = segment.end;
+  }
+  return { name: joinQualifiedName(segments.map((s) => s.name)), start, end, segments };
+}
+function* scanQualifiedNames(text, allowIncomplete = false) {
+  let i = 0;
+  while (i < text.length) {
+    if (text.startsWith("//", i)) {
+      const end = text.indexOf("\n", i + 2);
+      i = end < 0 ? text.length : end + 1;
+    } else if (text.startsWith("/*", i)) {
+      const end = text.indexOf("*/", i + 2);
+      i = end < 0 ? text.length : end + 2;
+    } else if (text[i] === '"') {
+      i++;
+      while (i < text.length && text[i] !== '"') i += text[i] === "\\" ? 2 : 1;
+      i++;
+    } else if (/\d/.test(text[i]) || text[i] === "." && /\d/.test(text[i + 1] ?? "")) {
+      const number4 = text.slice(i).match(/^(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?/);
+      i += number4[0].length;
+    } else {
+      const name = readQualifiedNameAt(text, i, allowIncomplete);
+      if (name) {
+        yield name;
+        i = name.end;
+      } else if (text[i] === "'") {
+        i++;
+        while (i < text.length && text[i] !== "'" && text[i] !== "\n") {
+          i += text[i] === "\\" ? 2 : 1;
+        }
+        if (text[i] === "'") i++;
+      } else {
+        i++;
+      }
+    }
+  }
+}
+function* scanFeaturePaths(text) {
+  const names = [...scanQualifiedNames(text)];
+  for (let i = 0; i < names.length; i++) {
+    const first = names[i];
+    const parts = [first.name];
+    const qualifiedNames = [first];
+    let end = first.end;
+    while (i + 1 < names.length && /^\s*\.\s*$/.test(text.slice(end, names[i + 1].start))) {
+      parts.push(names[++i].name);
+      qualifiedNames.push(names[i]);
+      end = names[i].end;
+    }
+    yield { name: parts.join("."), start: first.start, end, qualifiedNames, parts: parts.map((part) => {
+      const segments = splitQualifiedName(part);
+      return segments.length === 1 ? segments[0] : part;
+    }) };
+  }
+}
 function stripComments(text) {
   return text.replace(/\/\*[\s\S]*?\*\//g, (m2) => m2.replace(/[^\n]/g, " ")).replace(/\/\/[^\n]*/g, (m2) => " ".repeat(m2.length));
 }
@@ -158937,10 +159181,12 @@ var index;
 var typeIndex;
 function resolveLibraryType(name) {
   if (!typeIndex) return void 0;
+  const segments = splitQualifiedName(name);
+  name = segments.length === 1 ? segments[0] : joinQualifiedName(segments);
   const exact = typeIndex.get(name);
   if (exact) return exact;
-  if (name.includes("::")) {
-    const member = name.split("::").pop();
+  if (segments.length > 1) {
+    const member = segments[segments.length - 1];
     return typeIndex.get(member);
   }
   return void 0;
@@ -159135,20 +159381,31 @@ var NamespaceResolver = class {
    * namespace.
    */
   isLocallyVisible(symbol2, name, indexes) {
-    return this.resolveQualifiedNameFrom(ownerKeyOf(symbol2, indexes.byId), name, indexes) !== void 0;
+    return this.resolveNameFrom(symbol2, name, indexes) !== void 0;
+  }
+  /**
+   * Resolve a (possibly qualified) name from the namespace containing
+   * `symbol`, respecting namespace membership and visibility.
+   */
+  resolveNameFrom(symbol2, name, indexes) {
+    return this.resolveQualifiedNameFrom(ownerKeyOf(symbol2, indexes.byId), name, indexes);
+  }
+  /** Resolve an editor reference within its enclosing namespace, including the root. */
+  resolveNameIn(namespace, name, indexes) {
+    return this.resolveQualifiedNameFrom(namespace ? namespaceKeyOf(namespace) : "", name, indexes);
   }
   /**
    * Resolve a (possibly qualified) name to its symbol per §7.5.1, searching
    * outward from namespace `start` and its enclosing namespaces (its own resolved
    * members first, then its parent's, ...). Shared by `isLocallyVisible` (an
-   * ordinary reference resolving relative to its own enclosing namespace) and
-   * import-target resolution (an `import` declaration's target is itself a
+   * ordinary reference resolving relative to its own enclosing namespace),
+   * `resolveNameFrom`, and import-target resolution (an `import` declaration's target is itself a
    * qualifiedName, resolved the same relative way -- not as an absolute/global
    * name -- so a bare `import C;` inside a nested package can pick up a `C`
    * its own enclosing package already imported, per §7.5.1/§7.5.3).
    */
   resolveQualifiedNameFrom(start, name, indexes) {
-    const [first, ...rest] = name.split("::");
+    const [first, ...rest] = splitQualifiedName(name);
     let resolved;
     for (const ancestor of this.namespaceAncestorsOf(start, indexes)) {
       const candidates = this.getResolvedMembers(ancestor, indexes).get(first);
@@ -159315,6 +159572,9 @@ var NamespaceResolver = class {
     };
     for (const owned of indexes.byParent.get(namespace) ?? []) {
       addMember(owned.name, { symbol: owned, visibility: owned.visibility ?? "public" });
+      if (owned.shortName) {
+        addMember(owned.shortName, { symbol: owned, visibility: owned.visibility ?? "public" });
+      }
     }
     perIndexesCache.set(namespace, members2);
     const owner = typeof namespace === "string" ? indexes.byQualifiedName.get(namespace) : namespace;
@@ -159350,13 +159610,17 @@ var NamespaceResolver = class {
     switch (imp.kind) {
       case "membership": {
         const target = this.resolveQualifiedNameFrom(importingNamespace, imp.target, indexes);
-        if (target) addMember(target.name, { symbol: target, visibility: imp.visibility });
+        if (target) {
+          addMember(target.name, { symbol: target, visibility: imp.visibility });
+          if (target.shortName) addMember(target.shortName, { symbol: target, visibility: imp.visibility });
+        }
         break;
       }
       case "membership-deep": {
         const target = this.resolveQualifiedNameFrom(importingNamespace, imp.target, indexes);
         if (target) {
           addMember(target.name, { symbol: target, visibility: imp.visibility });
+          if (target.shortName) addMember(target.shortName, { symbol: target, visibility: imp.visibility });
           this.importVisibleMembers(namespaceKeyOf(target), imp.visibility, indexes, addMember, true);
         }
         break;
@@ -159412,42 +159676,6 @@ var NamespaceResolver = class {
   }
 };
 
-// server/src/parser/positionUtils.ts
-function tokenToPosition(token) {
-  return {
-    line: (token.line ?? 1) - 1,
-    character: token.column ?? 0
-  };
-}
-function tokenToRange(token) {
-  const start = tokenToPosition(token);
-  const length = token.text?.length ?? 1;
-  return {
-    start,
-    end: { line: start.line, character: start.character + length }
-  };
-}
-function contextToRange(ctx2) {
-  const startToken = ctx2.start;
-  const stopToken = ctx2.stop ?? ctx2.start;
-  if (!startToken) {
-    return { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } };
-  }
-  const start = {
-    line: (startToken.line ?? 1) - 1,
-    character: startToken.column ?? 0
-  };
-  const end = stopToken ? {
-    line: (stopToken.line ?? 1) - 1,
-    character: (stopToken.column ?? 0) + (stopToken.text?.length ?? 1)
-  } : { line: start.line, character: start.character + 1 };
-  return { start, end };
-}
-
-// server/src/utils/sysmlKeywords.ts
-var SYSML_KEYWORDS_ARRAY = SysMLv2Lexer.literalNames.filter((n2) => n2 != null).map((n2) => n2.replace(/^'|'$/g, "")).filter((n2) => /^[a-z]+$/.test(n2)).sort();
-var SYSML_KEYWORDS = new Set(SYSML_KEYWORDS_ARRAY);
-
 // server/src/utils/names.ts
 var BASIC_NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;
 function escapeName(name) {
@@ -160061,7 +160289,7 @@ var RE_SPEC_WITH_SUBSETS = /(?:specializes|subsets|:>|:>>)\s*('[^']+'|[A-Za-z_]\
 var RE_DEFINED_BY = /definedby\s*([A-Za-z_]\w*(?:::\w+)*(?:\s*,\s*[A-Za-z_]\w*(?:::\w+)*)*)/;
 var MAX_RULE_SEARCH_DEPTH = 6;
 var RE_TYPING = /:(?![:>])\s*('[^']+'|[A-Za-z_]\w*(?:::\w+)*)/;
-var RE_QUOTED_NAME = /'([^']+)'/;
+var RE_QUOTED_NAME = /^\s*(?:\$::)?(?:(?:[A-Za-z_]\w*|'\d+')::)*'(\d+)'/;
 var RE_IDENT_START = /^([A-Za-z_]\w*(?:::\w+)*)/;
 var SymbolTable = class {
   /** All symbols indexed by qualified name */
@@ -160128,7 +160356,12 @@ var SymbolTable = class {
    * Find a symbol by name (simple name, not qualified).
    */
   findByName(name) {
-    return this.symbolsByName.get(name) ?? [];
+    const exact = this.symbolsByName.get(name);
+    if (exact) return exact;
+    const segments = splitQualifiedName(name);
+    if (segments.length === 1) return this.symbolsByName.get(segments[0]) ?? [];
+    const qualified = this.getSymbol(joinQualifiedName(segments));
+    return qualified ? [qualified] : [];
   }
   /**
    * Find all symbols in a given URI.
@@ -160635,10 +160868,11 @@ var SymbolTable = class {
     const anonymous = !declaredName;
     const name = declaredName ?? "";
     const shortName = transition || isFlowUsage(kind) && !declaredName ? void 0 : this.extractShortName(ctx2);
-    const qualifiedName = anonymous || owner && owner.qualifiedName === void 0 ? void 0 : owner ? `${owner.qualifiedName}::${name}` : name;
+    const qualifiedName = anonymous || owner && owner.qualifiedName === void 0 ? void 0 : owner ? `${owner.qualifiedName}::${joinQualifiedName([name])}` : joinQualifiedName([name]);
     const selectionRange = anonymous ? ctx2.start ? tokenToRange(ctx2.start) : range : this.extractNameRange(ctx2) ?? range;
     const typeNames = isFlowUsage(kind) ? this.extractFlowTypeNames(ctx2) : transition ? this.extractTransitionTypeNames(ctx2) : this.extractTypeNames(ctx2);
     const specializationNames = this.extractSpecializationNames(ctx2);
+    const redefinedFeatureTargets = this.extractRedefinedFeatureTargets(ctx2);
     const typeName = typeNames[0];
     const documentation = this.extractDocumentation(ctx2);
     const visibility = this.extractVisibility(ctx2);
@@ -160669,6 +160903,7 @@ var SymbolTable = class {
       typeName,
       typeNames,
       specializationNames,
+      redefinedFeatureTargets: redefinedFeatureTargets.length > 0 ? redefinedFeatureTargets : void 0,
       documentation,
       visibility,
       source: transition?.source,
@@ -160793,7 +161028,10 @@ var SymbolTable = class {
   }
   /** Remove SysML quoting while retaining qualified and dotted references. */
   cleanTransitionText(text) {
-    const cleaned = text.replace(/'([^']+)'/g, "$1").trim();
+    const cleaned = text.replace(
+      /'(?:\\.|[^'\\])*'/g,
+      (name) => joinQualifiedName([unquoteName(name)])
+    ).trim();
     return cleaned || void 0;
   }
   /** Extract explicit first/then successions owned by an action body. */
@@ -160920,15 +161158,28 @@ var SymbolTable = class {
    * such as `#metadata`.
    */
   findOwnHeaderRule(ctx2, ruleIndex) {
+    const matches = [];
+    this.findOwnHeaderRules(ctx2, ruleIndex, matches, true);
+    return matches[0];
+  }
+  findOwnHeaderRules(ctx2, ruleIndex, matches, firstOnly = false) {
     for (let i = 0; i < ctx2.getChildCount(); i++) {
       const child = ctx2.getChild(i);
       if (!(child instanceof ParserRuleContext)) continue;
-      if (child.ruleIndex === ruleIndex) return child;
+      if (child.ruleIndex === ruleIndex) {
+        matches.push(child);
+        if (firstOnly) return;
+        continue;
+      }
       if (RULE_INDEX_TO_KIND.has(child.ruleIndex) || BODY_RULE_INDICES.has(child.ruleIndex) || child.ruleIndex === SysMLv2Parser.RULE_valuePart || FLOW_PART_RULE_INDICES.has(child.ruleIndex) || child.ruleIndex === SysMLv2Parser.RULE_ownedCrossMultiplicityMember || this.isPrefixOrExtensionContext(child)) continue;
-      const found = this.findOwnHeaderRule(child, ruleIndex);
-      if (found) return found;
+      this.findOwnHeaderRules(child, ruleIndex, matches, firstOnly);
+      if (firstOnly && matches.length > 0) return;
     }
-    return void 0;
+  }
+  extractRedefinedFeatureTargets(ctx2) {
+    const targets = [];
+    this.findOwnHeaderRules(ctx2, SysMLv2Parser.RULE_ownedRedefinition, targets);
+    return targets.map((target) => target.getText());
   }
   /**
    * A connection, interface or allocation usage's end reference paths, in
@@ -160953,16 +161204,10 @@ var SymbolTable = class {
   }
   /** The name of the feature a reference such as `a.b` or `P::a` ends at (`b`, `a`). */
   lastNameSegment(reference) {
-    const segment = reference.getText().split(/::|\./).pop();
-    return segment ? this.unquoteName(segment) : void 0;
+    const names = [...scanQualifiedNames(reference.getText())];
+    return names.at(-1)?.segments.at(-1)?.name;
   }
-  /**
-   * An element's declaration as written, without its body: its tokens up to
-   * its body or closing `;`, each exactly as written (a quoted name keeps its
-   * spaces), with one space wherever the source has whitespace or a comment
-   * between two of them (`connect a.p to b.p`, `connection : Conn`).
-   */
-  declarationText(ctx2) {
+  declarationTokens(ctx2) {
     const tokens = [];
     const visit2 = (node2) => {
       for (let i = 0; i < node2.getChildCount(); i++) {
@@ -160977,6 +161222,16 @@ var SymbolTable = class {
       return false;
     };
     visit2(ctx2);
+    return tokens;
+  }
+  /**
+   * An element's declaration as written, without its body: its tokens up to
+   * its body or closing `;`, each exactly as written (a quoted name keeps its
+   * spaces), with one space wherever the source has whitespace or a comment
+   * between two of them (`connect a.p to b.p`, `connection : Conn`).
+   */
+  declarationText(ctx2) {
+    const tokens = this.declarationTokens(ctx2);
     let text = "";
     tokens.forEach((token, i) => {
       if (i > 0 && token.start > tokens[i - 1].stop + 1) text += " ";
@@ -161086,6 +161341,16 @@ var SymbolTable = class {
    * Extract the range of just the name token.
    */
   extractNameRange(ctx2) {
+    if (ctx2.ruleIndex === SysMLv2Parser.RULE_identification || ctx2.ruleIndex === SysMLv2Parser.RULE_featureIdentification) {
+      let name;
+      for (let i = 0; i < ctx2.getChildCount(); i++) {
+        const child = ctx2.getChild(i);
+        if (child instanceof ParserRuleContext && child.ruleIndex === SysMLv2Parser.RULE_name) {
+          name = child;
+        }
+      }
+      if (name) return contextToRange(name);
+    }
     for (let i = 0; i < ctx2.getChildCount(); i++) {
       const child = ctx2.getChild(i);
       if (child instanceof TerminalNode && this.isNameTerminal(child)) {
@@ -161117,17 +161382,16 @@ var SymbolTable = class {
     const names = [];
     this.collectTypeNamesFromTree(ctx2, names, 0);
     if (names.length > 0) return names;
-    const fullText = ctx2.getText();
-    const braceIdx = fullText.indexOf("{");
-    let text = braceIdx >= 0 ? fullText.substring(0, braceIdx) : fullText;
+    const { text: declarationText, quotedName } = this.maskedDeclaration(ctx2);
+    let text = declarationText;
     text = text.replace(RE_KEYWORD_TRUNCATE, "");
     const specMatch = text.match(RE_SPEC);
     if (specMatch) {
       const specStr = text.substring(text.indexOf(specMatch[0]) + specMatch[0].indexOf(specMatch[1]));
       for (const part of specStr.split(",")) {
-        const qm = part.match(RE_QUOTED_NAME);
-        if (qm) {
-          names.push(qm[1]);
+        const quoted = quotedName(part);
+        if (quoted !== void 0) {
+          names.push(joinQualifiedName([quoted]));
           continue;
         }
         const m2 = part.trim().match(RE_IDENT_START);
@@ -161148,9 +161412,9 @@ var SymbolTable = class {
       const fullMatchIdx = text.indexOf(typingMatch[0]);
       const afterColon = text.substring(fullMatchIdx + 1).trim();
       for (const part of afterColon.split(",")) {
-        const qm = part.match(RE_QUOTED_NAME);
-        if (qm) {
-          names.push(qm[1]);
+        const quoted = quotedName(part);
+        if (quoted !== void 0) {
+          names.push(joinQualifiedName([quoted]));
           continue;
         }
         const m2 = part.trim().match(RE_IDENT_START);
@@ -161160,6 +161424,30 @@ var SymbolTable = class {
     }
     return names;
   }
+  /**
+   * The declaration tokens before the value or body, with each lexer STRING token
+   * replaced by a numbered placeholder (`'0'`, `'1'`, ...), and
+   * `quotedName`, which turns a placeholder in a part of that text back into
+   * the name, when it ends the qualified name the part starts with. SysML
+   * 2.0 section 7.2.2 permits punctuation in unrestricted names (the STRING
+   * lexer production), so fallback regexes must never see their `:`, `:>`,
+   * `{` or keywords. Documentation is not a name token.
+   */
+  maskedDeclaration(ctx2) {
+    const quoted = [];
+    const valueStart = this.findOwnHeaderRule(ctx2, SysMLv2Parser.RULE_valuePart)?.start?.tokenIndex;
+    const masked = this.declarationTokens(ctx2).filter((token) => valueStart === void 0 || token.tokenIndex < valueStart).map((token) => {
+      const text = token.text ?? "";
+      return token.type === SysMLv2Lexer.STRING ? `'${quoted.push(unquoteName(text)) - 1}'` : text;
+    }).join("");
+    return {
+      text: masked,
+      quotedName: (part) => {
+        const qm = part.match(RE_QUOTED_NAME);
+        return qm ? quoted[Number(qm[1])] : void 0;
+      }
+    };
+  }
   /**
    * Extract only the specialization names (:> / specializes / subsets) from a context.
    * Uses the same tree-walk as extractTypeNames but restricted to
@@ -161170,17 +161458,15 @@ var SymbolTable = class {
     const names = [];
     this.collectNamesFromTree(ctx2, names, 0, TYPE_SPECIALIZATION_RULE_INDICES);
     if (names.length > 0) return names;
-    const fullText = ctx2.getText();
-    const braceIdx = fullText.indexOf("{");
-    let text = braceIdx >= 0 ? fullText.substring(0, braceIdx) : fullText;
-    text = text.replace(RE_KEYWORD_TRUNCATE_SPEC, "");
+    const { text: declarationText, quotedName } = this.maskedDeclaration(ctx2);
+    const text = declarationText.replace(RE_KEYWORD_TRUNCATE_SPEC, "");
     const specMatch = text.match(RE_SPEC_WITH_SUBSETS);
     if (specMatch) {
       const specStr = text.substring(text.indexOf(specMatch[0]) + specMatch[0].indexOf(specMatch[1]));
       for (const part of specStr.split(",")) {
-        const qm = part.match(RE_QUOTED_NAME);
-        if (qm) {
-          names.push(qm[1]);
+        const quoted = quotedName(part);
+        if (quoted !== void 0) {
+          names.push(joinQualifiedName([quoted]));
           continue;
         }
         const m2 = part.trim().match(RE_IDENT_START);
@@ -161209,17 +161495,7 @@ var SymbolTable = class {
       if (!(child instanceof ParserRuleContext)) continue;
       const ri = child.ruleIndex;
       if (extractionRules.has(ri)) {
-        const childText = child.getText();
-        const stripped = childText.replace(/^(specializes|:>>|:>|:|definedby|subsets|redefines|references|conjugates|disjoints)/i, "");
-        for (const part of stripped.split(",")) {
-          const qm = part.match(/'([^']+)'/);
-          if (qm) {
-            names.push(qm[1]);
-          } else {
-            const m2 = part.match(/([A-Za-z_]\w*(?:::\w+)*)/);
-            if (m2) names.push(m2[1]);
-          }
-        }
+        this.collectQualifiedTypeNames(child, names);
       } else if (
         // Recurse into declaration / part / body wrappers that may
         // contain nested typing rules (but NOT into body rules that
@@ -161232,6 +161508,17 @@ var SymbolTable = class {
       }
     }
   }
+  collectQualifiedTypeNames(ctx2, names) {
+    if (ctx2.ruleIndex === SysMLv2Parser.RULE_qualifiedName) {
+      const name = this.extractTextFromSubtree(ctx2);
+      if (name) names.push(name);
+      return;
+    }
+    for (let i = 0; i < ctx2.getChildCount(); i++) {
+      const child = ctx2.getChild(i);
+      if (child instanceof ParserRuleContext) this.collectQualifiedTypeNames(child, names);
+    }
+  }
   /**
    * Extract documentation owned by this element.
    *
@@ -161392,10 +161679,7 @@ var SymbolTable = class {
    * Returns the text unchanged if not quoted.
    */
   unquoteName(text) {
-    if (this.isQuotedName(text)) {
-      return text.slice(1, -1);
-    }
-    return text;
+    return unquoteName(text);
   }
   /**
    * Check if a text is a SysML keyword.
@@ -161683,7 +161967,7 @@ var SymbolTable = class {
       const child = ctx2.getChild(i);
       if (child instanceof TerminalNode) {
         const text = child.symbol.text;
-        if (text) parts.push(text);
+        if (text) parts.push(child.symbol.type === SysMLv2Lexer.STRING ? joinQualifiedName([unquoteName(text)]) : text);
       } else if (child instanceof ParserRuleContext) {
         this.collectExposeText(child, parts);
       }
@@ -161745,17 +162029,18 @@ var SymbolTable = class {
    * Extract all text content from a subtree (concatenate terminal nodes).
    */
   extractTextFromSubtree(ctx2) {
+    if (ctx2.ruleIndex === SysMLv2Parser.RULE_name) return unquoteName(ctx2.getText());
     const parts = [];
     for (let i = 0; i < ctx2.getChildCount(); i++) {
       const child = ctx2.getChild(i);
       if (child instanceof TerminalNode) {
         const text = child.symbol.text;
         if (text && this.isNameTerminal(child)) {
-          parts.push(this.unquoteName(text));
+          parts.push(joinQualifiedName([this.unquoteName(text)]));
         }
       } else if (child instanceof ParserRuleContext) {
         const sub = this.extractTextFromSubtree(child);
-        if (sub) parts.push(sub);
+        if (sub) parts.push(child.ruleIndex === SysMLv2Parser.RULE_name ? joinQualifiedName([sub]) : sub);
       }
     }
     return parts.length > 0 ? parts.join("::") : void 0;
@@ -161871,7 +162156,7 @@ function isISQValueType(name) {
 function resolveTypeName(typeName, symbol2, resolver, indexes, libraryNames) {
   const kwMatch = typeName.match(/^([A-Z][A-Za-z_0-9]*?)(redefines|subsets|references|connect|bind|default|via|accept|send|flow|allocate|assign|decide|merge|join|fork)([A-Z])/);
   const strippedTypeName = kwMatch ? kwMatch[1] : typeName;
-  const rootSegment = strippedTypeName.split("::")[0];
+  const rootSegment = splitQualifiedName(strippedTypeName)[0];
   const resolved = resolver.isLocallyVisible(symbol2, strippedTypeName, indexes) || STANDARD_LIBRARY_TYPES.has(strippedTypeName) || STANDARD_LIBRARY_TYPES.has(rootSegment) || libraryNames.has(rootSegment) || isISQValueType(strippedTypeName) || resolveLibraryType(strippedTypeName) !== void 0 || resolveLibraryType(rootSegment) !== void 0 || // Names starting with lowercase are feature references (subsettings
   // via :>), not type references — don't flag them as unresolved types.
   strippedTypeName.charCodeAt(0) >= 97 && strippedTypeName.charCodeAt(0) <= 122;
@@ -163359,6 +163644,13 @@ var CONSTRAINT_KEYWORDS = /* @__PURE__ */ new Set([
   "assert",
   "assume"
 ]);
+var CONNECTOR_KINDS = /* @__PURE__ */ new Set([
+  "connection" /* ConnectionUsage */,
+  "interface" /* InterfaceUsage */,
+  "allocation" /* AllocationUsage */,
+  "flow" /* FlowUsage */,
+  "succession flow" /* SuccessionFlowUsage */
+]);
 var SemanticValidator = class _SemanticValidator {
   constructor(documentManager) {
     this.documentManager = documentManager;
@@ -163435,7 +163727,7 @@ var SemanticValidator = class _SemanticValidator {
     diagnostics.push(...this.checkAmbiguousNamespaceName(symbols, allSymbols));
     diagnostics.push(...this.checkUnusedDefinitions(allSymbols, uri));
     diagnostics.push(...this.checkRedefinitionMultiplicity(symbols, indexes, text));
-    diagnostics.push(...this.checkPortCompatibility(text, uri, indexes));
+    diagnostics.push(...this.checkPortCompatibility(text, uri, symbols, indexes));
     diagnostics.push(...this.checkConstraintBodyReferences(text, uri, symbols, indexes));
     diagnostics.push(...this.checkCircularSpecialization(symbols, indexes));
     diagnostics.push(...this.checkUnsatisfiedRequirements(symbols, indexes));
@@ -163585,19 +163877,19 @@ var SemanticValidator = class _SemanticValidator {
     );
     const defsInScope = targetUri ? defs.filter((def) => def.uri === targetUri) : defs;
     const referencedTypes = new Set(
-      symbols.filter((s) => s.kind !== "package" /* Package */).flatMap((s) => s.typeNames)
+      symbols.filter((s) => s.kind !== "package" /* Package */).flatMap((s) => s.typeNames.flatMap((name) => [name, splitQualifiedName(name).at(-1)]))
     );
     for (const s of symbols) {
       if (s.exposeTargets) {
         for (const target of s.exposeTargets) {
-          const simpleName = target.replace(/::\*{1,2}$/, "").split("::").pop();
+          const simpleName = splitQualifiedName(target.replace(/::\*{1,2}$/, "")).pop();
           if (simpleName) referencedTypes.add(simpleName);
         }
       }
     }
     const diagnostics = [];
     for (const def of defsInScope) {
-      const isReferenced = referencedTypes.has(def.name);
+      const isReferenced = referencedTypes.has(def.name) || def.shortName !== void 0 && referencedTypes.has(def.shortName);
       const hasBaseType = (def.typeNames?.length ?? 0) > 0;
       if (!isReferenced && !hasBaseType) {
         diagnostics.push({
@@ -163656,7 +163948,7 @@ var SemanticValidator = class _SemanticValidator {
       opts?.text ? [opts.text] : []
     ));
     if (opts?.text && opts.uri) {
-      diagnostics.push(...instance.checkPortCompatibility(opts.text, opts.uri, indexes));
+      diagnostics.push(...instance.checkPortCompatibility(opts.text, opts.uri, symbolsInUri, indexes));
       diagnostics.push(...instance.checkConstraintBodyReferences(opts.text, opts.uri, symbolsInUri, indexes));
     }
     return instance.dedupeDiagnostics(diagnostics);
@@ -164019,17 +164311,21 @@ var SemanticValidator = class _SemanticValidator {
    * - The connection is within an interface usage
    * - Both ports are untyped (empty port defs with no features)
    */
-  checkPortCompatibility(text, uri, indexes) {
+  checkPortCompatibility(text, uri, symbolsInUri, indexes) {
     if (!text) return [];
     const diagnostics = [];
     const lines = text.split("\n");
-    const re = /\bconnect\s+([A-Za-z_][\w.]*)\s+to\s+([A-Za-z_][\w.]*)/g;
-    let m2;
-    while ((m2 = re.exec(text)) !== null) {
-      const left = m2[1].split(".").pop();
-      const right = m2[2].split(".").pop();
-      const lSym = (indexes.portsByName.get(left) ?? [])[0];
-      const rSym = (indexes.portsByName.get(right) ?? [])[0];
+    const paths = [...scanFeaturePaths(text)];
+    for (let i = 0; i + 3 < paths.length; i++) {
+      const [connect, leftEnd, to, rightEnd] = paths.slice(i, i + 4);
+      if (text.slice(connect.start, connect.end) !== "connect" || text.slice(to.start, to.end) !== "to" || !/^\s+$/.test(text.slice(connect.end, leftEnd.start)) || !/^\s+$/.test(text.slice(leftEnd.end, to.start)) || !/^\s+$/.test(text.slice(to.end, rightEnd.start))) continue;
+      const leftPath = [...leftEnd.parts];
+      const rightPath = [...rightEnd.parts];
+      const left = leftPath[leftPath.length - 1];
+      const right = rightPath[rightPath.length - 1];
+      const scope = this.connectorScope(symbolsInUri, this.indexToRange(text, connect.start, 0).start, indexes);
+      const lSym = this.resolveConnectorEnd(leftPath, scope, indexes);
+      const rSym = this.resolveConnectorEnd(rightPath, scope, indexes);
       if (!lSym || !rSym) continue;
       const lType = lSym.typeNames[0] ?? lSym.typeName;
       const rType = rSym.typeNames[0] ?? rSym.typeName;
@@ -164037,10 +164333,10 @@ var SemanticValidator = class _SemanticValidator {
       if (lType === "~" + rType || rType === "~" + lType) continue;
       if (lType.startsWith("~") && lType.slice(1) === rType) continue;
       if (rType.startsWith("~") && rType.slice(1) === lType) continue;
-      const matchLine = text.substring(0, m2.index).split("\n").length - 1;
+      const matchLine = text.substring(0, connect.start).split("\n").length - 1;
       let insideInterfaceDef = false;
-      for (let i = matchLine; i >= 0 && i >= matchLine - 30; i--) {
-        const line = (lines[i] || "").trim();
+      for (let i2 = matchLine; i2 >= 0 && i2 >= matchLine - 30; i2--) {
+        const line = (lines[i2] || "").trim();
         if (/\binterface\s+def\b/.test(line)) {
           insideInterfaceDef = true;
           break;
@@ -164048,7 +164344,7 @@ var SemanticValidator = class _SemanticValidator {
         if (/^\s*package\b/.test(line)) break;
       }
       if (insideInterfaceDef) continue;
-      const precedingText = text.substring(Math.max(0, m2.index - 300), m2.index);
+      const precedingText = text.substring(Math.max(0, connect.start - 300), connect.start);
       if (/\binterface\s+\w[\w']*(:\w[\w']*)?\s*$/m.test(precedingText)) continue;
       const lDefSyms = indexes.byName.get(lType) ?? [];
       const rDefSyms = indexes.byName.get(rType) ?? [];
@@ -164067,18 +164363,67 @@ var SemanticValidator = class _SemanticValidator {
         const hasSharedFeature = rChildren.some((c) => lChildNames.has(c.name));
         if (hasSharedFeature) continue;
       }
-      const range = this.indexToRange(text, m2.index, m2[0].length);
+      const range = this.indexToRange(text, connect.start, rightEnd.end - connect.start);
       diagnostics.push({
         severity: import_node.DiagnosticSeverity.Warning,
         range,
         message: `Port compatibility issue: '${left}' (${lType}) is connected to '${right}' (${rType})`,
         source: "sysml",
         code: "incompatible-port-types",
-        data: { uri }
+        data: { uri, left, right, leftType: lType }
       });
     }
     return diagnostics;
   }
+  /**
+   * The innermost element around `position` that owns a connector declared
+   * there: the connector's own symbol, when it has one, is skipped.
+   */
+  connectorScope(symbols, position, indexes) {
+    const before = (a, b) => a.line < b.line || a.line === b.line && a.character <= b.character;
+    const size = (r) => (r.end.line - r.start.line) * 1e6 + (r.end.character - r.start.character);
+    let scope;
+    for (const s of symbols) {
+      if (!before(s.range.start, position) || !before(position, s.range.end)) continue;
+      if (!scope || size(s.range) < size(scope.range)) scope = s;
+    }
+    while (scope && CONNECTOR_KINDS.has(scope.kind)) scope = ownerOf2(scope, indexes);
+    return scope;
+  }
+  /**
+   * The port that a connector end (`a.p`, `a.p.q`) names, resolved from
+   * `scope` outward: its first segment is a feature of `scope` or of one of
+   * its owners, each next one a feature of the one before. Two parts can each
+   * have a port of the same name, so an end is never matched by its last
+   * segment alone, except when the path does not resolve and the workspace
+   * has only one port of that name.
+   */
+  resolveConnectorEnd(path, scope, indexes) {
+    let feature;
+    for (let namespace = scope; namespace && !feature; namespace = ownerOf2(namespace, indexes)) {
+      feature = this.findFeature(namespace, path[0], indexes);
+    }
+    for (const name of path.slice(1)) {
+      feature = feature && this.findFeature(feature, name, indexes);
+    }
+    if (feature) return feature.kind === "port" /* PortUsage */ ? feature : void 0;
+    const sameName = indexes.portsByName.get(path[path.length - 1]) ?? [];
+    return sameName.length === 1 ? sameName[0] : void 0;
+  }
+  /** The feature `name` of `owner`: its own member, else a member of one of its types or their supertypes. */
+  findFeature(owner, name, indexes) {
+    const own2 = (indexes.byParent.get(namespaceKeyOf(owner)) ?? []).find((s) => s.name === name);
+    if (own2) return own2;
+    for (const typeName of owner.typeNames) {
+      const type = this.namespaceResolver.resolveNameFrom(owner, typeName, indexes);
+      if (!type || !isDefinition(type.kind)) continue;
+      for (const definition of this.getSpecializationHierarchy(type, indexes).flat()) {
+        const member = (indexes.byParent.get(namespaceKeyOf(definition)) ?? []).find((s) => s.name === name);
+        if (member) return member;
+      }
+    }
+    return void 0;
+  }
   /**
    * Resolve the full type hierarchy for a type name by following
    * specialization chains transitively (max depth 10).
@@ -164126,17 +164471,13 @@ var SemanticValidator = class _SemanticValidator {
       }
       const parent = this.findConstraintScopeSymbol(symbolsInUri, indexes, b.startLine);
       if (!parent) continue;
-      const parentMembers = indexes.byParent.get(namespaceKeyOf(parent)) ?? [];
+      const parentMembers = this.getConstraintScopeMembers(parent, indexes);
       if (parentMembers.length === 0) continue;
-      const ignoredRanges = this.getIgnoredBodyRanges(b.body);
-      const idRe = /\b([A-Za-z_][\w]*(?:\.[A-Za-z_][\w]*)*)\b/g;
-      let im;
-      while ((im = idRe.exec(b.body)) !== null) {
-        if (this.isIndexInRanges(im.index, ignoredRanges)) continue;
-        const expr = im[1];
+      for (const reference of scanFeaturePaths(b.body)) {
+        const expr = reference.name;
         if (this.isConstraintKeyword(expr)) continue;
         if (/^\d/.test(expr)) continue;
-        const path = expr.split(".");
+        const path = [...reference.parts];
         const ok = this.resolvePathFromParent(path, parentMembers, indexes);
         if (ok) continue;
         if (path.length === 1) {
@@ -164145,14 +164486,14 @@ var SemanticValidator = class _SemanticValidator {
             continue;
           }
         }
-        const absoluteStart = b.bodyOffset + im.index;
+        const absoluteStart = b.bodyOffset + reference.start;
         diagnostics.push({
           severity: import_node.DiagnosticSeverity.Warning,
-          range: this.indexToRange(text, absoluteStart, expr.length),
+          range: this.indexToRange(text, absoluteStart, reference.end - reference.start),
           message: `Unresolved constraint reference '${expr}' in scope '${displayName(parent)}'`,
           source: "sysml",
           code: "unresolved-constraint-reference",
-          data: { uri }
+          data: { uri, scopeName: parent.name }
         });
       }
     }
@@ -164185,18 +164526,135 @@ var SemanticValidator = class _SemanticValidator {
     const root = parentMembers.find((s) => s.name === path[0]);
     if (!root) return false;
     if (path.length === 1) return true;
-    let typeName = root.typeNames[0] ?? root.typeName;
+    let current = root;
     for (let i = 1; i < path.length; i++) {
+      const typeName = current.typeNames[0] ?? current.typeName;
       if (!typeName) return false;
-      const typeDefs = indexes.definitionsByName.get(typeName) ?? [];
-      const typeDef = typeDefs[0];
-      if (!typeDef) return false;
-      const member = (indexes.byParent.get(namespaceKeyOf(typeDef)) ?? []).find((s) => s.name === path[i]);
+      const typeDef = this.namespaceResolver.resolveNameFrom(current, typeName, indexes);
+      if (!typeDef || !isDefinition(typeDef.kind)) return false;
+      const member = this.getConstraintScopeMembers(typeDef, indexes, true).find((s) => s.name === path[i]);
       if (!member) return false;
-      typeName = member.typeNames[0] ?? member.typeName;
+      current = member;
     }
     return true;
   }
+  getConstraintScopeMembers(scope, indexes, publicOnly = false) {
+    const hierarchy = [[scope]];
+    const visited = /* @__PURE__ */ new Set([scope]);
+    let frontier = [scope];
+    while (frontier.length > 0) {
+      const next = [];
+      for (const current of frontier) {
+        for (const typeName of current.typeNames) {
+          const supertype = this.namespaceResolver.resolveNameFrom(current, typeName, indexes);
+          if (!supertype || !isDefinition(supertype.kind) || visited.has(supertype)) continue;
+          visited.add(supertype);
+          next.push(supertype);
+        }
+      }
+      if (next.length > 0) hierarchy.push(next);
+      frontier = next;
+    }
+    const membersByLevel = hierarchy.map((level) => level.flatMap((namespace) => indexes.byParent.get(namespaceKeyOf(namespace)) ?? []));
+    const hiddenMembers = /* @__PURE__ */ new Set();
+    for (let level = membersByLevel.length - 1; level >= 0; level--) {
+      for (const redefining of membersByLevel[level]) {
+        for (const target of redefining.redefinedFeatureTargets ?? []) {
+          const owner = ownerOf2(redefining, indexes);
+          if (!owner) continue;
+          for (const candidate of this.resolveInheritedRedefinitionTarget(owner, target, hiddenMembers, indexes)) {
+            hiddenMembers.add(candidate.symbolId);
+          }
+        }
+        if (redefining.kind === "subject" /* SubjectUsage */) {
+          const owner = ownerOf2(redefining, indexes);
+          if (!owner) continue;
+          for (const ancestor of this.getSpecializationHierarchy(owner, indexes).slice(1).flat()) {
+            for (const candidate of indexes.byParent.get(namespaceKeyOf(ancestor)) ?? []) {
+              if (candidate.kind === "subject" /* SubjectUsage */) hiddenMembers.add(candidate.symbolId);
+            }
+          }
+        }
+      }
+    }
+    const membersByName = /* @__PURE__ */ new Map();
+    for (let level = 0; level < membersByLevel.length; level++) {
+      for (const member of membersByLevel[level]) {
+        if (level > 0 && member.visibility === "private") continue;
+        if (publicOnly && member.visibility !== void 0 && member.visibility !== "public") continue;
+        if (hiddenMembers.has(member.symbolId) || membersByName.has(member.name)) continue;
+        membersByName.set(member.name, member);
+      }
+    }
+    return [...membersByName.values()];
+  }
+  resolveInheritedRedefinitionTarget(owner, target, alreadyRedefined, indexes) {
+    if (target.includes(".")) return [];
+    const segments = target.split("::");
+    const targetName = segments.pop()?.replace(/^'|'$/g, "");
+    if (!targetName) return [];
+    const qualifier = segments.join("::").replace(/^'|'$/g, "");
+    const matches = /* @__PURE__ */ new Map();
+    for (const supertype of this.resolveDirectSupertypes(owner, indexes)) {
+      const branch = this.getSpecializationHierarchy(supertype, indexes);
+      const anchors = qualifier ? branch.flat().filter((type) => this.matchesSpecializationQualifier(type, qualifier)) : [supertype];
+      for (const anchor2 of anchors) {
+        let frontier = [anchor2];
+        const visited = new Set(frontier);
+        const candidates = [];
+        while (frontier.length > 0 && candidates.length === 0) {
+          for (const type of frontier) {
+            for (const member of indexes.byParent.get(namespaceKeyOf(type)) ?? []) {
+              if (member.name === targetName && member.visibility !== "private" && !alreadyRedefined.has(member.symbolId)) {
+                candidates.push(member);
+              }
+            }
+          }
+          if (candidates.length > 0) break;
+          const next = /* @__PURE__ */ new Map();
+          for (const type of frontier) {
+            for (const parent of this.resolveDirectSupertypes(type, indexes)) {
+              if (visited.has(parent)) continue;
+              visited.add(parent);
+              next.set(parent.symbolId, parent);
+            }
+          }
+          frontier = [...next.values()];
+        }
+        for (const candidate of candidates) matches.set(candidate.symbolId, candidate);
+      }
+    }
+    return matches.size === 1 ? [...matches.values()] : [];
+  }
+  resolveDirectSupertypes(scope, indexes) {
+    const supertypes = /* @__PURE__ */ new Map();
+    for (const typeName of scope.typeNames) {
+      const supertype = this.namespaceResolver.resolveNameFrom(scope, typeName, indexes);
+      if (supertype && isDefinition(supertype.kind)) supertypes.set(supertype.symbolId, supertype);
+    }
+    return [...supertypes.values()];
+  }
+  getSpecializationHierarchy(scope, indexes) {
+    const levels = [[scope]];
+    const visited = /* @__PURE__ */ new Set([scope]);
+    let frontier = [scope];
+    while (frontier.length > 0) {
+      const next = [];
+      for (const type of frontier) {
+        for (const parent of this.resolveDirectSupertypes(type, indexes)) {
+          if (visited.has(parent)) continue;
+          visited.add(parent);
+          next.push(parent);
+        }
+      }
+      if (next.length > 0) levels.push(next);
+      frontier = next;
+    }
+    return levels;
+  }
+  matchesSpecializationQualifier(type, qualifier) {
+    return type.name === qualifier || type.qualifiedName === qualifier || type.qualifiedName?.endsWith(`::${qualifier}`) === true;
+  }
   findContainingSymbolByLine(symbols, line) {
     return symbols.filter((s) => s.range.start.line <= line && s.range.end.line >= line).sort((a, b) => {
       const ar = (a.range.end.line - a.range.start.line) * 1e3 + (a.range.end.character - a.range.start.character);
@@ -164207,7 +164665,7 @@ var SemanticValidator = class _SemanticValidator {
   findConstraintScopeSymbol(symbolsInUri, indexes, line) {
     let scope = this.findContainingSymbolByLine(symbolsInUri, line);
     while (scope) {
-      const members2 = indexes.byParent.get(namespaceKeyOf(scope)) ?? [];
+      const members2 = this.getConstraintScopeMembers(scope, indexes);
       if (members2.length > 0) return scope;
       if (!scope.parentId) return scope;
       scope = ownerOf2(scope, indexes);
@@ -164229,25 +164687,6 @@ var SemanticValidator = class _SemanticValidator {
   isConstraintKeyword(value) {
     return CONSTRAINT_KEYWORDS.has(value);
   }
-  getIgnoredBodyRanges(body) {
-    const ranges = [];
-    const blockRe = /\/\*[\s\S]*?\*\//g;
-    let m2;
-    while ((m2 = blockRe.exec(body)) !== null) {
-      ranges.push({ start: m2.index, end: m2.index + m2[0].length });
-    }
-    const lineRe = /\/\/[^\n\r]*/g;
-    while ((m2 = lineRe.exec(body)) !== null) {
-      ranges.push({ start: m2.index, end: m2.index + m2[0].length });
-    }
-    return ranges;
-  }
-  isIndexInRanges(index2, ranges) {
-    for (const r of ranges) {
-      if (index2 >= r.start && index2 < r.end) return true;
-    }
-    return false;
-  }
   hasDocumentationOnlyConstraintBody(body) {
     const trimmed = body.trim();
     if (!trimmed) return false;