@telorun/ide-support 0.23.0 → 0.24.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;AAqK3E,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,CAuD7B"}
+{"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"}

package/dist/completions/build.js

@@ -4,6 +4,8 @@ import { celCompletions } from "./cel-completions.js";
 import { docIdentity } from "../doc-identity.js";
 import { detectContext, lookupRefConstraints, 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";
 import { propKeyCompletions } from "./prop-keys.js";
 import { CAPABILITY_VALUES } from "./valid-capabilities.js";
 /** Read the top-level `kind` and `metadata.name` scalar of each document from
@@ -151,6 +153,11 @@ analysis) {
     }
     if (ctx.type === "capability")
         return capabilityCompletions();
+    if (ctx.type === "value-tag")
+        return valueTagCompletions(ctx, registry);
+    if (ctx.type === "module-file") {
+        return moduleFileCompletions(ctx.names, ctx.prefix, ctx.replaceRange, adapter);
+    }
     if (ctx.type === "value-suggestions") {
         return valueSuggestions(registry, ctx.docKind, ctx.yamlPath, ctx.replaceRange);
     }

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

@@ -74,6 +74,30 @@ export type CompletionCtx = {
     segment: CelSegment;
     /** Cursor as a document offset. */
     offset: number;
+} | {
+    /** Cursor sits on a value's YAML tag (`root: !mo|`). What is offered is
+     *  every tag the field takes, so its schema is addressed relative to the
+     *  nearest enclosing resource. */
+    type: "value-tag";
+    /** Absent at a document declaring no resource kind. */
+    kind?: string;
+    yamlPath: string[];
+    /** Resource-relative, sequence indices kept — what the eval mode is
+     *  resolved at. */
+    concretePath: string;
+    /** The value is a sequence item, so the field's schema is its item's. */
+    isItem: boolean;
+    /** Nothing follows the tag yet, so a pick may lead into the value. */
+    bare: boolean;
+    replaceRange: ReplaceRange;
+} | {
+    /** Cursor sits in the value of a tag naming a location inside the module
+     *  (`!module-path ./pu|`). */
+    type: "module-file";
+    names: "file" | "file-or-directory";
+    /** Text from the start of the value to the cursor. */
+    prefix: string;
+    replaceRange: ReplaceRange;
 };
 /**
  * Resolves an `x-telo-schema-from` annotation to the schema it derives. Supplied
@@ -89,6 +113,15 @@ export type SchemaFromResolver = (schemaFrom: string) => Record<string, any> | u
  *  intersection — enough for propKeyCompletions to surface every key a value at
  *  this slot can legally carry. */
 export declare function navigateSchema(schema: Record<string, any>, path: string[], schemaFrom?: SchemaFromResolver): Record<string, any> | undefined;
+/**
+ * The schema of the field at `path`, as DECLARED — combinators kept.
+ *
+ * `navigateSchema` merges a leaf's branches into one object node, which is what
+ * key completion wants and exactly what a type comparison must not see: a
+ * `Telo.HostPath` branch of an `anyOf` stops being one. `isItem` selects the
+ * field's item schema, for a value written as a sequence item.
+ */
+export declare function fieldSchemaAt(schema: Record<string, any>, path: string[], isItem: boolean, schemaFrom?: SchemaFromResolver): Record<string, any> | undefined;
 /** Walks up and down from `cursorLine` looking for a sibling line at the
  *  exact same indent whose key is `kind`. The value of the first such line
  *  is returned (alias form, e.g. `"Sql.Connection"`). Used by ref-name

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;AAGhD,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,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;AAwCD;;;;;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,CAqF3B"}
+{"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"}

package/dist/completions/detect-context.js

@@ -1,4 +1,5 @@
 import { parseToAst, readRefSlot, refSlotAnnotation, } from "@telorun/analyzer";
+import { valueTag } from "../value-tags/offered-value-tags.js";
 import { resolveNodeAtPosition } from "./resolve-node.js";
 /** Returns every schema branch reachable from `node` after peeling `anyOf` /
  *  `oneOf` recursively. A branch with no combinators is its own only entry.
@@ -153,6 +154,35 @@ export function navigateSchema(schema, path, schemaFrom) {
         return leaves[0];
     return unionLeaves(current, leaves);
 }
+/**
+ * The schema of the field at `path`, as DECLARED — combinators kept.
+ *
+ * `navigateSchema` merges a leaf's branches into one object node, which is what
+ * key completion wants and exactly what a type comparison must not see: a
+ * `Telo.HostPath` branch of an `anyOf` stops being one. `isItem` selects the
+ * field's item schema, for a value written as a sequence item.
+ */
+export function fieldSchemaAt(schema, path, isItem, schemaFrom) {
+    if (path.length === 0)
+        return undefined;
+    const parent = navigateSchema(schema, path.slice(0, -1), schemaFrom);
+    const key = path[path.length - 1];
+    let field = parent?.properties?.[key] ?? parent?.additionalProperties;
+    if (!field || typeof field !== "object")
+        return undefined;
+    field = resolveLocalRef(field, schema);
+    if (isItem) {
+        while (field?.type === "array" && field.items)
+            field = resolveLocalRef(field.items, schema);
+    }
+    return field;
+}
+/** `concretePath` relative to the resource map at `resourceConcrete`. */
+function relativeConcretePath(concretePath, resourceConcrete) {
+    if (!resourceConcrete)
+        return concretePath;
+    return concretePath.slice(resourceConcrete.length).replace(/^\./, "");
+}
 /** Merge multiple peeled schema branches into one node for completion purposes.
  *  Property maps are unioned (first branch wins on key collision). `required`
  *  becomes the intersection so optional-in-any-branch keys still surface.
@@ -216,6 +246,28 @@ export function detectContext(text, line, character, docs) {
         return undefined;
     const { docKind } = resolved;
     if (resolved.slot === "value") {
+        const tag = resolved.tag;
+        if (tag?.prefix !== undefined) {
+            const depth = resolved.resourceDepth ?? 0;
+            return {
+                type: "value-tag",
+                kind: resolved.resourceKind ?? docKind,
+                yamlPath: resolved.path.slice(depth),
+                concretePath: relativeConcretePath(resolved.concretePath ?? "", resolved.resourceConcretePath ?? ""),
+                isItem: resolved.container === undefined,
+                bare: tag.bare,
+                replaceRange: tag.replaceRange,
+            };
+        }
+        const names = tag ? valueTag(tag.text.slice(1))?.names : undefined;
+        if (names && resolved.replaceRange) {
+            return {
+                type: "module-file",
+                names,
+                prefix: resolved.prefix ?? "",
+                replaceRange: resolved.replaceRange,
+            };
+        }
         // Inside a CEL body — structural completion does not apply; what completes
         // are the names the expression may use.
         if (resolved.cel) {

package/dist/completions/module-file-completions.d.ts

@@ -0,0 +1,18 @@
+import type { CompletionResult, IdeEnvironmentAdapter, ReplaceRange } from "../types.js";
+/**
+ * Completions for the value of a tag naming a location inside the module
+ * (`!include-text`, `!include-bytes`, `!module-path`).
+ *
+ * Paths are measured from the MODULE ROOT, never from the declaring file, so the
+ * listing is asked of the host against that root. The typed text up to its last
+ * `/` is the directory listed, and is kept on every insertion, so `./` stays
+ * where the author wrote it. A directory is a value in its own right where the
+ * tag may name one; where it names a file, a directory is only a way down, so a
+ * pick inserts its `/` and reopens completion. Dot-entries are listed only once
+ * the typed name starts with `.`, as a shell completes them.
+ *
+ * Nothing is offered above the root or for an absolute or URL-shaped path: the
+ * tag refuses those, and a listing there would offer what cannot be written.
+ */
+export declare function moduleFileCompletions(names: "file" | "file-or-directory", prefix: string, replaceRange: ReplaceRange, adapter: IdeEnvironmentAdapter | undefined): Promise<CompletionResult[]>;
+//# sourceMappingURL=module-file-completions.d.ts.map

package/dist/completions/module-file-completions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-file-completions.d.ts","sourceRoot":"","sources":["../../src/completions/module-file-completions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAKzF;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,MAAM,GAAG,mBAAmB,EACnC,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,YAAY,EAC1B,OAAO,EAAE,qBAAqB,GAAG,SAAS,GACzC,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAyB7B"}

package/dist/completions/module-file-completions.js

@@ -0,0 +1,59 @@
+/** Caps one listing; a popover shows far fewer. */
+const ENTRY_LIMIT = 200;
+/**
+ * Completions for the value of a tag naming a location inside the module
+ * (`!include-text`, `!include-bytes`, `!module-path`).
+ *
+ * Paths are measured from the MODULE ROOT, never from the declaring file, so the
+ * listing is asked of the host against that root. The typed text up to its last
+ * `/` is the directory listed, and is kept on every insertion, so `./` stays
+ * where the author wrote it. A directory is a value in its own right where the
+ * tag may name one; where it names a file, a directory is only a way down, so a
+ * pick inserts its `/` and reopens completion. Dot-entries are listed only once
+ * the typed name starts with `.`, as a shell completes them.
+ *
+ * Nothing is offered above the root or for an absolute or URL-shaped path: the
+ * tag refuses those, and a listing there would offer what cannot be written.
+ */
+export async function moduleFileCompletions(names, prefix, replaceRange, adapter) {
+    if (!adapter || /^["']/.test(prefix))
+        return [];
+    const lastSlash = prefix.lastIndexOf("/");
+    const dirPart = prefix.slice(0, lastSlash + 1);
+    const namePart = prefix.slice(lastSlash + 1);
+    if (!staysInModule(dirPart))
+        return [];
+    const entries = await adapter.listModuleEntries(dirPart === "" ? "." : dirPart);
+    return entries
+        .filter((e) => e.name.startsWith(namePart) && (namePart.startsWith(".") || !e.name.startsWith(".")))
+        .sort((a, b) => Number(b.directory) - Number(a.directory) || a.name.localeCompare(b.name))
+        .slice(0, ENTRY_LIMIT)
+        .map((entry) => {
+        const navigateOnly = entry.directory && names === "file";
+        const path = dirPart + entry.name + (navigateOnly ? "/" : "");
+        return {
+            label: entry.directory ? `${entry.name}/` : entry.name,
+            kind: entry.directory ? "folder" : "file",
+            insertText: path,
+            filterText: path,
+            replaceRange,
+            retrigger: navigateOnly,
+            sortText: `${entry.directory ? 0 : 1}_${entry.name}`,
+        };
+    });
+}
+/** Whether a module-root-relative directory stays inside the module. Pure string
+ *  work, by the rule the tags' own path grammar applies. */
+function staysInModule(dir) {
+    if (/^([/\\]|[a-z][a-z0-9+.-]*:)/i.test(dir))
+        return false;
+    let depth = 0;
+    for (const segment of dir.split(/[/\\]+/)) {
+        if (segment === "" || segment === ".")
+            continue;
+        depth += segment === ".." ? -1 : 1;
+        if (depth < 0)
+            return false;
+    }
+    return true;
+}

package/dist/completions/resolve-node.d.ts

@@ -34,13 +34,18 @@ export interface ResolvedCursor {
     /** Key slot: keys already present in the container (the key under the cursor
      *  excluded so it still suggests itself). */
     existingKeys?: Set<string>;
-    /** Key slot: the kind of the nearest enclosing inline resource (or the root
-     *  resource), whose schema the prop keys are completed against. Falls back to
-     *  the document kind at the root. */
+    /** The kind of the nearest enclosing inline resource (or the root resource),
+     *  whose schema the slot is completed against. Absent at a root declaring no
+     *  resource kind. */
     resourceKind?: string;
-    /** Key slot: number of `path` segments that reach `resourceKind`'s map, so
-     *  the schema-relative path is `path.slice(resourceDepth)`. */
+    /** Number of `path` segments that reach `resourceKind`'s map, so the
+     *  schema-relative path is `path.slice(resourceDepth)`. */
     resourceDepth?: number;
+    /** Value slot: the concrete path of `resourceKind`'s map, so the
+     *  resource-relative concrete path is what follows it in `concretePath`. */
+    resourceConcretePath?: string;
+    /** Value slot: the scalar's tag, when written out in front of it. */
+    tag?: ResolvedTag;
     /** The path with sequence INDICES kept (`routes[0].handler.url`),
      *  as distinct from `path`, through which arrays are transparent. This is the
      *  address the analyzer speaks — an `x-telo-context` scope, an error-bearing
@@ -55,6 +60,19 @@ export interface ResolvedCursor {
         offset: number;
     };
 }
+export interface ResolvedTag {
+    /** The tag as written, `!` included. */
+    text: string;
+    replaceRange: {
+        start: Position;
+        end: Position;
+    };
+    /** Set when the cursor sits on the tag: its text up to the cursor. */
+    prefix?: string;
+    /** True when nothing follows the tag on its line — the value is still to be
+     *  written. */
+    bare: boolean;
+}
 export declare function scalarString(node: AstNode | undefined): string | undefined;
 /** Resolve `(line, character)` against the AST (Approach B: AST for structure,
  *  cursor column only to place empty-space key positions). */

package/dist/completions/resolve-node.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-node.d.ts","sourceRoot":"","sources":["../../src/completions/resolve-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,MAAM,EACX,KAAK,OAAO,EAEZ,KAAK,UAAU,EACf,KAAK,QAAQ,EACd,MAAM,mBAAmB,CAAC;AAE3B;;;;0CAI0C;AAC1C,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB;;;sCAGkC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACtB;4DACwD;IACxD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAC;QAAC,GAAG,EAAE,QAAQ,CAAA;KAAE,CAAC;IAClD,8DAA8D;IAC9D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;gFAC4E;IAC5E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;gCAC4B;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;iDAC6C;IAC7C,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B;;yCAEqC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;mEAC+D;IAC/D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;oCAIgC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;mDAE+C;IAC/C,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,UAAU,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C;AAMD,wBAAgB,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAG1E;AA8SD;8DAC8D;AAC9D,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,WAAW,EAAE,EACnB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,GAChB,cAAc,GAAG,SAAS,CAoG5B"}
+{"version":3,"file":"resolve-node.d.ts","sourceRoot":"","sources":["../../src/completions/resolve-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,MAAM,EACX,KAAK,OAAO,EAEZ,KAAK,UAAU,EACf,KAAK,QAAQ,EACd,MAAM,mBAAmB,CAAC;AAE3B;;;;0CAI0C;AAC1C,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB;;;sCAGkC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACtB;4DACwD;IACxD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAC;QAAC,GAAG,EAAE,QAAQ,CAAA;KAAE,CAAC;IAClD,8DAA8D;IAC9D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;gFAC4E;IAC5E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;gCAC4B;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;iDAC6C;IAC7C,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B;;yBAEqB;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;+DAC2D;IAC3D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;gFAC4E;IAC5E,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,qEAAqE;IACrE,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB;;;;oCAIgC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;mDAE+C;IAC/C,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,UAAU,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C;AAED,MAAM,WAAW,WAAW;IAC1B,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAC;QAAC,GAAG,EAAE,QAAQ,CAAA;KAAE,CAAC;IACjD,sEAAsE;IACtE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;mBACe;IACf,IAAI,EAAE,OAAO,CAAC;CACf;AAMD,wBAAgB,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAG1E;AAkVD;8DAC8D;AAC9D,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,WAAW,EAAE,EACnB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,GAChB,cAAc,GAAG,SAAS,CAoH5B"}

package/dist/completions/resolve-node.js

@@ -32,17 +32,37 @@ function resourceKindOf(map) {
     const kind = siblingKindOf(map);
     return kind && /^\w+\.\w+/.test(kind) ? kind : undefined;
 }
-function enter(scope, map, ancestorsLen) {
+const ROOT_SCOPE = { depth: 0, concrete: "" };
+function enter(scope, map, ancestorsLen, concrete) {
     const kind = resourceKindOf(map);
-    return kind ? { kind, depth: ancestorsLen } : scope;
+    return kind ? { kind, depth: ancestorsLen, concrete } : scope;
+}
+/** The span of a scalar's tag, when it is written out in front of the value.
+ *  The AST's range covers the value alone; the tag precedes it, separated by
+ *  whitespace — or ends exactly at the range for a tag with no value yet. A tag
+ *  whose text does not read back verbatim (`!!str`, which the parser expands)
+ *  has no span. */
+function tagSpan(node, text) {
+    if (node.kind !== "scalar" || !node.tag)
+        return undefined;
+    let end = node.range[0];
+    while (end > 0 && /\s/.test(text[end - 1]))
+        end--;
+    const start = end - node.tag.length;
+    return start >= 0 && text.slice(start, end) === node.tag ? [start, end] : undefined;
+}
+/** A value's span with its tag included, so a cursor on the tag is on the value. */
+function valueSpan(node, text) {
+    const tag = tagSpan(node, text);
+    return tag ? [tag[0], node.range[1]] : node.range;
 }
 /** Append one key segment to a concrete path (`routes[0]` + `handler`). */
 function joinKey(concrete, key) {
     return concrete ? `${concrete}.${key}` : key;
 }
-function descend(node, ancestors, concrete, offset, scope) {
+function descend(node, ancestors, concrete, offset, scope, text) {
     if (node.kind === "map") {
-        const mapScope = enter(scope, node, ancestors.length);
+        const mapScope = enter(scope, node, ancestors.length, concrete);
         for (const pair of node.entries) {
             const keyName = scalarString(pair.key);
             if (within(pair.key.range, offset)) {
@@ -56,11 +76,13 @@ function descend(node, ancestors, concrete, offset, scope) {
                     scope: mapScope,
                 };
             }
-            if (pair.value && within(pair.value.range, offset)) {
+            if (pair.value && within(valueSpan(pair.value, text), offset)) {
                 const childAncestors = keyName != null ? [...ancestors, keyName] : ancestors;
                 const childConcrete = keyName != null ? joinKey(concrete, keyName) : concrete;
                 if (pair.value.kind === "map" || pair.value.kind === "seq") {
-                    return descend(pair.value, childAncestors, childConcrete, offset, mapScope) ?? { type: "empty" };
+                    return (descend(pair.value, childAncestors, childConcrete, offset, mapScope, text) ?? {
+                        type: "empty",
+                    });
                 }
                 return {
                     type: "value",
@@ -70,6 +92,7 @@ function descend(node, ancestors, concrete, offset, scope) {
                     keyName,
                     keyEnd: pair.key.range[1],
                     valueNode: pair.value,
+                    scope: mapScope,
                 };
             }
         }
@@ -81,10 +104,10 @@ function descend(node, ancestors, concrete, offset, scope) {
         // `x-telo-context` scope, an error-bearing region and a step's identity are
         // all addressed per item, so a CEL site is unreachable without the index.
         for (const [index, item] of node.items.entries()) {
-            if (within(item.range, offset)) {
+            if (within(valueSpan(item, text), offset)) {
                 const itemConcrete = `${concrete}[${index}]`;
                 if (item.kind === "map" || item.kind === "seq") {
-                    return descend(item, ancestors, itemConcrete, offset, scope) ?? { type: "empty" };
+                    return descend(item, ancestors, itemConcrete, offset, scope, text) ?? { type: "empty" };
                 }
                 // A bare scalar list item (`targets:\n  - One`) has no enclosing map of
                 // keyed siblings — leave `container` undefined rather than treating the
@@ -96,6 +119,7 @@ function descend(node, ancestors, concrete, offset, scope) {
                     concretePath: itemConcrete,
                     keyEnd: item.range[0],
                     valueNode: item,
+                    scope,
                 };
             }
         }
@@ -105,7 +129,7 @@ function descend(node, ancestors, concrete, offset, scope) {
 }
 function collectScopes(node, ancestors, concrete, scope, lineOffsets, maps, pairs) {
     if (node.kind === "map") {
-        const mapScope = enter(scope, node, ancestors.length);
+        const mapScope = enter(scope, node, ancestors.length, concrete);
         const keys = new Set();
         let childColumn = -1;
         for (const pair of node.entries) {
@@ -160,7 +184,7 @@ function collectScopes(node, ancestors, concrete, scope, lineOffsets, maps, pair
 function columnSearch(root, cursorColumn, cursorOffset, lineOffsets) {
     const maps = [];
     const pairs = [];
-    collectScopes(root, [], "", { depth: 0 }, lineOffsets, maps, pairs);
+    collectScopes(root, [], "", ROOT_SCOPE, lineOffsets, maps, pairs);
     // Sibling level: a map whose children already sit at the cursor's column.
     let sibling;
     for (const m of maps) {
@@ -196,7 +220,7 @@ function columnSearch(root, cursorColumn, cursorOffset, lineOffsets) {
             scope: nest.scope,
         };
     }
-    return { path: [], concrete: "", existingKeys: new Set(), scope: { depth: 0 } };
+    return { path: [], concrete: "", existingKeys: new Set(), scope: ROOT_SCOPE };
 }
 // ---------------------------------------------------------------------------
 function selectDoc(docs, offset) {
@@ -227,7 +251,7 @@ export function resolveNodeAtPosition(text, docs, line, character) {
         return undefined;
     const doc = docs[docIndex];
     const docKind = docKindOf(doc);
-    const found = doc.root ? descend(doc.root, [], "", offset, { depth: 0 }) : undefined;
+    const found = doc.root ? descend(doc.root, [], "", offset, ROOT_SCOPE, text) : undefined;
     // Cursor sits on an existing map key → key/prop-key position.
     if (found?.type === "key") {
         const existingKeys = new Set();
@@ -280,6 +304,17 @@ export function resolveNodeAtPosition(text, docs, line, character) {
             };
         }
         const clampedEnd = Math.min(offset, value.range[1]);
+        const span = tagSpan(value, text);
+        let tag;
+        if (span) {
+            const lineEnd = text.indexOf("\n", span[1]);
+            tag = {
+                text: value.tag,
+                replaceRange: { start: toPos(span[0]), end: toPos(span[1]) },
+                prefix: within(span, offset) ? text.slice(span[0], offset) : undefined,
+                bare: text.slice(span[1], lineEnd < 0 ? text.length : lineEnd).trim() === "",
+            };
+        }
         return {
             docIndex,
             offset,
@@ -293,14 +328,19 @@ export function resolveNodeAtPosition(text, docs, line, character) {
             spaceAfterColon: value.range[0] - found.keyEnd >= 2,
             siblingKind: found.container ? siblingKindOf(found.container) : undefined,
             replaceRange: { start: toPos(value.range[0]), end: toPos(value.range[1]) },
-            cel,
+            resourceKind: found.scope.kind,
+            resourceDepth: found.scope.depth,
+            resourceConcretePath: found.scope.concrete,
+            tag,
+            // The tag is not the value: a cursor on it is not inside its expression.
+            cel: tag?.prefix !== undefined ? undefined : cel,
         };
     }
     // Empty space (blank line, trailing indent, empty document) → key position,
     // resolved by cursor column.
     const resolution = doc.root
         ? columnSearch(doc.root, character, offset, lineOffsets)
-        : { path: [], concrete: "", existingKeys: new Set(), scope: { depth: 0 } };
+        : { path: [], concrete: "", existingKeys: new Set(), scope: ROOT_SCOPE };
     return {
         docIndex,
         offset,

package/dist/completions/value-tag-completions.d.ts

@@ -0,0 +1,23 @@
+import type { AnalysisRegistry } from "@telorun/analyzer";
+import type { CompletionResult, ReplaceRange } from "../types.js";
+export interface ValueTagSite {
+    kind?: string;
+    yamlPath: string[];
+    concretePath: string;
+    isItem: boolean;
+    bare: boolean;
+    replaceRange: ReplaceRange;
+}
+/**
+ * The YAML tags the field under the cursor takes.
+ *
+ * The same rule studio's schema form applies (`offeredValueTags`), asked of the
+ * field's declared schema and of the analyzer's eval mode at the site. Where the
+ * field cannot be resolved nothing is known against a tag, so every one is
+ * offered rather than none.
+ *
+ * On a tag with nothing after it, a pick carries a trailing space and, for a tag
+ * naming a module location, reopens completion on the path.
+ */
+export declare function valueTagCompletions(site: ValueTagSite, registry: AnalysisRegistry | undefined): CompletionResult[];
+//# sourceMappingURL=value-tag-completions.d.ts.map

package/dist/completions/value-tag-completions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-tag-completions.d.ts","sourceRoot":"","sources":["../../src/completions/value-tag-completions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAQlE,MAAM,WAAW,YAAY;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,OAAO,CAAC;IACd,YAAY,EAAE,YAAY,CAAC;CAC5B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,YAAY,EAClB,QAAQ,EAAE,gBAAgB,GAAG,SAAS,GACrC,gBAAgB,EAAE,CAUpB"}

package/dist/completions/value-tag-completions.js

@@ -0,0 +1,39 @@
+import { offeredValueTags } from "../value-tags/offered-value-tags.js";
+import { fieldSchemaAt, lookupRefConstraints } from "./detect-context.js";
+/** `!ref` names a resource rather than producing a value, so it is offered at a
+ *  reference slot alone — never beside the value tags. */
+const REF_TAG = { id: "ref", label: "!ref", hint: "A reference to a named resource." };
+/**
+ * The YAML tags the field under the cursor takes.
+ *
+ * The same rule studio's schema form applies (`offeredValueTags`), asked of the
+ * field's declared schema and of the analyzer's eval mode at the site. Where the
+ * field cannot be resolved nothing is known against a tag, so every one is
+ * offered rather than none.
+ *
+ * On a tag with nothing after it, a pick carries a trailing space and, for a tag
+ * naming a module location, reopens completion on the path.
+ */
+export function valueTagCompletions(site, registry) {
+    return tagsAt(site, registry).map((tag, index) => ({
+        label: tag.label,
+        kind: "keyword",
+        detail: tag.hint,
+        insertText: site.bare ? `${tag.label} ` : tag.label,
+        replaceRange: site.replaceRange,
+        retrigger: site.bare && tag.names !== undefined,
+        sortText: String(index).padStart(2, "0"),
+    }));
+}
+function tagsAt(site, registry) {
+    const { kind } = site;
+    const schema = kind ? registry?.resolveDefinition(kind)?.schema : undefined;
+    if (!registry || !kind || !schema)
+        return [...offeredValueTags(undefined, undefined), REF_TAG];
+    const schemaFrom = (from) => registry.resolveSchemaFrom(from, kind);
+    if (lookupRefConstraints(schema, site.yamlPath, schemaFrom).length > 0) {
+        return [REF_TAG];
+    }
+    const field = fieldSchemaAt(schema, site.yamlPath, site.isItem, schemaFrom);
+    return offeredValueTags(field, registry.celEvalModeAt(kind, site.concretePath));
+}

package/dist/index.d.ts

@@ -8,6 +8,7 @@ export * from "./rename/index.js";
 export * from "./signature-help/index.js";
 export * from "./import-upgrades/index.js";
 export * from "./workspace/index.js";
+export { offeredValueTags, valueTag, type ValueTag } from "./value-tags/offered-value-tags.js";
 export { walkCel, flattenChain, chainAt, type ChainPart } from "./cel-chain.js";
 export { functionSignature } from "./cel/module-calls.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC;AACvC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,uBAAuB,CAAC;AACtC,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AAIrC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGhF,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC;AACvC,cAAc,wBAAwB,CAAC;AACvC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,uBAAuB,CAAC;AACtC,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AAErC,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,KAAK,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAI/F,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAGhF,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/index.js

@@ -8,6 +8,8 @@ export * from "./rename/index.js";
 export * from "./signature-help/index.js";
 export * from "./import-upgrades/index.js";
 export * from "./workspace/index.js";
+// Which YAML tags a field takes — shared so every host offers the same set.
+export { offeredValueTags, valueTag } from "./value-tags/offered-value-tags.js";
 // The repo's single CEL-tree walk. Exported because every host that has to
 // answer "where is this name read" needs it and a second copy would be a second
 // answer — the editor asks it before deleting a resource.

package/dist/types.d.ts

@@ -1,7 +1,7 @@
 export { AnalysisRegistry, DiagnosticSeverity, DiagnosticTag } from "@telorun/analyzer";
 export type { Position, Range, AnalysisDiagnostic, PositionIndex, } from "@telorun/analyzer";
 import type { AnalysisRegistry, DiagnosticFixTag, DiagnosticSeverity, DiagnosticTag, Position, PositionIndex, Range } from "@telorun/analyzer";
-export type CompletionKind = "class" | "enumMember" | "property" | "folder" | "module" | "value";
+export type CompletionKind = "class" | "enumMember" | "property" | "folder" | "file" | "module" | "value" | "keyword";
 /** A source span the host replaces wholesale when a completion is accepted. */
 export interface ReplaceRange {
     start: Position;
@@ -24,6 +24,9 @@ export interface CompletionResult {
      *  containing non-word characters (`/`, `@`, `.`). A zero-width range is a
      *  pure insert. */
     replaceRange?: ReplaceRange;
+    /** The host reopens completion once this item is accepted — what comes next
+     *  has completions of its own (a tag's value, a directory's entries). */
+    retrigger?: boolean;
 }
 /** Rendered hover for the symbol under the cursor. `contents` is GitHub-flavored
  *  markdown; `range` (when present) is the source span the host underlines. */
@@ -125,6 +128,15 @@ export interface IdeEnvironmentAdapter {
      *  (`GET /module/versions?ref=`). The browser cannot call OCI `tags/list`;
      *  the hub holds them from ingest. */
     listVersionsForRef(ref: string): Promise<string[]>;
+    /** Entries of `relPath`, resolved against the ROOT of the module the manifest
+     *  belongs to — the directory every `!include-*` / `!module-path` path is
+     *  measured from, which for a partial is not the partial's own directory.
+     *  Returns [] if the path doesn't exist or isn't a directory. */
+    listModuleEntries(relPath: string): Promise<ModuleEntry[]>;
+}
+export interface ModuleEntry {
+    name: string;
+    directory: boolean;
 }
 export interface NormalizedDiagnostic {
     range: Range;

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGxF,YAAY,EACV,QAAQ,EACR,KAAK,EACL,kBAAkB,EAClB,aAAa,GACd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,aAAa,EACb,KAAK,EACN,MAAM,mBAAmB,CAAC;AAE3B,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEjG,+EAA+E;AAC/E,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;uBAKmB;IACnB,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED;+EAC+E;AAC/E,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,YAAY,CAAC;CACtB;AAED;;4DAE4D;AAC5D,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,UAAU,EAAE,KAAK,CAAC;YAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAAC,aAAa,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KACxE,CAAC,CAAC;IACH,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;;;;+BAqB+B;AAC/B,MAAM,MAAM,iBAAiB,GACzB,MAAM,GACN,WAAW,GACX,UAAU,GACV,UAAU,GACV,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,UAAU,GACV,WAAW,CAAC;AAEhB;;;;+BAI+B;AAC/B,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAW7D,CAAC;AAEF;;sEAEsE;AACtE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED;;;wDAGwD;AACxD,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;CACd;AAED;;;wDAGwD;AACxD,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;uCAMuC;AACvC,MAAM,WAAW,qBAAqB;IACpC;;2DAEuD;IACvD,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD;kEAC8D;IAC9D,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/C;;;oFAGgF;IAChF,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C;;0CAEsC;IACtC,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CACpD;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB;;kFAE8E;IAC9E,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,gBAAgB,CAAA;KAAE,CAAC,CAAC;IACtF;;qFAEiF;IACjF,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IACvB;;;0EAGsE;IACtE,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGxF,YAAY,EACV,QAAQ,EACR,KAAK,EACL,kBAAkB,EAClB,aAAa,GACd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,aAAa,EACb,KAAK,EACN,MAAM,mBAAmB,CAAC;AAE3B,MAAM,MAAM,cAAc,GACtB,OAAO,GACP,YAAY,GACZ,UAAU,GACV,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,OAAO,GACP,SAAS,CAAC;AAEd,+EAA+E;AAC/E,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;uBAKmB;IACnB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B;6EACyE;IACzE,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;+EAC+E;AAC/E,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,YAAY,CAAC;CACtB;AAED;;4DAE4D;AAC5D,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,UAAU,EAAE,KAAK,CAAC;YAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAAC,aAAa,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KACxE,CAAC,CAAC;IACH,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;;;;+BAqB+B;AAC/B,MAAM,MAAM,iBAAiB,GACzB,MAAM,GACN,WAAW,GACX,UAAU,GACV,UAAU,GACV,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,UAAU,GACV,WAAW,CAAC;AAEhB;;;;+BAI+B;AAC/B,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAW7D,CAAC;AAEF;;sEAEsE;AACtE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED;;;wDAGwD;AACxD,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;CACd;AAED;;;wDAGwD;AACxD,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;uCAMuC;AACvC,MAAM,WAAW,qBAAqB;IACpC;;2DAEuD;IACvD,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD;kEAC8D;IAC9D,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/C;;;oFAGgF;IAChF,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C;;0CAEsC;IACtC,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACnD;;;qEAGiE;IACjE,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;CAC5D;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB;;kFAE8E;IAC9E,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,gBAAgB,CAAA;KAAE,CAAC,CAAC;IACtF;;qFAEiF;IACjF,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IACvB;;;0EAGsE;IACtE,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB"}