@telorun/analyzer 0.37.0 → 0.38.0

package/dist/analysis-registry.d.ts

@@ -96,6 +96,20 @@ export declare class AnalysisRegistry {
      */
     builtinDefinitions(): ResourceDefinition[];
     resolveDefinition(kind: string): ResourceDefinition | undefined;
+    /** A resolver scoped to `def`'s OWN module, for resolving that definition's
+     *  `extends` target.
+     *
+     *  `extends` aliases are lexically scoped to the declaring library — a library
+     *  writes `extends: Cache.Store` against its own import map, and `Self.Host`
+     *  against its own module name. The global alias table knows neither, so
+     *  {@link resolveDefinition} silently returns undefined for them and callers
+     *  fall back to an un-inherited view. Mirrors the module-scope selection in
+     *  `expandedFieldMapForResource`. */
+    resolverForDefinition(def: {
+        metadata?: {
+            module?: string;
+        };
+    }): (kind: string) => ResourceDefinition | undefined;
     /** Canonical kinds (`module.Name`) of every definition that extends the given
      *  abstract kind — the concrete implementations a caller may instantiate in
      *  its place. Empty when `kind` is not an abstract or has no implementations. */

package/dist/analysis-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAKzE,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAEhG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAGlD;;wDAEwD;AACxD,MAAM,WAAW,YAAY;IAC3B;0CACsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,OAAO,EAAE,OAAO,CAAC;IACjB,uEAAuE;IACvE,IAAI,EAAE,MAAM,EAAE,CAAC;IACf;;;8EAG0E;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAoC;IAEpE,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE;;+EAE2E;IAC3E,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAI9E,wFAAwF;IACxF,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAIzD,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;;;;;OAOG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAkBP;;;;;;OAMG;IACH,oBAAoB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,YAAY,EAAE;IAoBhE;;;;;;wBAMoB;IACpB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAQtD;;;;;;sFAMkF;IAClF,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAenE;;;;;qDAKiD;IACjD,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAepE,OAAO,CAAC,mBAAmB;IAS3B;;;;;;OAMG;IACH,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,EAAE,eAAe,EACxB,IAAI,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,GACzF,IAAI;IAQP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D;;qFAEiF;IACjF,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAUzC,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD;;;;;;;;iDAQ6C;IAC7C,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS;IAqB9D;;;;;gEAK4D;IAC5D,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS;IAiB7D,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}
+{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAKzE,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAEhG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAGlD;;wDAEwD;AACxD,MAAM,WAAW,YAAY;IAC3B;0CACsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,OAAO,EAAE,OAAO,CAAC;IACjB,uEAAuE;IACvE,IAAI,EAAE,MAAM,EAAE,CAAC;IACf;;;8EAG0E;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAoC;IAEpE,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE;;+EAE2E;IAC3E,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAI9E,wFAAwF;IACxF,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAIzD,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;;;;;OAOG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAkBP;;;;;;OAMG;IACH,oBAAoB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,YAAY,EAAE;IAoBhE;;;;;;wBAMoB;IACpB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAQtD;;;;;;sFAMkF;IAClF,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAenE;;;;;qDAKiD;IACjD,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAepE,OAAO,CAAC,mBAAmB;IAS3B;;;;;;OAMG;IACH,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,EAAE,eAAe,EACxB,IAAI,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,GACzF,IAAI;IAQP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D;;;;;;;;yCAQqC;IACrC,qBAAqB,CAAC,GAAG,EAAE;QACzB,QAAQ,CAAC,EAAE;YAAE,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;KAChC,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS;IASpD;;qFAEiF;IACjF,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAUzC,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD;;;;;;;;iDAQ6C;IAC7C,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS;IAqB9D;;;;;gEAK4D;IAC5D,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS;IAiB7D,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}

package/dist/analysis-registry.js

@@ -178,6 +178,23 @@ export class AnalysisRegistry {
         const resolved = ctx.aliases?.resolveKind(kind);
         return ctx.definitions?.resolve(kind) ?? (resolved ? ctx.definitions?.resolve(resolved) : undefined);
     }
+    /** A resolver scoped to `def`'s OWN module, for resolving that definition's
+     *  `extends` target.
+     *
+     *  `extends` aliases are lexically scoped to the declaring library — a library
+     *  writes `extends: Cache.Store` against its own import map, and `Self.Host`
+     *  against its own module name. The global alias table knows neither, so
+     *  {@link resolveDefinition} silently returns undefined for them and callers
+     *  fall back to an un-inherited view. Mirrors the module-scope selection in
+     *  `expandedFieldMapForResource`. */
+    resolverForDefinition(def) {
+        const ownModule = def?.metadata?.module;
+        const scope = (ownModule ? this.aliasesByModule.get(ownModule) : undefined) ?? this.aliases;
+        return (kind) => {
+            const canonical = scope.resolveKind(kind);
+            return this.defs.resolve(kind) ?? (canonical ? this.defs.resolve(canonical) : undefined);
+        };
+    }
     /** Canonical kinds (`module.Name`) of every definition that extends the given
      *  abstract kind — the concrete implementations a caller may instantiate in
      *  its place. Empty when `kind` is not an abstract or has no implementations. */

package/dist/builtins.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../src/builtins.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAEvD,eAAO,MAAM,eAAe,EAAE,kBAAkB,EAujB/C,CAAC"}
+{"version":3,"file":"builtins.d.ts","sourceRoot":"","sources":["../src/builtins.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAwBvD,eAAO,MAAM,eAAe,EAAE,kBAAkB,EAyjB/C,CAAC"}

package/dist/builtins.js

@@ -1,3 +1,24 @@
+/** Descriptive provenance a module declares about itself, shared by
+ *  `Telo.Application` and `Telo.Library`.
+ *
+ *  These are *descriptive*, never *addressing* — nothing resolves, fetches,
+ *  caches, or publishes based on them, so they do not conflict with
+ *  identity-is-the-ref (which bans metadata from determining an artifact's
+ *  location). `repository` is the location of the module's **source code**, in
+ *  the same spirit as npm's `repository` / `license` / `homepage`. It is named
+ *  `repository` rather than `source` because `source:` already means "where to
+ *  fetch a dependency from" in the `imports` map.
+ *
+ *  A publish transport projects these into whatever its backend surfaces —
+ *  OCI maps them onto the standard `org.opencontainers.image.*` annotations;
+ *  the HTTP registry stores the manifest verbatim, so they are preserved as
+ *  declared with nothing to translate. */
+const PROVENANCE_METADATA = {
+    description: { type: "string" },
+    repository: { type: "string" },
+    license: { type: "string" },
+    documentation: { type: "string" },
+};
 export const KERNEL_BUILTINS = [
     { kind: "Telo.Abstract", metadata: { name: "Template", module: "Telo" } },
     { kind: "Telo.Abstract", metadata: { name: "Runnable", module: "Telo" } },
@@ -269,6 +290,7 @@ export const KERNEL_BUILTINS = [
                         version: { type: "string" },
                         source: { type: "string" },
                         module: { type: "string" },
+                        ...PROVENANCE_METADATA,
                     },
                     required: ["name"],
                     additionalProperties: true,
@@ -495,6 +517,7 @@ export const KERNEL_BUILTINS = [
                         version: { type: "string" },
                         source: { type: "string" },
                         module: { type: "string" },
+                        ...PROVENANCE_METADATA,
                     },
                     required: ["name"],
                     additionalProperties: true,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/analyzer",
-  "version": "0.37.0",
+  "version": "0.38.0",
   "description": "Telo Analyzer - Static manifest validator for Telo manifests.",
   "keywords": [
     "telo",
@@ -48,7 +48,7 @@
     "@types/node": "^20.0.0",
     "typescript": "^5.0.0",
     "vitest": "^2.1.8",
-    "@telorun/sdk": "0.47.0"
+    "@telorun/sdk": "0.48.0"
   },
   "peerDependencies": {
     "@telorun/sdk": "*"

package/src/analysis-registry.ts

@@ -218,6 +218,26 @@ export class AnalysisRegistry {
     return ctx.definitions?.resolve(kind) ?? (resolved ? ctx.definitions?.resolve(resolved) : undefined);
   }
 
+  /** A resolver scoped to `def`'s OWN module, for resolving that definition's
+   *  `extends` target.
+   *
+   *  `extends` aliases are lexically scoped to the declaring library — a library
+   *  writes `extends: Cache.Store` against its own import map, and `Self.Host`
+   *  against its own module name. The global alias table knows neither, so
+   *  {@link resolveDefinition} silently returns undefined for them and callers
+   *  fall back to an un-inherited view. Mirrors the module-scope selection in
+   *  `expandedFieldMapForResource`. */
+  resolverForDefinition(def: {
+    metadata?: { module?: string };
+  }): (kind: string) => ResourceDefinition | undefined {
+    const ownModule = def?.metadata?.module;
+    const scope = (ownModule ? this.aliasesByModule.get(ownModule) : undefined) ?? this.aliases;
+    return (kind) => {
+      const canonical = scope.resolveKind(kind);
+      return this.defs.resolve(kind) ?? (canonical ? this.defs.resolve(canonical) : undefined);
+    };
+  }
+
   /** Canonical kinds (`module.Name`) of every definition that extends the given
    *  abstract kind — the concrete implementations a caller may instantiate in
    *  its place. Empty when `kind` is not an abstract or has no implementations. */

package/src/builtins.ts

@@ -1,5 +1,27 @@
 import type { ResourceDefinition } from "@telorun/sdk";
 
+/** Descriptive provenance a module declares about itself, shared by
+ *  `Telo.Application` and `Telo.Library`.
+ *
+ *  These are *descriptive*, never *addressing* — nothing resolves, fetches,
+ *  caches, or publishes based on them, so they do not conflict with
+ *  identity-is-the-ref (which bans metadata from determining an artifact's
+ *  location). `repository` is the location of the module's **source code**, in
+ *  the same spirit as npm's `repository` / `license` / `homepage`. It is named
+ *  `repository` rather than `source` because `source:` already means "where to
+ *  fetch a dependency from" in the `imports` map.
+ *
+ *  A publish transport projects these into whatever its backend surfaces —
+ *  OCI maps them onto the standard `org.opencontainers.image.*` annotations;
+ *  the HTTP registry stores the manifest verbatim, so they are preserved as
+ *  declared with nothing to translate. */
+const PROVENANCE_METADATA = {
+  description: { type: "string" },
+  repository: { type: "string" },
+  license: { type: "string" },
+  documentation: { type: "string" },
+};
+
 export const KERNEL_BUILTINS: ResourceDefinition[] = [
   { kind: "Telo.Abstract", metadata: { name: "Template", module: "Telo" } },
   { kind: "Telo.Abstract", metadata: { name: "Runnable", module: "Telo" } },
@@ -271,6 +293,7 @@ export const KERNEL_BUILTINS: ResourceDefinition[] = [
             version: { type: "string" },
             source: { type: "string" },
             module: { type: "string" },
+            ...PROVENANCE_METADATA,
           },
           required: ["name"],
           additionalProperties: true,
@@ -497,6 +520,7 @@ export const KERNEL_BUILTINS: ResourceDefinition[] = [
             version: { type: "string" },
             source: { type: "string" },
             module: { type: "string" },
+            ...PROVENANCE_METADATA,
           },
           required: ["name"],
           additionalProperties: true,