sysml-v2-lsp 0.36.0 → 0.38.0

package/dist/server/browserServerMain.js

@@ -123,30 +123,30 @@
       Object.defineProperty(exports, "__esModule", { value: true });
       exports.Message = exports.NotificationType9 = exports.NotificationType8 = exports.NotificationType7 = exports.NotificationType6 = exports.NotificationType5 = exports.NotificationType4 = exports.NotificationType3 = exports.NotificationType2 = exports.NotificationType1 = exports.NotificationType0 = exports.NotificationType = exports.RequestType9 = exports.RequestType8 = exports.RequestType7 = exports.RequestType6 = exports.RequestType5 = exports.RequestType4 = exports.RequestType3 = exports.RequestType2 = exports.RequestType1 = exports.RequestType = exports.RequestType0 = exports.AbstractMessageSignature = exports.ParameterStructures = exports.ResponseError = exports.ErrorCodes = void 0;
       var is = __importStar(require_is());
-      var ErrorCodes;
-      (function(ErrorCodes2) {
-        ErrorCodes2.ParseError = -32700;
-        ErrorCodes2.InvalidRequest = -32600;
-        ErrorCodes2.MethodNotFound = -32601;
-        ErrorCodes2.InvalidParams = -32602;
-        ErrorCodes2.InternalError = -32603;
-        ErrorCodes2.jsonrpcReservedErrorRangeStart = -32099;
-        ErrorCodes2.serverErrorStart = -32099;
-        ErrorCodes2.MessageWriteError = -32099;
-        ErrorCodes2.MessageReadError = -32098;
-        ErrorCodes2.PendingResponseRejected = -32097;
-        ErrorCodes2.ConnectionInactive = -32096;
-        ErrorCodes2.ServerNotInitialized = -32002;
-        ErrorCodes2.UnknownErrorCode = -32001;
-        ErrorCodes2.jsonrpcReservedErrorRangeEnd = -32e3;
-        ErrorCodes2.serverErrorEnd = -32e3;
-      })(ErrorCodes || (exports.ErrorCodes = ErrorCodes = {}));
-      var ResponseError = class _ResponseError extends Error {
+      var ErrorCodes3;
+      (function(ErrorCodes4) {
+        ErrorCodes4.ParseError = -32700;
+        ErrorCodes4.InvalidRequest = -32600;
+        ErrorCodes4.MethodNotFound = -32601;
+        ErrorCodes4.InvalidParams = -32602;
+        ErrorCodes4.InternalError = -32603;
+        ErrorCodes4.jsonrpcReservedErrorRangeStart = -32099;
+        ErrorCodes4.serverErrorStart = -32099;
+        ErrorCodes4.MessageWriteError = -32099;
+        ErrorCodes4.MessageReadError = -32098;
+        ErrorCodes4.PendingResponseRejected = -32097;
+        ErrorCodes4.ConnectionInactive = -32096;
+        ErrorCodes4.ServerNotInitialized = -32002;
+        ErrorCodes4.UnknownErrorCode = -32001;
+        ErrorCodes4.jsonrpcReservedErrorRangeEnd = -32e3;
+        ErrorCodes4.serverErrorEnd = -32e3;
+      })(ErrorCodes3 || (exports.ErrorCodes = ErrorCodes3 = {}));
+      var ResponseError3 = class _ResponseError extends Error {
         code;
         data;
         constructor(code, message, data) {
           super(message);
-          this.code = is.number(code) ? code : ErrorCodes.UnknownErrorCode;
+          this.code = is.number(code) ? code : ErrorCodes3.UnknownErrorCode;
           this.data = data;
           Object.setPrototypeOf(this, _ResponseError.prototype);
         }
@@ -161,7 +161,7 @@
           return result;
         }
       };
-      exports.ResponseError = ResponseError;
+      exports.ResponseError = ResponseError3;
       var ParameterStructures = class _ParameterStructures {
         kind;
         /**
@@ -3362,7 +3362,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         uinteger3.is = is;
       })(uinteger || (uinteger = {}));
-      (function(Position5) {
+      (function(Position6) {
         function create(line, character) {
           if (line === Number.MAX_VALUE) {
             line = uinteger.MAX_VALUE;
@@ -3372,14 +3372,14 @@ ${JSON.stringify(message, null, 4)}`);
           }
           return { line, character };
         }
-        Position5.create = create;
+        Position6.create = create;
         function is(value) {
           const candidate = value;
           return Is.objectLiteral(candidate) && Is.uinteger(candidate.line) && Is.uinteger(candidate.character);
         }
-        Position5.is = is;
+        Position6.is = is;
       })(Position || (Position = {}));
-      (function(Range5) {
+      (function(Range8) {
         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) };
@@ -3389,23 +3389,23 @@ ${JSON.stringify(message, null, 4)}`);
             throw new Error(`Range#create called with invalid arguments[${one}, ${two}, ${three}, ${four}]`);
           }
         }
-        Range5.create = create;
+        Range8.create = create;
         function is(value) {
           const candidate = value;
           return Is.objectLiteral(candidate) && Position.is(candidate.start) && Position.is(candidate.end);
         }
-        Range5.is = is;
+        Range8.is = is;
       })(Range || (Range = {}));
-      (function(Location4) {
+      (function(Location5) {
         function create(uri, range) {
           return { uri, range };
         }
-        Location4.create = create;
+        Location5.create = create;
         function is(value) {
           const candidate = value;
           return Is.objectLiteral(candidate) && Range.is(candidate.range) && (Is.string(candidate.uri) || Is.undefined(candidate.uri));
         }
-        Location4.is = is;
+        Location5.is = is;
       })(Location || (Location = {}));
       (function(LocationLink3) {
         function create(targetUri, targetRange, targetSelectionRange, originSelectionRange) {
@@ -3526,7 +3526,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         CodeDescription3.is = is;
       })(CodeDescription || (CodeDescription = {}));
-      (function(Diagnostic8) {
+      (function(Diagnostic9) {
         function create(range, message, severity, code, source, relatedInformation) {
           const result = { range, message };
           if (Is.defined(severity)) {
@@ -3543,17 +3543,17 @@ ${JSON.stringify(message, null, 4)}`);
           }
           return result;
         }
-        Diagnostic8.create = create;
+        Diagnostic9.create = create;
         function is(value) {
           var _a;
           const candidate = value;
           return Is.defined(candidate) && Range.is(candidate.range) && (Is.string(candidate.message) || MarkupContent.is(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((_a = candidate.codeDescription) === null || _a === void 0 ? void 0 : _a.href)) && (Is.string(candidate.source) || Is.undefined(candidate.source)) && (Is.undefined(candidate.relatedInformation) || Is.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation.is));
         }
-        Diagnostic8.is = is;
+        Diagnostic9.is = is;
         function is3_17(value) {
           return Is.string(value.message);
         }
-        Diagnostic8.is3_17 = is3_17;
+        Diagnostic9.is3_17 = is3_17;
         function getMessageString(diagnostic) {
           if (Is.string(diagnostic.message)) {
             return diagnostic.message;
@@ -3563,7 +3563,7 @@ ${JSON.stringify(message, null, 4)}`);
             throw new Error(`Unknown message type ${typeof diagnostic.message}`);
           }
         }
-        Diagnostic8.getMessageString = getMessageString;
+        Diagnostic9.getMessageString = getMessageString;
       })(Diagnostic || (Diagnostic = {}));
       (function(Command3) {
         function create(title, command, ...args) {
@@ -3580,24 +3580,24 @@ ${JSON.stringify(message, null, 4)}`);
         }
         Command3.is = is;
       })(Command || (Command = {}));
-      (function(TextEdit6) {
+      (function(TextEdit7) {
         function replace(range, newText) {
           return { range, newText };
         }
-        TextEdit6.replace = replace;
+        TextEdit7.replace = replace;
         function insert(position, newText) {
           return { range: { start: position, end: position }, newText };
         }
-        TextEdit6.insert = insert;
+        TextEdit7.insert = insert;
         function del(range) {
           return { range, newText: "" };
         }
-        TextEdit6.del = del;
+        TextEdit7.del = del;
         function is(value) {
           const candidate = value;
           return Is.objectLiteral(candidate) && Is.string(candidate.newText) && Range.is(candidate.range);
         }
-        TextEdit6.is = is;
+        TextEdit7.is = is;
       })(TextEdit || (TextEdit = {}));
       (function(ChangeAnnotation3) {
         function create(label, needsConfirmation, description) {
@@ -3718,7 +3718,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         DeleteFile3.is = is;
       })(DeleteFile || (DeleteFile = {}));
-      (function(WorkspaceEdit5) {
+      (function(WorkspaceEdit6) {
         function is(value) {
           const candidate = value;
           return candidate && (candidate.changes !== void 0 || candidate.documentChanges !== void 0) && (candidate.documentChanges === void 0 || candidate.documentChanges.every((change) => {
@@ -3729,7 +3729,7 @@ ${JSON.stringify(message, null, 4)}`);
             }
           }));
         }
-        WorkspaceEdit5.is = is;
+        WorkspaceEdit6.is = is;
       })(WorkspaceEdit || (WorkspaceEdit = {}));
       TextEditChangeImpl = class {
         constructor(edits, changeAnnotations) {
@@ -9290,28 +9290,28 @@ ${JSON.stringify(message, null, 4)}`);
       Object.defineProperty(exports, "__esModule", { value: true });
       exports.Message = exports.NotificationType9 = exports.NotificationType8 = exports.NotificationType7 = exports.NotificationType6 = exports.NotificationType5 = exports.NotificationType4 = exports.NotificationType3 = exports.NotificationType2 = exports.NotificationType1 = exports.NotificationType0 = exports.NotificationType = exports.RequestType9 = exports.RequestType8 = exports.RequestType7 = exports.RequestType6 = exports.RequestType5 = exports.RequestType4 = exports.RequestType3 = exports.RequestType2 = exports.RequestType1 = exports.RequestType = exports.RequestType0 = exports.AbstractMessageSignature = exports.ParameterStructures = exports.ResponseError = exports.ErrorCodes = void 0;
       var is = require_is4();
-      var ErrorCodes;
-      (function(ErrorCodes2) {
-        ErrorCodes2.ParseError = -32700;
-        ErrorCodes2.InvalidRequest = -32600;
-        ErrorCodes2.MethodNotFound = -32601;
-        ErrorCodes2.InvalidParams = -32602;
-        ErrorCodes2.InternalError = -32603;
-        ErrorCodes2.jsonrpcReservedErrorRangeStart = -32099;
-        ErrorCodes2.serverErrorStart = -32099;
-        ErrorCodes2.MessageWriteError = -32099;
-        ErrorCodes2.MessageReadError = -32098;
-        ErrorCodes2.PendingResponseRejected = -32097;
-        ErrorCodes2.ConnectionInactive = -32096;
-        ErrorCodes2.ServerNotInitialized = -32002;
-        ErrorCodes2.UnknownErrorCode = -32001;
-        ErrorCodes2.jsonrpcReservedErrorRangeEnd = -32e3;
-        ErrorCodes2.serverErrorEnd = -32e3;
-      })(ErrorCodes || (exports.ErrorCodes = ErrorCodes = {}));
-      var ResponseError = class _ResponseError extends Error {
+      var ErrorCodes3;
+      (function(ErrorCodes4) {
+        ErrorCodes4.ParseError = -32700;
+        ErrorCodes4.InvalidRequest = -32600;
+        ErrorCodes4.MethodNotFound = -32601;
+        ErrorCodes4.InvalidParams = -32602;
+        ErrorCodes4.InternalError = -32603;
+        ErrorCodes4.jsonrpcReservedErrorRangeStart = -32099;
+        ErrorCodes4.serverErrorStart = -32099;
+        ErrorCodes4.MessageWriteError = -32099;
+        ErrorCodes4.MessageReadError = -32098;
+        ErrorCodes4.PendingResponseRejected = -32097;
+        ErrorCodes4.ConnectionInactive = -32096;
+        ErrorCodes4.ServerNotInitialized = -32002;
+        ErrorCodes4.UnknownErrorCode = -32001;
+        ErrorCodes4.jsonrpcReservedErrorRangeEnd = -32e3;
+        ErrorCodes4.serverErrorEnd = -32e3;
+      })(ErrorCodes3 || (exports.ErrorCodes = ErrorCodes3 = {}));
+      var ResponseError3 = class _ResponseError extends Error {
         constructor(code, message, data) {
           super(message);
-          this.code = is.number(code) ? code : ErrorCodes.UnknownErrorCode;
+          this.code = is.number(code) ? code : ErrorCodes3.UnknownErrorCode;
           this.data = data;
           Object.setPrototypeOf(this, _ResponseError.prototype);
         }
@@ -9326,7 +9326,7 @@ ${JSON.stringify(message, null, 4)}`);
           return result;
         }
       };
-      exports.ResponseError = ResponseError;
+      exports.ResponseError = ResponseError3;
       var ParameterStructures = class _ParameterStructures {
         constructor(kind) {
           this.kind = kind;
@@ -12435,7 +12435,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         uinteger3.is = is;
       })(uinteger2 || (uinteger2 = {}));
-      (function(Position5) {
+      (function(Position6) {
         function create(line, character) {
           if (line === Number.MAX_VALUE) {
             line = uinteger2.MAX_VALUE;
@@ -12445,14 +12445,14 @@ ${JSON.stringify(message, null, 4)}`);
           }
           return { line, character };
         }
-        Position5.create = create;
+        Position6.create = create;
         function is(value) {
           let candidate = value;
           return Is2.objectLiteral(candidate) && Is2.uinteger(candidate.line) && Is2.uinteger(candidate.character);
         }
-        Position5.is = is;
+        Position6.is = is;
       })(Position2 || (Position2 = {}));
-      (function(Range5) {
+      (function(Range8) {
         function create(one, two, three, four) {
           if (Is2.uinteger(one) && Is2.uinteger(two) && Is2.uinteger(three) && Is2.uinteger(four)) {
             return { start: Position2.create(one, two), end: Position2.create(three, four) };
@@ -12462,23 +12462,23 @@ ${JSON.stringify(message, null, 4)}`);
             throw new Error(`Range#create called with invalid arguments[${one}, ${two}, ${three}, ${four}]`);
           }
         }
-        Range5.create = create;
+        Range8.create = create;
         function is(value) {
           let candidate = value;
           return Is2.objectLiteral(candidate) && Position2.is(candidate.start) && Position2.is(candidate.end);
         }
-        Range5.is = is;
+        Range8.is = is;
       })(Range2 || (Range2 = {}));
-      (function(Location4) {
+      (function(Location5) {
         function create(uri, range) {
           return { uri, range };
         }
-        Location4.create = create;
+        Location5.create = create;
         function is(value) {
           let candidate = value;
           return Is2.objectLiteral(candidate) && Range2.is(candidate.range) && (Is2.string(candidate.uri) || Is2.undefined(candidate.uri));
         }
-        Location4.is = is;
+        Location5.is = is;
       })(Location2 || (Location2 = {}));
       (function(LocationLink3) {
         function create(targetUri, targetRange, targetSelectionRange, originSelectionRange) {
@@ -12599,7 +12599,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         CodeDescription3.is = is;
       })(CodeDescription2 || (CodeDescription2 = {}));
-      (function(Diagnostic8) {
+      (function(Diagnostic9) {
         function create(range, message, severity, code, source, relatedInformation) {
           let result = { range, message };
           if (Is2.defined(severity)) {
@@ -12616,13 +12616,13 @@ ${JSON.stringify(message, null, 4)}`);
           }
           return result;
         }
-        Diagnostic8.create = create;
+        Diagnostic9.create = create;
         function is(value) {
           var _a;
           let candidate = value;
           return Is2.defined(candidate) && Range2.is(candidate.range) && Is2.string(candidate.message) && (Is2.number(candidate.severity) || Is2.undefined(candidate.severity)) && (Is2.integer(candidate.code) || Is2.string(candidate.code) || Is2.undefined(candidate.code)) && (Is2.undefined(candidate.codeDescription) || Is2.string((_a = candidate.codeDescription) === null || _a === void 0 ? void 0 : _a.href)) && (Is2.string(candidate.source) || Is2.undefined(candidate.source)) && (Is2.undefined(candidate.relatedInformation) || Is2.typedArray(candidate.relatedInformation, DiagnosticRelatedInformation2.is));
         }
-        Diagnostic8.is = is;
+        Diagnostic9.is = is;
       })(Diagnostic2 || (Diagnostic2 = {}));
       (function(Command3) {
         function create(title, command, ...args) {
@@ -12639,24 +12639,24 @@ ${JSON.stringify(message, null, 4)}`);
         }
         Command3.is = is;
       })(Command2 || (Command2 = {}));
-      (function(TextEdit6) {
+      (function(TextEdit7) {
         function replace(range, newText) {
           return { range, newText };
         }
-        TextEdit6.replace = replace;
+        TextEdit7.replace = replace;
         function insert(position, newText) {
           return { range: { start: position, end: position }, newText };
         }
-        TextEdit6.insert = insert;
+        TextEdit7.insert = insert;
         function del(range) {
           return { range, newText: "" };
         }
-        TextEdit6.del = del;
+        TextEdit7.del = del;
         function is(value) {
           const candidate = value;
           return Is2.objectLiteral(candidate) && Is2.string(candidate.newText) && Range2.is(candidate.range);
         }
-        TextEdit6.is = is;
+        TextEdit7.is = is;
       })(TextEdit2 || (TextEdit2 = {}));
       (function(ChangeAnnotation3) {
         function create(label, needsConfirmation, description) {
@@ -12777,7 +12777,7 @@ ${JSON.stringify(message, null, 4)}`);
         }
         DeleteFile3.is = is;
       })(DeleteFile2 || (DeleteFile2 = {}));
-      (function(WorkspaceEdit5) {
+      (function(WorkspaceEdit6) {
         function is(value) {
           let candidate = value;
           return candidate && (candidate.changes !== void 0 || candidate.documentChanges !== void 0) && (candidate.documentChanges === void 0 || candidate.documentChanges.every((change) => {
@@ -12788,7 +12788,7 @@ ${JSON.stringify(message, null, 4)}`);
             }
           }));
         }
-        WorkspaceEdit5.is = is;
+        WorkspaceEdit6.is = is;
       })(WorkspaceEdit2 || (WorkspaceEdit2 = {}));
       TextEditChangeImpl2 = class {
         constructor(edits, changeAnnotations) {
@@ -17437,7 +17437,7 @@ ${JSON.stringify(message, null, 4)}`);
   });
 
   // server/src/server.ts
-  var import_node11 = __toESM(require_main3());
+  var import_node14 = __toESM(require_main3());
 
   // server/src/platform/shims/fs.ts
   function readFileSync(_path, _enc) {
@@ -130021,18 +130021,71 @@ ${JSON.stringify(message, null, 4)}`);
     }
   };
 
+  // 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 error of errors) {
+      error.column = columns.get(error.line)?.[error.column] ?? error.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(ctx) {
+    const startToken = ctx.start;
+    const stopToken = ctx.stop ?? ctx.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);
@@ -130174,19 +130227,19 @@ ${JSON.stringify(message, null, 4)}`);
     if (errors.length > 0 && hasStaleDfaStates()) {
       markDfaNotPreSeeded();
       clearAllDFAStates();
-      return parseDocumentBatchLL(text, lexer, tokenStream, lexMs);
+      return withUtf16Columns(text, parseDocumentBatchLL(text, lexer, tokenStream, lexMs));
     }
     if (isDfaPreSeeded()) {
       markDfaNotPreSeeded();
     }
-    return {
+    return withUtf16Columns(text, {
       tree,
       tokenStream,
       parser,
       lexer,
       errors,
       timing: { lexMs, parseMs }
-    };
+    });
   }
   function parseDocumentBatchLL(_text, lexer, tokenStream, lexMs) {
     tokenStream.seek(0);
@@ -130212,41 +130265,162 @@ ${JSON.stringify(message, null, 4)}`);
     };
   }
 
-  // server/src/parser/positionUtils.ts
-  function tokenToPosition(token) {
-    return {
-      line: (token.line ?? 1) - 1,
-      character: token.column ?? 0
-    };
+  // 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 tokenToRange(token) {
-    const start = tokenToPosition(token);
-    const length = token.text?.length ?? 1;
-    return {
-      start,
-      end: { line: start.line, character: start.character + length }
-    };
+  function isIdentPart(c) {
+    return c >= 65 && c <= 90 || c >= 97 && c <= 122 || c >= 48 && c <= 57 || c === 95;
   }
-  function contextToRange(ctx) {
-    const startToken = ctx.start;
-    const stopToken = ctx.stop ?? ctx.start;
-    if (!startToken) {
-      return { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } };
+  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++;
+      }
     }
-    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 };
+    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 number = text.slice(i).match(/^(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?/);
+        i += number[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 extractQualifiedNameAt(text, character) {
+    for (const name of scanQualifiedNames(text)) {
+      if (character >= name.start && character <= name.end) return name.name;
+      if (name.start > character) break;
+    }
+    return void 0;
+  }
+  function stripComments(text) {
+    return text.replace(/\/\*[\s\S]*?\*\//g, (m2) => m2.replace(/[^\n]/g, " ")).replace(/\/\/[^\n]*/g, (m2) => " ".repeat(m2.length));
   }
-
-  // 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/documentUri.ts
   function canonicalUri(uri) {
@@ -131081,7 +131255,7 @@ ${JSON.stringify(message, null, 4)}`);
   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 */
@@ -131148,7 +131322,12 @@ ${JSON.stringify(message, null, 4)}`);
      * 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.
@@ -131655,7 +131834,7 @@ ${JSON.stringify(message, null, 4)}`);
       const anonymous = !declaredName;
       const name = declaredName ?? "";
       const shortName = transition || isFlowUsage(kind) && !declaredName ? void 0 : this.extractShortName(ctx);
-      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 ? ctx.start ? tokenToRange(ctx.start) : range : this.extractNameRange(ctx) ?? range;
       const typeNames = isFlowUsage(kind) ? this.extractFlowTypeNames(ctx) : transition ? this.extractTransitionTypeNames(ctx) : this.extractTypeNames(ctx);
       const specializationNames = this.extractSpecializationNames(ctx);
@@ -131815,7 +131994,10 @@ ${JSON.stringify(message, null, 4)}`);
     }
     /** 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. */
@@ -131988,8 +132170,8 @@ ${JSON.stringify(message, null, 4)}`);
     }
     /** 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;
     }
     declarationTokens(ctx) {
       const tokens = [];
@@ -132125,6 +132307,16 @@ ${JSON.stringify(message, null, 4)}`);
      * Extract the range of just the name token.
      */
     extractNameRange(ctx) {
+      if (ctx.ruleIndex === SysMLv2Parser.RULE_identification || ctx.ruleIndex === SysMLv2Parser.RULE_featureIdentification) {
+        let name;
+        for (let i = 0; i < ctx.getChildCount(); i++) {
+          const child = ctx.getChild(i);
+          if (child instanceof ParserRuleContext && child.ruleIndex === SysMLv2Parser.RULE_name) {
+            name = child;
+          }
+        }
+        if (name) return contextToRange(name);
+      }
       for (let i = 0; i < ctx.getChildCount(); i++) {
         const child = ctx.getChild(i);
         if (child instanceof TerminalNode && this.isNameTerminal(child)) {
@@ -132165,7 +132357,7 @@ ${JSON.stringify(message, null, 4)}`);
         for (const part of specStr.split(",")) {
           const quoted = quotedName(part);
           if (quoted !== void 0) {
-            names.push(quoted);
+            names.push(joinQualifiedName([quoted]));
             continue;
           }
           const m2 = part.trim().match(RE_IDENT_START);
@@ -132188,7 +132380,7 @@ ${JSON.stringify(message, null, 4)}`);
         for (const part of afterColon.split(",")) {
           const quoted = quotedName(part);
           if (quoted !== void 0) {
-            names.push(quoted);
+            names.push(joinQualifiedName([quoted]));
             continue;
           }
           const m2 = part.trim().match(RE_IDENT_START);
@@ -132199,18 +132391,20 @@ ${JSON.stringify(message, null, 4)}`);
       return names;
     }
     /**
-     * The declaration tokens before the body, with each lexer STRING token
+     * 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. 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.
+     * 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(ctx) {
       const quoted = [];
-      const masked = this.declarationTokens(ctx).map((token) => {
+      const valueStart = this.findOwnHeaderRule(ctx, SysMLv2Parser.RULE_valuePart)?.start?.tokenIndex;
+      const masked = this.declarationTokens(ctx).filter((token) => valueStart === void 0 || token.tokenIndex < valueStart).map((token) => {
         const text = token.text ?? "";
-        return token.type === SysMLv2Lexer.STRING ? `'${quoted.push(text.slice(1, -1)) - 1}'` : text;
+        return token.type === SysMLv2Lexer.STRING ? `'${quoted.push(unquoteName(text)) - 1}'` : text;
       }).join("");
       return {
         text: masked,
@@ -132238,7 +132432,7 @@ ${JSON.stringify(message, null, 4)}`);
         for (const part of specStr.split(",")) {
           const quoted = quotedName(part);
           if (quoted !== void 0) {
-            names.push(quoted);
+            names.push(joinQualifiedName([quoted]));
             continue;
           }
           const m2 = part.trim().match(RE_IDENT_START);
@@ -132267,17 +132461,7 @@ ${JSON.stringify(message, null, 4)}`);
         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
@@ -132290,6 +132474,17 @@ ${JSON.stringify(message, null, 4)}`);
         }
       }
     }
+    collectQualifiedTypeNames(ctx, names) {
+      if (ctx.ruleIndex === SysMLv2Parser.RULE_qualifiedName) {
+        const name = this.extractTextFromSubtree(ctx);
+        if (name) names.push(name);
+        return;
+      }
+      for (let i = 0; i < ctx.getChildCount(); i++) {
+        const child = ctx.getChild(i);
+        if (child instanceof ParserRuleContext) this.collectQualifiedTypeNames(child, names);
+      }
+    }
     /**
      * Extract documentation owned by this element.
      *
@@ -132450,10 +132645,7 @@ ${JSON.stringify(message, null, 4)}`);
      * 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.
@@ -132741,7 +132933,7 @@ ${JSON.stringify(message, null, 4)}`);
         const child = ctx.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);
         }
@@ -132803,58 +132995,24 @@ ${JSON.stringify(message, null, 4)}`);
      * Extract all text content from a subtree (concatenate terminal nodes).
      */
     extractTextFromSubtree(ctx) {
+      if (ctx.ruleIndex === SysMLv2Parser.RULE_name) return unquoteName(ctx.getText());
       const parts = [];
       for (let i = 0; i < ctx.getChildCount(); i++) {
         const child = ctx.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;
     }
   };
 
-  // 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;
-  }
-  function extractQualifiedNameAt(lineText, character) {
-    const len = lineText.length;
-    let i = 0;
-    while (i < len) {
-      if (!isIdentStart(lineText.charCodeAt(i))) {
-        i++;
-        continue;
-      }
-      const wordStart = i;
-      while (i < len) {
-        while (i < len && isIdentPart(lineText.charCodeAt(i))) i++;
-        if (i + 2 <= len && lineText[i] === ":" && lineText[i + 1] === ":" && i + 2 < len && isIdentStart(lineText.charCodeAt(i + 2))) {
-          i += 2;
-        } else {
-          break;
-        }
-      }
-      const wordEnd = i;
-      if (character >= wordStart && character <= wordEnd) {
-        return lineText.substring(wordStart, wordEnd);
-      }
-    }
-    return void 0;
-  }
-  function stripComments(text) {
-    return text.replace(/\/\*[\s\S]*?\*\//g, (m2) => m2.replace(/[^\n]/g, " ")).replace(/\/\/[^\n]*/g, (m2) => " ".repeat(m2.length));
-  }
-
   // server/src/documentManager.ts
   var DocumentManager = class {
     cache = /* @__PURE__ */ new Map();
@@ -132870,6 +133028,13 @@ ${JSON.stringify(message, null, 4)}`);
      * indexed yet" apart from "genuinely doesn't exist".
      */
     workspaceScanComplete = true;
+    /**
+     * Last version given to a stand-in text by `withTexts`. Caches keyed by
+     * version assume one text per uri and version, so each stand-in gets a
+     * version outside the LSP integer range (LSP 3.17, base types).
+     * These internal positive versions are never sent to the client.
+     */
+    temporaryVersion = 2 ** 31 - 1;
     /**
      * Parse a document and cache the result.
      * Returns the cached result if the content hasn't changed.
@@ -133073,6 +133238,35 @@ ${JSON.stringify(message, null, 4)}`);
       this.wsSymbolTable.removeUri(uri);
       this.wsBuiltVersions.delete(uri);
     }
+    /**
+     * Runs `fn` with each text standing in for the document at its uri (or
+     * added as a new document), all at once, then restores the previous
+     * state. `fn` must be synchronous: no other request can run in between,
+     * so no other request ever sees the temporary texts. Every text is
+     * parsed before anything changes. The stand-ins get versions no real
+     * document has, so caches keyed by version never confuse them with the
+     * real documents.
+     */
+    withTexts(documents2, fn) {
+      if (!Number.isSafeInteger(this.temporaryVersion + documents2.length)) {
+        throw new RangeError("Temporary document version space exhausted.");
+      }
+      const parsed = documents2.map(({ uri, text }) => ({ uri, text, result: parseDocument(text) }));
+      const previous = new Map(parsed.map(({ uri }) => [uri, this.cache.get(uri)]));
+      for (const { uri, text, result } of parsed) {
+        this.cache.set(uri, { version: ++this.temporaryVersion, text, result, needsParse: false });
+      }
+      try {
+        return fn();
+      } finally {
+        for (const [uri, entry] of previous) {
+          if (entry) this.cache.set(uri, entry);
+          else this.cache.delete(uri);
+          this.wsSymbolTable.removeUri(uri);
+          this.wsBuiltVersions.delete(uri);
+        }
+      }
+    }
     /**
      * Get all cached URIs.
      */
@@ -135508,55 +135702,30 @@ ${JSON.stringify(message, null, 4)}`);
     while (pos < line.length && isIdentPart(line.charCodeAt(pos))) pos++;
     return pos > start ? [line.slice(start, pos), pos] : void 0;
   }
+  function readSimpleName(line, pos) {
+    const name = readNameAt(line, skipSpaces(line, pos));
+    return name ? [name.name, name.end] : void 0;
+  }
   function readName(line, pos) {
     pos = skipSpaces(line, pos);
-    if (pos < line.length && line[pos] === "'") {
-      pos++;
-      const start = pos;
-      while (pos < line.length && isIdentPart(line.charCodeAt(pos))) pos++;
-      const name = line.slice(start, pos);
-      if (pos < line.length && line[pos] === "'") pos++;
-      return name ? [name, pos] : void 0;
-    }
     if (pos < line.length && line[pos] === "<") {
-      pos++;
-      const start = pos;
-      while (pos < line.length && line[pos] !== ">") pos++;
-      const shortName = line.slice(start, pos).trim();
-      if (pos < line.length && line[pos] === ">") pos++;
-      pos = skipSpaces(line, pos);
-      if (pos < line.length && line[pos] === "'") {
-        pos++;
-        while (pos < line.length && line[pos] !== "'") pos++;
-        if (pos < line.length) pos++;
-      } else if (pos < line.length && isIdentPart(line.charCodeAt(pos))) {
-        while (pos < line.length && isIdentPart(line.charCodeAt(pos))) pos++;
-      }
-      return shortName ? [shortName, pos] : void 0;
-    }
-    return readWord(line, pos);
+      const short = readSimpleName(line, pos + 1);
+      if (!short) return void 0;
+      pos = skipSpaces(line, short[1]);
+      if (line[pos] !== ">") return void 0;
+      const long = readSimpleName(line, pos + 1);
+      return [short[0], long?.[1] ?? pos + 1];
+    }
+    return readSimpleName(line, pos);
   }
   function readLongName(line, pos) {
     pos = skipSpaces(line, pos);
     if (pos >= line.length || line[pos] !== "<") return void 0;
-    while (pos < line.length && line[pos] !== ">") pos++;
-    if (pos < line.length) pos++;
-    pos = skipSpaces(line, pos);
-    if (pos >= line.length) return void 0;
-    if (line[pos] === "'") {
-      pos++;
-      const start = pos;
-      while (pos < line.length && line[pos] !== "'") pos++;
-      const longName = line.slice(start, pos).trim();
-      if (longName && /^[A-Za-z_]\w*$/.test(longName)) return longName;
-      return void 0;
-    }
-    if (isIdentPart(line.charCodeAt(pos))) {
-      const start = pos;
-      while (pos < line.length && isIdentPart(line.charCodeAt(pos))) pos++;
-      return line.slice(start, pos);
-    }
-    return void 0;
+    const short = readSimpleName(line, pos + 1);
+    if (!short) return void 0;
+    pos = skipSpaces(line, short[1]);
+    if (line[pos] !== ">") return void 0;
+    return readSimpleName(line, pos + 1)?.[0];
   }
   function matchWord(line, pos, keyword) {
     if (!line.startsWith(keyword, pos)) return false;
@@ -135628,7 +135797,7 @@ ${JSON.stringify(message, null, 4)}`);
         if (close < 0) continue;
         pos = skipSpaces(line, close + 1);
       }
-      const w = readWord(line, pos);
+      const w = readName(line, pos);
       if (w) return w[0];
     }
     return void 0;
@@ -135753,7 +135922,7 @@ ${JSON.stringify(message, null, 4)}`);
           types.set(usageName, { uri: fileUri, line: i });
         }
         if (pkgName) {
-          const qualName = `${pkgName}::${usageName}`;
+          const qualName = joinQualifiedName([pkgName, usageName]);
           if (!types.has(qualName)) {
             types.set(qualName, { uri: fileUri, line: i });
           }
@@ -135764,7 +135933,7 @@ ${JSON.stringify(message, null, 4)}`);
             types.set(longName, { uri: fileUri, line: i });
           }
           if (pkgName) {
-            const qualLong = `${pkgName}::${longName}`;
+            const qualLong = joinQualifiedName([pkgName, longName]);
             if (!types.has(qualLong)) {
               types.set(qualLong, { uri: fileUri, line: i });
             }
@@ -135796,15 +135965,17 @@ ${JSON.stringify(message, null, 4)}`);
   }
   function resolveLibraryPackage(name) {
     if (!index) return void 0;
-    const pkg = name.split("::")[0];
+    const pkg = splitQualifiedName(name)[0];
     return index.get(pkg);
   }
   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;
@@ -136452,6 +136623,10 @@ ${JSON.stringify(message, null, 4)}`);
     resolveNameFrom(symbol, name, indexes) {
       return this.resolveQualifiedNameFrom(ownerKeyOf(symbol, 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
@@ -136463,7 +136638,7 @@ ${JSON.stringify(message, null, 4)}`);
      * 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);
@@ -136630,6 +136805,9 @@ ${JSON.stringify(message, null, 4)}`);
       };
       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, members);
       const owner = typeof namespace === "string" ? indexes.byQualifiedName.get(namespace) : namespace;
@@ -136665,13 +136843,17 @@ ${JSON.stringify(message, null, 4)}`);
       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;
@@ -136836,7 +137018,7 @@ ${JSON.stringify(message, null, 4)}`);
   function resolveTypeName(typeName, symbol, 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(symbol, 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;
@@ -138384,11 +138566,11 @@ ${this.followingBranchStatements(symbol, lines)}`;
       const packageNames = /* @__PURE__ */ new Set();
       for (const s of allSymbols) {
         if (!isDefinition(s.kind)) continue;
-        if (s.name !== unresolvedType) continue;
+        if (s.name !== unquoteName(unresolvedType)) continue;
         if (s.uri === uri) continue;
-        const pkg = (s.qualifiedName?.split("::")[0] ?? "").trim();
+        const pkg = s.qualifiedName ? splitQualifiedName(s.qualifiedName)[0] : "";
         if (!pkg || pkg === unresolvedType) continue;
-        if (pkg) packageNames.add(pkg);
+        packageNames.add(quoteName(pkg));
       }
       for (const pkg of packageNames) {
         if (this.hasImportForPackage(text, pkg)) {
@@ -138497,7 +138679,7 @@ ${this.followingBranchStatements(symbol, lines)}`;
       const edit = {
         changes: {
           [uri]: [
-            import_node.TextEdit.replace(diagnostic.range, newName)
+            import_node.TextEdit.replace(diagnostic.range, quoteName(newName))
           ]
         }
       };
@@ -138606,7 +138788,7 @@ ${childIndent}enum value2;`;
       const edit = {
         changes: {
           [uri]: [
-            import_node.TextEdit.replace(diagnostic.range, newName)
+            import_node.TextEdit.replace(diagnostic.range, quoteName(newName))
           ]
         }
       };
@@ -138667,10 +138849,11 @@ ${childIndent}enum value2;`;
       if (diagnostic.code !== "incompatible-port-types") return void 0;
       const msg = diagnostic.message;
       const m2 = msg.match(/'([^']+)'\s+\(([^)]+)\)\s+is connected to\s+'([^']+)'\s+\(([^)]+)\)/);
-      if (!m2) return void 0;
-      const left = m2[1];
-      const leftType = m2[2];
-      const right = m2[3];
+      const data = diagnostic.data;
+      const left = data?.left ?? m2?.[1];
+      const leftType = data?.leftType ?? m2?.[2];
+      const right = data?.right ?? m2?.[3];
+      if (!left || !leftType || !right) return void 0;
       const symbolTable = this.documentManager.getWorkspaceSymbolTable();
       const symbolsInUri = symbolTable.getSymbolsForUri(uri);
       const compatible = symbolsInUri.find(
@@ -138685,8 +138868,10 @@ ${childIndent}enum value2;`;
       if (start.line !== end.line) return void 0;
       const segment = (lines[start.line] ?? "").slice(start.character, end.character);
       if (!segment) return void 0;
-      const replaced = segment.replace(new RegExp(`\\b${right}\\b`), compatible.name);
-      if (replaced === segment) return void 0;
+      const rightPath = [...scanFeaturePaths(segment)].reverse().find((path) => path.parts[path.parts.length - 1] === right);
+      const rightName = rightPath?.qualifiedNames.at(-1)?.segments.at(-1);
+      if (!rightName) return void 0;
+      const replaced = segment.slice(0, rightName.start) + quoteName(compatible.name) + segment.slice(rightName.end);
       const edit = {
         changes: {
           [uri]: [
@@ -138721,12 +138906,14 @@ ${childIndent}enum value2;`;
         diagnostic.range.end.character
       ) : "";
       const m2 = msg.match(/Unresolved constraint reference\s+'([^']+)'(?:\s+in scope\s+'([^']+)')?/);
+      const data = diagnostic.data;
       const expr = rangeExpr && rangeExpr.includes(".") ? rangeExpr : tokenExpr && tokenExpr.includes(".") ? tokenExpr : m2?.[1] ?? "";
-      const scopeName = m2?.[2];
+      const scopeName = data?.scopeName ?? m2?.[2];
       if (!expr) return void 0;
       if (!expr.includes(".")) return void 0;
-      const parts = expr.split(".");
-      if (parts.length < 2) return void 0;
+      const path = [...scanFeaturePaths(expr)].find((path2) => path2.qualifiedNames.length > 1);
+      if (!path) return void 0;
+      const parts = path.parts;
       const root = parts[0];
       const unresolvedLeaf = parts[parts.length - 1];
       const symbolTable = this.documentManager.getWorkspaceSymbolTable();
@@ -138738,7 +138925,7 @@ ${childIndent}enum value2;`;
       const rootType = rootUsage ? rootUsage.typeNames[0] ?? rootUsage.typeName : void 0;
       let memberNames = [];
       if (rootType) {
-        const typeDef = allSymbols.find((s) => s.name === rootType && s.kind.endsWith(" def"));
+        const typeDef = symbolTable.findByName(rootType).find((s) => isDefinition(s.kind));
         if (typeDef) {
           memberNames = allSymbols.filter((s) => s.parentId === typeDef.symbolId).map((s) => s.name);
         }
@@ -138760,7 +138947,8 @@ ${childIndent}enum value2;`;
         }
       }
       if (!best || best.dist > 4 || best.name === unresolvedLeaf) return void 0;
-      const fixedExpr = `${root}.${best.name}`;
+      const leaf = path.qualifiedNames.at(-1);
+      const fixedExpr = expr.slice(0, leaf.start) + quoteName(best.name) + expr.slice(leaf.end);
       const edit = {
         changes: {
           [uri]: [
@@ -138836,6 +139024,13 @@ ${childIndent}enum value2;`;
     isAttributeTypeContext(text, diagnostic, unresolvedType) {
       const lines = text.split("\n");
       const line = lines[diagnostic.range.start.line] ?? "";
+      const names = [...scanQualifiedNames(line)];
+      const attribute = names.findIndex((name) => line.slice(name.start, name.end) === "attribute");
+      const usage = names[attribute + 1];
+      const type = names[attribute + 2];
+      if (attribute >= 0 && usage && type && type.name === unresolvedType && /^\s*:\s*$/.test(line.slice(usage.end, type.start))) {
+        return true;
+      }
       const beforeRange = line.slice(0, diagnostic.range.start.character);
       const unresolvedInLine = line.slice(diagnostic.range.start.character, diagnostic.range.end.character);
       const escapedType = unresolvedType.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
@@ -138848,18 +139043,19 @@ ${childIndent}enum value2;`;
       return /\battribute\s+[A-Za-z_][A-Za-z0-9_]*\s*:\s*[A-Za-z_][A-Za-z0-9_]*\b/.test(beforeRange + unresolvedInLine);
     }
     buildLocalTypeStub(text, diagnostic, unresolvedType, childIndent) {
+      const sourceName = quoteName(unquoteName(unresolvedType));
       if (this.isAttributeTypeContext(text, diagnostic, unresolvedType)) {
         return {
-          title: `Create local 'attribute def ${unresolvedType};'`,
+          title: `Create local 'attribute def ${sourceName};'`,
           stubText: `
-${childIndent}attribute def ${unresolvedType};
+${childIndent}attribute def ${sourceName};
 `
         };
       }
       return {
-        title: `Create local 'item def ${unresolvedType};'`,
+        title: `Create local 'item def ${sourceName};'`,
         stubText: `
-${childIndent}item def ${unresolvedType};
+${childIndent}item def ${sourceName};
 `
       };
     }
@@ -138895,13 +139091,12 @@ ${childIndent}item def ${unresolvedType};
   }
   function extractDottedTokenAtRange(line, start, end) {
     if (!line || start < 0 || end < 0 || start > line.length || end > line.length) return "";
-    const isTokenChar = (ch) => ch >= "a" && ch <= "z" || ch >= "A" && ch <= "Z" || ch >= "0" && ch <= "9" || ch === "_" || ch === ".";
-    let left = Math.max(0, start);
-    while (left > 0 && isTokenChar(line[left - 1])) left--;
-    let right = Math.min(line.length, end);
-    while (right < line.length && isTokenChar(line[right])) right++;
-    const token = line.slice(left, right).trim();
-    return token.includes(".") ? token : "";
+    for (const path of scanFeaturePaths(line)) {
+      if (path.qualifiedNames.length > 1 && path.start <= start && path.end >= end) {
+        return line.slice(path.start, path.end);
+      }
+    }
+    return "";
   }
   function extractLikelyMemberNames(text, excludeName) {
     const names = /* @__PURE__ */ new Set();
@@ -139013,6 +139208,7 @@ ${childIndent}item def ${unresolvedType};
           seen.add(sym.name);
           defItems.push({
             label: sym.name,
+            insertText: quoteName(sym.name),
             kind: this.mapSymbolKindToCompletionKind(sym.kind),
             detail: `${sym.kind}${sym.qualifiedName !== void 0 && sym.qualifiedName !== sym.name ? ` (${sym.qualifiedName})` : ""}`,
             documentation: sym.documentation,
@@ -139033,6 +139229,7 @@ ${childIndent}item def ${unresolvedType};
           seenPorts.add(sym.name);
           items.push({
             label: sym.name,
+            insertText: quoteName(sym.name),
             kind: import_node2.CompletionItemKind.Interface,
             detail: `${sym.kind}${sym.typeNames[0] ? ` : ${sym.typeNames[0]}` : ""}`,
             data: sym.qualifiedName,
@@ -139040,13 +139237,17 @@ ${childIndent}item def ${unresolvedType};
           });
         }
       }
-      if (context === "type-annotation") {
-        return items.filter((i) => this.isTypeOrDefinitionCompletion(i));
-      }
-      if (context === "connect-endpoint") {
-        return items.filter((i) => this.isConnectContextCompletion(i));
-      }
-      return items;
+      const filtered = context === "type-annotation" ? items.filter((i) => this.isTypeOrDefinitionCompletion(i)) : context === "connect-endpoint" ? items.filter((i) => this.isConnectContextCompletion(i)) : items;
+      const line = this.documentManager.getText(uri)?.split("\n")[params.position.line] ?? "";
+      const segment = [...scanQualifiedNames(line, true)].flatMap((name) => name.segments).find((name) => name.start <= params.position.character && name.end >= params.position.character);
+      if (!segment) return filtered;
+      return filtered.map((item) => item.insertTextFormat === import_node2.InsertTextFormat.Snippet ? item : {
+        ...item,
+        textEdit: {
+          range: import_node2.Range.create(params.position.line, segment.start, params.position.line, segment.end),
+          newText: item.insertText ?? item.label
+        }
+      });
     }
     resolveCompletion(item) {
       return item;
@@ -139119,6 +139320,108 @@ ${childIndent}item def ${unresolvedType};
     }
   };
 
+  // server/src/symbols/nameReferences.ts
+  var import_node3 = __toESM(require_main3());
+  var NameReferences = class {
+    constructor(documents2) {
+      this.documents = documents2;
+      this.symbols = documents2.getWorkspaceSymbolTable().getAllSymbols();
+      this.indexes = buildSymbolIndexes(this.symbols);
+    }
+    documents;
+    symbols;
+    indexes;
+    resolver = new NamespaceResolver();
+    at(uri, position) {
+      return this.inDocument(uri, position).find((ref) => ref.range.start.line === position.line && ref.range.start.character <= position.character && ref.range.end.character >= position.character);
+    }
+    to(symbol, includeDeclaration = true) {
+      return this.documents.getUris().flatMap((uri) => this.inDocument(uri, void 0, symbol)).filter((ref) => ref.symbol?.symbolId === symbol.symbolId && (includeDeclaration || !ref.isDeclaration));
+    }
+    inDocument(uri, position, target) {
+      const text = this.documents.getText(uri);
+      const parsed = this.documents.get(uri);
+      if (text === void 0 || !parsed) return [];
+      const doc = TextDocument2.create(uri, "sysml", 0, text);
+      const symbols = this.symbols.filter((symbol) => symbol.uri === uri);
+      const braces = parsed.tokenStream.getTokens().filter((token) => token.type === SysMLv2Lexer.LBRACE).map((token) => doc.offsetAt({ line: token.line - 1, character: token.column }));
+      const namespaces = symbols.flatMap((symbol) => {
+        const start = doc.offsetAt(symbol.range.start);
+        const end = doc.offsetAt(symbol.range.end);
+        let lo = 0;
+        let hi = braces.length;
+        while (lo < hi) {
+          const mid = lo + hi >>> 1;
+          if (braces[mid] < start) lo = mid + 1;
+          else hi = mid;
+        }
+        const body = braces[lo];
+        return body === void 0 || body >= end ? [] : [{ symbol, body, end }];
+      }).sort((a, b) => a.end - a.body - (b.end - b.body));
+      const refs = [];
+      const cursor = position ? doc.offsetAt(position) : void 0;
+      for (const path of scanFeaturePaths(text)) {
+        if (cursor !== void 0 && (cursor < path.start || cursor > path.end)) continue;
+        if (target && !path.qualifiedNames.some((name) => name.segments.some((segment) => segment.name === target.name || segment.name === target.shortName))) continue;
+        const namespace = namespaces.find((ns) => ns.body < path.start && path.end <= ns.end);
+        let receiver;
+        for (let group = 0; group < path.qualifiedNames.length; group++) {
+          const qualified = path.qualifiedNames[group];
+          let resolved;
+          for (let index2 = 0; index2 < qualified.segments.length; index2++) {
+            const segment = qualified.segments[index2];
+            const range = import_node3.Range.create(doc.positionAt(segment.start), doc.positionAt(segment.end));
+            let before = segment.start - 1;
+            let after = segment.end;
+            while (before >= 0 && /\s/.test(text[before])) before--;
+            while (after < text.length && /\s/.test(text[after])) after++;
+            const declaration = symbols.find((symbol) => !isAnonymous(symbol) && (symbol.selectionRange.start.line === range.start.line && symbol.selectionRange.start.character === range.start.character && symbol.selectionRange.end.character === range.end.character || symbol.shortName === segment.name && text[before] === "<" && text[after] === ">" && doc.offsetAt(symbol.range.start) <= segment.start && segment.end < doc.offsetAt(symbol.selectionRange.start)));
+            if (declaration) resolved = declaration;
+            else if (index2 > 0) {
+              resolved = resolved ? this.resolver.getResolvedMembers(namespaceKeyOf(resolved), this.indexes).get(segment.name)?.find((entry) => entry.visibility === "public")?.symbol : void 0;
+            } else if (group > 0) {
+              resolved = receiver ? this.resolveFeature(receiver, segment.name) : void 0;
+            } else {
+              resolved = this.resolver.resolveNameIn(
+                namespace?.symbol,
+                joinQualifiedName([segment.name]),
+                this.indexes
+              );
+            }
+            if (cursor !== void 0 && (cursor < segment.start || cursor > segment.end)) continue;
+            if (target && segment.name !== target.name && segment.name !== target.shortName) continue;
+            refs.push({
+              uri,
+              range,
+              name: segment.name,
+              qualifiedName: index2 === qualified.segments.length - 1 ? qualified.name : segment.name,
+              symbol: resolved,
+              isDeclaration: declaration !== void 0
+            });
+          }
+          receiver = resolved;
+        }
+      }
+      return refs;
+    }
+    resolveFeature(receiver, name) {
+      const queue = [receiver];
+      const visited = /* @__PURE__ */ new Set();
+      for (let index2 = 0; index2 < queue.length; index2++) {
+        const owner = queue[index2];
+        if (visited.has(owner)) continue;
+        visited.add(owner);
+        const member = this.resolver.getResolvedMembers(namespaceKeyOf(owner), this.indexes).get(name)?.find((entry) => entry.visibility === "public")?.symbol;
+        if (member) return member;
+        for (const typeName of owner.typeNames) {
+          const type = this.resolver.resolveNameFrom(owner, typeName, this.indexes);
+          if (type && !visited.has(type)) queue.push(type);
+        }
+      }
+      return void 0;
+    }
+  };
+
   // server/src/providers/definitionProvider.ts
   var DefinitionProvider = class {
     constructor(documentManager2) {
@@ -139131,6 +139434,10 @@ ${childIndent}item def ${unresolvedType};
         return null;
       }
       const wsSymbolTable = this.documentManager.getWorkspaceSymbolTable();
+      const reference = new NameReferences(this.documentManager).at(params.textDocument.uri, params.position);
+      if (reference?.symbol && !reference.isDeclaration) {
+        return { uri: reference.symbol.uri, range: reference.symbol.selectionRange };
+      }
       const symbol = symbolTable.findSymbolAtPosition(
         params.textDocument.uri,
         params.position.line,
@@ -139238,7 +139545,7 @@ ${childIndent}item def ${unresolvedType};
   };
 
   // server/src/providers/diagnosticsProvider.ts
-  var import_node3 = __toESM(require_main3());
+  var import_node4 = __toESM(require_main3());
   var EXPRESSION_OPERATOR_RE = /(\w\s*[+\-*/^]\s*\w)|(\w\s*\*\*\s*\w)|->|\.(?:\?)|:=|;\s*doc\b|#\w+\s+dependency/;
   var DiagnosticsProvider = class {
     constructor(documentManager2) {
@@ -139290,7 +139597,7 @@ ${childIndent}item def ${unresolvedType};
         message = `'${word}' is a reserved SysML keyword and cannot be used as a name. Consider renaming it (e.g., '${suggestion}').`;
       }
       return {
-        severity: import_node3.DiagnosticSeverity.Error,
+        severity: import_node4.DiagnosticSeverity.Error,
         range: {
           start: { line: error.line, character: error.column },
           end: { line: error.line, character: error.column + error.length }
@@ -139359,51 +139666,51 @@ ${childIndent}item def ${unresolvedType};
   };
 
   // server/src/providers/symbolKindMapping.ts
-  var import_node4 = __toESM(require_main3());
+  var import_node5 = __toESM(require_main3());
   function toSysMLSymbolKind(kind) {
     switch (kind) {
       // Structural definitions → Class (they *are* types)
       case "part def" /* PartDef */:
       case "occurrence def" /* OccurrenceDef */:
-        return import_node4.SymbolKind.Class;
+        return import_node5.SymbolKind.Class;
       // Structural usages → Field (instances / typed features)
       case "part" /* PartUsage */:
       case "occurrence" /* OccurrenceUsage */:
       case "ref" /* RefUsage */:
-        return import_node4.SymbolKind.Field;
+        return import_node5.SymbolKind.Field;
       // Attributes
       case "attribute def" /* AttributeDef */:
       case "attribute" /* AttributeUsage */:
-        return import_node4.SymbolKind.Property;
+        return import_node5.SymbolKind.Property;
       // Ports & Interfaces → Interface
       case "port def" /* PortDef */:
       case "port" /* PortUsage */:
       case "interface def" /* InterfaceDef */:
       case "interface" /* InterfaceUsage */:
-        return import_node4.SymbolKind.Interface;
+        return import_node5.SymbolKind.Interface;
       // Connections
       case "connection def" /* ConnectionDef */:
       case "connection" /* ConnectionUsage */:
-        return import_node4.SymbolKind.Interface;
+        return import_node5.SymbolKind.Interface;
       // Behavioral: actions → Method
       case "action def" /* ActionDef */:
       case "action" /* ActionUsage */:
       case "perform action" /* PerformActionUsage */:
-        return import_node4.SymbolKind.Method;
+        return import_node5.SymbolKind.Method;
       // Control-flow nodes (fork/join/merge/decide) → Event
       case "fork" /* ForkNode */:
       case "join" /* JoinNode */:
       case "merge" /* MergeNode */:
       case "decide" /* DecisionNode */:
-        return import_node4.SymbolKind.Event;
+        return import_node5.SymbolKind.Event;
       // Behavioral: states → Event (better semantic fit than Enum)
       case "state def" /* StateDef */:
       case "state" /* StateUsage */:
       case "exhibit state" /* ExhibitStateUsage */:
-        return import_node4.SymbolKind.Event;
+        return import_node5.SymbolKind.Event;
       // Transitions → Event
       case "transition" /* TransitionUsage */:
-        return import_node4.SymbolKind.Event;
+        return import_node5.SymbolKind.Event;
       // Requirements → Object
       case "requirement def" /* RequirementDef */:
       case "requirement" /* RequirementUsage */:
@@ -139412,58 +139719,58 @@ ${childIndent}item def ${unresolvedType};
       case "actor" /* ActorUsage */:
       case "subject" /* SubjectUsage */:
       case "stakeholder" /* StakeholderUsage */:
-        return import_node4.SymbolKind.Object;
+        return import_node5.SymbolKind.Object;
       // Constraints → Constant (boolean-valued)
       case "constraint def" /* ConstraintDef */:
       case "constraint" /* ConstraintUsage */:
-        return import_node4.SymbolKind.Constant;
+        return import_node5.SymbolKind.Constant;
       // Items → Struct (physical things, data)
       case "item def" /* ItemDef */:
       case "item" /* ItemUsage */:
-        return import_node4.SymbolKind.Struct;
+        return import_node5.SymbolKind.Struct;
       // Allocations → TypeParameter (cross-concern mapping)
       case "allocation def" /* AllocationDef */:
       case "allocation" /* AllocationUsage */:
-        return import_node4.SymbolKind.TypeParameter;
+        return import_node5.SymbolKind.TypeParameter;
       // Enumerations
       case "enum def" /* EnumDef */:
-        return import_node4.SymbolKind.Enum;
+        return import_node5.SymbolKind.Enum;
       case "enum" /* EnumUsage */:
-        return import_node4.SymbolKind.EnumMember;
+        return import_node5.SymbolKind.EnumMember;
       // Calculations → Function
       case "calc def" /* CalcDef */:
       case "calc" /* CalcUsage */:
       case "analysis case def" /* AnalysisCaseDef */:
       case "verification case def" /* VerificationCaseDef */:
-        return import_node4.SymbolKind.Function;
+        return import_node5.SymbolKind.Function;
       // Use cases → Event
       case "use case def" /* UseCaseDef */:
       case "use case" /* UseCaseUsage */:
       case "include use case" /* IncludeUseCaseUsage */:
-        return import_node4.SymbolKind.Event;
+        return import_node5.SymbolKind.Event;
       // Views → Namespace
       case "view def" /* ViewDef */:
       case "view" /* ViewUsage */:
       case "viewpoint def" /* ViewpointDef */:
       case "viewpoint" /* ViewpointUsage */:
       case "rendering def" /* RenderingDef */:
-        return import_node4.SymbolKind.Namespace;
+        return import_node5.SymbolKind.Namespace;
       // Metadata → TypeParameter
       case "metadata def" /* MetadataDef */:
-        return import_node4.SymbolKind.TypeParameter;
+        return import_node5.SymbolKind.TypeParameter;
       // Package
       case "package" /* Package */:
-        return import_node4.SymbolKind.Package;
+        return import_node5.SymbolKind.Package;
       // Comments / docs
       case "comment" /* Comment */:
       case "doc" /* Doc */:
-        return import_node4.SymbolKind.String;
+        return import_node5.SymbolKind.String;
       // Import / Alias
       case "import" /* Import */:
       case "alias" /* Alias */:
-        return import_node4.SymbolKind.Module;
+        return import_node5.SymbolKind.Module;
       default:
-        return import_node4.SymbolKind.Variable;
+        return import_node5.SymbolKind.Variable;
     }
   }
 
@@ -139510,7 +139817,7 @@ ${childIndent}item def ${unresolvedType};
   };
 
   // server/src/providers/foldingRangeProvider.ts
-  var import_node5 = __toESM(require_main3());
+  var import_node6 = __toESM(require_main3());
   var FoldingRangeProvider = class {
     constructor(documentManager2) {
       this.documentManager = documentManager2;
@@ -139533,7 +139840,7 @@ ${childIndent}item def ${unresolvedType};
           ranges.push({
             startLine: commentStart,
             endLine: i,
-            kind: import_node5.FoldingRangeKind.Comment
+            kind: import_node6.FoldingRangeKind.Comment
           });
           commentStart = void 0;
         }
@@ -139546,7 +139853,7 @@ ${childIndent}item def ${unresolvedType};
               ranges.push({
                 startLine,
                 endLine: i,
-                kind: import_node5.FoldingRangeKind.Region
+                kind: import_node6.FoldingRangeKind.Region
               });
             }
           }
@@ -139557,7 +139864,7 @@ ${childIndent}item def ${unresolvedType};
   };
 
   // server/src/providers/formattingProvider.ts
-  var import_node6 = __toESM(require_main3());
+  var import_node7 = __toESM(require_main3());
   var FormattingProvider = class {
     constructor(documents2) {
       this.documents = documents2;
@@ -139573,8 +139880,8 @@ ${childIndent}item def ${unresolvedType};
       const formatted = this.formatSysML(text, indent);
       if (formatted === text) return [];
       return [
-        import_node6.TextEdit.replace(
-          import_node6.Range.create(0, 0, doc.lineCount, 0),
+        import_node7.TextEdit.replace(
+          import_node7.Range.create(0, 0, doc.lineCount, 0),
           formatted
         )
       ];
@@ -139588,7 +139895,7 @@ ${childIndent}item def ${unresolvedType};
       const rangeText = doc.getText(params.range);
       const formatted = this.formatSysML(rangeText, indent);
       if (formatted === rangeText) return [];
-      return [import_node6.TextEdit.replace(params.range, formatted)];
+      return [import_node7.TextEdit.replace(params.range, formatted)];
     }
     formatSysML(text, indent) {
       const lines = text.split("\n");
@@ -139724,7 +140031,7 @@ ${childIndent}item def ${unresolvedType};
   };
 
   // server/src/providers/hoverProvider.ts
-  var import_node7 = __toESM(require_main3());
+  var import_node8 = __toESM(require_main3());
   var HoverProvider = class {
     constructor(documentManager2) {
       this.documentManager = documentManager2;
@@ -139741,12 +140048,13 @@ ${childIndent}item def ${unresolvedType};
         return null;
       }
       const text = this.documentManager.getText(params.textDocument.uri);
-      const word = text ? this.getWordAtPosition(text, params.position.line, params.position.character) : void 0;
-      if (word && word.includes("::")) {
+      const reference = new NameReferences(this.documentManager).at(params.textDocument.uri, params.position);
+      const word = reference?.qualifiedName ?? (text ? this.getWordAtPosition(text, params.position.line, params.position.character) : void 0);
+      if (word && word.includes("::") && !reference?.symbol) {
         const libHover = this.buildLibraryHover(word);
         if (libHover) return libHover;
       }
-      const symbol = symbolTable.findSymbolAtPosition(
+      const symbol = reference?.symbol ?? symbolTable.findSymbolAtPosition(
         params.textDocument.uri,
         params.position.line,
         params.position.character
@@ -139798,7 +140106,7 @@ ${symbol.documentation}`);
       if (hoverDiags.length > 0) {
         lines.push("\n---\n**Semantic Feedback**");
         for (const d of hoverDiags.slice(0, 3)) {
-          const sev = d.severity === import_node7.DiagnosticSeverity.Error ? "Error" : d.severity === import_node7.DiagnosticSeverity.Warning ? "Warning" : "Hint";
+          const sev = d.severity === import_node8.DiagnosticSeverity.Error ? "Error" : d.severity === import_node8.DiagnosticSeverity.Warning ? "Warning" : "Hint";
           lines.push(`- **${sev}**: ${d.message}`);
           const hint = this.getRepairHint(String(d.code ?? ""));
           if (hint) {
@@ -139807,12 +140115,12 @@ ${symbol.documentation}`);
         }
       }
       const content = {
-        kind: import_node7.MarkupKind.Markdown,
+        kind: import_node8.MarkupKind.Markdown,
         value: lines.join("\n")
       };
       return {
         contents: content,
-        range: symbol.selectionRange
+        range: reference?.range ?? symbol.selectionRange
       };
     }
     /**
@@ -139839,7 +140147,7 @@ ${info.documentation}`);
       }
       return {
         contents: {
-          kind: import_node7.MarkupKind.Markdown,
+          kind: import_node8.MarkupKind.Markdown,
           value: lines.join("\n")
         }
       };
@@ -139879,7 +140187,7 @@ ${info.documentation}`);
   };
 
   // server/src/providers/keywordValidator.ts
-  var import_node8 = __toESM(require_main3());
+  var import_node9 = __toESM(require_main3());
 
   // server/src/utils/emptyNames.ts
   var EMPTY_NAME_MESSAGE = "Empty name '': a name in single quotes must contain at least one character";
@@ -140278,7 +140586,7 @@ ${info.documentation}`);
         const line2 = (token.line ?? 1) - 1;
         const char2 = token.column ?? 0;
         diagnostics.push({
-          severity: import_node8.DiagnosticSeverity.Error,
+          severity: import_node9.DiagnosticSeverity.Error,
           range: { start: { line: line2, character: char2 }, end: { line: line2, character: char2 + 2 } },
           message: EMPTY_NAME_MESSAGE,
           source: "sysml",
@@ -140296,7 +140604,7 @@ ${info.documentation}`);
       const char = token.column ?? 0;
       const message = `Unknown keyword '${text}'. Did you mean '${suggestion}'?`;
       diagnostics.push({
-        severity: import_node8.DiagnosticSeverity.Error,
+        severity: import_node9.DiagnosticSeverity.Error,
         range: {
           start: { line, character: char },
           end: { line, character: char + text.length }
@@ -140316,115 +140624,50 @@ ${info.documentation}`);
     }
     documentManager;
     provideReferences(params) {
-      const result = this.documentManager.get(params.textDocument.uri);
-      if (!result) {
-        return [];
-      }
-      const symbolTable = this.documentManager.getWorkspaceSymbolTable();
-      const symbol = symbolTable.findSymbolAtPosition(
-        params.textDocument.uri,
-        params.position.line,
-        params.position.character
-      );
-      if (!symbol || isAnonymous(symbol)) {
-        return [];
-      }
-      const references = symbolTable.findReferences(symbol.name);
-      const locations = [];
-      for (const ref of references) {
-        locations.push({
-          uri: ref.uri,
-          range: ref.selectionRange
-        });
-      }
-      if (params.context.includeDeclaration) {
-      }
-      return locations;
+      const references = new NameReferences(this.documentManager);
+      const ref = references.at(params.textDocument.uri, params.position);
+      return ref?.symbol ? references.to(ref.symbol, params.context.includeDeclaration).map(({ uri, range }) => ({ uri, range })) : [];
     }
   };
 
   // server/src/providers/renameProvider.ts
-  function findWordOccurrences(line, word) {
-    const positions = [];
-    let from = 0;
-    while (from <= line.length - word.length) {
-      const idx = line.indexOf(word, from);
-      if (idx < 0) break;
-      if ((idx === 0 || !isIdentPart(line.charCodeAt(idx - 1))) && (idx + word.length >= line.length || !isIdentPart(line.charCodeAt(idx + word.length)))) {
-        positions.push(idx);
-      }
-      from = idx + 1;
-    }
-    return positions;
-  }
+  var import_node10 = __toESM(require_main3());
   var RenameProvider = class {
     constructor(documentManager2) {
       this.documentManager = documentManager2;
     }
     documentManager;
-    /**
-     * Check if the token at position is renameable and return its range.
-     */
     prepareRename(params) {
-      const symbolTable = this.documentManager.getSymbolTable(params.textDocument.uri);
-      if (!symbolTable) return null;
-      const symbol = symbolTable.findSymbolAtPosition(
-        params.textDocument.uri,
-        params.position.line,
-        params.position.character
-      );
-      if (!symbol || isAnonymous(symbol)) return null;
-      return symbol.selectionRange;
+      const ref = new NameReferences(this.documentManager).at(params.textDocument.uri, params.position);
+      return ref?.symbol ? ref.range : null;
     }
-    /**
-     * Perform the rename — update the symbol and all references.
-     */
     provideRename(params) {
-      const symbolTable = this.documentManager.getSymbolTable(params.textDocument.uri);
-      if (!symbolTable) return null;
-      const symbol = symbolTable.findSymbolAtPosition(
-        params.textDocument.uri,
-        params.position.line,
-        params.position.character
-      );
-      if (!symbol || isAnonymous(symbol)) return null;
-      const text = this.documentManager.getText(params.textDocument.uri);
-      if (!text) return null;
-      const edits = [];
-      const oldName = symbol.name;
-      const newName = params.newName;
-      const references = symbolTable.findReferences(oldName);
-      for (const ref of references) {
-        if (ref.uri === params.textDocument.uri) {
-          edits.push({
-            range: ref.selectionRange,
-            newText: newName
-          });
-        }
+      const references = new NameReferences(this.documentManager);
+      const ref = references.at(params.textDocument.uri, params.position);
+      if (!ref?.symbol) return null;
+      const invalidControl = [...params.newName].some((ch) => {
+        const code = ch.charCodeAt(0);
+        return code < 32 && !"	\n\r".includes(ch) || code === 127;
+      });
+      if (!params.newName || invalidControl) {
+        throw new import_node10.ResponseError(import_node10.ErrorCodes.InvalidParams, "A SysML name must be non-empty and contain printable characters or escaped whitespace.");
       }
-      const lines = text.split("\n");
-      for (let i = 0; i < lines.length; i++) {
-        for (const col of findWordOccurrences(lines[i], oldName)) {
-          const range = {
-            start: { line: i, character: col },
-            end: { line: i, character: col + oldName.length }
-          };
-          if (!edits.some((e) => e.range.start.line === i && e.range.start.character === col)) {
-            edits.push({ range, newText: newName });
-          }
-        }
+      const parsed = params.newName.startsWith("'") ? readNameAt(params.newName, 0) : void 0;
+      if (params.newName.startsWith("'") && parsed?.end !== params.newName.length) {
+        throw new import_node10.ResponseError(import_node10.ErrorCodes.InvalidParams, "The quoted SysML name is incomplete or contains an invalid escape sequence.");
       }
-      if (edits.length === 0) return null;
-      return {
-        changes: {
-          [params.textDocument.uri]: edits
-        }
-      };
+      const newText = quoteName(parsed?.name ?? params.newName);
+      const changes = {};
+      for (const occurrence of references.to(ref.symbol)) {
+        if (occurrence.name !== ref.name) continue;
+        (changes[occurrence.uri] ??= []).push({ range: occurrence.range, newText });
+      }
+      return Object.keys(changes).length > 0 ? { changes } : null;
     }
   };
 
   // server/src/providers/semanticTokensProvider.ts
-  var import_node9 = __toESM(require_main3());
+  var import_node11 = __toESM(require_main3());
   var OPERATOR_TOKENS = /* @__PURE__ */ new Set([
     SysMLv2Lexer.BANG_EQ_EQ,
     // !==
@@ -140565,7 +140808,7 @@ ${info.documentation}`);
       if (this.tokenCache && this.tokenCache.uri === uri && this.tokenCache.version === version) {
         return this.tokenCache.tokens;
       }
-      const builder = new import_node9.SemanticTokensBuilder();
+      const builder = new import_node11.SemanticTokensBuilder();
       const result = this.documentManager.get(uri);
       if (!result) {
         return builder.build();
@@ -140645,7 +140888,7 @@ ${info.documentation}`);
   };
 
   // server/src/providers/semanticValidator.ts
-  var import_node10 = __toESM(require_main3());
+  var import_node12 = __toESM(require_main3());
   var CONSTRAINT_KEYWORDS = /* @__PURE__ */ new Set([
     "and",
     "or",
@@ -140771,7 +141014,7 @@ ${info.documentation}`);
       const { resolved, strippedTypeName: typeName } = resolveTypeName(symbol.typeName, symbol, this.namespaceResolver, indexes, libraryNames);
       if (resolved) return [];
       const isMandatory = symbol.multiplicityRange && symbol.multiplicityRange.lower >= 1;
-      const severity = isMandatory ? import_node10.DiagnosticSeverity.Error : import_node10.DiagnosticSeverity.Warning;
+      const severity = isMandatory ? import_node12.DiagnosticSeverity.Error : import_node12.DiagnosticSeverity.Warning;
       let message = `Type '${typeName}' is not defined in the current document or standard library`;
       if (isMandatory) {
         const multStr = symbol.multiplicity ?? "1";
@@ -140797,7 +141040,7 @@ ${info.documentation}`);
       const { lower, upper } = symbol.multiplicityRange;
       if (typeof upper === "number" && lower > upper) {
         return [{
-          severity: import_node10.DiagnosticSeverity.Error,
+          severity: import_node12.DiagnosticSeverity.Error,
           range: symbol.selectionRange,
           message: `Invalid multiplicity [${symbol.multiplicity}]: lower bound (${lower}) exceeds upper bound (${upper})`,
           source: "sysml",
@@ -140806,7 +141049,7 @@ ${info.documentation}`);
       }
       if (lower < 0) {
         return [{
-          severity: import_node10.DiagnosticSeverity.Error,
+          severity: import_node12.DiagnosticSeverity.Error,
           range: symbol.selectionRange,
           message: `Invalid multiplicity [${symbol.multiplicity}]: lower bound cannot be negative`,
           source: "sysml",
@@ -140830,7 +141073,7 @@ ${info.documentation}`);
       );
       if (!hasEnumValues) {
         return [{
-          severity: import_node10.DiagnosticSeverity.Information,
+          severity: import_node12.DiagnosticSeverity.Information,
           range: symbol.selectionRange,
           message: `Enumeration '${displayName(symbol)}' has no enum values defined`,
           source: "sysml",
@@ -140850,7 +141093,7 @@ ${info.documentation}`);
         const ch = symbol.name[0];
         if (ch === ch.toLowerCase() && ch !== ch.toUpperCase()) {
           return [{
-            severity: import_node10.DiagnosticSeverity.Hint,
+            severity: import_node12.DiagnosticSeverity.Hint,
             range: symbol.selectionRange,
             message: `Definition '${symbol.name}' should use PascalCase`,
             source: "sysml",
@@ -140862,7 +141105,7 @@ ${info.documentation}`);
         const ch = symbol.name[0];
         if (ch === ch.toUpperCase() && ch !== ch.toLowerCase()) {
           return [{
-            severity: import_node10.DiagnosticSeverity.Hint,
+            severity: import_node12.DiagnosticSeverity.Hint,
             range: symbol.selectionRange,
             message: `Usage '${symbol.name}' should use camelCase`,
             source: "sysml",
@@ -140881,7 +141124,7 @@ ${info.documentation}`);
       if (!isDefinition(symbol.kind)) return [];
       if (symbol.documentation) return [];
       return [{
-        severity: import_node10.DiagnosticSeverity.Information,
+        severity: import_node12.DiagnosticSeverity.Information,
         range: symbol.selectionRange,
         message: `Definition '${displayName(symbol)}' has no documentation`,
         source: "sysml",
@@ -140900,23 +141143,23 @@ ${info.documentation}`);
       );
       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({
-            severity: import_node10.DiagnosticSeverity.Warning,
+            severity: import_node12.DiagnosticSeverity.Warning,
             range: def.selectionRange,
             message: `Definition '${def.name}' is not referenced by any usage in the workspace`,
             source: "sysml",
@@ -140991,7 +141234,7 @@ ${info.documentation}`);
         const cycle = this.followSpecializationChain(def.name, def.typeNames, visited, indexes);
         if (cycle) {
           diagnostics.push({
-            severity: import_node10.DiagnosticSeverity.Error,
+            severity: import_node12.DiagnosticSeverity.Error,
             range: def.selectionRange,
             message: `Circular specialization: ${cycle.join(" :> ")} :> ${cycle[0]}`,
             source: "sysml",
@@ -141079,7 +141322,7 @@ ${info.documentation}`);
         const isSatisfied = satisfiedNames.has(req.name) || req.qualifiedName !== void 0 && satisfiedNames.has(req.qualifiedName);
         if (!isSatisfied) {
           diagnostics.push({
-            severity: import_node10.DiagnosticSeverity.Warning,
+            severity: import_node12.DiagnosticSeverity.Warning,
             range: req.selectionRange,
             message: `Requirement '${req.name}' is not satisfied by any element`,
             source: "sysml",
@@ -141216,7 +141459,7 @@ ${info.documentation}`);
         if (!isVerified) {
           const message = isSatisfied ? `Requirement '${req.name}' is satisfied but has no verification case \u2014 consider adding: verify ${req.name} by <VerificationCase>;` : `Requirement '${req.name}' has no verification case \u2014 consider adding: verify ${req.name} by <VerificationCase>;`;
           diagnostics.push({
-            severity: import_node10.DiagnosticSeverity.Warning,
+            severity: import_node12.DiagnosticSeverity.Warning,
             range: req.selectionRange,
             message,
             source: "sysml",
@@ -141276,7 +141519,7 @@ ${info.documentation}`);
         const hasFilter = view.viewFilters && view.viewFilters.length > 0;
         if (!hasExpose && !hasFilter) {
           diagnostics.push({
-            severity: import_node10.DiagnosticSeverity.Information,
+            severity: import_node12.DiagnosticSeverity.Information,
             range: view.selectionRange,
             message: `View '${view.name}' has no expose or filter directives \u2014 it will show all elements`,
             source: "sysml",
@@ -141316,7 +141559,7 @@ ${info.documentation}`);
         const upperOk = baseUpper === "*" || curUpper !== "*" && curUpper <= baseUpper;
         if (lowerOk && upperOk) continue;
         diagnostics.push({
-          severity: import_node10.DiagnosticSeverity.Error,
+          severity: import_node12.DiagnosticSeverity.Error,
           range: s.selectionRange,
           message: `Redefinition multiplicity [${s.multiplicity ?? "?"}] is incompatible with base '${base.name}' multiplicity [${base.multiplicity ?? "?"}]`,
           source: "sysml",
@@ -141338,14 +141581,15 @@ ${info.documentation}`);
       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 leftPath = m2[1].split(".");
-        const rightPath = m2[2].split(".");
+      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, m2.index, 0).start, indexes);
+        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;
@@ -141355,10 +141599,10 @@ ${info.documentation}`);
         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;
@@ -141366,7 +141610,7 @@ ${info.documentation}`);
           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) ?? [];
@@ -141385,14 +141629,14 @@ ${info.documentation}`);
           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_node10.DiagnosticSeverity.Warning,
+          severity: import_node12.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;
@@ -141482,7 +141726,7 @@ ${info.documentation}`);
           const startInBody = trimStart >= 0 ? trimStart : 0;
           const trimmedLen = Math.max(1, b.body.trim().length);
           diagnostics.push({
-            severity: import_node10.DiagnosticSeverity.Warning,
+            severity: import_node12.DiagnosticSeverity.Warning,
             range: this.indexToRange(text, b.bodyOffset + startInBody, trimmedLen),
             message: "Invalid constraint body: expected expression, found documentation text",
             source: "sysml",
@@ -141495,15 +141739,11 @@ ${info.documentation}`);
         if (!parent) continue;
         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) {
@@ -141512,14 +141752,14 @@ ${info.documentation}`);
               continue;
             }
           }
-          const absoluteStart = b.bodyOffset + im.index;
+          const absoluteStart = b.bodyOffset + reference.start;
           diagnostics.push({
-            severity: import_node10.DiagnosticSeverity.Warning,
-            range: this.indexToRange(text, absoluteStart, expr.length),
+            severity: import_node12.DiagnosticSeverity.Warning,
+            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 }
           });
         }
       }
@@ -141713,25 +141953,6 @@ ${info.documentation}`);
     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;
@@ -141829,7 +142050,7 @@ ${info.documentation}`);
           if (defs.length > 1) {
             for (const def of defs) {
               diagnostics.push({
-                severity: import_node10.DiagnosticSeverity.Warning,
+                severity: import_node12.DiagnosticSeverity.Warning,
                 range: def.selectionRange,
                 message: `Duplicate definition: '${name}' is defined ${defs.length} times in the same scope`,
                 source: "sysml",
@@ -141871,7 +142092,7 @@ ${info.documentation}`);
         if (!conflicting) continue;
         const others = otherDeclarations(conflicting, symbol);
         diagnostics.push({
-          severity: import_node10.DiagnosticSeverity.Error,
+          severity: import_node12.DiagnosticSeverity.Error,
           range: symbol.selectionRange,
           message: `Ambiguous name '${symbol.name}': also declared as ${describeConflictingDeclarations(others, symbol.uri)}.`,
           source: "sysml",
@@ -141883,6 +142104,115 @@ ${info.documentation}`);
     }
   };
 
+  // server/src/providers/textValidationProvider.ts
+  var import_node13 = __toESM(require_main3());
+  var DEFAULT_TEXT_VALIDATION_SETTINGS = {
+    enabled: false,
+    maxDocuments: 5,
+    maxLines: 200,
+    maxCharacters: 8192,
+    maxTotalCharacters: 16384
+  };
+  function readTextValidationSettings(section) {
+    const raw = typeof section === "object" && section !== null ? section : {};
+    const limit = (value, fallback) => Number.isSafeInteger(value) && value > 0 ? value : fallback;
+    return {
+      enabled: raw.enabled === true,
+      maxDocuments: limit(raw.maxDocuments, DEFAULT_TEXT_VALIDATION_SETTINGS.maxDocuments),
+      maxLines: limit(raw.maxLines, DEFAULT_TEXT_VALIDATION_SETTINGS.maxLines),
+      maxCharacters: limit(raw.maxCharacters, DEFAULT_TEXT_VALIDATION_SETTINGS.maxCharacters),
+      maxTotalCharacters: limit(raw.maxTotalCharacters, DEFAULT_TEXT_VALIDATION_SETTINGS.maxTotalCharacters)
+    };
+  }
+  var TextValidationProvider = class {
+    /**
+     * `isReported` filters diagnostics as the server does before
+     * publishing them (`sysml.validation.disabledCodes`), so a text gets
+     * exactly what it would get as an open document.
+     */
+    constructor(documentManager2, semanticValidator2, isReported2 = () => true) {
+      this.documentManager = documentManager2;
+      this.semanticValidator = semanticValidator2;
+      this.isReported = isReported2;
+    }
+    documentManager;
+    semanticValidator;
+    isReported;
+    settings = { ...DEFAULT_TEXT_VALIDATION_SETTINGS };
+    /** Applies the client's settings to the requests that follow. */
+    configure(settings) {
+      this.settings = { ...settings };
+    }
+    /**
+     * The diagnostics each text would get as an open document, with all
+     * texts in place at the same time. Answers `MethodNotFound` while
+     * disabled, and `InvalidParams` for malformed parameters or parameters
+     * over a limit.
+     */
+    validate(params) {
+      if (!this.settings.enabled) {
+        throw new import_node13.ResponseError(
+          import_node13.ErrorCodes.MethodNotFound,
+          "sysml/validateText is experimental and disabled: set sysml.experimental.validateText.enabled to true."
+        );
+      }
+      const documents2 = this.checkDocuments(params?.documents);
+      const known = documents2.map((document) => ({ uri: this.knownSpelling(document.uri), text: document.text }));
+      const diagnostics = this.documentManager.withTexts(known, () => known.map(({ uri }) => this.diagnose(uri)));
+      return { documents: documents2.map((document, index2) => ({ uri: document.uri, diagnostics: diagnostics[index2] })) };
+    }
+    /** `documents` checked: a non-empty array of `{ uri, text }` within the limits, each naming a different document. */
+    checkDocuments(documents2) {
+      if (!Array.isArray(documents2) || documents2.length === 0) invalid('"documents" must be a non-empty array of { uri, text }.');
+      const { maxDocuments, maxLines, maxCharacters, maxTotalCharacters } = this.settings;
+      if (documents2.length > maxDocuments) {
+        invalid(`${documents2.length} documents, more than the ${maxDocuments} allowed (sysml.experimental.validateText.maxDocuments).`);
+      }
+      const checked = documents2;
+      let totalCharacters = 0;
+      checked.forEach((document, index2) => {
+        if (typeof document?.text !== "string") invalid(`documents[${index2}] needs "text", the SysML text to validate.`);
+        if (document.text.length > maxCharacters) {
+          invalid(`documents[${index2}] has ${document.text.length} characters, more than the ${maxCharacters} allowed (sysml.experimental.validateText.maxCharacters).`);
+        }
+        totalCharacters += document.text.length;
+        if (totalCharacters > maxTotalCharacters) {
+          invalid(`${totalCharacters} total characters, more than the ${maxTotalCharacters} allowed (sysml.experimental.validateText.maxTotalCharacters).`);
+        }
+        const lines = lineCount(document.text);
+        if (lines > maxLines) {
+          invalid(`documents[${index2}] has ${lines} lines, more than the ${maxLines} allowed (sysml.experimental.validateText.maxLines).`);
+        }
+        if (!isUri(document.uri)) invalid(`documents[${index2}] needs "uri", the document the text is the content of.`);
+        const earlier = checked.findIndex((other) => isSameDocumentUri(other.uri, document.uri));
+        if (earlier !== index2) invalid(`documents[${earlier}] and documents[${index2}] name the same document.`);
+      });
+      return checked;
+    }
+    /** The syntax, keyword and semantic diagnostics of the document at `uri`, as published for an open document. */
+    diagnose(uri) {
+      const diagnostics = new DiagnosticsProvider(this.documentManager).getDiagnostics(uri);
+      const parseResult = this.documentManager.get(uri);
+      if (parseResult) diagnostics.push(...validateKeywords(parseResult));
+      diagnostics.push(...this.semanticValidator.validate(uri));
+      return diagnostics.filter(this.isReported);
+    }
+    /** The spelling under which the server knows the document `uri` names, else `uri` itself (see `isSameDocumentUri`). */
+    knownSpelling(uri) {
+      return this.documentManager.getUris().find((known) => isSameDocumentUri(known, uri)) ?? uri;
+    }
+  };
+  function lineCount(text) {
+    const breaks = text.match(/\r\n|\r|\n/g)?.length ?? 0;
+    return text === "" || /[\r\n]$/.test(text) ? breaks : breaks + 1;
+  }
+  function isUri(value) {
+    return typeof value === "string" && value.trim() !== "";
+  }
+  function invalid(message) {
+    throw new import_node13.ResponseError(import_node13.ErrorCodes.InvalidParams, `sysml/validateText: ${message}`);
+  }
+
   // server/src/platform/shims/fs-promises.ts
   async function readFile(_path, _enc) {
     throw new Error("fs/promises.readFile is not available in the browser");
@@ -141963,7 +142293,7 @@ ${info.documentation}`);
     return void 0;
   }
   var connection = createServerConnection();
-  var documents = new import_node11.TextDocuments(TextDocument2);
+  var documents = new import_node14.TextDocuments(TextDocument2);
   var serverStartTime = Date.now();
   var documentManager = new DocumentManager();
   var modelProvider = new SysMLModelProvider(documentManager);
@@ -141980,6 +142310,7 @@ ${info.documentation}`);
   var codeActionProvider = new CodeActionProvider(documentManager);
   var formattingProvider = new FormattingProvider(documents);
   var semanticValidator = new SemanticValidator(documentManager);
+  var textValidationProvider = new TextValidationProvider(documentManager, semanticValidator, isReported);
   hoverProvider.setSemanticValidator(semanticValidator);
   var hasConfigurationCapability = false;
   var hasWorkspaceFolderCapability = false;
@@ -141991,11 +142322,11 @@ ${info.documentation}`);
   var isWorkspaceFile = false;
   var preloadOnOpen = "workspaceOnly";
   var disabledDiagnosticCodes = /* @__PURE__ */ new Set();
+  function isReported(diagnostic) {
+    return diagnostic.code === void 0 || !disabledDiagnosticCodes.has(String(diagnostic.code));
+  }
   function publishDiagnostics(uri, diagnostics) {
-    connection.sendDiagnostics({
-      uri,
-      diagnostics: diagnostics.filter((diagnostic) => diagnostic.code === void 0 || !disabledDiagnosticCodes.has(String(diagnostic.code)))
-    });
+    connection.sendDiagnostics({ uri, diagnostics: diagnostics.filter(isReported) });
   }
   var skipDirs = new Set(DEFAULT_SKIP_DIRS);
   var serverReady = false;
@@ -142128,7 +142459,7 @@ ${info.documentation}`);
     };
     const result = {
       capabilities: {
-        textDocumentSync: import_node11.TextDocumentSyncKind.Incremental,
+        textDocumentSync: import_node14.TextDocumentSyncKind.Incremental,
         // Completion
         completionProvider: {
           resolveProvider: true,
@@ -142156,7 +142487,7 @@ ${info.documentation}`);
         // Code actions (quick fixes)
         codeActionProvider: {
           codeActionKinds: [
-            import_node11.CodeActionKind.QuickFix
+            import_node14.CodeActionKind.QuickFix
           ]
         },
         // Document formatting
@@ -142177,7 +142508,7 @@ ${info.documentation}`);
   connection.onInitialized(async () => {
     if (hasConfigurationCapability) {
       connection.client.register(
-        import_node11.DidChangeConfigurationNotification.type,
+        import_node14.DidChangeConfigurationNotification.type,
         void 0
       );
     }
@@ -142238,6 +142569,8 @@ ${info.documentation}`);
     const validation = await connection.workspace.getConfiguration("sysml.validation");
     const codes = validation?.disabledCodes;
     disabledDiagnosticCodes = new Set(Array.isArray(codes) ? codes.filter((code) => typeof code === "string") : []);
+    const experimental = await connection.workspace.getConfiguration("sysml.experimental");
+    textValidationProvider.configure(readTextValidationSettings(experimental?.validateText));
   }
   function applySettings(config) {
     if (!config) return;
@@ -142591,6 +142924,10 @@ ${info.documentation}`);
     await initialization;
     return elementLookupProvider.elementLookup(params);
   });
+  connection.onRequest("sysml/validateText", async (params) => {
+    await initialization;
+    return textValidationProvider.validate(params);
+  });
   connection.onRequest("sysml/serverStats", () => {
     const mem = typeof process !== "undefined" && typeof process.memoryUsage === "function" ? process.memoryUsage() : { heapUsed: 0, heapTotal: 0, rss: 0, external: 0 };
     const toMB = (bytes) => Math.round(bytes / 1024 / 1024);