sysml-validate 0.10.17 → 0.10.18

package/out/main.js

@@ -717,22 +717,22 @@ var require_linkedMap = __commonJS({
       }
       forEach(callbackfn, thisArg) {
         const state = this._state;
-        let current = this._head;
-        while (current) {
+        let current2 = this._head;
+        while (current2) {
           if (thisArg) {
-            callbackfn.bind(thisArg)(current.value, current.key, this);
+            callbackfn.bind(thisArg)(current2.value, current2.key, this);
           } else {
-            callbackfn(current.value, current.key, this);
+            callbackfn(current2.value, current2.key, this);
           }
           if (this._state !== state) {
             throw new Error(`LinkedMap got modified during iteration.`);
           }
-          current = current.next;
+          current2 = current2.next;
         }
       }
       keys() {
         const state = this._state;
-        let current = this._head;
+        let current2 = this._head;
         const iterator = {
           [Symbol.iterator]: () => {
             return iterator;
@@ -741,9 +741,9 @@ var require_linkedMap = __commonJS({
             if (this._state !== state) {
               throw new Error(`LinkedMap got modified during iteration.`);
             }
-            if (current) {
-              const result = { value: current.key, done: false };
-              current = current.next;
+            if (current2) {
+              const result = { value: current2.key, done: false };
+              current2 = current2.next;
               return result;
             } else {
               return { value: void 0, done: true };
@@ -754,7 +754,7 @@ var require_linkedMap = __commonJS({
       }
       values() {
         const state = this._state;
-        let current = this._head;
+        let current2 = this._head;
         const iterator = {
           [Symbol.iterator]: () => {
             return iterator;
@@ -763,9 +763,9 @@ var require_linkedMap = __commonJS({
             if (this._state !== state) {
               throw new Error(`LinkedMap got modified during iteration.`);
             }
-            if (current) {
-              const result = { value: current.value, done: false };
-              current = current.next;
+            if (current2) {
+              const result = { value: current2.value, done: false };
+              current2 = current2.next;
               return result;
             } else {
               return { value: void 0, done: true };
@@ -776,7 +776,7 @@ var require_linkedMap = __commonJS({
       }
       entries() {
         const state = this._state;
-        let current = this._head;
+        let current2 = this._head;
         const iterator = {
           [Symbol.iterator]: () => {
             return iterator;
@@ -785,9 +785,9 @@ var require_linkedMap = __commonJS({
             if (this._state !== state) {
               throw new Error(`LinkedMap got modified during iteration.`);
             }
-            if (current) {
-              const result = { value: [current.key, current.value], done: false };
-              current = current.next;
+            if (current2) {
+              const result = { value: [current2.key, current2.value], done: false };
+              current2 = current2.next;
               return result;
             } else {
               return { value: void 0, done: true };
@@ -807,17 +807,17 @@ var require_linkedMap = __commonJS({
           this.clear();
           return;
         }
-        let current = this._head;
+        let current2 = this._head;
         let currentSize = this.size;
-        while (current && currentSize > newSize) {
-          this._map.delete(current.key);
-          current = current.next;
+        while (current2 && currentSize > newSize) {
+          this._map.delete(current2.key);
+          current2 = current2.next;
           currentSize--;
         }
-        this._head = current;
+        this._head = current2;
         this._size = currentSize;
-        if (current) {
-          current.previous = void 0;
+        if (current2) {
+          current2.previous = void 0;
         }
         this._state++;
       }
@@ -3098,7 +3098,7 @@ var require_main = __commonJS({
     exports2.createMessageConnection = exports2.createServerSocketTransport = exports2.createClientSocketTransport = exports2.createServerPipeTransport = exports2.createClientPipeTransport = exports2.generateRandomPipeName = exports2.StreamMessageWriter = exports2.StreamMessageReader = exports2.SocketMessageWriter = exports2.SocketMessageReader = exports2.PortMessageWriter = exports2.PortMessageReader = exports2.IPCMessageWriter = exports2.IPCMessageReader = void 0;
     var ril_1 = require_ril();
     ril_1.default.install();
-    var path12 = __require("path");
+    var path10 = __require("path");
     var os2 = __require("os");
     var crypto_1 = __require("crypto");
     var net_1 = __require("net");
@@ -3234,9 +3234,9 @@ var require_main = __commonJS({
       }
       let result;
       if (XDG_RUNTIME_DIR) {
-        result = path12.join(XDG_RUNTIME_DIR, `vscode-ipc-${randomSuffix}.sock`);
+        result = path10.join(XDG_RUNTIME_DIR, `vscode-ipc-${randomSuffix}.sock`);
       } else {
-        result = path12.join(os2.tmpdir(), `vscode-${randomSuffix}.sock`);
+        result = path10.join(os2.tmpdir(), `vscode-${randomSuffix}.sock`);
       }
       const limit = safeIpcPathLengths.get(process.platform);
       if (limit !== void 0 && result.length > limit) {
@@ -8326,8 +8326,8 @@ var require_files = __commonJS({
     Object.defineProperty(exports2, "__esModule", { value: true });
     exports2.resolveModulePath = exports2.FileSystem = exports2.resolveGlobalYarnPath = exports2.resolveGlobalNodePath = exports2.resolve = exports2.uriToFilePath = void 0;
     var url = __require("url");
-    var path12 = __require("path");
-    var fs11 = __require("fs");
+    var path10 = __require("path");
+    var fs9 = __require("fs");
     var child_process_1 = __require("child_process");
     function uriToFilePath(uri) {
       let parsed = url.parse(uri);
@@ -8345,7 +8345,7 @@ var require_files = __commonJS({
           segments.shift();
         }
       }
-      return path12.normalize(segments.join("/"));
+      return path10.normalize(segments.join("/"));
     }
     exports2.uriToFilePath = uriToFilePath;
     function isWindows() {
@@ -8374,9 +8374,9 @@ var require_files = __commonJS({
         let env = process.env;
         let newEnv = /* @__PURE__ */ Object.create(null);
         Object.keys(env).forEach((key) => newEnv[key] = env[key]);
-        if (nodePath && fs11.existsSync(nodePath)) {
+        if (nodePath && fs9.existsSync(nodePath)) {
           if (newEnv[nodePathKey]) {
-            newEnv[nodePathKey] = nodePath + path12.delimiter + newEnv[nodePathKey];
+            newEnv[nodePathKey] = nodePath + path10.delimiter + newEnv[nodePathKey];
           } else {
             newEnv[nodePathKey] = nodePath;
           }
@@ -8449,9 +8449,9 @@ var require_files = __commonJS({
         }
         if (prefix.length > 0) {
           if (isWindows()) {
-            return path12.join(prefix, "node_modules");
+            return path10.join(prefix, "node_modules");
           } else {
-            return path12.join(prefix, "lib", "node_modules");
+            return path10.join(prefix, "lib", "node_modules");
           }
         }
         return void 0;
@@ -8491,7 +8491,7 @@ var require_files = __commonJS({
           try {
             let yarn = JSON.parse(line);
             if (yarn.type === "log") {
-              return path12.join(yarn.data, "node_modules");
+              return path10.join(yarn.data, "node_modules");
             }
           } catch (e) {
           }
@@ -8514,24 +8514,24 @@ var require_files = __commonJS({
         if (process.platform === "win32") {
           _isCaseSensitive = false;
         } else {
-          _isCaseSensitive = !fs11.existsSync(__filename.toUpperCase()) || !fs11.existsSync(__filename.toLowerCase());
+          _isCaseSensitive = !fs9.existsSync(__filename.toUpperCase()) || !fs9.existsSync(__filename.toLowerCase());
         }
         return _isCaseSensitive;
       }
       FileSystem2.isCaseSensitive = isCaseSensitive;
       function isParent(parent, child) {
         if (isCaseSensitive()) {
-          return path12.normalize(child).indexOf(path12.normalize(parent)) === 0;
+          return path10.normalize(child).indexOf(path10.normalize(parent)) === 0;
         } else {
-          return path12.normalize(child).toLowerCase().indexOf(path12.normalize(parent).toLowerCase()) === 0;
+          return path10.normalize(child).toLowerCase().indexOf(path10.normalize(parent).toLowerCase()) === 0;
         }
       }
       FileSystem2.isParent = isParent;
     })(FileSystem || (exports2.FileSystem = FileSystem = {}));
     function resolveModulePath(workspaceRoot, moduleName, nodePath, tracer) {
       if (nodePath) {
-        if (!path12.isAbsolute(nodePath)) {
-          nodePath = path12.join(workspaceRoot, nodePath);
+        if (!path10.isAbsolute(nodePath)) {
+          nodePath = path10.join(workspaceRoot, nodePath);
         }
         return resolve7(moduleName, nodePath, nodePath, tracer).then((value) => {
           if (FileSystem.isParent(nodePath, value)) {
@@ -8885,8 +8885,8 @@ ${stack}`);
 });
 
 // src/main.ts
-import * as fs10 from "fs";
-import * as path11 from "path";
+import * as fs8 from "fs";
+import * as path9 from "path";
 import { fileURLToPath as fileURLToPath2, pathToFileURL } from "url";
 
 // src/args.ts
@@ -9197,8 +9197,8 @@ function formatReport(run, options) {
 }
 
 // src/validate.ts
-import * as fs9 from "fs";
-import * as path10 from "path";
+import * as fs7 from "fs";
+import * as path8 from "path";
 import { fileURLToPath } from "url";
 
 // ../../node_modules/.pnpm/langium@3.5.0/node_modules/langium/lib/index.js
@@ -10089,12 +10089,12 @@ function getInteriorNodes(start, end) {
 function getCommonParent(a2, b) {
   const aParents = getParentChain(a2);
   const bParents = getParentChain(b);
-  let current;
+  let current2;
   for (let i = 0; i < aParents.length && i < bParents.length; i++) {
     const aParent = aParents[i];
     const bParent = bParents[i];
     if (aParent.parent === bParent.parent) {
-      current = {
+      current2 = {
         parent: aParent.parent,
         a: aParent.index,
         b: bParent.index
@@ -10103,7 +10103,7 @@ function getCommonParent(a2, b) {
       break;
     }
   }
-  return current;
+  return current2;
 }
 function getParentChain(node) {
   const chain = [];
@@ -13865,19 +13865,19 @@ function toKey(value) {
 var toKey_default = toKey;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/_baseGet.js
-function baseGet(object, path12) {
-  path12 = castPath_default(path12, object);
-  var index = 0, length = path12.length;
+function baseGet(object, path10) {
+  path10 = castPath_default(path10, object);
+  var index = 0, length = path10.length;
   while (object != null && index < length) {
-    object = object[toKey_default(path12[index++])];
+    object = object[toKey_default(path10[index++])];
   }
   return index && index == length ? object : void 0;
 }
 var baseGet_default = baseGet;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/get.js
-function get(object, path12, defaultValue) {
-  var result = object == null ? void 0 : baseGet_default(object, path12);
+function get(object, path10, defaultValue) {
+  var result = object == null ? void 0 : baseGet_default(object, path10);
   return result === void 0 ? defaultValue : result;
 }
 var get_default = get;
@@ -14789,11 +14789,11 @@ function baseHasIn(object, key) {
 var baseHasIn_default = baseHasIn;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/_hasPath.js
-function hasPath(object, path12, hasFunc) {
-  path12 = castPath_default(path12, object);
-  var index = -1, length = path12.length, result = false;
+function hasPath(object, path10, hasFunc) {
+  path10 = castPath_default(path10, object);
+  var index = -1, length = path10.length, result = false;
   while (++index < length) {
-    var key = toKey_default(path12[index]);
+    var key = toKey_default(path10[index]);
     if (!(result = object != null && hasFunc(object, key))) {
       break;
     }
@@ -14808,21 +14808,21 @@ function hasPath(object, path12, hasFunc) {
 var hasPath_default = hasPath;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/hasIn.js
-function hasIn(object, path12) {
-  return object != null && hasPath_default(object, path12, baseHasIn_default);
+function hasIn(object, path10) {
+  return object != null && hasPath_default(object, path10, baseHasIn_default);
 }
 var hasIn_default = hasIn;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/_baseMatchesProperty.js
 var COMPARE_PARTIAL_FLAG6 = 1;
 var COMPARE_UNORDERED_FLAG4 = 2;
-function baseMatchesProperty(path12, srcValue) {
-  if (isKey_default(path12) && isStrictComparable_default(srcValue)) {
-    return matchesStrictComparable_default(toKey_default(path12), srcValue);
+function baseMatchesProperty(path10, srcValue) {
+  if (isKey_default(path10) && isStrictComparable_default(srcValue)) {
+    return matchesStrictComparable_default(toKey_default(path10), srcValue);
   }
   return function(object) {
-    var objValue = get_default(object, path12);
-    return objValue === void 0 && objValue === srcValue ? hasIn_default(object, path12) : baseIsEqual_default(srcValue, objValue, COMPARE_PARTIAL_FLAG6 | COMPARE_UNORDERED_FLAG4);
+    var objValue = get_default(object, path10);
+    return objValue === void 0 && objValue === srcValue ? hasIn_default(object, path10) : baseIsEqual_default(srcValue, objValue, COMPARE_PARTIAL_FLAG6 | COMPARE_UNORDERED_FLAG4);
   };
 }
 var baseMatchesProperty_default = baseMatchesProperty;
@@ -14836,16 +14836,16 @@ function baseProperty(key) {
 var baseProperty_default = baseProperty;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/_basePropertyDeep.js
-function basePropertyDeep(path12) {
+function basePropertyDeep(path10) {
   return function(object) {
-    return baseGet_default(object, path12);
+    return baseGet_default(object, path10);
   };
 }
 var basePropertyDeep_default = basePropertyDeep;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/property.js
-function property(path12) {
-  return isKey_default(path12) ? baseProperty_default(toKey_default(path12)) : basePropertyDeep_default(path12);
+function property(path10) {
+  return isKey_default(path10) ? baseProperty_default(toKey_default(path10)) : basePropertyDeep_default(path10);
 }
 var property_default = property;
 
@@ -15213,8 +15213,8 @@ function baseHas(object, key) {
 var baseHas_default = baseHas;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/has.js
-function has(object, path12) {
-  return object != null && hasPath_default(object, path12, baseHas_default);
+function has(object, path10) {
+  return object != null && hasPath_default(object, path10, baseHas_default);
 }
 var has_default = has;
 
@@ -15337,14 +15337,14 @@ function negate(predicate) {
 var negate_default = negate;
 
 // ../../node_modules/.pnpm/lodash-es@4.17.21/node_modules/lodash-es/_baseSet.js
-function baseSet(object, path12, value, customizer) {
+function baseSet(object, path10, value, customizer) {
   if (!isObject_default(object)) {
     return object;
   }
-  path12 = castPath_default(path12, object);
-  var index = -1, length = path12.length, lastIndex = length - 1, nested = object;
+  path10 = castPath_default(path10, object);
+  var index = -1, length = path10.length, lastIndex = length - 1, nested = object;
   while (nested != null && ++index < length) {
-    var key = toKey_default(path12[index]), newValue = value;
+    var key = toKey_default(path10[index]), newValue = value;
     if (key === "__proto__" || key === "constructor" || key === "prototype") {
       return object;
     }
@@ -15352,7 +15352,7 @@ function baseSet(object, path12, value, customizer) {
       var objValue = nested[key];
       newValue = customizer ? customizer(objValue, key, nested) : void 0;
       if (newValue === void 0) {
-        newValue = isObject_default(objValue) ? objValue : isIndex_default(path12[index + 1]) ? [] : {};
+        newValue = isObject_default(objValue) ? objValue : isIndex_default(path10[index + 1]) ? [] : {};
       }
     }
     assignValue_default(nested, key, newValue);
@@ -15366,9 +15366,9 @@ var baseSet_default = baseSet;
 function basePickBy(object, paths, predicate) {
   var index = -1, length = paths.length, result = {};
   while (++index < length) {
-    var path12 = paths[index], value = baseGet_default(object, path12);
-    if (predicate(value, path12)) {
-      baseSet_default(result, castPath_default(path12, object), value);
+    var path10 = paths[index], value = baseGet_default(object, path10);
+    if (predicate(value, path10)) {
+      baseSet_default(result, castPath_default(path10, object), value);
     }
   }
   return result;
@@ -15384,8 +15384,8 @@ function pickBy(object, predicate) {
     return [prop];
   });
   predicate = baseIteratee_default(predicate);
-  return basePickBy_default(object, props, function(value, path12) {
-    return predicate(value, path12[0]);
+  return basePickBy_default(object, props, function(value, path10) {
+    return predicate(value, path10[0]);
   });
 }
 var pickBy_default = pickBy;
@@ -16983,12 +16983,12 @@ function assignCategoriesMapProp(tokenTypes) {
     singleAssignCategoriesToksMap([], currTokType);
   });
 }
-function singleAssignCategoriesToksMap(path12, nextNode) {
-  forEach_default(path12, (pathNode) => {
+function singleAssignCategoriesToksMap(path10, nextNode) {
+  forEach_default(path10, (pathNode) => {
     nextNode.categoryMatchesMap[pathNode.tokenTypeIdx] = true;
   });
   forEach_default(nextNode.CATEGORIES, (nextCategory) => {
-    const newPath = path12.concat(nextNode);
+    const newPath = path10.concat(nextNode);
     if (!includes_default(newPath, nextCategory)) {
       singleAssignCategoriesToksMap(newPath, nextCategory);
     }
@@ -17832,10 +17832,10 @@ var GastRefResolverVisitor = class extends GAstVisitor {
 
 // ../../node_modules/.pnpm/chevrotain@11.0.3/node_modules/chevrotain/lib/src/parse/grammar/interpreter.js
 var AbstractNextPossibleTokensWalker = class extends RestWalker {
-  constructor(topProd, path12) {
+  constructor(topProd, path10) {
     super();
     this.topProd = topProd;
-    this.path = path12;
+    this.path = path10;
     this.possibleTokTypes = [];
     this.nextProductionName = "";
     this.nextProductionOccurrence = 0;
@@ -17879,9 +17879,9 @@ var AbstractNextPossibleTokensWalker = class extends RestWalker {
   }
 };
 var NextAfterTokenWalker = class extends AbstractNextPossibleTokensWalker {
-  constructor(topProd, path12) {
-    super(topProd, path12);
-    this.path = path12;
+  constructor(topProd, path10) {
+    super(topProd, path10);
+    this.path = path10;
     this.nextTerminalName = "";
     this.nextTerminalOccurrence = 0;
     this.nextTerminalName = this.path.lastTok.name;
@@ -18486,10 +18486,10 @@ function initializeArrayOfArrays(size) {
   }
   return result;
 }
-function pathToHashKeys(path12) {
+function pathToHashKeys(path10) {
   let keys3 = [""];
-  for (let i = 0; i < path12.length; i++) {
-    const tokType = path12[i];
+  for (let i = 0; i < path10.length; i++) {
+    const tokType = path10[i];
     const longerKeys = [];
     for (let j = 0; j < keys3.length; j++) {
       const currShorterKey = keys3[j];
@@ -18728,7 +18728,7 @@ function validateRuleIsOverridden(ruleName, definedRulesNames, className) {
   }
   return errors;
 }
-function validateNoLeftRecursion(topRule, currRule, errMsgProvider, path12 = []) {
+function validateNoLeftRecursion(topRule, currRule, errMsgProvider, path10 = []) {
   const errors = [];
   const nextNonTerminals = getFirstNoneTerminal(currRule.definition);
   if (isEmpty_default(nextNonTerminals)) {
@@ -18740,15 +18740,15 @@ function validateNoLeftRecursion(topRule, currRule, errMsgProvider, path12 = [])
       errors.push({
         message: errMsgProvider.buildLeftRecursionError({
           topLevelRule: topRule,
-          leftRecursionPath: path12
+          leftRecursionPath: path10
         }),
         type: ParserDefinitionErrorType.LEFT_RECURSION,
         ruleName
       });
     }
-    const validNextSteps = difference_default(nextNonTerminals, path12.concat([topRule]));
+    const validNextSteps = difference_default(nextNonTerminals, path10.concat([topRule]));
     const errorsFromNextSteps = flatMap_default(validNextSteps, (currRefRule) => {
-      const newPath = clone_default(path12);
+      const newPath = clone_default(path10);
       newPath.push(currRefRule);
       return validateNoLeftRecursion(topRule, currRefRule, errMsgProvider, newPath);
     });
@@ -22356,19 +22356,19 @@ function toKey2(value) {
 var toKey_default2 = toKey2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/_baseGet.js
-function baseGet2(object, path12) {
-  path12 = castPath_default2(path12, object);
-  var index = 0, length = path12.length;
+function baseGet2(object, path10) {
+  path10 = castPath_default2(path10, object);
+  var index = 0, length = path10.length;
   while (object != null && index < length) {
-    object = object[toKey_default2(path12[index++])];
+    object = object[toKey_default2(path10[index++])];
   }
   return index && index == length ? object : void 0;
 }
 var baseGet_default2 = baseGet2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/get.js
-function get2(object, path12, defaultValue) {
-  var result = object == null ? void 0 : baseGet_default2(object, path12);
+function get2(object, path10, defaultValue) {
+  var result = object == null ? void 0 : baseGet_default2(object, path10);
   return result === void 0 ? defaultValue : result;
 }
 var get_default2 = get2;
@@ -22380,11 +22380,11 @@ function baseHasIn2(object, key) {
 var baseHasIn_default2 = baseHasIn2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/_hasPath.js
-function hasPath2(object, path12, hasFunc) {
-  path12 = castPath_default2(path12, object);
-  var index = -1, length = path12.length, result = false;
+function hasPath2(object, path10, hasFunc) {
+  path10 = castPath_default2(path10, object);
+  var index = -1, length = path10.length, result = false;
   while (++index < length) {
-    var key = toKey_default2(path12[index]);
+    var key = toKey_default2(path10[index]);
     if (!(result = object != null && hasFunc(object, key))) {
       break;
     }
@@ -22399,21 +22399,21 @@ function hasPath2(object, path12, hasFunc) {
 var hasPath_default2 = hasPath2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/hasIn.js
-function hasIn2(object, path12) {
-  return object != null && hasPath_default2(object, path12, baseHasIn_default2);
+function hasIn2(object, path10) {
+  return object != null && hasPath_default2(object, path10, baseHasIn_default2);
 }
 var hasIn_default2 = hasIn2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/_baseMatchesProperty.js
 var COMPARE_PARTIAL_FLAG12 = 1;
 var COMPARE_UNORDERED_FLAG8 = 2;
-function baseMatchesProperty2(path12, srcValue) {
-  if (isKey_default2(path12) && isStrictComparable_default2(srcValue)) {
-    return matchesStrictComparable_default2(toKey_default2(path12), srcValue);
+function baseMatchesProperty2(path10, srcValue) {
+  if (isKey_default2(path10) && isStrictComparable_default2(srcValue)) {
+    return matchesStrictComparable_default2(toKey_default2(path10), srcValue);
   }
   return function(object) {
-    var objValue = get_default2(object, path12);
-    return objValue === void 0 && objValue === srcValue ? hasIn_default2(object, path12) : baseIsEqual_default2(srcValue, objValue, COMPARE_PARTIAL_FLAG12 | COMPARE_UNORDERED_FLAG8);
+    var objValue = get_default2(object, path10);
+    return objValue === void 0 && objValue === srcValue ? hasIn_default2(object, path10) : baseIsEqual_default2(srcValue, objValue, COMPARE_PARTIAL_FLAG12 | COMPARE_UNORDERED_FLAG8);
   };
 }
 var baseMatchesProperty_default2 = baseMatchesProperty2;
@@ -22433,16 +22433,16 @@ function baseProperty2(key) {
 var baseProperty_default2 = baseProperty2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/_basePropertyDeep.js
-function basePropertyDeep2(path12) {
+function basePropertyDeep2(path10) {
   return function(object) {
-    return baseGet_default2(object, path12);
+    return baseGet_default2(object, path10);
   };
 }
 var basePropertyDeep_default2 = basePropertyDeep2;
 
 // ../../node_modules/.pnpm/lodash-es@4.18.1/node_modules/lodash-es/property.js
-function property2(path12) {
-  return isKey_default2(path12) ? baseProperty_default2(toKey_default2(path12)) : basePropertyDeep_default2(path12);
+function property2(path10) {
+  return isKey_default2(path10) ? baseProperty_default2(toKey_default2(path10)) : basePropertyDeep_default2(path10);
 }
 var property_default2 = property2;
 
@@ -22955,9 +22955,9 @@ function getATNConfigKey(config, alt = true) {
 function baseExtremum(array, iteratee, comparator) {
   var index = -1, length = array.length;
   while (++index < length) {
-    var value = array[index], current = iteratee(value);
-    if (current != null && (computed === void 0 ? current === current && !isSymbol_default2(current) : comparator(current, computed))) {
-      var computed = current, result = value;
+    var value = array[index], current2 = iteratee(value);
+    if (current2 != null && (computed === void 0 ? current2 === current2 && !isSymbol_default2(current2) : comparator(current2, computed))) {
+      var computed = current2, result = value;
     }
   }
   return result;
@@ -23283,7 +23283,7 @@ var LLStarLookaheadStrategy = class extends LLkLookaheadStrategy {
       occurrence: prodOccurrence,
       prodType: "Alternation",
       rule
-    }), (currAlt) => map_default2(currAlt, (path12) => path12[0]));
+    }), (currAlt) => map_default2(currAlt, (path10) => path10[0]));
     if (isLL1Sequence(partialAlts, false) && !dynamicTokensEnabled) {
       const choiceToAlt = reduce_default2(partialAlts, (result, currAlt, idx) => {
         forEach_default2(currAlt, (currTokType) => {
@@ -23428,7 +23428,7 @@ function adaptivePredict(dfaCaches, decision, predicateSet, logging) {
 function performLookahead(dfa, s0, predicateSet, logging) {
   let previousD = s0;
   let i = 1;
-  const path12 = [];
+  const path10 = [];
   let t = this.LA(i++);
   while (true) {
     let d = getExistingTargetState(previousD, t);
@@ -23436,13 +23436,13 @@ function performLookahead(dfa, s0, predicateSet, logging) {
       d = computeLookaheadTarget.apply(this, [dfa, previousD, t, i, predicateSet, logging]);
     }
     if (d === DFA_ERROR) {
-      return buildAdaptivePredictError(path12, previousD, t);
+      return buildAdaptivePredictError(path10, previousD, t);
     }
     if (d.isAcceptState === true) {
       return d.prediction;
     }
     previousD = d;
-    path12.push(t);
+    path10.push(t);
     t = this.LA(i++);
   }
 }
@@ -23515,13 +23515,13 @@ function getProductionDslName2(prod) {
     throw Error("non exhaustive match");
   }
 }
-function buildAdaptivePredictError(path12, previous, current) {
+function buildAdaptivePredictError(path10, previous, current2) {
   const nextTransitions = flatMap_default2(previous.configs.elements, (e) => e.state.transitions);
   const nextTokenTypes = uniqBy_default(nextTransitions.filter((e) => e instanceof AtomTransition).map((e) => e.tokenType), (e) => e.tokenTypeIdx);
   return {
-    actualToken: current,
+    actualToken: current2,
     possibleTokenTypes: nextTokenTypes,
-    tokenPath: path12
+    tokenPath: path10
   };
 }
 function getExistingTargetState(state, token) {
@@ -24956,31 +24956,31 @@ var CstNodeBuilder = class {
       leafNode.root = this.rootNode;
       nodes.push(leafNode);
     }
-    let current = this.current;
+    let current2 = this.current;
     let added = false;
-    if (current.content.length > 0) {
-      current.content.push(...nodes);
+    if (current2.content.length > 0) {
+      current2.content.push(...nodes);
       return;
     }
-    while (current.container) {
-      const index = current.container.content.indexOf(current);
+    while (current2.container) {
+      const index = current2.container.content.indexOf(current2);
       if (index > 0) {
-        current.container.content.splice(index, 0, ...nodes);
+        current2.container.content.splice(index, 0, ...nodes);
         added = true;
         break;
       }
-      current = current.container;
+      current2 = current2.container;
     }
     if (!added) {
       this.rootNode.content.unshift(...nodes);
     }
   }
   construct(item) {
-    const current = this.current;
+    const current2 = this.current;
     if (typeof item.$type === "string") {
       this.current.astNode = item;
     }
-    item.$cstNode = current;
+    item.$cstNode = current2;
     const node = this.nodeStack.pop();
     if ((node === null || node === void 0 ? void 0 : node.content.length) === 0) {
       this.removeNode(node);
@@ -25278,16 +25278,16 @@ var LangiumParser = class extends AbstractLangiumParser {
       this.nodeBuilder.addHiddenNodes(hiddenTokens);
       const leafNode = this.nodeBuilder.buildLeafNode(token, feature);
       const { assignment, isCrossRef } = this.getAssignment(feature);
-      const current = this.current;
+      const current2 = this.current;
       if (assignment) {
         const convertedValue = isKeyword(feature) ? token.image : this.converter.convert(token.image, leafNode);
         this.assign(assignment.operator, assignment.feature, convertedValue, leafNode, isCrossRef);
-      } else if (isDataTypeNode(current)) {
+      } else if (isDataTypeNode(current2)) {
         let text = token.image;
         if (!isKeyword(feature)) {
           text = this.converter.convert(text, leafNode).toString();
         }
-        current.value += text;
+        current2.value += text;
       }
     }
   }
@@ -25324,11 +25324,11 @@ var LangiumParser = class extends AbstractLangiumParser {
     if (assignment) {
       this.assign(assignment.operator, assignment.feature, result, cstNode, isCrossRef);
     } else if (!assignment) {
-      const current = this.current;
-      if (isDataTypeNode(current)) {
-        current.value += result.toString();
+      const current2 = this.current;
+      if (isDataTypeNode(current2)) {
+        current2.value += result.toString();
       } else if (typeof result === "object" && result) {
-        const object = this.assignWithoutOverride(result, current);
+        const object = this.assignWithoutOverride(result, current2);
         const newItem = object;
         this.stack.pop();
         this.stack.push(newItem);
@@ -26153,9 +26153,9 @@ async function interruptAndCheck(token) {
   if (token === cancellation_exports.CancellationToken.None) {
     return;
   }
-  const current = performance.now();
-  if (current - lastTick >= globalInterruptionPeriod) {
-    lastTick = current;
+  const current2 = performance.now();
+  if (current2 - lastTick >= globalInterruptionPeriod) {
+    lastTick = current2;
     await delayNextTick();
     lastTick = performance.now();
   }
@@ -26752,7 +26752,7 @@ var UriUtils;
     return (a2 === null || a2 === void 0 ? void 0 : a2.toString()) === (b === null || b === void 0 ? void 0 : b.toString());
   }
   UriUtils2.equals = equals;
-  function relative4(from, to) {
+  function relative3(from, to) {
     const fromPath = typeof from === "string" ? URI2.parse(from).path : from.path;
     const toPath = typeof to === "string" ? URI2.parse(to).path : to.path;
     const fromParts = fromPath.split("/").filter((e) => e.length > 0);
@@ -26779,7 +26779,7 @@ var UriUtils;
     const toPart = toParts.slice(i).join("/");
     return backPart + toPart;
   }
-  UriUtils2.relative = relative4;
+  UriUtils2.relative = relative3;
   function normalize2(uri) {
     return URI2.parse(uri.toString()).toString();
   }
@@ -27195,12 +27195,12 @@ var DefaultReferences = class {
     const nameNode = this.nameProvider.getNameNode(targetNode);
     if (nameNode) {
       const doc = getDocument(targetNode);
-      const path12 = this.nodeLocator.getAstNodePath(targetNode);
+      const path10 = this.nodeLocator.getAstNodePath(targetNode);
       return {
         sourceUri: doc.uri,
-        sourcePath: path12,
+        sourcePath: path10,
         targetUri: doc.uri,
-        targetPath: path12,
+        targetPath: path10,
         segment: toDocumentSegment(nameNode),
         local: true
       };
@@ -28379,9 +28379,9 @@ var DefaultAstNodeDescriptionProvider = class {
   createDescription(node, name, document) {
     const doc = document !== null && document !== void 0 ? document : getDocument(node);
     name !== null && name !== void 0 ? name : name = this.nameProvider.getName(node);
-    const path12 = this.astNodeLocator.getAstNodePath(node);
+    const path10 = this.astNodeLocator.getAstNodePath(node);
     if (!name) {
-      throw new Error(`Node at path ${path12} has no name.`);
+      throw new Error(`Node at path ${path10} has no name.`);
     }
     let nameNodeSegment;
     const nameSegmentGetter = () => {
@@ -28397,7 +28397,7 @@ var DefaultAstNodeDescriptionProvider = class {
       selectionSegment: toDocumentSegment(node.$cstNode),
       type: node.$type,
       documentUri: doc.uri,
-      path: path12
+      path: path10
     };
   }
 };
@@ -28461,8 +28461,8 @@ var DefaultAstNodeLocator = class {
     }
     return $containerProperty;
   }
-  getAstNode(node, path12) {
-    const segments = path12.split(this.segmentSeparator);
+  getAstNode(node, path10) {
+    const segments = path10.split(this.segmentSeparator);
     return segments.reduce((previousValue, currentValue) => {
       if (!previousValue || currentValue.length === 0) {
         return previousValue;
@@ -56065,9 +56065,9 @@ var DefaultFuzzyMatcher = class {
     }
     return false;
   }
-  isWordTransition(previous, current) {
-    return a <= previous && previous <= z && A <= current && current <= Z || // camelCase transition
-    previous === _ && current !== _;
+  isWordTransition(previous, current2) {
+    return a <= previous && previous <= z && A <= current2 && current2 <= Z || // camelCase transition
+    previous === _ && current2 !== _;
   }
   toUpperCharCode(charCode) {
     if (a <= charCode && charCode <= z) {
@@ -57949,22 +57949,22 @@ function namespaceMembers(node) {
   return [...n?.elements ?? [], ...n?.members ?? []];
 }
 function expandImportInto(imp, globalDescriptions, out, options, visitedNamespaces) {
-  const path12 = importedPath(imp);
-  if (!path12)
+  const path10 = importedPath(imp);
+  if (!path10)
     return;
   const start = out.length;
-  const namedSegments = path12.split("::");
+  const namedSegments = path10.split("::");
   const wildcard = importWildcard(imp);
   if (wildcard === "none") {
-    const targetDesc = resolveImportedDescription(path12, globalDescriptions, options, visitedNamespaces);
+    const targetDesc = resolveImportedDescription(path10, globalDescriptions, options, visitedNamespaces);
     if (targetDesc) {
       const alias = imp.alias ?? namedSegments[namedSegments.length - 1];
       if (alias)
         out.push({ name: alias, targetName: targetDesc.name, description: targetDesc });
     }
   } else {
-    expandNamespaceMembers(path12, wildcard, globalDescriptions, out);
-    expandNamespaceImports(path12, globalDescriptions, out, options, visitedNamespaces);
+    expandNamespaceMembers(path10, wildcard, globalDescriptions, out);
+    expandNamespaceImports(path10, globalDescriptions, out, options, visitedNamespaces);
   }
   applyImportFilters(imp, out, start, options);
 }
@@ -58063,21 +58063,21 @@ function qualifiedNameMatches(a2, b) {
   }
   return true;
 }
-function resolveImportedDescription(path12, globalDescriptions, options, visitedNamespaces) {
-  const direct = globalDescriptions.find((desc) => desc.name === path12);
+function resolveImportedDescription(path10, globalDescriptions, options, visitedNamespaces) {
+  const direct = globalDescriptions.find((desc) => desc.name === path10);
   if (direct)
     return direct;
-  const split = path12.lastIndexOf("::");
+  const split = path10.lastIndexOf("::");
   if (split < 0)
     return void 0;
-  const ownerPath = path12.slice(0, split);
-  const simpleName2 = path12.slice(split + 2);
+  const ownerPath = path10.slice(0, split);
+  const simpleName2 = path10.slice(split + 2);
   const exported = [];
   expandNamespaceImports(ownerPath, globalDescriptions, exported, options, visitedNamespaces);
   return exported.find((entry) => entry.name === simpleName2)?.description;
 }
-function expandNamespaceMembers(path12, wildcard, globalDescriptions, out) {
-  const prefix = path12 + "::";
+function expandNamespaceMembers(path10, wildcard, globalDescriptions, out) {
+  const prefix = path10 + "::";
   for (const desc of globalDescriptions) {
     if (!desc.name.startsWith(prefix))
       continue;
@@ -58090,9 +58090,9 @@ function expandNamespaceMembers(path12, wildcard, globalDescriptions, out) {
     out.push({ name: simple, targetName: desc.name, description: desc });
   }
 }
-function expandNamespaceImports(path12, globalDescriptions, out, options, visitedNamespaces) {
+function expandNamespaceImports(path10, globalDescriptions, out, options, visitedNamespaces) {
   for (const namespaceDesc of globalDescriptions) {
-    if (namespaceDesc.name !== path12)
+    if (namespaceDesc.name !== path10)
       continue;
     const key = descriptionKey(namespaceDesc);
     if (visitedNamespaces.has(key))
@@ -58888,17 +58888,33 @@ function stereotypeMapping(inner) {
   return V1_STEREOTYPE_MAP[normalizeStereotype(inner)];
 }
 
+// ../language-server/out/src/platform/platform.js
+var current;
+function setPlatform(platform) {
+  current = platform;
+}
+function getPlatform() {
+  if (!current)
+    throw new Error("SysML: no platform installed \u2014 the entry point must call setPlatform() first.");
+  return current;
+}
+function hasPlatform() {
+  return current !== void 0;
+}
+
 // ../language-server/out/src/services/library-index-manager.js
-import * as path2 from "path";
 var SysmlIndexManager = class extends DefaultIndexManager {
   constructor(services) {
     super(services);
   }
+  // REQ-075, REQ-383 — `libraryRoot` is a URI and the concrete file URIs come
+  // from the platform, because the two hosts index the same library under
+  // different schemes (`file:` on the desktop, `sysml-lib:` in a worker).
   loadPrecomputedLibraryIndex(index, libraryRoot) {
+    const platform = getPlatform();
     let symbolCount = 0;
     for (const file of index.files) {
-      const filePath = path2.join(libraryRoot, ...file.path.split("/"));
-      const documentUri = URI2.file(filePath);
+      const documentUri = platform.libraryUri(libraryRoot, file.path);
       const descriptions = file.symbols.map((symbol) => this.deserializeSymbol(symbol, documentUri));
       const uri = documentUri.toString();
       this.symbolIndex.set(uri, descriptions);
@@ -58925,20 +58941,26 @@ function isSysmlIndexManager(value) {
   return typeof value.loadPrecomputedLibraryIndex === "function";
 }
 var libraryRoots = /* @__PURE__ */ new Set();
+var ROOT_SEPARATOR = "\0";
 function normalizeLibraryPath(p) {
   return p.replace(/\\/gu, "/").replace(/\/+$/u, "").toLowerCase();
 }
-function registerLibraryRoot(dirPath) {
-  if (dirPath && dirPath.length > 0)
-    libraryRoots.add(normalizeLibraryPath(URI2.file(dirPath).path));
+function registerLibraryRoot(root3) {
+  const uri = typeof root3 === "string" ? root3.length > 0 ? URI2.file(root3) : void 0 : root3;
+  if (!uri)
+    return;
+  libraryRoots.add(`${uri.scheme}${ROOT_SEPARATOR}${normalizeLibraryPath(uri.path)}`);
 }
 function isInsideDir(fsPath, dir) {
   return fsPath === dir || fsPath.startsWith(`${dir}/`);
 }
 function isStandardLibraryUri(uri) {
   const fsPath = normalizeLibraryPath(uri.path);
-  for (const root3 of libraryRoots) {
-    if (isInsideDir(fsPath, root3))
+  for (const entry of libraryRoots) {
+    const separator = entry.indexOf(ROOT_SEPARATOR);
+    if (entry.slice(0, separator) !== uri.scheme)
+      continue;
+    if (isInsideDir(fsPath, entry.slice(separator + 1)))
       return true;
   }
   return fsPath.split("/").some((segment) => segment === "sysml.library");
@@ -60053,9 +60075,9 @@ ${baseIndent}}`;
       if (isImport(child)) {
         imports.push(child);
         const alias = child.alias;
-        const path12 = importedPath(child);
-        if (alias && path12 && importWildcard(child) === "none")
-          aliasMap.set(alias, path12);
+        const path10 = importedPath(child);
+        if (alias && path10 && importWildcard(child) === "none")
+          aliasMap.set(alias, path10);
       } else if (isVerifyStmt(child))
         verifyStmts.push(child);
       else if (isSatisfyStmt(child))
@@ -60530,16 +60552,16 @@ ${baseIndent}}`;
   // REQ-320 — RES004 importing a private element from outside its namespace
   checkPrivateImports(imports, index, accept) {
     for (const imp of imports) {
-      const path12 = importedPath(imp);
-      if (!path12)
+      const path10 = importedPath(imp);
+      if (!path10)
         continue;
-      const target = this.resolve(path12, index, imp);
+      const target = this.resolve(path10, index, imp);
       if (!target || !isPrivate(target))
         continue;
       if (isWithinNamespaceOf(imp, target))
         continue;
-      const related = relatedInfo(target, `'${declName(target) ?? path12}' is declared private here`);
-      accept(severity("RES004", "error"), `'${path12}' is private and cannot be imported from outside its namespace.`, { node: imp, code: "RES004", relatedInformation: related ? [related] : void 0 });
+      const related = relatedInfo(target, `'${declName(target) ?? path10}' is declared private here`);
+      accept(severity("RES004", "error"), `'${path10}' is private and cannot be imported from outside its namespace.`, { node: imp, code: "RES004", relatedInformation: related ? [related] : void 0 });
     }
   }
   // REQ-320 — RES004 for wildcard imports. `import Lib::*` legitimately skips
@@ -60556,9 +60578,9 @@ ${baseIndent}}`;
       const kind = importWildcard(imp);
       if (kind === "none")
         continue;
-      const path12 = importedPath(imp);
-      if (path12)
-        wildcards.push({ path: path12, recursive: kind === "recursive" });
+      const path10 = importedPath(imp);
+      if (path10)
+        wildcards.push({ path: path10, recursive: kind === "recursive" });
     }
     if (wildcards.length === 0)
       return;
@@ -60623,10 +60645,10 @@ ${baseIndent}}`;
   // wildcard import (`import B::*` → `B`), or the owner of the named member for
   // a membership import (`import B::Member` → `B`). Resolved to its Package node.
   importTargetNamespace(imp, index) {
-    const path12 = importedPath(imp);
-    if (!path12)
+    const path10 = importedPath(imp);
+    if (!path10)
       return void 0;
-    const nsName = importWildcard(imp) === "none" ? path12.includes("::") ? path12.slice(0, path12.lastIndexOf("::")) : void 0 : path12;
+    const nsName = importWildcard(imp) === "none" ? path10.includes("::") ? path10.slice(0, path10.lastIndexOf("::")) : void 0 : path10;
     if (!nsName)
       return void 0;
     const node = this.resolve(nsName, index, imp);
@@ -60655,9 +60677,9 @@ ${baseIndent}}`;
     for (const imp of imports) {
       if (importIsUsed(imp, index, usedFull, usedFirst, this.nodeOf.bind(this)))
         continue;
-      const path12 = importedPath(imp) ?? imp.head;
+      const path10 = importedPath(imp) ?? imp.head;
       const baseSeverity = level === "error" ? "error" : "warning";
-      accept(severity("RES009", baseSeverity), `Import '${path12}' is never used in this file.`, { node: imp, code: "RES009", tags: [import_vscode_languageserver10.DiagnosticTag.Unnecessary] });
+      accept(severity("RES009", baseSeverity), `Import '${path10}' is never used in this file.`, { node: imp, code: "RES009", tags: [import_vscode_languageserver10.DiagnosticTag.Unnecessary] });
     }
   }
   // REQ-319 — RES003 cyclic specialization (warning)
@@ -61173,11 +61195,11 @@ function isClassifierNode(node) {
   return node.isDef === true || CLASSIFIER_TYPES.has(node.$type);
 }
 function hasAncestorType(node, type) {
-  let current = node.$container;
-  while (current) {
-    if (current.$type === type)
+  let current2 = node.$container;
+  while (current2) {
+    if (current2.$type === type)
       return true;
-    current = current.$container;
+    current2 = current2.$container;
   }
   return false;
 }
@@ -61347,17 +61369,17 @@ function collectUsedNames(root3) {
   return { usedFull, usedFirst };
 }
 function importIsUsed(imp, index, usedFull, usedFirst, nodeOf) {
-  const path12 = importedPath(imp);
-  if (!path12)
+  const path10 = importedPath(imp);
+  if (!path10)
     return true;
   const wildcard = importWildcard(imp);
-  const prefix = path12 + "::";
+  const prefix = path10 + "::";
   for (const ref of usedFull) {
-    if (ref === path12 || ref.startsWith(prefix))
+    if (ref === path10 || ref.startsWith(prefix))
       return true;
   }
   if (wildcard === "none") {
-    const named = path12.split("::");
+    const named = path10.split("::");
     const simple = imp.alias ?? named[named.length - 1];
     return usedFirst.has(simple);
   }
@@ -61440,8 +61462,8 @@ function applyLintProfile(diagnostics) {
 }
 
 // ../cli/src/services.ts
-import * as fs7 from "fs";
-import * as path8 from "path";
+import * as fs5 from "fs";
+import * as path6 from "path";
 
 // ../../node_modules/.pnpm/langium@3.5.0/node_modules/langium/lib/node/node-file-system-provider.js
 import * as fs from "node:fs";
@@ -62686,11 +62708,11 @@ function memberList(node) {
   return lines;
 }
 function nearestAncestor(node, types) {
-  let current = node;
-  while (current) {
-    if (types.has(current.$type))
-      return current;
-    current = current.$container;
+  let current2 = node;
+  while (current2) {
+    if (types.has(current2.$type))
+      return current2;
+    current2 = current2.$container;
   }
   return void 0;
 }
@@ -64034,8 +64056,8 @@ var SysmlCompletionProvider = class extends DefaultCompletionProvider {
     const root3 = document.parseResult.value;
     const enclosing = smallestNodeAtOffset(root3, offset);
     const owner = nearestMemberOwner(enclosing) ?? root3;
-    return collectReachablePorts(owner).map((path12) => ({
-      label: path12,
+    return collectReachablePorts(owner).map((path10) => ({
+      label: path10,
       kind: import_vscode_languageserver16.CompletionItemKind.Interface,
       detail: "Reachable port",
       sortText: "0"
@@ -64264,13 +64286,13 @@ function typingTarget(node) {
   return findNamedNode(ast_utils_exports.getDocument(node).parseResult.value, simpleName(refText), { definitionsOnly: true });
 }
 function resolveReceiverMembers(root3, receiver) {
-  let current = findNamedNode(root3, simpleName(receiver.split(/[.:]+/u)[0]));
+  let current2 = findNamedNode(root3, simpleName(receiver.split(/[.:]+/u)[0]));
   for (const segment of receiver.split(/(?:\.|::)/u).slice(1)) {
-    current = collectMembersWithTyped(current).find((member) => nodeName(member) === segment);
-    if (!current)
+    current2 = collectMembersWithTyped(current2).find((member) => nodeName(member) === segment);
+    if (!current2)
       return [];
   }
-  return collectMembersWithTyped(current);
+  return collectMembersWithTyped(current2);
 }
 function collectMembersWithTyped(node) {
   if (!node)
@@ -64323,11 +64345,11 @@ function smallestNodeAtOffset(root3, offset) {
   return best;
 }
 function nearestMemberOwner(node) {
-  let current = node;
-  while (current) {
-    if (nodeMembers(current).length > 0 && current.$type !== "Document")
-      return current;
-    current = current.$container;
+  let current2 = node;
+  while (current2) {
+    if (nodeMembers(current2).length > 0 && current2.$type !== "Document")
+      return current2;
+    current2 = current2.$container;
   }
   return void 0;
 }
@@ -64897,9 +64919,9 @@ var SysmlScopeComputation = class extends DefaultScopeComputation {
   combineSegments(segmentChoices, separator) {
     let paths = [""];
     for (const choices of segmentChoices) {
-      paths = paths.flatMap((path12) => choices.map((choice) => path12 ? `${path12}${separator}${choice}` : choice));
+      paths = paths.flatMap((path10) => choices.map((choice) => path10 ? `${path10}${separator}${choice}` : choice));
     }
-    return paths.filter((path12) => path12.length > 0);
+    return paths.filter((path10) => path10.length > 0);
   }
   nameAliasesOf(node) {
     const aliases = [];
@@ -64953,17 +64975,17 @@ function exportAliasKey(description) {
   return `${description.name}|${description.documentUri.toString()}|${description.path}`;
 }
 function directImportEntries(imp, descriptions) {
-  const path12 = importedPath(imp);
-  if (!path12)
+  const path10 = importedPath(imp);
+  if (!path10)
     return [];
   const wildcard = importWildcard(imp);
   if (wildcard === "none") {
-    const description = descriptions.find((candidate) => candidate.name === path12);
+    const description = descriptions.find((candidate) => candidate.name === path10);
     if (!description)
       return [];
-    return [{ name: imp.alias ?? path12.split("::").pop() ?? path12, description }];
+    return [{ name: imp.alias ?? path10.split("::").pop() ?? path10, description }];
   }
-  const prefix = `${path12}::`;
+  const prefix = `${path10}::`;
   const entries = [];
   const seen = /* @__PURE__ */ new Set();
   for (const description of descriptions) {
@@ -64999,7 +65021,6 @@ function specializationTargets4(node) {
 }
 
 // ../language-server/out/src/services/linker.js
-import * as fs2 from "fs";
 var SysmlLinker = class extends DefaultLinker {
   documentFactory;
   libraryDocs = /* @__PURE__ */ new Map();
@@ -65029,15 +65050,15 @@ var SysmlLinker = class extends DefaultLinker {
       this.libraryDocs.set(key, live);
       return live;
     }
-    try {
-      const text = fs2.readFileSync(uri.fsPath, "utf8");
-      const doc = this.documentFactory.fromString(text, uri);
-      doc.isLibraryDocument = true;
-      this.libraryDocs.set(key, doc);
-      return doc;
-    } catch {
+    if (!hasPlatform())
       return void 0;
-    }
+    const text = getPlatform().readLibrarySourceSync(uri);
+    if (text === void 0)
+      return void 0;
+    const doc = this.documentFactory.fromString(text, uri);
+    doc.isLibraryDocument = true;
+    this.libraryDocs.set(key, doc);
+    return doc;
   }
 };
 
@@ -65482,14 +65503,14 @@ ${indent}}`)]
     }
     const importNode = nearestAncestor2(rangeNode, isImport);
     if (importNode?.$cstNode && importNode.alias && importNode.segs.every((s) => !s.star && s.name)) {
-      const path12 = [importNode.head, ...importNode.segs.map((s) => s.name)].join("::");
+      const path10 = [importNode.head, ...importNode.segs.map((s) => s.name)].join("::");
       const prefix = importNode.visibility ? `${importNode.visibility} ` : "";
       actions.push({
-        title: `Convert to 'alias ${importNode.alias} for ${path12}'`,
+        title: `Convert to 'alias ${importNode.alias} for ${path10}'`,
         kind: import_vscode_languageserver18.CodeActionKind.RefactorRewrite,
         edit: {
           changes: {
-            [uri]: [import_vscode_languageserver18.TextEdit.replace(importNode.$cstNode.range, `${prefix}alias ${importNode.alias} for ${path12};`)]
+            [uri]: [import_vscode_languageserver18.TextEdit.replace(importNode.$cstNode.range, `${prefix}alias ${importNode.alias} for ${path10};`)]
           }
         }
       });
@@ -66455,10 +66476,10 @@ function indexByName(root3, type) {
   });
   return map3;
 }
-function lastSegment3(path12) {
-  if (!path12)
+function lastSegment3(path10) {
+  if (!path10)
     return void 0;
-  return path12.split(/::|\./).pop();
+  return path10.split(/::|\./).pop();
 }
 function qualifiedNameOf2(node) {
   const parts = [];
@@ -67152,8 +67173,6 @@ function normalizeDiagnosticCode(diagnostic) {
 
 // ../language-server/out/src/services/workspace-manager.js
 var import_vscode_languageserver26 = __toESM(require_main4(), 1);
-import * as fs3 from "fs/promises";
-import * as path3 from "path";
 var PROJECT_FILE_EXTENSIONS = /* @__PURE__ */ new Map([
   [".kpar", "kpar"],
   [".sysml", "source"],
@@ -67181,7 +67200,7 @@ var SysmlWorkspaceManager = class extends DefaultWorkspaceManager {
     this.folders = folders;
     this.projectInfo.clear();
     for (const folder of folders) {
-      this.projectInfo.set(folder.uri, await detectSysmlProjectFolder(folder, cancelToken));
+      this.projectInfo.set(folder.uri, await detectSysmlProjectFolder(folder, this.fileSystemProvider, cancelToken));
     }
     if (cancelToken.isCancellationRequested) {
       return;
@@ -67208,12 +67227,12 @@ var SysmlWorkspaceManager = class extends DefaultWorkspaceManager {
     return [...this.projectInfo.values()];
   }
 };
-async function detectSysmlProjectFolder(workspaceFolder, cancelToken = import_vscode_languageserver26.CancellationToken.None) {
+async function detectSysmlProjectFolder(workspaceFolder, fileSystem, cancelToken = import_vscode_languageserver26.CancellationToken.None) {
   const markers = [];
   let scanned = 0;
   let root3;
   try {
-    root3 = URI2.parse(workspaceFolder.uri).fsPath;
+    root3 = URI2.parse(workspaceFolder.uri);
   } catch {
     return { workspaceFolder, isSysmlProject: false, markers };
   }
@@ -67223,28 +67242,24 @@ async function detectSysmlProjectFolder(workspaceFolder, cancelToken = import_vs
     }
     let entries;
     try {
-      entries = await fs3.readdir(directory, { withFileTypes: true });
+      entries = await fileSystem.readDirectory(directory);
     } catch {
       return false;
     }
     scanned += entries.length;
     for (const entry of entries) {
-      if (!entry.isFile())
+      if (!entry.isFile)
         continue;
-      const name = entry.name.toLowerCase();
-      const kind = PROJECT_FILE_EXTENSIONS.get(path3.extname(name));
+      const kind = PROJECT_FILE_EXTENSIONS.get(extensionOf(UriUtils.basename(entry.uri)));
       if (!kind)
         continue;
-      markers.push({
-        kind,
-        path: path3.relative(root3, path3.join(directory, entry.name)).replace(/\\/g, "/")
-      });
+      markers.push({ kind, path: UriUtils.relative(root3, entry.uri) });
       return true;
     }
     for (const entry of entries) {
-      if (!entry.isDirectory() || SKIPPED_PROJECT_SCAN_DIRS.has(entry.name))
+      if (!entry.isDirectory || SKIPPED_PROJECT_SCAN_DIRS.has(UriUtils.basename(entry.uri)))
         continue;
-      if (await scanDirectory(path3.join(directory, entry.name)))
+      if (await scanDirectory(entry.uri))
         return true;
     }
     return false;
@@ -67256,6 +67271,11 @@ async function detectSysmlProjectFolder(workspaceFolder, cancelToken = import_vs
     markers
   };
 }
+function extensionOf(name) {
+  const lower = name.toLowerCase();
+  const dot = lower.lastIndexOf(".");
+  return dot > 0 ? lower.slice(dot) : "";
+}
 
 // ../language-server/out/src/services/value-converter.js
 var SysmlValueConverter = class extends DefaultValueConverter {
@@ -67368,17 +67388,134 @@ function createSysMLServices(context) {
 }
 
 // ../language-server/out/src/services/library-loader.js
-import * as path6 from "path";
-import * as fs5 from "fs";
+var INDEXING_STATUS_NOTIFICATION = "sysml/indexingStatus";
+var LIBRARY_LOAD_BATCH_SIZE = 8;
+var LibraryLoader = class {
+  shared;
+  constructor(shared) {
+    this.shared = shared;
+  }
+  // REQ-002, REQ-003, REQ-009, REQ-075, REQ-077, REQ-082, REQ-086, REQ-251 — Index bundled/configured SysML and KerML library files
+  async loadLibrary(userLibraryPath) {
+    const connection = this.shared.lsp.Connection;
+    const platform = getPlatform();
+    const resolved = await platform.resolveLibraryRoot(userLibraryPath);
+    if (!resolved) {
+      this.notify({ state: "ready", fileCount: 0, phase: "library" });
+      return 0;
+    }
+    const libRoot = resolved.uri;
+    registerLibraryRoot(libRoot);
+    if (resolved.bundled) {
+      const precomputed = await this.loadBundledPrecomputedIndex(libRoot);
+      if (precomputed !== void 0) {
+        connection?.console.log(`SysML: Loaded ${precomputed} precomputed library symbols from ${libRoot.toString()}`);
+        this.notify({
+          state: "ready",
+          fileCount: precomputed,
+          phase: "library",
+          mode: "precomputed"
+        });
+        return precomputed;
+      }
+      connection?.console.warn("SysML: bundled standard-library index missing or unreadable; falling back to runtime indexing.");
+    }
+    const files = await platform.collectLibraryFiles(libRoot);
+    if (files.length === 0) {
+      this.notify({ state: "ready", fileCount: 0, totalFileCount: 0, phase: "library", mode: "runtime" });
+      return 0;
+    }
+    this.notify({
+      state: "indexing",
+      fileCount: 0,
+      totalFileCount: files.length,
+      phase: "library",
+      mode: "runtime"
+    });
+    let loaded = 0;
+    const workspace = this.shared.workspace;
+    const docs = [];
+    for (let i = 0; i < files.length; i++) {
+      const uri = files[i];
+      try {
+        const doc = await workspace.LangiumDocuments.getOrCreateDocument(uri);
+        doc.isLibraryDocument = true;
+        docs.push(doc);
+        loaded++;
+      } catch {
+      }
+      if ((i + 1) % LIBRARY_LOAD_BATCH_SIZE === 0 || i + 1 === files.length) {
+        this.notify({
+          state: "indexing",
+          fileCount: loaded,
+          totalFileCount: files.length,
+          phase: "library",
+          mode: "runtime"
+        });
+        await this.yieldToEventLoop();
+      }
+    }
+    if (docs.length > 0) {
+      await workspace.DocumentBuilder.build(docs, { validation: false });
+    }
+    connection?.console.log(`SysML: Loaded ${loaded} library files from ${libRoot.toString()}`);
+    this.notify({
+      state: "ready",
+      fileCount: loaded,
+      totalFileCount: files.length,
+      phase: "library",
+      mode: "runtime"
+    });
+    return loaded;
+  }
+  // REQ-075, REQ-383 — Load the precomputed symbol index shipped beside the
+  // bundled library, then make that library's SOURCE readable synchronously so
+  // the linker can resolve an index description on demand (see
+  // `SysmlPlatform.primeLibrarySources`). Priming is driven by the file list in
+  // the index we just parsed, so the 8 MB document is never read twice.
+  async loadBundledPrecomputedIndex(libraryRoot) {
+    const platform = getPlatform();
+    const raw = await platform.readResource("sysml.library.index.json");
+    if (raw === void 0)
+      return void 0;
+    const indexManager = this.shared.workspace.IndexManager;
+    if (!isSysmlIndexManager(indexManager))
+      return void 0;
+    try {
+      const index = JSON.parse(raw);
+      if (index.version !== 1)
+        return void 0;
+      const symbolCount = indexManager.loadPrecomputedLibraryIndex(index, libraryRoot);
+      await platform.primeLibrarySources(libraryRoot, index.files.map((file) => file.path));
+      return symbolCount;
+    } catch (err) {
+      this.shared.lsp.Connection?.console.warn(`SysML: failed to load precomputed library index: ${String(err)}`);
+      return void 0;
+    }
+  }
+  notify(status) {
+    this.shared.lsp.Connection?.sendNotification(INDEXING_STATUS_NOTIFICATION, status);
+  }
+  // REQ-383 — Yield so the indexing-progress notifications actually reach the
+  // client mid-load. `setImmediate` does not exist in a Web Worker, so this
+  // uses the portable macrotask hop both hosts have.
+  yieldToEventLoop() {
+    return new Promise((resolve7) => setTimeout(resolve7, 0));
+  }
+};
+
+// ../language-server/out/src/platform/node-platform.js
+import * as fs3 from "fs";
+import * as path4 from "path";
 
 // ../language-server/out/src/services/kpar.js
-import * as fs4 from "fs";
+import * as fs2 from "fs";
 import * as os from "os";
-import * as path5 from "path";
+import * as path3 from "path";
 import * as zlib from "zlib";
 
 // ../language-server/out/src/services/abstract-syntax.js
-import * as path4 from "path";
+import * as path2 from "path";
 var RESERVED_WORDS = /* @__PURE__ */ new Set([
   "abstract",
   "action",
@@ -67758,7 +67895,7 @@ function forEachObject(value, cb, seen = /* @__PURE__ */ new Set()) {
   }
 }
 function abstractSyntaxProjectionPath(jsonPath) {
-  const ext = path4.extname(jsonPath);
+  const ext = path2.extname(jsonPath);
   return ext ? jsonPath.slice(0, -ext.length) + ".abstract.sysml" : `${jsonPath}.abstract.sysml`;
 }
 
@@ -67769,9 +67906,9 @@ function isKparFile(p) {
 }
 function isKparDir(p) {
   try {
-    if (!fs4.statSync(p).isDirectory())
+    if (!fs2.statSync(p).isDirectory())
       return false;
-    return fs4.readdirSync(p).some((name) => name.toLowerCase().endsWith(".kpar"));
+    return fs2.readdirSync(p).some((name) => name.toLowerCase().endsWith(".kpar"));
   } catch {
     return false;
   }
@@ -67848,7 +67985,7 @@ function decodeLocalEntry(buffer, localHeaderOffset, method, compressedSize, max
   return void 0;
 }
 function extractKparModelFiles(kparPath, destDir, options = {}) {
-  const buffer = fs4.readFileSync(kparPath);
+  const buffer = fs2.readFileSync(kparPath);
   const entries = readZipEntries(buffer);
   const written = [];
   let textualCount = 0;
@@ -67871,7 +68008,7 @@ function extractKparModelFiles(kparPath, destDir, options = {}) {
       if (!lower.endsWith(".json") || lower.endsWith(".meta.json") || lower.endsWith(".project.json"))
         continue;
       try {
-        const converted = abstractSyntaxJsonToSysml(entry.data.toString("utf8"), path5.basename(entry.name, path5.extname(entry.name)));
+        const converted = abstractSyntaxJsonToSysml(entry.data.toString("utf8"), path3.basename(entry.name, path3.extname(entry.name)));
         if (converted.elementCount === 0)
           continue;
         const target = safeTargetPath(destDir, abstractSyntaxProjectionPath(entry.name));
@@ -67890,16 +68027,16 @@ function extractKparDistribution(distributionPath) {
   return extractKparDistributionFiles(distributionPath)?.root;
 }
 function extractKparDistributionFiles(distributionPath, destRoot, options = { jsonAbstractSyntax: "when-no-text" }) {
-  const archives = isKparFile(distributionPath) ? [distributionPath] : fs4.readdirSync(distributionPath).filter((name) => name.toLowerCase().endsWith(".kpar")).sort((a2, b) => a2.localeCompare(b)).map((name) => path5.join(distributionPath, name));
+  const archives = isKparFile(distributionPath) ? [distributionPath] : fs2.readdirSync(distributionPath).filter((name) => name.toLowerCase().endsWith(".kpar")).sort((a2, b) => a2.localeCompare(b)).map((name) => path3.join(distributionPath, name));
   if (archives.length === 0)
     return void 0;
-  const root3 = destRoot ?? fs4.mkdtempSync(path5.join(os.tmpdir(), "sysml-kpar-"));
-  fs4.mkdirSync(root3, { recursive: true });
+  const root3 = destRoot ?? fs2.mkdtempSync(path3.join(os.tmpdir(), "sysml-kpar-"));
+  fs2.mkdirSync(root3, { recursive: true });
   const files = [];
   let textualCount = 0;
   let jsonCount = 0;
   for (const archive of archives) {
-    const sub = path5.join(root3, path5.basename(archive, path5.extname(archive)));
+    const sub = path3.join(root3, path3.basename(archive, path3.extname(archive)));
     try {
       const extracted = extractKparModelFiles(archive, sub, {
         jsonAbstractSyntax: options.jsonAbstractSyntax ?? "when-no-text",
@@ -67914,7 +68051,7 @@ function extractKparDistributionFiles(distributionPath, destRoot, options = { js
   if (files.length === 0) {
     if (!destRoot) {
       try {
-        fs4.rmSync(root3, { recursive: true, force: true });
+        fs2.rmSync(root3, { recursive: true, force: true });
       } catch {
       }
     }
@@ -67932,179 +68069,103 @@ function safeTargetPath(destDir, entryName) {
   const safe = entryName.replace(/\\/gu, "/").split("/").filter((seg) => seg && seg !== "." && seg !== "..");
   if (safe.length === 0)
     return void 0;
-  return path5.join(destDir, ...safe);
+  return path3.join(destDir, ...safe);
 }
 function writeExtractedFile(target, data, readonly) {
-  fs4.mkdirSync(path5.dirname(target), { recursive: true });
-  fs4.writeFileSync(target, data);
+  fs2.mkdirSync(path3.dirname(target), { recursive: true });
+  fs2.writeFileSync(target, data);
   if (readonly) {
     try {
-      fs4.chmodSync(target, 292);
+      fs2.chmodSync(target, 292);
     } catch {
     }
   }
 }
 
-// ../language-server/out/src/services/library-loader.js
-var INDEXING_STATUS_NOTIFICATION = "sysml/indexingStatus";
-var LIBRARY_LOAD_BATCH_SIZE = 8;
-var LibraryLoader = class {
-  shared;
-  constructor(shared) {
-    this.shared = shared;
+// ../language-server/out/src/platform/node-platform.js
+var NodePlatform = class {
+  extensionRoot;
+  constructor(extensionRoot) {
+    this.extensionRoot = extensionRoot;
   }
-  // REQ-002, REQ-003, REQ-009, REQ-075, REQ-077, REQ-082, REQ-086, REQ-251 — Index bundled/configured SysML and KerML library files
-  async loadLibrary(extensionPath, userLibraryPath) {
-    const connection = this.shared.lsp.Connection;
-    const resolved = this.resolveLibraryPath(extensionPath, userLibraryPath);
-    if (!resolved) {
-      this.notify({ state: "ready", fileCount: 0, phase: "library" });
-      return 0;
-    }
-    const libPath = resolved.path;
-    registerLibraryRoot(libPath);
-    if (resolved.bundled) {
-      const precomputed = this.loadBundledPrecomputedIndex(extensionPath, libPath);
-      if (precomputed !== void 0) {
-        connection?.console.log(`SysML: Loaded ${precomputed} precomputed library symbols from ${libPath}`);
-        this.notify({
-          state: "ready",
-          fileCount: precomputed,
-          phase: "library",
-          mode: "precomputed"
-        });
-        return precomputed;
-      }
-      connection?.console.warn("SysML: bundled standard-library index missing or unreadable; falling back to runtime indexing.");
-    }
-    const files = this.collectLibraryFiles(libPath);
-    if (files.length === 0) {
-      this.notify({ state: "ready", fileCount: 0, totalFileCount: 0, phase: "library", mode: "runtime" });
-      return 0;
-    }
-    this.notify({
-      state: "indexing",
-      fileCount: 0,
-      totalFileCount: files.length,
-      phase: "library",
-      mode: "runtime"
-    });
-    let loaded = 0;
-    const workspace = this.shared.workspace;
-    const docs = [];
-    for (let i = 0; i < files.length; i++) {
-      const file = files[i];
-      try {
-        const uri = URI2.file(file);
-        const doc = await workspace.LangiumDocuments.getOrCreateDocument(uri);
-        doc.isLibraryDocument = true;
-        docs.push(doc);
-        loaded++;
-      } catch {
-      }
-      if ((i + 1) % LIBRARY_LOAD_BATCH_SIZE === 0 || i + 1 === files.length) {
-        this.notify({
-          state: "indexing",
-          fileCount: loaded,
-          totalFileCount: files.length,
-          phase: "library",
-          mode: "runtime"
-        });
-        await this.yieldToEventLoop();
-      }
-    }
-    if (docs.length > 0) {
-      await workspace.DocumentBuilder.build(docs, { validation: false });
+  async readResource(relativePath) {
+    try {
+      const target = path4.join(this.extensionRoot, "resources", ...relativePath.split("/"));
+      if (!fs3.existsSync(target))
+        return void 0;
+      return fs3.readFileSync(target, "utf8");
+    } catch {
+      return void 0;
     }
-    connection?.console.log(`SysML: Loaded ${loaded} library files from ${libPath}`);
-    this.notify({
-      state: "ready",
-      fileCount: loaded,
-      totalFileCount: files.length,
-      phase: "library",
-      mode: "runtime"
-    });
-    return loaded;
   }
-  // REQ-076, REQ-077, REQ-082, REQ-086, REQ-090 — Prefer the configured library
-  // path, fall back to the bundled library. When the configured path is a
-  // `.kpar` archive (or a directory of them, e.g. the OMG `sysml.library.kpar/`)
-  // rather than a source tree, extract its textual `.sysml`/`.kerml` source to a
-  // temp directory and route it into the SAME index path as the unzipped tree
-  // (REQ-090 constraint: no parallel loader). JSON-only `.kpar` abstract-syntax
-  // payloads are projected to textual source by REQ-354; XMI is not supported.
-  resolveLibraryPath(extensionPath, userPath) {
-    const bundled = path6.join(extensionPath, "resources", "sysml.library");
-    const connection = this.shared.lsp.Connection;
-    if (userPath && userPath.length > 0) {
-      const resolved = path6.resolve(userPath);
-      if (fs5.existsSync(resolved)) {
+  // REQ-076, REQ-090 — Prefer the configured library path, fall back to the
+  // bundled library. A configured `.kpar` archive (or a directory of them,
+  // e.g. the OMG `sysml.library.kpar/` distribution) is extracted to a temp
+  // directory and routed into the SAME index path as an unzipped tree, so
+  // there is no parallel loader.
+  async resolveLibraryRoot(userLibraryPath) {
+    const bundled = path4.join(this.extensionRoot, "resources", "sysml.library");
+    if (userLibraryPath && userLibraryPath.length > 0) {
+      const resolved = path4.resolve(userLibraryPath);
+      if (fs3.existsSync(resolved)) {
         if (classifyDistribution(resolved) === "kpar") {
           const extracted = extractKparDistribution(resolved);
           if (extracted) {
-            connection?.console.log(`SysML: extracted .kpar distribution '${resolved}' to '${extracted}'`);
-            return { path: extracted, bundled: false, format: "kpar" };
+            return { uri: URI2.file(extracted), bundled: false, format: "kpar" };
           }
-          connection?.console.warn(`SysML: .kpar distribution '${resolved}' contained no .sysml/.kerml source or supported .json abstract-syntax payload (XMI is not supported).`);
-          return null;
+          return void 0;
         }
         return {
-          path: resolved,
-          bundled: path6.resolve(resolved) === path6.resolve(bundled),
+          uri: URI2.file(resolved),
+          bundled: path4.resolve(resolved) === path4.resolve(bundled),
           format: "tree"
         };
       }
     }
-    if (fs5.existsSync(bundled))
-      return { path: bundled, bundled: true, format: "tree" };
-    return null;
+    if (fs3.existsSync(bundled))
+      return { uri: URI2.file(bundled), bundled: true, format: "tree" };
+    return void 0;
   }
-  loadBundledPrecomputedIndex(extensionPath, libraryRoot) {
-    const indexPath = path6.join(extensionPath, "resources", "sysml.library.index.json");
-    if (!fs5.existsSync(indexPath))
-      return void 0;
-    const indexManager = this.shared.workspace.IndexManager;
-    if (!isSysmlIndexManager(indexManager))
-      return void 0;
+  libraryUri(libraryRoot, relativePath) {
+    return UriUtils.joinPath(libraryRoot, ...relativePath.split("/"));
+  }
+  // REQ-075 — Node reads library source on demand inside the linker, so there
+  // is nothing to pre-load.
+  async primeLibrarySources() {
+  }
+  readLibrarySourceSync(uri) {
     try {
-      const raw = fs5.readFileSync(indexPath, "utf8");
-      const index = JSON.parse(raw);
-      if (index.version !== 1)
-        return void 0;
-      return indexManager.loadPrecomputedLibraryIndex(index, libraryRoot);
-    } catch (err) {
-      this.shared.lsp.Connection?.console.warn(`SysML: failed to load precomputed library index: ${String(err)}`);
+      return fs3.readFileSync(uri.fsPath, "utf8");
+    } catch {
       return void 0;
     }
   }
-  // REQ-075, REQ-082, REQ-086 — Recursively collect SysML/KerML library source files
-  collectLibraryFiles(dir) {
+  // REQ-075, REQ-082, REQ-086 — Recursively collect library source files.
+  async collectLibraryFiles(libraryRoot) {
     const files = [];
-    try {
-      const entries = fs5.readdirSync(dir, { withFileTypes: true }).sort((a2, b) => a2.name.localeCompare(b.name));
+    const walk = (dir) => {
+      let entries;
+      try {
+        entries = fs3.readdirSync(dir, { withFileTypes: true }).sort((a2, b) => a2.name.localeCompare(b.name));
+      } catch {
+        return;
+      }
       for (const entry of entries) {
-        const fullPath = path6.join(dir, entry.name);
-        if (entry.isDirectory()) {
-          files.push(...this.collectLibraryFiles(fullPath));
-        } else if (entry.name.endsWith(".sysml") || entry.name.endsWith(".kerml")) {
-          files.push(fullPath);
-        }
+        const full = path4.join(dir, entry.name);
+        if (entry.isDirectory())
+          walk(full);
+        else if (entry.name.endsWith(".sysml") || entry.name.endsWith(".kerml"))
+          files.push(URI2.file(full));
       }
-    } catch {
-    }
+    };
+    walk(libraryRoot.fsPath);
     return files;
   }
-  notify(status) {
-    this.shared.lsp.Connection?.sendNotification(INDEXING_STATUS_NOTIFICATION, status);
-  }
-  yieldToEventLoop() {
-    return new Promise((resolve7) => setImmediate(resolve7));
-  }
 };
 
 // ../cli/src/discovery.ts
-import * as fs6 from "fs";
-import * as path7 from "path";
+import * as fs4 from "fs";
+import * as path5 from "path";
 var MODEL_EXTENSIONS = [".sysml", ".kerml"];
 var SKIP_DIRECTORIES = /* @__PURE__ */ new Set([
   "node_modules",
@@ -68118,21 +68179,21 @@ var SKIP_DIRECTORIES = /* @__PURE__ */ new Set([
 ]);
 var MAX_INDEXED_FILES = 5e3;
 function isModelFile(file) {
-  return MODEL_EXTENSIONS.includes(path7.extname(file).toLowerCase());
+  return MODEL_EXTENSIONS.includes(path5.extname(file).toLowerCase());
 }
 function walkModelFiles(dir, limit = Infinity) {
   const found = [];
-  const visit = (current) => {
+  const visit = (current2) => {
     if (found.length >= limit) return;
     let entries;
     try {
-      entries = fs6.readdirSync(current, { withFileTypes: true });
+      entries = fs4.readdirSync(current2, { withFileTypes: true });
     } catch {
       return;
     }
     for (const entry of entries.sort((a2, b) => a2.name.localeCompare(b.name))) {
       if (found.length >= limit) return;
-      const full = path7.join(current, entry.name);
+      const full = path5.join(current2, entry.name);
       if (entry.isDirectory()) {
         if (!SKIP_DIRECTORIES.has(entry.name) && !entry.name.startsWith(".")) visit(full);
         continue;
@@ -68140,7 +68201,7 @@ function walkModelFiles(dir, limit = Infinity) {
       if (isModelFile(entry.name)) found.push(full);
     }
   };
-  visit(path7.resolve(dir));
+  visit(path5.resolve(dir));
   return found;
 }
 
@@ -68161,11 +68222,11 @@ function diagnosticsOf(document, file) {
 function resolveResourceRoot(fromDir) {
   const candidates = [
     fromDir,
-    path8.resolve(fromDir, ".."),
-    path8.resolve(fromDir, "..", "..", "extension"),
-    path8.resolve(fromDir, "..", "..", "..", "extension")
+    path6.resolve(fromDir, ".."),
+    path6.resolve(fromDir, "..", "..", "extension"),
+    path6.resolve(fromDir, "..", "..", "..", "extension")
   ];
-  return candidates.find((dir) => fs7.existsSync(path8.join(dir, "resources", "sysml.library")));
+  return candidates.find((dir) => fs5.existsSync(path6.join(dir, "resources", "sysml.library")));
 }
 async function bootServices(options) {
   const { shared } = createSysMLServices({ ...NodeFileSystem });
@@ -68173,11 +68234,12 @@ async function bootServices(options) {
   if (!resourceRoot && !options.library) {
     throw new Error("Standard library not found; pass --library <dir> or reinstall the package.");
   }
-  await new LibraryLoader(shared).loadLibrary(resourceRoot ?? "", options.library);
+  setPlatform(new NodePlatform(resourceRoot ?? ""));
+  await new LibraryLoader(shared).loadLibrary(options.library);
   loadDimensionTable(resourceRoot);
   await shared.workspace.WorkspaceManager.initializeWorkspace(
     options.workspaceFolders.map((folder) => ({
-      name: path8.basename(folder),
+      name: path6.basename(folder),
       uri: URI2.file(folder).toString()
     }))
   );
@@ -68199,23 +68261,23 @@ async function bootServices(options) {
   return {
     shared,
     indexedFiles,
-    document: (file) => shared.workspace.LangiumDocuments.getOrCreateDocument(URI2.file(path8.resolve(file)))
+    document: (file) => shared.workspace.LangiumDocuments.getOrCreateDocument(URI2.file(path6.resolve(file)))
   };
 }
 function loadDimensionTable(resourceRoot) {
   if (!resourceRoot) return;
   try {
-    const table2 = path8.join(resourceRoot, "resources", "sysml.dimension-table.json");
-    if (!fs7.existsSync(table2)) return;
-    const parsed = JSON.parse(fs7.readFileSync(table2, "utf8"));
+    const table2 = path6.join(resourceRoot, "resources", "sysml.dimension-table.json");
+    if (!fs5.existsSync(table2)) return;
+    const parsed = JSON.parse(fs5.readFileSync(table2, "utf8"));
     if (parsed.version === 1) setDimensionTable(parsed);
   } catch {
   }
 }
 
 // ../cli/src/workspace.ts
-import * as fs8 from "fs";
-import * as path9 from "path";
+import * as fs6 from "fs";
+import * as path7 from "path";
 
 // ../extension/src/diagram-project-config.ts
 function projectConfigRelPath() {
@@ -68243,14 +68305,14 @@ function normalizeProjectConfig(value) {
 
 // ../cli/src/workspace.ts
 function findWorkspaceRoot(target) {
-  const resolved = path9.resolve(target);
-  const start = fs8.existsSync(resolved) && fs8.statSync(resolved).isDirectory() ? resolved : path9.dirname(resolved);
+  const resolved = path7.resolve(target);
+  const start = fs6.existsSync(resolved) && fs6.statSync(resolved).isDirectory() ? resolved : path7.dirname(resolved);
   let repoRoot;
   let dir = start;
   for (; ; ) {
-    if (fs8.existsSync(path9.join(dir, ".vscode", "sysml"))) return dir;
-    if (repoRoot === void 0 && fs8.existsSync(path9.join(dir, ".git"))) repoRoot = dir;
-    const parent = path9.dirname(dir);
+    if (fs6.existsSync(path7.join(dir, ".vscode", "sysml"))) return dir;
+    if (repoRoot === void 0 && fs6.existsSync(path7.join(dir, ".git"))) repoRoot = dir;
+    const parent = path7.dirname(dir);
     if (parent === dir) break;
     dir = parent;
   }
@@ -68259,7 +68321,7 @@ function findWorkspaceRoot(target) {
 function readJsonFile(file) {
   let text;
   try {
-    text = fs8.readFileSync(file, "utf8");
+    text = fs6.readFileSync(file, "utf8");
   } catch {
     return void 0;
   }
@@ -68303,12 +68365,12 @@ function stripJsonComments(text) {
   return out.replace(/,(\s*[}\]])/g, "$1");
 }
 function readProjectConfig(root3) {
-  const raw = readJsonFile(path9.join(root3, projectConfigRelPath()));
+  const raw = readJsonFile(path7.join(root3, projectConfigRelPath()));
   return raw === void 0 ? void 0 : normalizeProjectConfig(raw);
 }
 function sysmlSettings(root3) {
   const out = {};
-  const settings = readJsonFile(path9.join(root3, ".vscode", "settings.json"));
+  const settings = readJsonFile(path7.join(root3, ".vscode", "settings.json"));
   if (settings && typeof settings === "object") {
     for (const [key, value] of Object.entries(settings)) {
       if (key.startsWith("sysml.")) out[key] = value;
@@ -68325,15 +68387,15 @@ function collectModelFiles(paths) {
   const found = [];
   const seen = /* @__PURE__ */ new Set();
   const add = (file) => {
-    const resolved = path10.resolve(file);
+    const resolved = path8.resolve(file);
     if (seen.has(resolved)) return;
     seen.add(resolved);
     found.push(resolved);
   };
   for (const target of targets) {
-    const resolved = path10.resolve(target);
-    if (!fs9.existsSync(resolved)) throw new Error(`No such file or directory: ${target}`);
-    if (fs9.statSync(resolved).isDirectory()) for (const file of walkModelFiles(resolved)) add(file);
+    const resolved = path8.resolve(target);
+    if (!fs7.existsSync(resolved)) throw new Error(`No such file or directory: ${target}`);
+    if (fs7.statSync(resolved).isDirectory()) for (const file of walkModelFiles(resolved)) add(file);
     else add(resolved);
   }
   return found;
@@ -68349,11 +68411,11 @@ function applySettings(settings, lintProfileOverride) {
 }
 async function runValidation(command) {
   const files = collectModelFiles(command.paths);
-  const workspaceRoot = command.workspace === void 0 ? void 0 : path10.resolve(command.workspace);
+  const workspaceRoot = command.workspace === void 0 ? void 0 : path8.resolve(command.workspace);
   const root3 = workspaceRoot ?? findWorkspaceRoot(files[0] ?? command.paths[0] ?? ".");
   applySettings(command.noConfig ? {} : sysmlSettings(root3), command.lintProfile);
   const services = await bootServices({
-    fromDir: path10.dirname(fileURLToPath(import.meta.url)),
+    fromDir: path8.dirname(fileURLToPath(import.meta.url)),
     library: command.library,
     // A validator invocation is scoped exactly to the paths the user named.
     // Do not even initialize the inferred repository as a workspace: its
@@ -68377,7 +68439,7 @@ async function runValidation(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.10.17" : "dev";
+var VERSION2 = true ? "0.10.18" : "dev";
 async function main(argv) {
   const command = parseArgs(argv);
   if (command.kind === "help") {
@@ -68407,7 +68469,7 @@ ${USAGE}`);
     process.stderr.write("sysml-validate: no .sysml or .kerml files found.\n");
     return 2;
   }
-  const root3 = command.workspace ? path11.resolve(command.workspace) : findWorkspaceRoot(run.files[0]);
+  const root3 = command.workspace ? path9.resolve(command.workspace) : findWorkspaceRoot(run.files[0]);
   const color = command.color ?? (command.out === void 0 && process.stdout.isTTY === true && !process.env.NO_COLOR);
   const report = formatReport(run, {
     format: command.format,
@@ -68419,8 +68481,8 @@ ${USAGE}`);
   });
   if (command.out) {
     try {
-      fs10.mkdirSync(path11.dirname(path11.resolve(command.out)), { recursive: true });
-      fs10.writeFileSync(path11.resolve(command.out), report, "utf8");
+      fs8.mkdirSync(path9.dirname(path9.resolve(command.out)), { recursive: true });
+      fs8.writeFileSync(path9.resolve(command.out), report, "utf8");
     } catch (err) {
       process.stderr.write(`sysml-validate: cannot write ${command.out}: ${err instanceof Error ? err.message : String(err)}
 `);
@@ -68448,7 +68510,7 @@ function isEntryPoint() {
   if (entry === void 0) return false;
   const here = fileURLToPath2(import.meta.url);
   try {
-    return fs10.realpathSync(entry) === fs10.realpathSync(here);
+    return fs8.realpathSync(entry) === fs8.realpathSync(here);
   } catch {
     return pathToFileURL(entry).href === import.meta.url;
   }