@telorun/analyzer 0.2.0 → 0.3.0

package/README.md

@@ -1,3 +1,7 @@
+---
+description: "Telo: YAML-driven execution engine for declarative backends with micro-kernel architecture and language-agnostic design"
+---
+
 # ⚡ Telo
 
 Runtime for declarative backends.
@@ -73,6 +77,7 @@ connection:
 kind: Sql.Migration
 metadata:
   name: Migration_20260413_182154_CreateFeedback
+version: 20260413_182154_CreateFeedback
 sql: |
   CREATE TABLE IF NOT EXISTS feedback (
     id        INTEGER PRIMARY KEY AUTOINCREMENT,

package/dist/alias-resolver.d.ts

@@ -8,5 +8,9 @@ export declare class AliasResolver {
     resolveKind(kind: string): string | undefined;
     hasAlias(alias: string): boolean;
     knownAliases(): string[];
+    /** Returns every alias that currently points at `targetModule`.
+     *  Used by clients that need to convert a canonical kind key (e.g. "http-server.Server")
+     *  back into its user-facing alias form (e.g. "Http.Server"). */
+    aliasesFor(targetModule: string): string[];
 }
 //# sourceMappingURL=alias-resolver.d.ts.map

package/dist/alias-resolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"alias-resolver.d.ts","sourceRoot":"","sources":["../src/alias-resolver.ts"],"names":[],"mappings":"AAAA;gFACgF;AAChF,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6B;IAC3D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAkC;IAEhE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,IAAI;IAOlF,sFAAsF;IACtF,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAe7C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAIhC,YAAY,IAAI,MAAM,EAAE;CAGzB"}
+{"version":3,"file":"alias-resolver.d.ts","sourceRoot":"","sources":["../src/alias-resolver.ts"],"names":[],"mappings":"AAAA;gFACgF;AAChF,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6B;IAC3D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAkC;IAEhE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,IAAI;IAOlF,sFAAsF;IACtF,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAe7C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO;IAIhC,YAAY,IAAI,MAAM,EAAE;IAIxB;;qEAEiE;IACjE,UAAU,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE;CAO3C"}

package/dist/alias-resolver.js

@@ -33,4 +33,15 @@ export class AliasResolver {
     knownAliases() {
         return Array.from(this.importAliases.keys());
     }
+    /** Returns every alias that currently points at `targetModule`.
+     *  Used by clients that need to convert a canonical kind key (e.g. "http-server.Server")
+     *  back into its user-facing alias form (e.g. "Http.Server"). */
+    aliasesFor(targetModule) {
+        const result = [];
+        for (const [alias, mod] of this.importAliases) {
+            if (mod === targetModule)
+                result.push(alias);
+        }
+        return result;
+    }
 }

package/dist/analysis-registry.d.ts

@@ -25,6 +25,17 @@ export declare class AnalysisRegistry {
     builtinDefinitions(): ResourceDefinition[];
     resolveDefinition(kind: string): ResourceDefinition | undefined;
     allKinds(): string[];
+    /** Returns every import alias that points at `moduleName` (the canonical, kebab-case
+     *  module name). Empty when no import declares that target. */
+    aliasesFor(moduleName: string): string[];
+    /** Returns every user-facing kind that is legal in the current scope:
+     *  Telo root kinds plus the alias form of each non-abstract imported definition.
+     *  Used by editor hosts to drive completion and by the analyzer to produce
+     *  "did you mean" hints. */
+    validUserFacingKinds(): string[];
+    /** Returns the closest user-facing kind to `badKind`, or undefined when nothing
+     *  is close enough (or multiple candidates tie). Case-sensitive. */
+    suggestKind(badKind: string): string | undefined;
     /** @internal Bridge for StaticAnalyzer — do not use outside the analyzer package. */
     _context(): AnalysisContext;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAKzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAE/C,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIpE,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;OAGG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAcP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D,QAAQ,IAAI,MAAM,EAAE;IAIpB,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}
+{"version":3,"file":"analysis-registry.d.ts","sourceRoot":"","sources":["../src/analysis-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAMzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuB;IAE/C,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,GAAG,IAAI;IAIjD,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIpE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIpE,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI7C;;;OAGG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,EAClC,OAAO,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,GACnC,IAAI;IAcP;;;;OAIG;IACH,kBAAkB,IAAI,kBAAkB,EAAE;IAI1C,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAM/D,QAAQ,IAAI,MAAM,EAAE;IAIpB;mEAC+D;IAC/D,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE;IAIxC;;;gCAG4B;IAC5B,oBAAoB,IAAI,MAAM,EAAE;IAIhC;wEACoE;IACpE,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhD,qFAAqF;IACrF,QAAQ,IAAI,eAAe;CAG5B"}

package/dist/analysis-registry.js

@@ -1,6 +1,7 @@
 import { AliasResolver } from "./alias-resolver.js";
 import { KERNEL_BUILTINS } from "./builtins.js";
 import { DefinitionRegistry } from "./definition-registry.js";
+import { computeSuggestKind, computeValidUserFacingKinds } from "./kind-suggest.js";
 import { isRefEntry, isScopeEntry } from "./reference-field-map.js";
 /**
  * Accumulates type and alias knowledge for a running kernel or analysis session.
@@ -56,6 +57,23 @@ export class AnalysisRegistry {
     allKinds() {
         return this._context().definitions?.kinds() ?? [];
     }
+    /** Returns every import alias that points at `moduleName` (the canonical, kebab-case
+     *  module name). Empty when no import declares that target. */
+    aliasesFor(moduleName) {
+        return this.aliases.aliasesFor(moduleName);
+    }
+    /** Returns every user-facing kind that is legal in the current scope:
+     *  Telo root kinds plus the alias form of each non-abstract imported definition.
+     *  Used by editor hosts to drive completion and by the analyzer to produce
+     *  "did you mean" hints. */
+    validUserFacingKinds() {
+        return computeValidUserFacingKinds(this.aliases, this.defs);
+    }
+    /** Returns the closest user-facing kind to `badKind`, or undefined when nothing
+     *  is close enough (or multiple candidates tie). Case-sensitive. */
+    suggestKind(badKind) {
+        return computeSuggestKind(badKind, this.aliases, this.defs);
+    }
     /** @internal Bridge for StaticAnalyzer — do not use outside the analyzer package. */
     _context() {
         return { aliases: this.aliases, definitions: this.defs };

package/dist/analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAY9B,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAsP/F,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IA0PvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAMvB,SAAS,CAAC,SAAS,EAAE,gBAAgB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,GAAG,gBAAgB,EAAE;IAKxF,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAiB5F"}
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../src/analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAa9B,OAAO,EAAsB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAsP/F,MAAM,WAAW,qBAAqB;IACpC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAc;gBAEzB,OAAO,GAAE,qBAA0B;IAI/C,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAsPvB,aAAa,CACX,SAAS,EAAE,gBAAgB,EAAE,EAC7B,OAAO,CAAC,EAAE,eAAe,EACzB,QAAQ,CAAC,EAAE,gBAAgB,GAC1B,kBAAkB,EAAE;IAMvB,SAAS,CAAC,SAAS,EAAE,gBAAgB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,GAAG,gBAAgB,EAAE;IAKxF,OAAO,CACL,SAAS,EAAE,gBAAgB,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,GACzB;QAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;CAiB5F"}

package/dist/analyzer.js

@@ -3,6 +3,7 @@ import { buildCelEnvironment, buildTypedCelEnvironment, } from "./cel-environmen
 import { DefinitionRegistry } from "./definition-registry.js";
 import { buildDependencyGraph, formatCycle } from "./dependency-graph.js";
 import { buildKernelGlobalsSchema, mergeKernelGlobalsIntoContext } from "./kernel-globals.js";
+import { computeSuggestKind } from "./kind-suggest.js";
 import { isModuleKind } from "./module-kinds.js";
 import { normalizeInlineResources } from "./normalize-inline-resources.js";
 import { celTypeSatisfiesJsonSchema, substituteCelFields, validateAgainstSchema, } from "./schema-compat.js";
@@ -281,20 +282,14 @@ export class StaticAnalyzer {
             const resolvedKind = aliases.resolveKind(m.kind);
             const definition = defs.resolve(m.kind) ?? (resolvedKind ? defs.resolve(resolvedKind) : undefined);
             if (!definition) {
-                const knownAliases = aliases.knownAliases();
-                const knownKinds = defs.kinds();
-                const parts = [];
-                if (knownAliases.length > 0)
-                    parts.push(`imports: ${knownAliases.join(", ")}`);
-                if (knownKinds.length > 0)
-                    parts.push(`kinds: ${knownKinds.join(", ")}`);
-                const hint = parts.length > 0 ? ` Known ${parts.join(" | ")}` : "";
+                const suggestedKind = computeSuggestKind(m.kind, aliases, defs);
+                const hint = suggestedKind ? ` Did you mean '${suggestedKind}'?` : "";
                 diagnostics.push({
                     severity: DiagnosticSeverity.Error,
                     code: "UNDEFINED_KIND",
                     source: SOURCE,
                     message: `No Telo.Definition found for kind '${m.kind}'.${hint}`,
-                    data: { resource, filePath, path: "kind" },
+                    data: { resource, filePath, path: "kind", suggestedKind },
                 });
                 continue;
             }

package/dist/kind-suggest.d.ts

@@ -0,0 +1,15 @@
+import type { AliasResolver } from "./alias-resolver.js";
+import type { DefinitionRegistry } from "./definition-registry.js";
+/** Computes the set of user-facing kind strings available in the given
+ *  (aliases, defs) context:
+ *    - The hardcoded Telo root kinds.
+ *    - For every registered non-abstract definition, the alias form
+ *      `${alias}.${TypeName}` for each import alias that points at its
+ *      module. Canonical kebab-case forms (e.g. `http-server.Server`) are
+ *      deliberately excluded — users write manifests via alias. */
+export declare function computeValidUserFacingKinds(aliases: AliasResolver, defs: DefinitionRegistry): string[];
+/** Returns the closest user-facing kind to `badKind` within an edit-distance
+ *  threshold, or undefined when nothing close enough exists (including ties).
+ *  Case-sensitive — kinds are PascalCase by contract. */
+export declare function computeSuggestKind(badKind: string, aliases: AliasResolver, defs: DefinitionRegistry): string | undefined;
+//# sourceMappingURL=kind-suggest.d.ts.map

package/dist/kind-suggest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kind-suggest.d.ts","sourceRoot":"","sources":["../src/kind-suggest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAenE;;;;;;mEAMmE;AACnE,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,kBAAkB,GACvB,MAAM,EAAE,CAkBV;AAED;;yDAEyD;AACzD,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,aAAa,EACtB,IAAI,EAAE,kBAAkB,GACvB,MAAM,GAAG,SAAS,CAuBpB"}

package/dist/kind-suggest.js

@@ -0,0 +1,63 @@
+import { distance } from "./levenshtein.js";
+/** User-facing root kinds that are always legal regardless of imports. */
+const ROOT_KINDS = [
+    "Telo.Application",
+    "Telo.Library",
+    "Telo.Import",
+    "Telo.Definition",
+];
+/** Definition kinds that are not user-instantiable and should be excluded
+ *  from completion / suggestion lists. */
+const ABSTRACT_DEF_KINDS = new Set(["Telo.Abstract", "Telo.Template"]);
+/** Computes the set of user-facing kind strings available in the given
+ *  (aliases, defs) context:
+ *    - The hardcoded Telo root kinds.
+ *    - For every registered non-abstract definition, the alias form
+ *      `${alias}.${TypeName}` for each import alias that points at its
+ *      module. Canonical kebab-case forms (e.g. `http-server.Server`) are
+ *      deliberately excluded — users write manifests via alias. */
+export function computeValidUserFacingKinds(aliases, defs) {
+    const out = new Set(ROOT_KINDS);
+    for (const kind of defs.kinds()) {
+        const def = defs.resolve(kind);
+        if (!def || ABSTRACT_DEF_KINDS.has(def.kind))
+            continue;
+        const dot = kind.indexOf(".");
+        if (dot === -1)
+            continue;
+        const moduleName = kind.slice(0, dot);
+        const typeName = kind.slice(dot + 1);
+        for (const alias of aliases.aliasesFor(moduleName)) {
+            out.add(`${alias}.${typeName}`);
+        }
+    }
+    return Array.from(out);
+}
+/** Returns the closest user-facing kind to `badKind` within an edit-distance
+ *  threshold, or undefined when nothing close enough exists (including ties).
+ *  Case-sensitive — kinds are PascalCase by contract. */
+export function computeSuggestKind(badKind, aliases, defs) {
+    if (!badKind)
+        return undefined;
+    const candidates = computeValidUserFacingKinds(aliases, defs);
+    const threshold = Math.min(3, Math.floor(badKind.length / 3));
+    if (threshold < 1)
+        return undefined;
+    let best;
+    let bestDist = threshold + 1;
+    let tied = false;
+    for (const c of candidates) {
+        const d = distance(badKind, c);
+        if (d < bestDist) {
+            best = c;
+            bestDist = d;
+            tied = false;
+        }
+        else if (d === bestDist) {
+            tied = true;
+        }
+    }
+    if (!best || bestDist > threshold || tied)
+        return undefined;
+    return best;
+}

package/dist/levenshtein.d.ts

@@ -0,0 +1,5 @@
+/** Classic Wagner-Fischer Levenshtein distance. Iterative with two rolling rows
+ *  so memory is O(min(a, b)); sufficient for short strings like resource kind
+ *  identifiers (a few dozen characters at most). */
+export declare function distance(a: string, b: string): number;
+//# sourceMappingURL=levenshtein.d.ts.map

package/dist/levenshtein.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"levenshtein.d.ts","sourceRoot":"","sources":["../src/levenshtein.ts"],"names":[],"mappings":"AAAA;;oDAEoD;AACpD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAgCrD"}

package/dist/levenshtein.js

@@ -0,0 +1,34 @@
+/** Classic Wagner-Fischer Levenshtein distance. Iterative with two rolling rows
+ *  so memory is O(min(a, b)); sufficient for short strings like resource kind
+ *  identifiers (a few dozen characters at most). */
+export function distance(a, b) {
+    if (a === b)
+        return 0;
+    if (a.length === 0)
+        return b.length;
+    if (b.length === 0)
+        return a.length;
+    // Ensure b is the shorter string so the row buffer stays small.
+    if (a.length < b.length) {
+        const tmp = a;
+        a = b;
+        b = tmp;
+    }
+    let prev = new Array(b.length + 1);
+    let curr = new Array(b.length + 1);
+    for (let j = 0; j <= b.length; j++)
+        prev[j] = j;
+    for (let i = 1; i <= a.length; i++) {
+        curr[0] = i;
+        for (let j = 1; j <= b.length; j++) {
+            const cost = a.charCodeAt(i - 1) === b.charCodeAt(j - 1) ? 0 : 1;
+            curr[j] = Math.min(curr[j - 1] + 1, // insertion
+            prev[j] + 1, // deletion
+            prev[j - 1] + cost);
+        }
+        const swap = prev;
+        prev = curr;
+        curr = swap;
+    }
+    return prev[b.length];
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/analyzer",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "Telo Analyzer - Static manifest validator for Telo manifests.",
   "keywords": [
     "telo",
@@ -41,7 +41,7 @@
     "ajv-formats": "^3.0.1",
     "jsonpath-plus": "^10.3.0",
     "yaml": "^2.8.3",
-    "@telorun/sdk": "0.3.0"
+    "@telorun/sdk": "0.3.2"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/src/alias-resolver.ts

@@ -34,4 +34,15 @@ export class AliasResolver {
   knownAliases(): string[] {
     return Array.from(this.importAliases.keys());
   }
+
+  /** Returns every alias that currently points at `targetModule`.
+   *  Used by clients that need to convert a canonical kind key (e.g. "http-server.Server")
+   *  back into its user-facing alias form (e.g. "Http.Server"). */
+  aliasesFor(targetModule: string): string[] {
+    const result: string[] = [];
+    for (const [alias, mod] of this.importAliases) {
+      if (mod === targetModule) result.push(alias);
+    }
+    return result;
+  }
 }

package/src/analysis-registry.ts

@@ -2,6 +2,7 @@ import type { ResourceDefinition, ResourceManifest } from "@telorun/sdk";
 import { AliasResolver } from "./alias-resolver.js";
 import { KERNEL_BUILTINS } from "./builtins.js";
 import { DefinitionRegistry } from "./definition-registry.js";
+import { computeSuggestKind, computeValidUserFacingKinds } from "./kind-suggest.js";
 import { isRefEntry, isScopeEntry } from "./reference-field-map.js";
 import type { AnalysisContext } from "./types.js";
 
@@ -71,6 +72,26 @@ export class AnalysisRegistry {
     return this._context().definitions?.kinds() ?? [];
   }
 
+  /** Returns every import alias that points at `moduleName` (the canonical, kebab-case
+   *  module name). Empty when no import declares that target. */
+  aliasesFor(moduleName: string): string[] {
+    return this.aliases.aliasesFor(moduleName);
+  }
+
+  /** Returns every user-facing kind that is legal in the current scope:
+   *  Telo root kinds plus the alias form of each non-abstract imported definition.
+   *  Used by editor hosts to drive completion and by the analyzer to produce
+   *  "did you mean" hints. */
+  validUserFacingKinds(): string[] {
+    return computeValidUserFacingKinds(this.aliases, this.defs);
+  }
+
+  /** Returns the closest user-facing kind to `badKind`, or undefined when nothing
+   *  is close enough (or multiple candidates tie). Case-sensitive. */
+  suggestKind(badKind: string): string | undefined {
+    return computeSuggestKind(badKind, this.aliases, this.defs);
+  }
+
   /** @internal Bridge for StaticAnalyzer — do not use outside the analyzer package. */
   _context(): AnalysisContext {
     return { aliases: this.aliases, definitions: this.defs };

package/src/analyzer.ts

@@ -10,6 +10,7 @@ import {
 import { DefinitionRegistry } from "./definition-registry.js";
 import { buildDependencyGraph, formatCycle } from "./dependency-graph.js";
 import { buildKernelGlobalsSchema, mergeKernelGlobalsIntoContext } from "./kernel-globals.js";
+import { computeSuggestKind } from "./kind-suggest.js";
 import { isModuleKind } from "./module-kinds.js";
 import { normalizeInlineResources } from "./normalize-inline-resources.js";
 import {
@@ -377,18 +378,14 @@ export class StaticAnalyzer {
       const definition =
         defs.resolve(m.kind) ?? (resolvedKind ? defs.resolve(resolvedKind) : undefined);
       if (!definition) {
-        const knownAliases = aliases.knownAliases();
-        const knownKinds = defs.kinds();
-        const parts: string[] = [];
-        if (knownAliases.length > 0) parts.push(`imports: ${knownAliases.join(", ")}`);
-        if (knownKinds.length > 0) parts.push(`kinds: ${knownKinds.join(", ")}`);
-        const hint = parts.length > 0 ? ` Known ${parts.join(" | ")}` : "";
+        const suggestedKind = computeSuggestKind(m.kind, aliases, defs);
+        const hint = suggestedKind ? ` Did you mean '${suggestedKind}'?` : "";
         diagnostics.push({
           severity: DiagnosticSeverity.Error,
           code: "UNDEFINED_KIND",
           source: SOURCE,
           message: `No Telo.Definition found for kind '${m.kind}'.${hint}`,
-          data: { resource, filePath, path: "kind" },
+          data: { resource, filePath, path: "kind", suggestedKind },
         });
         continue;
       }

package/src/kind-suggest.ts

@@ -0,0 +1,77 @@
+import type { AliasResolver } from "./alias-resolver.js";
+import type { DefinitionRegistry } from "./definition-registry.js";
+import { distance } from "./levenshtein.js";
+
+/** User-facing root kinds that are always legal regardless of imports. */
+const ROOT_KINDS = [
+  "Telo.Application",
+  "Telo.Library",
+  "Telo.Import",
+  "Telo.Definition",
+] as const;
+
+/** Definition kinds that are not user-instantiable and should be excluded
+ *  from completion / suggestion lists. */
+const ABSTRACT_DEF_KINDS = new Set(["Telo.Abstract", "Telo.Template"]);
+
+/** Computes the set of user-facing kind strings available in the given
+ *  (aliases, defs) context:
+ *    - The hardcoded Telo root kinds.
+ *    - For every registered non-abstract definition, the alias form
+ *      `${alias}.${TypeName}` for each import alias that points at its
+ *      module. Canonical kebab-case forms (e.g. `http-server.Server`) are
+ *      deliberately excluded — users write manifests via alias. */
+export function computeValidUserFacingKinds(
+  aliases: AliasResolver,
+  defs: DefinitionRegistry,
+): string[] {
+  const out = new Set<string>(ROOT_KINDS);
+
+  for (const kind of defs.kinds()) {
+    const def = defs.resolve(kind);
+    if (!def || ABSTRACT_DEF_KINDS.has(def.kind)) continue;
+
+    const dot = kind.indexOf(".");
+    if (dot === -1) continue;
+    const moduleName = kind.slice(0, dot);
+    const typeName = kind.slice(dot + 1);
+
+    for (const alias of aliases.aliasesFor(moduleName)) {
+      out.add(`${alias}.${typeName}`);
+    }
+  }
+
+  return Array.from(out);
+}
+
+/** Returns the closest user-facing kind to `badKind` within an edit-distance
+ *  threshold, or undefined when nothing close enough exists (including ties).
+ *  Case-sensitive — kinds are PascalCase by contract. */
+export function computeSuggestKind(
+  badKind: string,
+  aliases: AliasResolver,
+  defs: DefinitionRegistry,
+): string | undefined {
+  if (!badKind) return undefined;
+  const candidates = computeValidUserFacingKinds(aliases, defs);
+  const threshold = Math.min(3, Math.floor(badKind.length / 3));
+  if (threshold < 1) return undefined;
+
+  let best: string | undefined;
+  let bestDist = threshold + 1;
+  let tied = false;
+
+  for (const c of candidates) {
+    const d = distance(badKind, c);
+    if (d < bestDist) {
+      best = c;
+      bestDist = d;
+      tied = false;
+    } else if (d === bestDist) {
+      tied = true;
+    }
+  }
+
+  if (!best || bestDist > threshold || tied) return undefined;
+  return best;
+}

package/src/levenshtein.ts

@@ -0,0 +1,36 @@
+/** Classic Wagner-Fischer Levenshtein distance. Iterative with two rolling rows
+ *  so memory is O(min(a, b)); sufficient for short strings like resource kind
+ *  identifiers (a few dozen characters at most). */
+export function distance(a: string, b: string): number {
+  if (a === b) return 0;
+  if (a.length === 0) return b.length;
+  if (b.length === 0) return a.length;
+
+  // Ensure b is the shorter string so the row buffer stays small.
+  if (a.length < b.length) {
+    const tmp = a;
+    a = b;
+    b = tmp;
+  }
+
+  let prev = new Array<number>(b.length + 1);
+  let curr = new Array<number>(b.length + 1);
+  for (let j = 0; j <= b.length; j++) prev[j] = j;
+
+  for (let i = 1; i <= a.length; i++) {
+    curr[0] = i;
+    for (let j = 1; j <= b.length; j++) {
+      const cost = a.charCodeAt(i - 1) === b.charCodeAt(j - 1) ? 0 : 1;
+      curr[j] = Math.min(
+        curr[j - 1] + 1,      // insertion
+        prev[j] + 1,          // deletion
+        prev[j - 1] + cost,   // substitution
+      );
+    }
+    const swap = prev;
+    prev = curr;
+    curr = swap;
+  }
+
+  return prev[b.length];
+}