@telorun/ide-support 0.102.0 → 0.103.1

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

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

package/dist/completions/build.js

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

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

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

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

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

package/dist/completions/detect-context.js

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

package/package.json

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

package/src/completions/build.ts

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

package/src/completions/detect-context.ts

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