@telorun/ide-support 0.20.2 → 0.21.1

package/dist/rename/find-sites.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"find-sites.d.ts","sourceRoot":"","sources":["../../src/rename/find-sites.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAK3B;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,QAAQ;IACvB;qDACiD;IACjD,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzB;AAqED;4CAC4C;AAC5C,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAYxE;AAED;;iFAEiF;AACjF,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAUpE;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAU1F;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CA2B5F;AAED;;qCAEqC;AACrC,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CA0BxF"}
+{"version":3,"file":"find-sites.d.ts","sourceRoot":"","sources":["../../src/rename/find-sites.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAM3B;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,QAAQ;IACvB;qDACiD;IACjD,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzB;AAqED;4CAC4C;AAC5C,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAYxE;AAED;;;wEAGwE;AACxE,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,IAAI,EAAE,MAAM,GACX,QAAQ,EAAE,CAkBZ;AAED;;iFAEiF;AACjF,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAUpE;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAU1F;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CA2B5F;AAED;;qCAEqC;AACrC,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CA0BxF"}

package/dist/rename/find-sites.js

@@ -1,5 +1,6 @@
 import { CelParseError, } from "@telorun/analyzer";
 import { walkCel } from "../cel-chain.js";
+import { moduleCallSites } from "../cel/module-calls.js";
 import { scalarString } from "../completions/resolve-node.js";
 /** Walk every scalar of a document, in source order. */
 function eachScalar(node, visit) {
@@ -91,6 +92,33 @@ export function resourceSites(doc, name) {
     });
     return sites;
 }
+/** A function's calls within one document: `<receiver>.<name>(…)` in CEL, for a
+ *  receiver naming the declaring module itself (`Self`, its own name). A call
+ *  through an import alias is another module's reference and is not matched.
+ *  `text` is the document text the CEL offsets are measured against. */
+export function functionCallSites(doc, text, receivers, name) {
+    const sites = [];
+    if (!doc.root)
+        return sites;
+    eachScalar(doc.root, (scalar) => {
+        for (const segment of scalar.celSegments()) {
+            let ast;
+            try {
+                ast = segment.ast();
+            }
+            catch (error) {
+                if (!(error instanceof CelParseError))
+                    throw error;
+                continue;
+            }
+            for (const site of moduleCallSites(text, ast, (receiver) => receivers.has(receiver))) {
+                if (site.name === name)
+                    sites.push({ range: site.nameRange });
+            }
+        }
+    });
+    return sites;
+}
 /** A step's references within its declaring document: `steps.<name>` in CEL.
  *  Deliberately document-scoped — `steps.<name>.result` is readable only inside
  *  the resource whose body declares the step, and a resource is one document. */

package/dist/signature-help/build-signature-help.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Signature help inside a CEL body: the signature of the module call the cursor
+ * is writing the arguments of, with the argument under the cursor active.
+ *
+ * TEXTUAL, like completion's cursor chain, because it fires while the call is
+ * unfinished — `Billing.total(items, ` does not parse — and a parse-first
+ * approach would go silent exactly when help is asked for. The scan tracks
+ * brackets and string literals, so a comma inside a list or a quoted string is
+ * not an argument separator. Which receivers are modules, and what a call binds
+ * to, stay the analyzer's answers.
+ */
+import { type AstDocument, type ManifestAnalysis } from "@telorun/analyzer";
+import type { SignatureHelpResult } from "../types.js";
+export declare function buildSignatureHelp(text: string, line: number, character: number, docs: AstDocument[] | undefined, analysis: ManifestAnalysis | undefined): SignatureHelpResult | undefined;
+//# sourceMappingURL=build-signature-help.d.ts.map

package/dist/signature-help/build-signature-help.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-signature-help.d.ts","sourceRoot":"","sources":["../../src/signature-help/build-signature-help.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AA2CvD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,WAAW,EAAE,GAAG,SAAS,EAC/B,QAAQ,EAAE,gBAAgB,GAAG,SAAS,GACrC,mBAAmB,GAAG,SAAS,CAkCjC"}

package/dist/signature-help/build-signature-help.js

@@ -0,0 +1,87 @@
+/**
+ * Signature help inside a CEL body: the signature of the module call the cursor
+ * is writing the arguments of, with the argument under the cursor active.
+ *
+ * TEXTUAL, like completion's cursor chain, because it fires while the call is
+ * unfinished — `Billing.total(items, ` does not parse — and a parse-first
+ * approach would go silent exactly when help is asked for. The scan tracks
+ * brackets and string literals, so a comma inside a list or a quoted string is
+ * not an argument separator. Which receivers are modules, and what a call binds
+ * to, stay the analyzer's answers.
+ */
+import { parseToAst, } from "@telorun/analyzer";
+import { bodyStart } from "../cel/cursor-chain.js";
+import { describeFunction, functionSignature } from "../cel/module-calls.js";
+import { resolveNodeAtPosition } from "../completions/resolve-node.js";
+import { docIdentity } from "../doc-identity.js";
+/** `Receiver.name` immediately before a `(`, where the receiver is a bare
+ *  identifier — not a member of something else, which templating reads as an
+ *  ordinary method call (`a.Billing.format(`). */
+const CALLEE = /(?<![\w.])([A-Za-z_][A-Za-z0-9_]*)\.([A-Za-z_][A-Za-z0-9_]*)\s*$/;
+/** The innermost bracket still open at the end of `source`. */
+function openFrame(source) {
+    const stack = [];
+    for (let i = 0; i < source.length; i++) {
+        const c = source[i];
+        if (c === '"' || c === "'") {
+            // Skip the literal, honouring escapes; an unterminated one runs to the end.
+            for (i++; i < source.length && source[i] !== c; i++) {
+                if (source[i] === "\\")
+                    i++;
+            }
+            continue;
+        }
+        if (c === "(") {
+            const match = CALLEE.exec(source.slice(0, i));
+            stack.push({ ...(match ? { call: { receiver: match[1], name: match[2] } } : {}), commas: 0 });
+        }
+        else if (c === "[" || c === "{") {
+            stack.push({ commas: 0 });
+        }
+        else if (c === ")" || c === "]" || c === "}") {
+            stack.pop();
+        }
+        else if (c === "," && stack.length > 0) {
+            stack[stack.length - 1].commas++;
+        }
+    }
+    return stack[stack.length - 1];
+}
+export function buildSignatureHelp(text, line, character, docs, analysis) {
+    const query = analysis?.celScope;
+    if (!query)
+        return undefined;
+    const astDocs = docs ?? parseToAst(text);
+    const resolved = resolveNodeAtPosition(text, astDocs, line, character);
+    if (!resolved?.cel)
+        return undefined;
+    const { segment, offset } = resolved.cel;
+    const start = bodyStart(text, segment);
+    const frame = openFrame(segment.source.slice(0, Math.max(0, offset - start)));
+    if (!frame?.call)
+        return undefined;
+    const identity = docIdentity(astDocs[resolved.docIndex]);
+    const resource = query.resourceFor(identity.kind, identity.name);
+    if (!resource)
+        return undefined;
+    const scope = query.scopeAt(resource, resolved.concretePath ?? "");
+    if (!scope.moduleNames.has(frame.call.receiver))
+        return undefined;
+    const qualified = `${frame.call.receiver}.${frame.call.name}`;
+    const fn = scope.moduleFunction(qualified);
+    if (!fn)
+        return undefined;
+    const signature = functionSignature(qualified, fn);
+    const documentation = describeFunction(fn, scope.moduleCallFlags(qualified));
+    return {
+        signatures: [
+            {
+                label: signature.label,
+                parameters: signature.parameters,
+                ...(documentation ? { documentation } : {}),
+            },
+        ],
+        activeSignature: 0,
+        activeParameter: Math.min(frame.commas, Math.max(0, fn.params.length - 1)),
+    };
+}

package/dist/signature-help/index.d.ts

@@ -0,0 +1,2 @@
+export { buildSignatureHelp } from "./build-signature-help.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/signature-help/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/signature-help/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/signature-help/index.js

@@ -0,0 +1 @@
+export { buildSignatureHelp } from "./build-signature-help.js";

package/dist/types.d.ts

@@ -1,6 +1,6 @@
 export { AnalysisRegistry, DiagnosticSeverity, DiagnosticTag } from "@telorun/analyzer";
 export type { Position, Range, AnalysisDiagnostic, PositionIndex, } from "@telorun/analyzer";
-import type { AnalysisRegistry, DiagnosticSeverity, DiagnosticTag, Position, PositionIndex, Range } from "@telorun/analyzer";
+import type { AnalysisRegistry, DiagnosticFixTag, DiagnosticSeverity, DiagnosticTag, Position, PositionIndex, Range } from "@telorun/analyzer";
 export type CompletionKind = "class" | "enumMember" | "property" | "folder" | "module" | "value";
 /** A source span the host replaces wholesale when a completion is accepted. */
 export interface ReplaceRange {
@@ -31,6 +31,21 @@ export interface HoverResult {
     contents: string;
     range?: ReplaceRange;
 }
+/** Signature help for the call the cursor is inside. Each parameter's `label` is
+ *  its `[start, end]` span inside the signature's own `label`, the form both
+ *  VS Code and Monaco highlight the active parameter by. */
+export interface SignatureHelpResult {
+    signatures: Array<{
+        label: string;
+        documentation?: string;
+        parameters: Array<{
+            label: [number, number];
+            documentation?: string;
+        }>;
+    }>;
+    activeSignature: number;
+    activeParameter: number;
+}
 /** Semantic token type names emitted by `buildSemanticTokens`. Kept to the
  *  standard VS Code / LSP set so hosts register them against a stock legend and
  *  every theme colors them without extra configuration.
@@ -118,10 +133,12 @@ export interface NormalizedDiagnostic {
     source: string;
     message: string;
     /** Mechanically applicable repairs. `replacement` is the whole corrected
-     *  value at the diagnostic's range — apply it by replacing that range. */
+     *  value at the diagnostic's range — apply it by replacing that range,
+     *  rendered through `renderFixReplacement` with `tag` when one is present. */
     suggestions?: Array<{
         kind: "replace";
         replacement: string;
+        tag?: DiagnosticFixTag;
     }>;
     /** LSP diagnostic tags, carried through verbatim. Orthogonal to `severity`:
      *  they say what KIND of thing the range is (deprecated, unnecessary), which

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,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;;;;;;;;;;;;;;;;;;;;;+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;8EAC0E;IAC1E,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9D;;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,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"}

package/package.json

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

package/src/cel/cursor-chain.ts

@@ -24,7 +24,7 @@ export interface CelCursorChain {
 /** Where `segment.source` starts in document offsets. The segment range spans
  *  the delimiters (`${{ … }}`) and any trimmed whitespace, so the body has to be
  *  located inside it rather than assumed to start at `range[0]`. */
-function bodyStart(text: string, segment: CelSegment): number {
+export function bodyStart(text: string, segment: CelSegment): number {
   const span = text.slice(segment.range[0], segment.range[1]);
   const at = span.indexOf(segment.source);
   return at < 0 ? segment.range[0] : segment.range[0] + at;

package/src/cel/module-calls.ts

@@ -0,0 +1,138 @@
+/**
+ * **Module calls inside a CEL body** — `Self.total(items)`, `Billing.isStale(x)`.
+ *
+ * In the tree an editor parses, a module call is a receiver-style call whose
+ * receiver is a plain identifier naming a module: `Self`, the module's own name
+ * or an import alias. Which identifiers those are is the scope's answer
+ * (`CelScope.moduleNames`), never a guess from the spelling, and what a call
+ * resolves to is the analyzer's (`CelScope.moduleFunction`), so completion,
+ * hover, signature help and go-to-declaration all name the function `telo check`
+ * binds the call to.
+ */
+import {
+  renderChain,
+  type CallableFlags,
+  type CelNode,
+  type CelScope,
+  type ResolvedFunction,
+} from "@telorun/analyzer";
+import { walkCel } from "../cel-chain.js";
+import { schemaTypeName } from "./symbols.js";
+
+/** One module call written in a CEL body. */
+export interface ModuleCallSite {
+  node: Extract<CelNode, { kind: "methodCall" }>;
+  receiver: string;
+  name: string;
+  /** `Receiver.name`, as the analyzer keys a call. */
+  qualified: string;
+  receiverRange: [number, number];
+  /** The function name alone, in document offsets. */
+  nameRange: [number, number];
+}
+
+/** The span of a method's name after its receiver, read off the document text —
+ *  the parsed node carries no span for the name itself. */
+function nameRangeOf(
+  text: string,
+  node: Extract<CelNode, { kind: "methodCall" }>,
+): [number, number] | undefined {
+  const at = text.indexOf(node.name, node.receiver.range[1]);
+  return at >= 0 && at + node.name.length <= node.range[1] ? [at, at + node.name.length] : undefined;
+}
+
+/** Whether `node` is a module call: a method call whose receiver is a plain
+ *  identifier `isModule` accepts. The one recognizer every editor feature reads,
+ *  mirroring the templating rule — `a.Billing.format(x)` is an ordinary method
+ *  call, since its receiver is a field access. */
+export function isModuleCallNode(
+  node: CelNode,
+  isModule: (receiver: string) => boolean,
+): node is Extract<CelNode, { kind: "methodCall" }> & {
+  receiver: Extract<CelNode, { kind: "ident" }>;
+} {
+  return node.kind === "methodCall" && node.receiver.kind === "ident" && isModule(node.receiver.name);
+}
+
+/** Every call in `ast` whose receiver `isModule` accepts. */
+export function moduleCallSites(
+  text: string,
+  ast: CelNode,
+  isModule: (receiver: string) => boolean,
+): ModuleCallSite[] {
+  const out: ModuleCallSite[] = [];
+  walkCel(ast, (node) => {
+    if (!isModuleCallNode(node, isModule)) return;
+    const nameRange = nameRangeOf(text, node);
+    if (!nameRange) return;
+    out.push({
+      node,
+      receiver: node.receiver.name,
+      name: node.name,
+      qualified: `${node.receiver.name}.${node.name}`,
+      receiverRange: node.receiver.range,
+      nameRange,
+    });
+  });
+  return out;
+}
+
+/** The module call whose receiver or name the cursor is on — the innermost, when
+ *  one call's argument holds another. */
+export function moduleCallAt(
+  text: string,
+  ast: CelNode,
+  offset: number,
+  scope: CelScope,
+): (ModuleCallSite & { onReceiver: boolean }) | undefined {
+  const within = (range: [number, number]) => offset >= range[0] && offset <= range[1];
+  let hit: (ModuleCallSite & { onReceiver: boolean }) | undefined;
+  for (const site of moduleCallSites(text, ast, (receiver) => scope.moduleNames.has(receiver))) {
+    if (within(site.nameRange)) hit = { ...site, onReceiver: false };
+    else if (within(site.receiverRange)) hit = { ...site, onReceiver: true };
+  }
+  return hit;
+}
+
+/** A function's signature as a reader sees it, with each parameter's span inside
+ *  the label — the shape signature help highlights the active parameter by. */
+export function functionSignature(
+  qualified: string,
+  fn: ResolvedFunction,
+): { label: string; parameters: Array<{ label: [number, number]; documentation?: string }> } {
+  let label = `${qualified}(`;
+  const parameters: Array<{ label: [number, number]; documentation?: string }> = [];
+  fn.params.forEach((param, index) => {
+    if (index > 0) label += ", ";
+    const text = `${param.name}${param.optional ? "?" : ""}: ${schemaTypeName(param.schema) ?? "dyn"}`;
+    const description = param.schema?.description;
+    parameters.push({
+      label: [label.length, label.length + text.length],
+      ...(typeof description === "string" ? { documentation: description } : {}),
+    });
+    label += text;
+  });
+  label += `) → ${schemaTypeName(fn.returns) ?? fn.celType}`;
+  return { label, parameters };
+}
+
+/** What a reader is told a function promises: its description and derived
+ *  determinism, naming the chain to the leaf that decided it. */
+export function describeFunction(fn: ResolvedFunction, flags: CallableFlags | undefined): string {
+  const lines: string[] = [];
+  const description = (fn.manifest.metadata as { description?: unknown } | undefined)?.description;
+  if (typeof description === "string" && description) lines.push(description);
+  if (flags) {
+    const facts: string[] = [];
+    facts.push(
+      flags.deterministic
+        ? "deterministic"
+        : `non-deterministic${flags.nondeterministicVia.length ? ` (${renderChain(flags.nondeterministicVia)})` : ""}`,
+    );
+    if (flags.hostBacked) {
+      facts.push(`host-backed${flags.hostBackedVia.length ? ` (${renderChain(flags.hostBackedVia)})` : ""}`);
+    }
+    lines.push(facts.join(" · "));
+  }
+  return lines.join("\n\n");
+}

package/src/cel/tokens.ts

@@ -16,6 +16,7 @@
 import { CelParseError, type CelNode, type CelScope, type CelSegment } from "@telorun/analyzer";
 import type { SemanticTokenType } from "../types.js";
 import { flattenChain } from "../cel-chain.js";
+import { isModuleCallNode } from "./module-calls.js";
 import { celRootSymbols, celSymbolAt } from "./symbols.js";
 
 /** A token before it is placed on a line — document offsets, resolved by the
@@ -124,7 +125,13 @@ export function celSegmentTokens(
         return;
       }
       case "methodCall": {
-        visit(node.receiver);
+        // A module call's receiver is a module — a namespace a function is called
+        // through — and never a value the scope could confirm as a root name.
+        if (scope && isModuleCallNode(node, (receiver) => scope.moduleNames.has(receiver))) {
+          out.push({ range: node.receiver.range, type: "namespace" });
+        } else {
+          visit(node.receiver);
+        }
         const span = spanOf(node.name, node.receiver.range[1], node.range[1]);
         if (span) out.push({ range: span, type: "function" });
         for (const arg of node.args) visit(arg);

package/src/completions/cel-completions.ts

@@ -10,6 +10,7 @@
 import type { CelScopeQuery, CelSegment } from "@telorun/analyzer";
 import type { CompletionResult, ReplaceRange } from "../types.js";
 import { celCursorChain } from "../cel/cursor-chain.js";
+import { describeFunction, functionSignature } from "../cel/module-calls.js";
 import { celFunctions, celMemberSymbols, celRootSymbols, type CelSymbol } from "../cel/symbols.js";
 
 /** The resource a cursor's document addresses. */
@@ -62,6 +63,20 @@ export function celCompletions(
   const prefix = chain?.prefix ?? [];
 
   if (chain?.member) {
+    // `<Module>.` offers the functions that module makes callable here — its own
+    // through `Self` or its name, an import's exported ones through the alias.
+    if (prefix.length === 1 && scope.moduleNames.has(prefix[0]!)) {
+      return scope.moduleFunctionsOf(prefix[0]!).map(({ name, function: fn }) => {
+        const qualified = `${prefix[0]}.${name}`;
+        const about = describeFunction(fn, scope.moduleCallFlags(qualified));
+        return {
+          label: name,
+          kind: "value" as const,
+          detail: functionSignature(qualified, fn).label,
+          ...(about ? { documentation: about } : {}),
+        };
+      });
+    }
     return celMemberSymbols(scope, prefix).map((s) => toResult(s));
   }
 

package/src/completions/valid-capabilities.ts

@@ -4,6 +4,8 @@ export const CAPABILITY_VALUES = [
   "Telo.Invocable",
   "Telo.Provider",
   "Telo.Mount",
+  "Telo.Sink",
+  "Telo.Callable",
   "Telo.Type",
 ] as const;
 
@@ -15,5 +17,9 @@ export const CAPABILITY_DOCS: Record<string, string> = {
   "Telo.Invocable": "Request handler: `invoke(inputs)` (scripts, endpoints).",
   "Telo.Provider": "Value-flow source: `init()` + optional `provide()` (config, secrets).",
   "Telo.Mount": "Mounted into a Service (HTTP APIs, middleware).",
+  "Telo.Sink":
+    "Record-stream destination: `write(record)` + `flush()` / `flushSync()` / `close()`, written to directly rather than dispatched.",
+  "Telo.Callable":
+    "Function: synchronous `call(args)` against a declared `params` / `returns` signature, called from CEL through a module name.",
   "Telo.Type": "Pure schema definition — no runtime instance.",
 };

package/src/definition/build-definition.ts

@@ -1,16 +1,21 @@
 import {
+  CelParseError,
   parseToAst,
   type AstDocument,
   type AstScalar,
+  type CelNode,
   type ManifestAnalysis,
   type LoadedGraph,
+  type LoadedModule,
 } from "@telorun/analyzer";
 import type { DefinitionResult } from "../types.js";
+import { moduleCallAt } from "../cel/module-calls.js";
 import { resolveNodeAtPosition } from "../completions/resolve-node.js";
+import { docIdentity } from "../doc-identity.js";
 import { splitAliasQualified } from "./alias-qualified-value.js";
 import { locateContextBinding } from "./locate-context-binding.js";
 import { locateStepDeclaration } from "./locate-step.js";
-import { moduleForFile } from "./manifest-navigation.js";
+import { locateImport, moduleForFile } from "./manifest-navigation.js";
 import { resolveCelTarget } from "./resolve-cel-target.js";
 import { isKindSlot, resolveKindTarget } from "./resolve-kind-target.js";
 import { resolveRefTarget } from "./resolve-ref-target.js";
@@ -50,6 +55,8 @@ export function buildDefinition(
   const currentModule = moduleForFile(graph, currentFilePath) ?? graph.entry;
 
   if (resolved.cel) {
+    const call = moduleCallTarget(graph, currentModule, text, astDocs, resolved, analysis);
+    if (call !== NOT_A_MODULE_CALL) return call;
     return resolveCelTarget(graph, currentModule, resolved.cel.segment, resolved.cel.offset, {
       // A step is resolved in the CURRENT document — `steps.<name>.result` is
       // readable only inside the resource that declares it, which is one
@@ -79,3 +86,44 @@ export function buildDefinition(
   if (isKindSlot(resolved)) return resolveKindTarget(graph, currentModule, split);
   return undefined;
 }
+
+const NOT_A_MODULE_CALL = Symbol("not a module call");
+
+/**
+ * A module call under the cursor navigates to the callable resource it binds
+ * to — resolved the way a `!ref` of the same spelling is, since a call names a
+ * resource through the same grammar — and its alias to the import declaring it.
+ * Needs the analysis: which receivers are modules is the scope's answer.
+ */
+function moduleCallTarget(
+  graph: LoadedGraph,
+  currentModule: LoadedModule,
+  text: string,
+  docs: AstDocument[],
+  resolved: NonNullable<ReturnType<typeof resolveNodeAtPosition>>,
+  analysis: ManifestAnalysis | undefined,
+): DefinitionResult | undefined | typeof NOT_A_MODULE_CALL {
+  const query = analysis?.celScope;
+  if (!resolved.cel || !query) return NOT_A_MODULE_CALL;
+  const identity = docIdentity(docs[resolved.docIndex]);
+  const resource = query.resourceFor(identity.kind, identity.name);
+  if (!resource) return NOT_A_MODULE_CALL;
+  let ast: CelNode;
+  try {
+    ast = resolved.cel.segment.ast();
+  } catch (error) {
+    if (!(error instanceof CelParseError)) throw error;
+    return NOT_A_MODULE_CALL;
+  }
+  const scope = query.scopeAt(resource, resolved.concretePath ?? "");
+  const call = moduleCallAt(text, ast, resolved.cel.offset, scope);
+  if (!call) return NOT_A_MODULE_CALL;
+  const imported = graph.importEdges.get(currentModule.owner.source)?.has(call.receiver) === true;
+  if (call.onReceiver) return imported ? locateImport(currentModule, call.receiver) : undefined;
+  if (!scope.moduleFunction(call.qualified)) return undefined;
+  return resolveRefTarget(graph, currentModule, {
+    ...(imported ? { alias: call.receiver } : {}),
+    name: call.name,
+    onAlias: false,
+  });
+}

package/src/diagnostics/normalize.ts

@@ -19,7 +19,15 @@ export function normalizeDiagnostic(
   ctx: DiagnosticContext,
 ): NormalizedDiagnostic {
   const fix = diagnosticFix(d);
-  const suggestions = fix ? [{ kind: "replace" as const, replacement: fix.replacement }] : undefined;
+  const suggestions = fix
+    ? [
+        {
+          kind: "replace" as const,
+          replacement: fix.replacement,
+          ...(fix.tag ? { tag: fix.tag } : {}),
+        },
+      ]
+    : undefined;
 
   return {
     range: resolveRange(d, ctx),

package/src/hover/build-hover.ts

@@ -10,6 +10,7 @@ import {
 } from "@telorun/analyzer";
 import type { HoverResult } from "../types.js";
 import { chainAt } from "../cel-chain.js";
+import { describeFunction, functionSignature, moduleCallAt } from "../cel/module-calls.js";
 import { celSymbolAt } from "../cel/symbols.js";
 import { docIdentity } from "../doc-identity.js";
 import { navigateSchema } from "../completions/detect-context.js";
@@ -118,7 +119,7 @@ export function buildHover(
   if (!resolved) return undefined;
 
   if (resolved.cel) {
-    const hover = hoverForCel(resolved, astDocs, analysis?.celScope);
+    const hover = hoverForCel(text, resolved, astDocs, analysis?.celScope);
     // A CEL body is still a field value; when the cursor is on nothing
     // nameable inside it (an operator, a literal), fall through to the field's
     // own hover rather than reporting nothing.
@@ -138,6 +139,7 @@ export function buildHover(
  * declares it.
  */
 function hoverForCel(
+  text: string,
   resolved: ResolvedCursor,
   docs: AstDocument[],
   scopeQuery: CelScopeQuery | undefined,
@@ -158,12 +160,24 @@ function hoverForCel(
     return undefined;
   }
 
+  const scope = scopeQuery.scopeAt(resource, resolved.concretePath ?? "");
+  // A module call's name hovers as the function it binds to: its signature and
+  // what it promises about determinism.
+  const call = moduleCallAt(text, ast, resolved.cel.offset, scope);
+  if (call && !call.onReceiver) {
+    const fn = scope.moduleFunction(call.qualified);
+    if (!fn) return undefined;
+    const lines = ["```\n" + functionSignature(call.qualified, fn).label + "\n```"];
+    const about = describeFunction(fn, scope.moduleCallFlags(call.qualified));
+    if (about) lines.push("", about);
+    return { contents: lines.join("\n") };
+  }
+
   const hit = chainAt(ast, resolved.cel.offset);
   if (!hit) return undefined;
   // The chain UP TO the cursor, not the whole chain: hovering `resources` in
   // `resources.db.url` describes `resources`.
   const parts = hit.parts.slice(0, hit.index + 1).map((p) => p.name);
-  const scope = scopeQuery.scopeAt(resource, resolved.concretePath ?? "");
   const symbol = celSymbolAt(scope, parts);
   if (!symbol) return undefined;
 

package/src/index.ts

@@ -5,9 +5,13 @@ export * from "./hover/index.js";
 export * from "./semantic-tokens/index.js";
 export * from "./definition/index.js";
 export * from "./rename/index.js";
+export * from "./signature-help/index.js";
 export * from "./import-upgrades/index.js";
 export * from "./workspace/index.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.
 export { walkCel, flattenChain, chainAt, type ChainPart } from "./cel-chain.js";
+// A function's signature as every surface renders it — hover, completion,
+// signature help and `telo cel functions` alike.
+export { functionSignature } from "./cel/module-calls.js";