@telorun/analyzer 0.16.0 → 0.16.1

package/dist/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAIzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAiB9B,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAuhB/F,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C;;;;;;;;;;;;;;OAcG;IACH,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAmoBvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAMvB,SAAS,CACP,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAI1B,kBAAkB,CAAC,EAAE,gBAAgB,EAAE,GACtC,gBAAgB,EAAE;IAqBrB,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAsB5F"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAIzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAiB9B,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAuhB/F,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C;;;;;;;;;;;;;;OAcG;IACH,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAypBvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAMvB,SAAS,CACP,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAI1B,kBAAkB,CAAC,EAAE,gBAAgB,EAAE,GACtC,gBAAgB,EAAE;IAqBrB,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAsB5F"}

package/dist/analyzer.js

@@ -590,6 +590,29 @@ export class StaticAnalyzer {
                 }
             }
         }
+        // Seed `Self` for every module that contributes definitions but whose own
+        // Telo.Library doc isn't in this manifest set. `flattenForAnalyzer` forwards an
+        // imported library's definitions/abstracts/imports but NOT its module doc, so the
+        // module-doc loop above can't register `Self` for imported modules. Without this, a
+        // definition's `extends: Self.X` (a kind defined in the same library as the abstract)
+        // can't resolve and its `extendedBy` edge mis-keys under the literal "Self.X" — which
+        // stays invisible until another module also implements that abstract and flips the
+        // reference check from lenient to strict. `Self` always maps a module to its own name.
+        for (const m of manifests) {
+            if (m.kind !== "Telo.Definition" && m.kind !== "Telo.Abstract")
+                continue;
+            const ownModule = m.metadata?.module;
+            if (!ownModule || rootModules.has(ownModule))
+                continue;
+            let libResolver = aliasesByModule.get(ownModule);
+            if (!libResolver) {
+                libResolver = new AliasResolver();
+                aliasesByModule.set(ownModule, libResolver);
+            }
+            if (!libResolver.hasAlias("Self")) {
+                libResolver.registerImport("Self", ownModule, []);
+            }
+        }
         // Register definitions from Telo.Definition AND Telo.Abstract resources.
         // Abstracts declare contracts that implementations target via `extends` (canonical)
         // or `capability: <AbstractKind>` (legacy). Until they're registered, validateReferences

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/analyzer",
-  "version": "0.16.0",
+  "version": "0.16.1",
   "description": "Telo Analyzer - Static manifest validator for Telo manifests.",
   "keywords": [
     "telo",

package/src/analyzer.ts

@@ -716,6 +716,28 @@ export class StaticAnalyzer {
       }
     }
 
+    // Seed `Self` for every module that contributes definitions but whose own
+    // Telo.Library doc isn't in this manifest set. `flattenForAnalyzer` forwards an
+    // imported library's definitions/abstracts/imports but NOT its module doc, so the
+    // module-doc loop above can't register `Self` for imported modules. Without this, a
+    // definition's `extends: Self.X` (a kind defined in the same library as the abstract)
+    // can't resolve and its `extendedBy` edge mis-keys under the literal "Self.X" — which
+    // stays invisible until another module also implements that abstract and flips the
+    // reference check from lenient to strict. `Self` always maps a module to its own name.
+    for (const m of manifests) {
+      if (m.kind !== "Telo.Definition" && m.kind !== "Telo.Abstract") continue;
+      const ownModule = (m.metadata as { module?: string } | undefined)?.module;
+      if (!ownModule || rootModules.has(ownModule)) continue;
+      let libResolver = aliasesByModule.get(ownModule);
+      if (!libResolver) {
+        libResolver = new AliasResolver();
+        aliasesByModule.set(ownModule, libResolver);
+      }
+      if (!libResolver.hasAlias("Self")) {
+        libResolver.registerImport("Self", ownModule, []);
+      }
+    }
+
     // Register definitions from Telo.Definition AND Telo.Abstract resources.
     // Abstracts declare contracts that implementations target via `extends` (canonical)
     // or `capability: <AbstractKind>` (legacy). Until they're registered, validateReferences