@telorun/ide-support 0.7.10 → 0.9.0

package/src/definition/resolve-kind-target.ts

@@ -0,0 +1,61 @@
+import type { LoadedGraph, LoadedModule } from "@telorun/analyzer";
+import type { DefinitionResult } from "../types.js";
+import type { ResolvedCursor } from "../completions/resolve-node.js";
+import type { AliasQualifiedValue } from "./alias-qualified-value.js";
+import { locateImport, locateKindDefinition, moduleFiles } from "./manifest-navigation.js";
+import { resolveExportedKind } from "./resolve-export-chain.js";
+
+const DEFINITION_DOC_KINDS = new Set(["Telo.Definition", "Telo.Abstract"]);
+
+/** Whether the cursor sits in a slot whose value is an alias-qualified kind.
+ *
+ *  `x-telo-ref` is an `x-telo-*` annotation, unambiguous wherever it appears.
+ *  `extends:` is only a kind at the top level of a definition doc, so it is
+ *  gated on both. `kind:` is positional by nature: a map carrying a
+ *  `<Alias>.<Kind>` value under `kind` IS an inline resource declaration as far
+ *  as the analyzer is concerned too (`resourceKindOf`), so there is no further
+ *  structure to check — an unresolvable value simply navigates nowhere.
+ *
+ *  `capability:` is deliberately absent — its values are kernel built-ins with
+ *  no manifest to jump to (hover documents them instead). */
+export function isKindSlot(resolved: ResolvedCursor): boolean {
+  const key = resolved.path[resolved.path.length - 1];
+  if (key === "x-telo-ref" || key === "kind") return true;
+  return (
+    key === "extends" &&
+    resolved.path.length === 1 &&
+    DEFINITION_DOC_KINDS.has(resolved.docKind ?? "")
+  );
+}
+
+/** Resolve an alias-qualified kind (`Http.Server`) to the `Telo.Definition` /
+ *  `Telo.Abstract` doc that registers it, or — when the cursor sits on the
+ *  alias — to the import that declares the alias.
+ *
+ *  `Self.<Kind>` is the declaring module's own kind; `Telo.<Kind>` is a kernel
+ *  built-in with no manifest, so it resolves to nothing. Across an import the
+ *  walk honors `exports.kinds` and follows `<Inner>.<Kind>` re-exports to the
+ *  owning module, matching what the kernel resolves the kind to at runtime. */
+export function resolveKindTarget(
+  graph: LoadedGraph,
+  currentModule: LoadedModule,
+  kind: AliasQualifiedValue,
+): DefinitionResult | undefined {
+  const { alias, name, onAlias } = kind;
+
+  if (alias === undefined) {
+    // The legacy `<namespace>/<module>#<Kind>` identity form of `x-telo-ref`
+    // still resolves for already-published module versions, but it names a
+    // module this manifest need not import, so there is no alias to follow.
+    if (name.includes("#")) return undefined;
+    return locateKindDefinition(moduleFiles(currentModule), name);
+  }
+  if (alias === "Self") return locateKindDefinition(moduleFiles(currentModule), name);
+  if (alias === "Telo") return undefined;
+
+  if (onAlias) return locateImport(currentModule, alias);
+
+  const edge = graph.importEdges.get(currentModule.owner.source)?.get(alias);
+  if (!edge) return undefined;
+  return resolveExportedKind(graph, edge.targetSource, name);
+}

package/src/definition/resolve-ref-target.ts

@@ -0,0 +1,34 @@
+import type { LoadedGraph, LoadedModule } from "@telorun/analyzer";
+import type { DefinitionResult } from "../types.js";
+import type { AliasQualifiedValue } from "./alias-qualified-value.js";
+import { locateImport, locateResource, moduleFiles } from "./manifest-navigation.js";
+import { resolveExportedResource } from "./resolve-export-chain.js";
+
+/** Resolve a `!ref` target to the resource instance it names.
+ *
+ *  The grammar mirrors `resolveRefSentinels`: a bare name (or `Self.name`) is a
+ *  local resource in the current module; `Alias.name` is an exported instance of
+ *  the module the import `Alias` points at, followed transitively through
+ *  re-exports and gated on each module's `exports.resources`. The alias half
+ *  navigates to the import that declares it. Returns `undefined` when the target
+ *  can't be found (a scope-local name, an instance the target does not export,
+ *  or an import that failed to load). */
+export function resolveRefTarget(
+  graph: LoadedGraph,
+  currentModule: LoadedModule,
+  ref: AliasQualifiedValue,
+): DefinitionResult | undefined {
+  const { alias, name, onAlias } = ref;
+
+  if (alias === undefined || alias === "Self") {
+    // `Self` names the declaring module itself — there is no import to jump to,
+    // so the alias half resolves like the name half.
+    return locateResource(moduleFiles(currentModule), name);
+  }
+
+  if (onAlias) return locateImport(currentModule, alias);
+
+  const edge = graph.importEdges.get(currentModule.owner.source)?.get(alias);
+  if (!edge) return undefined;
+  return resolveExportedResource(graph, edge.targetSource, name);
+}

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

@@ -0,0 +1,190 @@
+import {
+  buildLineOffsets,
+  isLocalPathSource,
+  isNewerModuleVersion,
+  newestModuleVersion,
+  parseToAst,
+  parseVersionedRef,
+  withRefVersion,
+  type AstDocument,
+  type Range,
+} from "@telorun/analyzer";
+import { findImportEntries, type ImportEntry } from "./find-import-entries.js";
+
+/** Version enumeration for one version-independent base ref, newest first.
+ *
+ *  Narrower than the full `IdeEnvironmentAdapter` on purpose. It is the only
+ *  environment capability an upgrade check needs, and a host that caches or
+ *  throttles hub traffic wraps just this — a CodeLens re-resolves far more
+ *  often than a completion popup opens, so the refresh cadence is the host's
+ *  policy, not this module's. A host backed by the hub passes
+ *  `adapter.listVersionsForRef`. */
+export type ModuleVersionLookup = (baseRef: string) => Promise<string[]>;
+
+/** A source edit a host applies verbatim to upgrade an import. Ranges never
+ *  overlap, within an upgrade or across a batch, so a host may apply the whole
+ *  set in one pass without ordering them. */
+export interface ImportUpgradeEdit {
+  range: Range;
+  newText: string;
+}
+
+/** One import that has a newer version available. */
+export interface ImportUpgrade {
+  alias: string;
+  /** The source as written, with any object-form `integrity:` folded in. */
+  source: string;
+  currentVersion: string;
+  latestVersion: string;
+  /** The source that replaces it: re-pointed at `latestVersion` with the
+   *  integrity pin dropped. */
+  newSource: string;
+  /** True when the replaced import carried a pin. A host that cannot recompute
+   *  the hash should say so — the pin covers the version being replaced, and
+   *  `telo upgrade` re-pins either shape. */
+  wasPinned: boolean;
+  /** Span of the alias key — where a per-entry affordance anchors. */
+  keyRange: Range;
+  /** Apply all of these to upgrade this one import. */
+  edits: ImportUpgradeEdit[];
+}
+
+/** An import that IS behind but that this module declines to rewrite. Carries
+ *  the same anchor and versions an {@link ImportUpgrade} does, so a host can
+ *  render it in place of the upgrade affordance rather than leaving the author
+ *  wondering why a stale import shows nothing at all. */
+export interface ImportUpgradeSkip {
+  alias: string;
+  currentVersion: string;
+  latestVersion: string;
+  /** Span of the alias key — where a per-entry affordance anchors. */
+  keyRange: Range;
+  /** Author-facing sentence: what was not done, and what to run instead. */
+  reason: string;
+}
+
+export interface ImportUpgradeSet {
+  /** Span of the `imports:` key — where a summary affordance anchors. */
+  importsKeyRange: Range;
+  upgrades: ImportUpgrade[];
+  skipped: ImportUpgradeSkip[];
+  /** Base refs whose version lookup failed. Never thrown: one unreachable ref
+   *  must not blank the affordances for every other import in the file. The
+   *  host decides whether to log or surface these. */
+  failures: Array<{ baseRef: string; message: string }>;
+}
+
+/**
+ * Find every `imports:` entry of a module document that names a version older
+ * than the newest one `listVersions` reports, and produce the source edits that
+ * re-point it.
+ *
+ * Skips what carries no upgradeable version: local path imports, bare URLs,
+ * untagged refs, and pins that are not SemVer (an OCI digest, a moving tag like
+ * `latest`) — `parseVersionedRef` and `isNewerModuleVersion` both decline to
+ * guess, so those simply produce no upgrade.
+ *
+ * Pure apart from `listVersions`: no filesystem, no direct network, no host
+ * API. Returns `undefined` when the file declares no module document or the
+ * module declares no `imports:`.
+ */
+export async function buildImportUpgrades(
+  text: string,
+  listVersions: ModuleVersionLookup,
+  docs?: AstDocument[],
+): Promise<ImportUpgradeSet | undefined> {
+  const lineOffsets = buildLineOffsets(text);
+  const block = findImportEntries(text, docs ?? parseToAst(text), lineOffsets);
+  if (!block) return undefined;
+
+  const candidates = block.entries.flatMap((entry) => {
+    if (isLocalPathSource(entry.source)) return [];
+    const ref = parseVersionedRef(entry.source);
+    return ref ? [{ entry, ref }] : [];
+  });
+
+  const failures: Array<{ baseRef: string; message: string }> = [];
+  const latest = await resolveLatest(
+    [...new Set(candidates.map((c) => c.ref.baseRef))],
+    listVersions,
+    failures,
+  );
+
+  const upgrades: ImportUpgrade[] = [];
+  const skipped: ImportUpgradeSkip[] = [];
+
+  for (const { entry, ref } of candidates) {
+    const newest = latest.get(ref.baseRef);
+    if (!newest || !isNewerModuleVersion(newest, ref.version)) continue;
+
+    if (entry.integrityInline) {
+      skipped.push({
+        alias: entry.alias,
+        currentVersion: ref.version,
+        latestVersion: newest,
+        keyRange: entry.keyRange,
+        reason:
+          `'${entry.alias}' carries an inline 'integrity:' that shares a line with other ` +
+          `fields, so the stale pin cannot be removed by a line edit. Run \`telo upgrade\`.`,
+      });
+      continue;
+    }
+
+    upgrades.push({
+      alias: entry.alias,
+      source: entry.source,
+      currentVersion: ref.version,
+      latestVersion: newest,
+      newSource: withRefVersion(entry.source, newest),
+      wasPinned: ref.integrity != null,
+      keyRange: entry.keyRange,
+      edits: buildEdits(entry, withRefVersion(entry.source, newest)),
+    });
+  }
+
+  return { importsKeyRange: block.keyRange, upgrades, skipped, failures };
+}
+
+/** Re-point the source scalar, and delete a now-stale object-form `integrity:`
+ *  line. `withRefVersion` already strips an inline `#sha256-…` fragment, so the
+ *  scalar shorthand needs no second edit. Dropping the pin is not optional: it
+ *  hashes the `telo.yaml` of the version being replaced, so carrying it onto a
+ *  different version turns the next install into a tamper error. */
+function buildEdits(entry: ImportEntry, newSource: string): ImportUpgradeEdit[] {
+  const edits: ImportUpgradeEdit[] = [{ range: entry.sourceRange, newText: newSource }];
+  if (entry.integrityLineRange) {
+    edits.push({ range: entry.integrityLineRange, newText: "" });
+  }
+  return edits;
+}
+
+/** Newest version per base ref, fetched once each. A ref whose lookup rejects
+ *  is recorded in `failures` and left out of the map, so it yields no upgrade
+ *  rather than a wrong one. */
+async function resolveLatest(
+  baseRefs: string[],
+  listVersions: ModuleVersionLookup,
+  failures: Array<{ baseRef: string; message: string }>,
+): Promise<Map<string, string>> {
+  const results = await Promise.all(
+    baseRefs.map(async (baseRef) => {
+      try {
+        const versions = await listVersions(baseRef);
+        return { baseRef, newest: newestModuleVersion(versions) };
+      } catch (err) {
+        failures.push({
+          baseRef,
+          message: err instanceof Error ? err.message : String(err),
+        });
+        return { baseRef, newest: undefined };
+      }
+    }),
+  );
+
+  const map = new Map<string, string>();
+  for (const { baseRef, newest } of results) {
+    if (newest) map.set(baseRef, newest);
+  }
+  return map;
+}
+

package/src/import-upgrades/find-import-entries.ts

@@ -0,0 +1,175 @@
+import {
+  foldIntegrity,
+  isModuleKind,
+  offsetToPosition,
+  type AstDocument,
+  type AstMap,
+  type AstNode,
+  type Range,
+} from "@telorun/analyzer";
+
+/** One `imports:` map entry, located in the source text.
+ *
+ *  `source` is the *folded* form — an object-form `integrity:` sibling is
+ *  folded into the source string as a `#sha256-…` fragment, exactly as
+ *  `inlineImportManifests` does, so callers reason about a single
+ *  representation regardless of which shape the author wrote. */
+export interface ImportEntry {
+  alias: string;
+  /** The source with any `integrity:` sibling folded in as a fragment. */
+  source: string;
+  /** Span of the alias key — where a per-entry affordance anchors. */
+  keyRange: Range;
+  /** Span of the source scalar's value: the entry value itself for the scalar
+   *  shorthand, the `source:` value for the object form. Replacing this span
+   *  re-points the import. */
+  sourceRange: Range;
+  /** Whole-line span of an object-form `integrity:` entry, including its
+   *  trailing newline, so a caller can delete the line. Absent for the scalar
+   *  shorthand (where the pin rides inside `sourceRange`) and for an entry that
+   *  declares no `integrity:`. */
+  integrityLineRange?: Range;
+  /** Set when the entry carries an `integrity:` sibling that does NOT occupy
+   *  whole lines of its own (a flow-style `{source: …, integrity: …}` map).
+   *  Deleting it would need a structural rewrite rather than a line splice, so
+   *  a caller that cannot leave the pin behind must skip this entry rather
+   *  than re-point it and strand a hash for the version it replaced. */
+  integrityInline?: boolean;
+}
+
+/** Where the `imports:` map lives in a module document. */
+export interface ImportsBlock {
+  /** Span of the `imports:` key — where a summary affordance anchors. */
+  keyRange: Range;
+  entries: ImportEntry[];
+}
+
+/** Locate the `imports:` map of the file's module document (`Telo.Application`
+ *  / `Telo.Library`). Returns `undefined` when the file declares no module doc
+ *  or the doc has no `imports:` map — a partial file, or a module with no
+ *  dependencies.
+ *
+ *  Reads the AST rather than the analyzer's flattened manifests because the
+ *  affordances built on top of this write back to the source: the exact span of
+ *  each source scalar is the deliverable, not the resolved value. */
+export function findImportEntries(
+  text: string,
+  docs: AstDocument[],
+  lineOffsets: number[],
+): ImportsBlock | undefined {
+  for (const doc of docs) {
+    const root = doc.root;
+    if (!root || root.kind !== "map") continue;
+    if (!isModuleKind(scalarString(mapGet(root, "kind")))) continue;
+
+    const importsPair = root.entries.find(
+      (p) => p.key.kind === "scalar" && p.key.value === "imports",
+    );
+    if (!importsPair?.value || importsPair.value.kind !== "map") return undefined;
+
+    return {
+      keyRange: toRange(importsPair.key, lineOffsets),
+      entries: importsPair.value.entries.flatMap((pair) => {
+        const alias = scalarString(pair.key);
+        if (alias === undefined || !pair.value) return [];
+        const entry = readEntry(alias, pair.key, pair.value, text, lineOffsets);
+        return entry ? [entry] : [];
+      }),
+    };
+  }
+  return undefined;
+}
+
+/** Read one entry in either authored shape. Returns `undefined` for a malformed
+ *  entry (an object with no string `source:`) — the module document's own
+ *  schema validation already reports those against `imports.<Alias>.source`. */
+function readEntry(
+  alias: string,
+  keyNode: AstNode,
+  valueNode: AstNode,
+  text: string,
+  lineOffsets: number[],
+): ImportEntry | undefined {
+  const keyRange = toRange(keyNode, lineOffsets);
+
+  if (valueNode.kind === "scalar") {
+    const source = scalarString(valueNode);
+    if (source === undefined) return undefined;
+    return { alias, source, keyRange, sourceRange: toRange(valueNode, lineOffsets) };
+  }
+
+  if (valueNode.kind !== "map") return undefined;
+  const sourceNode = mapGet(valueNode, "source");
+  const source = scalarString(sourceNode);
+  if (sourceNode === undefined || source === undefined) return undefined;
+
+  const integrityPair = valueNode.entries.find(
+    (p) => p.key.kind === "scalar" && p.key.value === "integrity",
+  );
+  const integrity = scalarString(integrityPair?.value);
+
+  const entry: ImportEntry = {
+    alias,
+    source: foldIntegrity(source, integrity),
+    keyRange,
+    sourceRange: toRange(sourceNode, lineOffsets),
+  };
+
+  if (integrityPair?.value && integrity !== undefined) {
+    const lineSpan = wholeLineSpan(
+      integrityPair.key.range[0],
+      integrityPair.value.range[1],
+      text,
+      lineOffsets,
+    );
+    if (lineSpan) entry.integrityLineRange = lineSpan;
+    else entry.integrityInline = true;
+  }
+
+  return entry;
+}
+
+/** The whole-lines span covering `[start, end)` plus its trailing newline, or
+ *  `undefined` when the span shares a line with other content — only leading
+ *  indentation may precede it and nothing but spacing may follow. A flow-style
+ *  map (`{source: …, integrity: …}`) fails this test, which is what keeps a
+ *  line splice from eating a sibling field. */
+function wholeLineSpan(
+  start: number,
+  end: number,
+  text: string,
+  lineOffsets: number[],
+): Range | undefined {
+  const lineStart = lineOffsets[offsetToPosition(start, lineOffsets).line];
+  if (text.slice(lineStart, start).trim() !== "") return undefined;
+
+  const nextNewline = text.indexOf("\n", end);
+  const lineEnd = nextNewline === -1 ? text.length : nextNewline + 1;
+  if (text.slice(end, nextNewline === -1 ? text.length : nextNewline).trim() !== "") {
+    return undefined;
+  }
+
+  return {
+    start: offsetToPosition(lineStart, lineOffsets),
+    end: offsetToPosition(lineEnd, lineOffsets),
+  };
+}
+
+function toRange(node: AstNode, lineOffsets: number[]): Range {
+  return {
+    start: offsetToPosition(node.range[0], lineOffsets),
+    end: offsetToPosition(node.range[1], lineOffsets),
+  };
+}
+
+function mapGet(node: AstMap, key: string): AstNode | undefined {
+  return node.entries.find((p) => p.key.kind === "scalar" && p.key.value === key)?.value;
+}
+
+/** The node's value when it is a plain (untagged) string scalar. A `!cel` /
+ *  `!ref` scalar resolves to a sentinel object, not a string, so it falls out
+ *  here — an import source is never an expression. */
+function scalarString(node: AstNode | undefined): string | undefined {
+  if (!node || node.kind !== "scalar") return undefined;
+  return typeof node.value === "string" ? node.value : undefined;
+}

package/src/import-upgrades/index.ts

@@ -0,0 +1,10 @@
+export { buildImportUpgrades } from "./build-import-upgrades.js";
+export type {
+  ImportUpgrade,
+  ImportUpgradeEdit,
+  ImportUpgradeSet,
+  ImportUpgradeSkip,
+  ModuleVersionLookup,
+} from "./build-import-upgrades.js";
+export { findImportEntries } from "./find-import-entries.js";
+export type { ImportEntry, ImportsBlock } from "./find-import-entries.js";

package/src/index.ts

@@ -4,3 +4,4 @@ export * from "./diagnostics/index.js";
 export * from "./hover/index.js";
 export * from "./semantic-tokens/index.js";
 export * from "./definition/index.js";
+export * from "./import-upgrades/index.js";