@telorun/ide-support 0.24.0 → 0.103.0

package/dist/completions/build.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build.d.ts","sourceRoot":"","sources":["../../src/completions/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAEhB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAuK3E,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,gBAAgB,GAAG,SAAS,EACtC,OAAO,CAAC,EAAE,qBAAqB,EAC/B,IAAI,CAAC,EAAE,WAAW,EAAE;AACpB;;gCAEgC;AAChC,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,OAAO,CAAC,gBAAgB,EAAE,CAAC,CA2D7B"}
+{"version":3,"file":"build.d.ts","sourceRoot":"","sources":["../../src/completions/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAEhB,KAAK,gBAAgB,EAEtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AA8L3E,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,gBAAgB,GAAG,SAAS,EACtC,OAAO,CAAC,EAAE,qBAAqB,EAC/B,IAAI,CAAC,EAAE,WAAW,EAAE;AACpB;;gCAEgC;AAChC,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,OAAO,CAAC,gBAAgB,EAAE,CAAC,CA2D7B"}

package/dist/completions/build.js

@@ -2,7 +2,7 @@ import { parseToAst, } from "@telorun/analyzer";
 import { callInputsAt } from "./call-inputs.js";
 import { celCompletions } from "./cel-completions.js";
 import { docIdentity } from "../doc-identity.js";
-import { detectContext, lookupRefConstraints, navigateSchema } from "./detect-context.js";
+import { detectContext, lookupRefSlot, navigateSchema } from "./detect-context.js";
 import { importSourceCompletions } from "./import-source.js";
 import { moduleFileCompletions } from "./module-file-completions.js";
 import { valueTagCompletions } from "./value-tag-completions.js";
@@ -27,8 +27,9 @@ function extractInFileResources(docs) {
  *  kind match. Falls back to listing every in-file resource so the
  *  user still sees something rather than nothing when the registry
  *  doesn't recognize the kind yet. */
-function refNameCompletions(docs, refKind, refConstraints, registry, replaceRange) {
+function refNameCompletions(docs, refKind, slot, registry, analysis, replaceRange) {
     const resources = extractInFileResources(docs);
+    const refConstraints = slot?.kinds ?? [];
     let acceptable;
     if (refKind) {
         acceptable = new Set([refKind]);
@@ -47,6 +48,11 @@ function refNameCompletions(docs, refKind, refConstraints, registry, replaceRang
     for (const r of resources) {
         if (acceptable && !acceptable.has(r.kind))
             continue;
+        // A target `telo check` refuses for what it returns is not a candidate. The
+        // analysis resolves the instance's own contract; without one the kind's
+        // decides.
+        if (slot && outputRefused(slot, r, registry, analysis))
+            continue;
         if (seen.has(r.name))
             continue;
         seen.add(r.name);
@@ -61,6 +67,14 @@ function refNameCompletions(docs, refKind, refConstraints, registry, replaceRang
     }
     return out;
 }
+function outputRefused(slot, candidate, registry, analysis) {
+    if (!slot.outputType)
+        return false;
+    const refusal = analysis
+        ? analysis.outputRefusal(slot, { kind: candidate.kind, name: candidate.name })
+        : (registry?.outputRefusal(slot, { kind: candidate.kind }) ?? []);
+    return refusal.length > 0;
+}
 /** Resolve the kinds that satisfy the `x-telo-ref` slot at `parentDocKind` +
  *  `parentYamlPath`. Returns `undefined` (caller falls back to the full list)
  *  when there's no constraint, the path doesn't resolve, or the ref can't
@@ -69,13 +83,15 @@ function refConstrainedKinds(registry, parentDocKind, parentYamlPath) {
     const definition = registry.resolveDefinition(parentDocKind);
     if (!definition?.schema)
         return undefined;
-    const constraints = lookupRefConstraints(definition.schema, parentYamlPath, (from) => registry.resolveSchemaFrom(from, parentDocKind));
-    if (constraints.length === 0)
+    const slot = lookupRefSlot(definition.schema, parentYamlPath, (from) => registry.resolveSchemaFrom(from, parentDocKind));
+    if (!slot || slot.kinds.length === 0)
         return undefined;
-    const resolved = constraints.map((c) => registry.userFacingKindsForRef(c));
+    const resolved = slot.kinds.map((c) => registry.userFacingKindsForRef(c));
     if (!resolved.some(Boolean))
         return undefined;
-    return [...new Set(resolved.flatMap((kinds) => kinds ?? []))];
+    // An inline declaration of a kind whose output the slot refuses would be
+    // refused by `telo check` the moment it is written.
+    return [...new Set(resolved.flatMap((kinds) => kinds ?? []))].filter((kind) => !outputRefused(slot, { kind }, registry, undefined));
 }
 function kindCompletions(registry, docKind, yamlPath, replaceRange) {
     let kinds;
@@ -166,10 +182,10 @@ analysis) {
     }
     if (ctx.type === "ref-name") {
         const definition = registry?.resolveDefinition(ctx.docKind);
-        const refConstraints = registry && definition?.schema
-            ? lookupRefConstraints(definition.schema, ctx.yamlPath, (from) => registry.resolveSchemaFrom(from, ctx.docKind))
-            : [];
-        return refNameCompletions(astDocs, ctx.refKind, refConstraints, registry, ctx.replaceRange);
+        const slot = registry && definition?.schema
+            ? lookupRefSlot(definition.schema, ctx.yamlPath, (from) => registry.resolveSchemaFrom(from, ctx.docKind))
+            : undefined;
+        return refNameCompletions(astDocs, ctx.refKind, slot, registry, analysis, ctx.replaceRange);
     }
     if (ctx.type === "field-value") {
         if (ctx.field === "import-source") {

package/dist/completions/detect-context.d.ts

@@ -1,4 +1,4 @@
-import { type AstDocument, type CelSegment } from "@telorun/analyzer";
+import { type AstDocument, type CelSegment, type RefSlot } from "@telorun/analyzer";
 import type { ReplaceRange } from "../types.js";
 export type { ReplaceRange };
 export type CompletionCtx = {
@@ -137,6 +137,9 @@ export declare function fieldSchemaAt(schema: Record<string, any>, path: string[
  *  `anyOf` / `oneOf` branches alike, so completion now offers what the slot
  *  actually takes. */
 export declare function lookupRefConstraints(definitionSchema: Record<string, any>, yamlPath: string[], schemaFrom?: SchemaFromResolver): string[];
+/** The whole `x-telo-ref` slot at `yamlPath` — its kinds and what it asks of a
+ *  target's output — or undefined when the path declares none. */
+export declare function lookupRefSlot(definitionSchema: Record<string, any>, yamlPath: string[], schemaFrom?: SchemaFromResolver): RefSlot | undefined;
 /** Derive a `CompletionCtx` from the AST-resolved cursor (Approach B). The
  *  structural resolution lives in `resolveNodeAtPosition`; this only maps a
  *  resolved slot onto the completion the editor should offer. `docs` lets a

package/dist/completions/detect-context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"detect-context.d.ts","sourceRoot":"","sources":["../../src/completions/detect-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,WAAW,EAChB,KAAK,UAAU,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIhD,YAAY,EAAE,YAAY,EAAE,CAAC;AAE7B,MAAM,MAAM,aAAa,GACrB;IACE,IAAI,EAAE,MAAM,CAAC;IACb;;;uEAGmE;IACnE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;+BAE2B;IAC3B,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;2BAEuB;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC3B,GACD;IACE;;;gDAG4C;IAC5C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB;6DACyD;IACzD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE;;;gCAG4B;IAC5B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE;;;;wDAIoD;IACpD,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;+CAC2C;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB;uBACmB;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,UAAU,CAAC;IACpB,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE;;sCAEkC;IAClC,IAAI,EAAE,WAAW,CAAC;IAClB,uDAAuD;IACvD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;uBACmB;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,yEAAyE;IACzE,MAAM,EAAE,OAAO,CAAC;IAChB,sEAAsE;IACtE,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE;kCAC8B;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,GAAG,mBAAmB,CAAC;IACpC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,YAAY,CAAC;CAC5B,CAAC;AAyEN;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC;AA0BzF;;;;;;mCAMmC;AACnC,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,EAAE,EACd,UAAU,CAAC,EAAE,kBAAkB,GAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CA6CjC;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,EAAE,OAAO,EACf,UAAU,CAAC,EAAE,kBAAkB,GAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAWjC;AA8CD;;;;;wDAKwD;AACxD;;;;;;;sBAOsB;AACtB,wBAAgB,oBAAoB,CAClC,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACrC,QAAQ,EAAE,MAAM,EAAE,EAClB,UAAU,CAAC,EAAE,kBAAkB,GAC9B,MAAM,EAAE,CAIV;AAED;;;;oBAIoB;AACpB,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,WAAW,EAAE,GACnB,aAAa,GAAG,SAAS,CA8G3B"}
+{"version":3,"file":"detect-context.d.ts","sourceRoot":"","sources":["../../src/completions/detect-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,OAAO,EACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIhD,YAAY,EAAE,YAAY,EAAE,CAAC;AAE7B,MAAM,MAAM,aAAa,GACrB;IACE,IAAI,EAAE,MAAM,CAAC;IACb;;;uEAGmE;IACnE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;+BAE2B;IAC3B,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,GACtB;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;2BAEuB;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC3B,GACD;IACE;;;gDAG4C;IAC5C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB;6DACyD;IACzD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE;;;gCAG4B;IAC5B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE;;;;wDAIoD;IACpD,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;+CAC2C;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB;uBACmB;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,UAAU,CAAC;IACpB,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE;;sCAEkC;IAClC,IAAI,EAAE,WAAW,CAAC;IAClB,uDAAuD;IACvD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;uBACmB;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,yEAAyE;IACzE,MAAM,EAAE,OAAO,CAAC;IAChB,sEAAsE;IACtE,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,YAAY,CAAC;CAC5B,GACD;IACE;kCAC8B;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,GAAG,mBAAmB,CAAC;IACpC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,YAAY,CAAC;CAC5B,CAAC;AAyEN;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC;AA0BzF;;;;;;mCAMmC;AACnC,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,EAAE,EACd,UAAU,CAAC,EAAE,kBAAkB,GAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CA6CjC;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,EAAE,OAAO,EACf,UAAU,CAAC,EAAE,kBAAkB,GAC9B,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,CAWjC;AA8CD;;;;;wDAKwD;AACxD;;;;;;;sBAOsB;AACtB,wBAAgB,oBAAoB,CAClC,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACrC,QAAQ,EAAE,MAAM,EAAE,EAClB,UAAU,CAAC,EAAE,kBAAkB,GAC9B,MAAM,EAAE,CAEV;AAED;kEACkE;AAClE,wBAAgB,aAAa,CAC3B,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACrC,QAAQ,EAAE,MAAM,EAAE,EAClB,UAAU,CAAC,EAAE,kBAAkB,GAC9B,OAAO,GAAG,SAAS,CAGrB;AAED;;;;oBAIoB;AACpB,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,WAAW,EAAE,GACnB,aAAa,GAAG,SAAS,CA8G3B"}

package/dist/completions/detect-context.js

@@ -230,10 +230,13 @@ function unionLeaves(parent, leaves) {
  *  `anyOf` / `oneOf` branches alike, so completion now offers what the slot
  *  actually takes. */
 export function lookupRefConstraints(definitionSchema, yamlPath, schemaFrom) {
+    return lookupRefSlot(definitionSchema, yamlPath, schemaFrom)?.kinds ?? [];
+}
+/** The whole `x-telo-ref` slot at `yamlPath` — its kinds and what it asks of a
+ *  target's output — or undefined when the path declares none. */
+export function lookupRefSlot(definitionSchema, yamlPath, schemaFrom) {
     const node = navigateSchema(definitionSchema, yamlPath, schemaFrom);
-    if (!node)
-        return [];
-    return readRefSlot(node)?.kinds ?? [];
+    return node ? readRefSlot(node) : undefined;
 }
 /** Derive a `CompletionCtx` from the AST-resolved cursor (Approach B). The
  *  structural resolution lives in `resolveNodeAtPosition`; this only maps a

package/dist/import-upgrades/build-import-upgrades.d.ts

@@ -20,9 +20,9 @@ export interface ModuleVersion {
  *
  *  Deliberately NOT `adapter.listVersionsForRef`, which answers `string[]`:
  *  completion offers names, an upgrade writes a pin, so the two want different
- *  things from one route. A host backed by the hub fetches
- *  `GET /module/versions` and passes the body through
- *  {@link parseModuleVersions}. */
+ *  things from one route. A host backed by the hub reads
+ *  `GET /module/versions`, carrying an `integrity` only when it is a canonical
+ *  pin. */
 export type ModuleVersionLookup = (baseRef: string) => Promise<ModuleVersion[]>;
 /** Everything an upgrade needs from its host: what versions exist, and whether
  *  this runtime can host one.

package/dist/import-upgrades/build-import-upgrades.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build-import-upgrades.d.ts","sourceRoot":"","sources":["../../src/import-upgrades/build-import-upgrades.ts"],"names":[],"mappings":"AAAA,OAAO,EAaL,KAAK,WAAW,EAChB,KAAK,KAAK,EACX,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,yBAAyB,EAC/B,MAAM,4BAA4B,CAAC;AAEpC;;;;;oEAKoE;AACpE,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;mCAYmC;AACnC,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;AAEhF;;;;;;;6BAO6B;AAC7B,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,mBAAmB,CAAC;IAClC,YAAY,EAAE,yBAAyB,CAAC;IACxC;;uBAEmB;IACnB,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;6CAE6C;AAC7C,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;6EAKyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,SAAS,EAAE,OAAO,CAAC;IACnB;;oFAEgF;IAChF,QAAQ,EAAE,OAAO,CAAC;IAClB;;;gDAG4C;IAC5C,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,qBAAqB,CAAA;KAAE,CAAC;IAC9D,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;IAChB,qDAAqD;IACrD,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC5B;AAED;;;kFAGkF;AAClF,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;IAChB,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC5B;AAED;;;yDAGyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;IAChB;;qFAEiF;IACjF,IAAI,EAAE,cAAc,GAAG,kBAAkB,CAAC;IAC1C;;;;gFAI4E;IAC5E,MAAM,CAAC,EAAE,qBAAqB,CAAC;IAC/B,yEAAyE;IACzE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,uEAAuE;IACvE,eAAe,EAAE,KAAK,CAAC;IACvB,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC7B;;wDAEoD;IACpD,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,wBAAwB,EAC7B,IAAI,CAAC,EAAE,WAAW,EAAE,GACnB,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAwGvC;AAED;;;;;8EAK8E;AAC9E,wBAAgB,cAAc,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,CAIpE;AAED;;;yEAGyE;AACzE,wBAAgB,cAAc,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,CAIpE"}
+{"version":3,"file":"build-import-upgrades.d.ts","sourceRoot":"","sources":["../../src/import-upgrades/build-import-upgrades.ts"],"names":[],"mappings":"AAAA,OAAO,EAaL,KAAK,WAAW,EAChB,KAAK,KAAK,EACX,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,yBAAyB,EAC/B,MAAM,4BAA4B,CAAC;AAEpC;;;;;oEAKoE;AACpE,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;WAYW;AACX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;AAEhF;;;;;;;6BAO6B;AAC7B,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,mBAAmB,CAAC;IAClC,YAAY,EAAE,yBAAyB,CAAC;IACxC;;uBAEmB;IACnB,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;6CAE6C;AAC7C,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;6EAKyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,SAAS,EAAE,OAAO,CAAC;IACnB;;oFAEgF;IAChF,QAAQ,EAAE,OAAO,CAAC;IAClB;;;gDAG4C;IAC5C,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,qBAAqB,CAAA;KAAE,CAAC;IAC9D,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;IAChB,qDAAqD;IACrD,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC5B;AAED;;;kFAGkF;AAClF,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;IAChB,KAAK,EAAE,iBAAiB,EAAE,CAAC;CAC5B;AAED;;;yDAGyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;IAChB;;qFAEiF;IACjF,IAAI,EAAE,cAAc,GAAG,kBAAkB,CAAC;IAC1C;;;;gFAI4E;IAC5E,MAAM,CAAC,EAAE,qBAAqB,CAAC;IAC/B,yEAAyE;IACzE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,uEAAuE;IACvE,eAAe,EAAE,KAAK,CAAC;IACvB,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC7B;;wDAEoD;IACpD,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,wBAAwB,EAC7B,IAAI,CAAC,EAAE,WAAW,EAAE,GACnB,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAwGvC;AAED;;;;;8EAK8E;AAC9E,wBAAgB,cAAc,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,CAIpE;AAED;;;yEAGyE;AACzE,wBAAgB,cAAc,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,CAIpE"}

package/dist/import-upgrades/index.d.ts

@@ -1,7 +1,6 @@
 export { buildImportUpgrades, describeReason, describeRemedy, } from "./build-import-upgrades.js";
 export type { ImportPin, ImportUpgrade, ImportUpgradeEdit, ImportUpgradeEnvironment, ImportUpgradeSet, ImportUpgradeSkip, ModuleVersion, ModuleVersionLookup, } from "./build-import-upgrades.js";
 export { moduleManifestCacheUrl } from "./manifest-cache-url.js";
-export { parseModuleVersions } from "./parse-module-versions.js";
 export { findImportEntries } from "./find-import-entries.js";
 export type { ImportEntry, ImportEntryIntegrity, ImportsBlock, } from "./find-import-entries.js";
 export { createVersionCompatibility, markVersionCompatibility, noneRunnableReason, selectCompatibleVersion, uncheckedVersionCompatibility, } from "./version-compatibility.js";

package/dist/import-upgrades/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/import-upgrades/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,cAAc,GACf,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,SAAS,EACT,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EACV,WAAW,EACX,oBAAoB,EACpB,YAAY,GACb,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,gBAAgB,GACjB,MAAM,4BAA4B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/import-upgrades/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,cAAc,GACf,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,SAAS,EACT,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EACV,WAAW,EACX,oBAAoB,EACpB,YAAY,GACb,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EACzB,gBAAgB,GACjB,MAAM,4BAA4B,CAAC"}

package/dist/import-upgrades/index.js

@@ -1,5 +1,4 @@
 export { buildImportUpgrades, describeReason, describeRemedy, } from "./build-import-upgrades.js";
 export { moduleManifestCacheUrl } from "./manifest-cache-url.js";
-export { parseModuleVersions } from "./parse-module-versions.js";
 export { findImportEntries } from "./find-import-entries.js";
 export { createVersionCompatibility, markVersionCompatibility, noneRunnableReason, selectCompatibleVersion, uncheckedVersionCompatibility, } from "./version-compatibility.js";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/ide-support",
-  "version": "0.24.0",
+  "version": "0.103.0",
   "description": "Editor-host-agnostic IDE support (completions, diagnostic normalization) for Telo manifests.",
   "keywords": [
     "telo",
@@ -37,8 +37,8 @@
   ],
   "dependencies": {
     "yaml": "^2.8.3",
-    "@telorun/analyzer": "0.84.0",
-    "@telorun/templating": "0.25.0"
+    "@telorun/analyzer": "0.103.0",
+    "@telorun/templating": "0.103.0"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/src/completions/build.ts

@@ -4,13 +4,14 @@ import {
   type AstDocument,
   type AstMap,
   type ManifestAnalysis,
+  type RefSlot,
 } from "@telorun/analyzer";
 import type { CompletionResult, IdeEnvironmentAdapter } from "../types.js";
 import type { ReplaceRange } from "./detect-context.js";
 import { callInputsAt } from "./call-inputs.js";
 import { celCompletions } from "./cel-completions.js";
 import { docIdentity } from "../doc-identity.js";
-import { detectContext, lookupRefConstraints, navigateSchema } from "./detect-context.js";
+import { detectContext, lookupRefSlot, navigateSchema } from "./detect-context.js";
 import { importSourceCompletions } from "./import-source.js";
 import { moduleFileCompletions } from "./module-file-completions.js";
 import { valueTagCompletions } from "./value-tag-completions.js";
@@ -44,11 +45,13 @@ function extractInFileResources(docs: AstDocument[]): ResourceRecord[] {
 function refNameCompletions(
   docs: AstDocument[],
   refKind: string | undefined,
-  refConstraints: string[],
+  slot: RefSlot | undefined,
   registry: AnalysisRegistry | undefined,
+  analysis: ManifestAnalysis | undefined,
   replaceRange: ReplaceRange,
 ): CompletionResult[] {
   const resources = extractInFileResources(docs);
+  const refConstraints = slot?.kinds ?? [];
   let acceptable: Set<string> | undefined;
 
   if (refKind) {
@@ -67,6 +70,10 @@ function refNameCompletions(
   const out: CompletionResult[] = [];
   for (const r of resources) {
     if (acceptable && !acceptable.has(r.kind)) continue;
+    // A target `telo check` refuses for what it returns is not a candidate. The
+    // analysis resolves the instance's own contract; without one the kind's
+    // decides.
+    if (slot && outputRefused(slot, r, registry, analysis)) continue;
     if (seen.has(r.name)) continue;
     seen.add(r.name);
     out.push({
@@ -81,6 +88,19 @@ function refNameCompletions(
   return out;
 }
 
+function outputRefused(
+  slot: RefSlot,
+  candidate: { kind: string; name?: string },
+  registry: AnalysisRegistry | undefined,
+  analysis: ManifestAnalysis | undefined,
+): boolean {
+  if (!slot.outputType) return false;
+  const refusal = analysis
+    ? analysis.outputRefusal(slot, { kind: candidate.kind, name: candidate.name })
+    : (registry?.outputRefusal(slot, { kind: candidate.kind }) ?? []);
+  return refusal.length > 0;
+}
+
 /** Resolve the kinds that satisfy the `x-telo-ref` slot at `parentDocKind` +
  *  `parentYamlPath`. Returns `undefined` (caller falls back to the full list)
  *  when there's no constraint, the path doesn't resolve, or the ref can't
@@ -92,15 +112,19 @@ function refConstrainedKinds(
 ): string[] | undefined {
   const definition = registry.resolveDefinition(parentDocKind);
   if (!definition?.schema) return undefined;
-  const constraints = lookupRefConstraints(
+  const slot = lookupRefSlot(
     definition.schema as Record<string, any>,
     parentYamlPath,
     (from) => registry.resolveSchemaFrom(from, parentDocKind),
   );
-  if (constraints.length === 0) return undefined;
-  const resolved = constraints.map((c) => registry.userFacingKindsForRef(c));
+  if (!slot || slot.kinds.length === 0) return undefined;
+  const resolved = slot.kinds.map((c) => registry.userFacingKindsForRef(c));
   if (!resolved.some(Boolean)) return undefined;
-  return [...new Set(resolved.flatMap((kinds) => kinds ?? []))];
+  // An inline declaration of a kind whose output the slot refuses would be
+  // refused by `telo check` the moment it is written.
+  return [...new Set(resolved.flatMap((kinds) => kinds ?? []))].filter(
+    (kind) => !outputRefused(slot, { kind }, registry, undefined),
+  );
 }
 
 function kindCompletions(
@@ -213,13 +237,13 @@ export async function buildCompletions(
   }
   if (ctx.type === "ref-name") {
     const definition = registry?.resolveDefinition(ctx.docKind);
-    const refConstraints =
+    const slot =
       registry && definition?.schema
-        ? lookupRefConstraints(definition.schema as Record<string, any>, ctx.yamlPath, (from) =>
+        ? lookupRefSlot(definition.schema as Record<string, any>, ctx.yamlPath, (from) =>
             registry.resolveSchemaFrom(from, ctx.docKind),
           )
-        : [];
-    return refNameCompletions(astDocs, ctx.refKind, refConstraints, registry, ctx.replaceRange);
+        : undefined;
+    return refNameCompletions(astDocs, ctx.refKind, slot, registry, analysis, ctx.replaceRange);
   }
   if (ctx.type === "field-value") {
     if (ctx.field === "import-source") {

package/src/completions/detect-context.ts

@@ -4,6 +4,7 @@ import {
   refSlotAnnotation,
   type AstDocument,
   type CelSegment,
+  type RefSlot,
 } from "@telorun/analyzer";
 import type { ReplaceRange } from "../types.js";
 import { valueTag } from "../value-tags/offered-value-tags.js";
@@ -366,9 +367,18 @@ export function lookupRefConstraints(
   yamlPath: string[],
   schemaFrom?: SchemaFromResolver,
 ): string[] {
+  return lookupRefSlot(definitionSchema, yamlPath, schemaFrom)?.kinds ?? [];
+}
+
+/** The whole `x-telo-ref` slot at `yamlPath` — its kinds and what it asks of a
+ *  target's output — or undefined when the path declares none. */
+export function lookupRefSlot(
+  definitionSchema: Record<string, any>,
+  yamlPath: string[],
+  schemaFrom?: SchemaFromResolver,
+): RefSlot | undefined {
   const node = navigateSchema(definitionSchema, yamlPath, schemaFrom);
-  if (!node) return [];
-  return readRefSlot(node)?.kinds ?? [];
+  return node ? readRefSlot(node) : undefined;
 }
 
 /** Derive a `CompletionCtx` from the AST-resolved cursor (Approach B). The

package/src/import-upgrades/build-import-upgrades.ts

@@ -42,9 +42,9 @@ export interface ModuleVersion {
  *
  *  Deliberately NOT `adapter.listVersionsForRef`, which answers `string[]`:
  *  completion offers names, an upgrade writes a pin, so the two want different
- *  things from one route. A host backed by the hub fetches
- *  `GET /module/versions` and passes the body through
- *  {@link parseModuleVersions}. */
+ *  things from one route. A host backed by the hub reads
+ *  `GET /module/versions`, carrying an `integrity` only when it is a canonical
+ *  pin. */
 export type ModuleVersionLookup = (baseRef: string) => Promise<ModuleVersion[]>;
 
 /** Everything an upgrade needs from its host: what versions exist, and whether

package/src/import-upgrades/index.ts

@@ -14,7 +14,6 @@ export type {
   ModuleVersionLookup,
 } from "./build-import-upgrades.js";
 export { moduleManifestCacheUrl } from "./manifest-cache-url.js";
-export { parseModuleVersions } from "./parse-module-versions.js";
 export { findImportEntries } from "./find-import-entries.js";
 export type {
   ImportEntry,

package/dist/import-upgrades/parse-module-versions.d.ts

@@ -1,19 +0,0 @@
-import type { ModuleVersion } from "./build-import-upgrades.js";
-/**
- * Read the hub's `GET /module/versions` payload into {@link ModuleVersion}s,
- * newest first (the route's own ordering, preserved).
- *
- * Pure — the host owns the `fetch`, as everything else in this package does.
- * It lives here rather than in each host because the shape is this package's:
- * three hosts parsing the same route by hand is how one of them was left
- * filtering for strings after the route started returning objects, which
- * TypeScript could not catch behind the response cast and which surfaced only
- * as a silently empty version list.
- *
- * Tolerant by design: an entry with no usable `version` is dropped rather than
- * throwing, and an `integrity` that is not a canonical `sha256-<base64url>` is
- * discarded rather than carried — a pin is spliced into the author's YAML, so a
- * malformed one has to become "no pin", never corrupt text.
- */
-export declare function parseModuleVersions(payload: unknown): ModuleVersion[];
-//# sourceMappingURL=parse-module-versions.d.ts.map

package/dist/import-upgrades/parse-module-versions.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"parse-module-versions.d.ts","sourceRoot":"","sources":["../../src/import-upgrades/parse-module-versions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE,CAUrE"}

package/dist/import-upgrades/parse-module-versions.js

@@ -1,29 +0,0 @@
-import { isCanonicalIntegrity } from "@telorun/analyzer";
-/**
- * Read the hub's `GET /module/versions` payload into {@link ModuleVersion}s,
- * newest first (the route's own ordering, preserved).
- *
- * Pure — the host owns the `fetch`, as everything else in this package does.
- * It lives here rather than in each host because the shape is this package's:
- * three hosts parsing the same route by hand is how one of them was left
- * filtering for strings after the route started returning objects, which
- * TypeScript could not catch behind the response cast and which surfaced only
- * as a silently empty version list.
- *
- * Tolerant by design: an entry with no usable `version` is dropped rather than
- * throwing, and an `integrity` that is not a canonical `sha256-<base64url>` is
- * discarded rather than carried — a pin is spliced into the author's YAML, so a
- * malformed one has to become "no pin", never corrupt text.
- */
-export function parseModuleVersions(payload) {
-    const versions = payload?.versions;
-    if (!Array.isArray(versions))
-        return [];
-    return versions.flatMap((entry) => {
-        const version = entry?.version;
-        if (typeof version !== "string" || version === "")
-            return [];
-        const integrity = entry.integrity;
-        return [isCanonicalIntegrity(integrity) ? { version, integrity } : { version }];
-    });
-}

package/src/import-upgrades/parse-module-versions.ts

@@ -1,30 +0,0 @@
-import { isCanonicalIntegrity } from "@telorun/analyzer";
-import type { ModuleVersion } from "./build-import-upgrades.js";
-
-/**
- * Read the hub's `GET /module/versions` payload into {@link ModuleVersion}s,
- * newest first (the route's own ordering, preserved).
- *
- * Pure — the host owns the `fetch`, as everything else in this package does.
- * It lives here rather than in each host because the shape is this package's:
- * three hosts parsing the same route by hand is how one of them was left
- * filtering for strings after the route started returning objects, which
- * TypeScript could not catch behind the response cast and which surfaced only
- * as a silently empty version list.
- *
- * Tolerant by design: an entry with no usable `version` is dropped rather than
- * throwing, and an `integrity` that is not a canonical `sha256-<base64url>` is
- * discarded rather than carried — a pin is spliced into the author's YAML, so a
- * malformed one has to become "no pin", never corrupt text.
- */
-export function parseModuleVersions(payload: unknown): ModuleVersion[] {
-  const versions = (payload as { versions?: unknown } | null | undefined)?.versions;
-  if (!Array.isArray(versions)) return [];
-
-  return versions.flatMap((entry) => {
-    const version = (entry as { version?: unknown } | null)?.version;
-    if (typeof version !== "string" || version === "") return [];
-    const integrity = (entry as { integrity?: unknown }).integrity;
-    return [isCanonicalIntegrity(integrity) ? { version, integrity } : { version }];
-  });
-}