@telorun/ide-support 0.11.2 → 0.12.0

package/README.md

@@ -23,9 +23,9 @@ Built to be language-agnostic and infinitely extensible.
 
 ```bash
 # Reconcile your manifest into a running backend
-$ telo ./examples/hello-api
+$ telo ./examples/todo-app
 
-{"level":30,"time":1771610393008,"pid":1310178,"hostname":"dev","msg":"Server listening at http://127.0.0.1:8844"}
+{"level":30,"time":1771610393008,"pid":1310178,"hostname":"dev","msg":"Server listening at http://127.0.0.1:8077"}
 ```
 
 ## Why use Telo?

package/dist/diagnostics/fix-edit.d.ts

@@ -0,0 +1,40 @@
+/** Rendering a diagnostic's repair back into YAML source.
+ *
+ *  A `fix.replacement` is a bare VALUE — a CEL expression, a kind name — while
+ *  the span it replaces is the value node as written, which includes the
+ *  scalar's quotes. (The YAML tag sits outside that span, so `!cel` survives a
+ *  replacement without anything doing it on purpose.) Writing the bare value
+ *  into a quoted span therefore strips the quotes, and a CEL expression is
+ *  exactly the kind of text that stops being one scalar once unquoted: a
+ *  `: ` inside it starts a mapping, a trailing `#` starts a comment, a leading
+ *  `%` or `&` is an indicator.
+ *
+ *  So the replacement is re-quoted in the style the author used, and promoted
+ *  to double quotes when a plain scalar could not survive the round-trip. This
+ *  lives here rather than in one editor because both surfaces — the VS Code
+ *  extension's quick fix and the Tauri editor's — apply the same repair to the
+ *  same source, and the two must not disagree about how a value is written. */
+/** Whether `value` can be written as a plain scalar without changing meaning. */
+export declare function isPlainSafe(value: string): boolean;
+/** Quote style of the source text a fix is replacing. */
+export type QuoteStyle = "double" | "single" | "plain";
+export declare function quoteStyleOf(source: string): QuoteStyle;
+/** Render `replacement` so it occupies `originalSource`'s span as the same
+ *  scalar the author would have written by hand, or `undefined` when the span
+ *  cannot be rewritten safely.
+ *
+ *  A plain original is kept plain when it can be — rewriting `Run.Sequenc` to
+ *  `"Run.Sequence"` would be a correct but noisy diff on a kind name — and
+ *  promoted to double quotes when the new value would not survive unquoted.
+ *
+ *  **A multi-line span is refused.** A block scalar's span covers its `|`/`>-`
+ *  indicator AND its trailing newline, so writing a single-line scalar over it
+ *  deletes the line break that ended the mapping entry and glues the next key
+ *  onto the value — the document stops parsing. Re-emitting a block scalar
+ *  correctly needs the node's indentation, which no consumer of this function
+ *  has. A multi-line REPLACEMENT is refused for the mirror reason: its
+ *  continuation lines would land at column 0, which is not a legal mapping
+ *  value. `DiagnosticFix` promises a repair that can be applied without review,
+ *  so the only honest answer for these is no repair. */
+export declare function renderFixReplacement(originalSource: string, replacement: string): string | undefined;
+//# sourceMappingURL=fix-edit.d.ts.map

package/dist/diagnostics/fix-edit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fix-edit.d.ts","sourceRoot":"","sources":["../../src/diagnostics/fix-edit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;+EAe+E;AAS/E,iFAAiF;AACjF,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAUlD;AAED,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEvD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAIvD;AAED;;;;;;;;;;;;;;;;wDAgBwD;AACxD,wBAAgB,oBAAoB,CAClC,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,MAAM,GAClB,MAAM,GAAG,SAAS,CAcpB"}

package/dist/diagnostics/fix-edit.js

@@ -0,0 +1,78 @@
+/** Rendering a diagnostic's repair back into YAML source.
+ *
+ *  A `fix.replacement` is a bare VALUE — a CEL expression, a kind name — while
+ *  the span it replaces is the value node as written, which includes the
+ *  scalar's quotes. (The YAML tag sits outside that span, so `!cel` survives a
+ *  replacement without anything doing it on purpose.) Writing the bare value
+ *  into a quoted span therefore strips the quotes, and a CEL expression is
+ *  exactly the kind of text that stops being one scalar once unquoted: a
+ *  `: ` inside it starts a mapping, a trailing `#` starts a comment, a leading
+ *  `%` or `&` is an indicator.
+ *
+ *  So the replacement is re-quoted in the style the author used, and promoted
+ *  to double quotes when a plain scalar could not survive the round-trip. This
+ *  lives here rather than in one editor because both surfaces — the VS Code
+ *  extension's quick fix and the Tauri editor's — apply the same repair to the
+ *  same source, and the two must not disagree about how a value is written. */
+/** Characters that make a plain (unquoted) YAML scalar reparse as something
+ *  else. `-` and `?` are indicators only when followed by a space, so they are
+ *  handled by the leading-token check rather than listed here. */
+const PLAIN_UNSAFE_LEAD = new Set([
+    "&", "*", "!", "|", ">", "%", "@", "`", "#", "'", '"', "{", "[", "}", "]", ",",
+]);
+/** Whether `value` can be written as a plain scalar without changing meaning. */
+export function isPlainSafe(value) {
+    if (value === "" || value.trim() !== value)
+        return false;
+    if (PLAIN_UNSAFE_LEAD.has(value[0]))
+        return false;
+    // `-`/`?`/`:` lead only matter when a space follows — `-x` is a scalar,
+    // `- x` is a sequence entry.
+    if (/^[-?:]\s/.test(value))
+        return false;
+    // A colon-space anywhere opens a mapping; a space-hash opens a comment.
+    if (value.includes(": ") || value.includes(" #"))
+        return false;
+    if (value.endsWith(":"))
+        return false;
+    return !/[\n\r]/.test(value);
+}
+export function quoteStyleOf(source) {
+    if (source.length >= 2 && source.startsWith('"') && source.endsWith('"'))
+        return "double";
+    if (source.length >= 2 && source.startsWith("'") && source.endsWith("'"))
+        return "single";
+    return "plain";
+}
+/** Render `replacement` so it occupies `originalSource`'s span as the same
+ *  scalar the author would have written by hand, or `undefined` when the span
+ *  cannot be rewritten safely.
+ *
+ *  A plain original is kept plain when it can be — rewriting `Run.Sequenc` to
+ *  `"Run.Sequence"` would be a correct but noisy diff on a kind name — and
+ *  promoted to double quotes when the new value would not survive unquoted.
+ *
+ *  **A multi-line span is refused.** A block scalar's span covers its `|`/`>-`
+ *  indicator AND its trailing newline, so writing a single-line scalar over it
+ *  deletes the line break that ended the mapping entry and glues the next key
+ *  onto the value — the document stops parsing. Re-emitting a block scalar
+ *  correctly needs the node's indentation, which no consumer of this function
+ *  has. A multi-line REPLACEMENT is refused for the mirror reason: its
+ *  continuation lines would land at column 0, which is not a legal mapping
+ *  value. `DiagnosticFix` promises a repair that can be applied without review,
+ *  so the only honest answer for these is no repair. */
+export function renderFixReplacement(originalSource, replacement) {
+    if (/[\n\r]/.test(originalSource) || /[\n\r]/.test(replacement))
+        return undefined;
+    const style = quoteStyleOf(originalSource);
+    if (style === "single") {
+        // A single-quoted YAML scalar escapes only the quote, by doubling it. CEL
+        // string literals use single quotes constantly, so this is the common case
+        // for an expression written in a single-quoted scalar.
+        return `'${replacement.replaceAll("'", "''")}'`;
+    }
+    if (style === "double" || !isPlainSafe(replacement)) {
+        return `"${replacement.replaceAll("\\", "\\\\").replaceAll('"', '\\"')}"`;
+    }
+    return replacement;
+}

package/dist/diagnostics/index.d.ts

@@ -1,4 +1,5 @@
 export { findPositions } from "./find-positions.js";
+export { isPlainSafe, quoteStyleOf, renderFixReplacement, type QuoteStyle, } from "./fix-edit.js";
 export { assembleGraphDiagnostics, compromisedFiles } from "./graph-diagnostics.js";
 export { normalizeDiagnostic } from "./normalize.js";
 export { resolveRange } from "./range-resolver.js";

package/dist/diagnostics/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EACL,WAAW,EACX,YAAY,EACZ,oBAAoB,EACpB,KAAK,UAAU,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC"}

package/dist/diagnostics/index.js

@@ -1,4 +1,5 @@
 export { findPositions } from "./find-positions.js";
+export { isPlainSafe, quoteStyleOf, renderFixReplacement, } from "./fix-edit.js";
 export { assembleGraphDiagnostics, compromisedFiles } from "./graph-diagnostics.js";
 export { normalizeDiagnostic } from "./normalize.js";
 export { resolveRange } from "./range-resolver.js";

package/dist/diagnostics/normalize.d.ts

@@ -1,11 +1,15 @@
-import type { AnalysisDiagnostic } from "@telorun/analyzer";
+import { type AnalysisDiagnostic } from "@telorun/analyzer";
 import type { DiagnosticContext, NormalizedDiagnostic } from "../types.js";
 /** Converts a raw analyzer diagnostic into a host-ready shape:
  *    - Guarantees `range` and `severity`.
- *    - Surfaces `data.suggestedKind` (stamped by the analyzer for UNDEFINED_KIND)
- *      as a structured `{ kind: "replace-kind", replacement }` entry in
- *      `suggestions`, which editor hosts can wire into CodeActions.
- *  Does not rewrite the message — the analyzer already formatted the human-readable
- *  "Did you mean '…'?" hint, keeping CLI and IDE output in sync. */
+ *    - Surfaces the analyzer's `fix` stamp as a structured `suggestions` entry
+ *      hosts wire into a CodeAction.
+ *  Does not rewrite the message — the analyzer already formatted the
+ *  human-readable hint, keeping CLI and IDE output in sync.
+ *
+ *  One suggestion kind, not one per producer: an unknown kind name and a
+ *  mis-called CEL function are the same gesture at the host (replace the value
+ *  at this range), and a second kind would mean a second action path in every
+ *  editor for no difference the user can see. */
 export declare function normalizeDiagnostic(d: AnalysisDiagnostic, ctx: DiagnosticContext): NormalizedDiagnostic;
 //# sourceMappingURL=normalize.d.ts.map

package/dist/diagnostics/normalize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../src/diagnostics/normalize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAI3E;;;;;;oEAMoE;AACpE,wBAAgB,mBAAmB,CACjC,CAAC,EAAE,kBAAkB,EACrB,GAAG,EAAE,iBAAiB,GACrB,oBAAoB,CAetB"}
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../src/diagnostics/normalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAI3E;;;;;;;;;;iDAUiD;AACjD,wBAAgB,mBAAmB,CACjC,CAAC,EAAE,kBAAkB,EACrB,GAAG,EAAE,iBAAiB,GACrB,oBAAoB,CAatB"}

package/dist/diagnostics/normalize.js

@@ -1,17 +1,20 @@
+import { diagnosticFix } from "@telorun/analyzer";
 import { resolveRange } from "./range-resolver.js";
 import { resolveSeverity } from "./severity.js";
 /** Converts a raw analyzer diagnostic into a host-ready shape:
  *    - Guarantees `range` and `severity`.
- *    - Surfaces `data.suggestedKind` (stamped by the analyzer for UNDEFINED_KIND)
- *      as a structured `{ kind: "replace-kind", replacement }` entry in
- *      `suggestions`, which editor hosts can wire into CodeActions.
- *  Does not rewrite the message — the analyzer already formatted the human-readable
- *  "Did you mean '…'?" hint, keeping CLI and IDE output in sync. */
+ *    - Surfaces the analyzer's `fix` stamp as a structured `suggestions` entry
+ *      hosts wire into a CodeAction.
+ *  Does not rewrite the message — the analyzer already formatted the
+ *  human-readable hint, keeping CLI and IDE output in sync.
+ *
+ *  One suggestion kind, not one per producer: an unknown kind name and a
+ *  mis-called CEL function are the same gesture at the host (replace the value
+ *  at this range), and a second kind would mean a second action path in every
+ *  editor for no difference the user can see. */
 export function normalizeDiagnostic(d, ctx) {
-    const suggestedKind = d.data?.suggestedKind;
-    const suggestions = suggestedKind
-        ? [{ kind: "replace-kind", replacement: suggestedKind }]
-        : undefined;
+    const fix = diagnosticFix(d);
+    const suggestions = fix ? [{ kind: "replace", replacement: fix.replacement }] : undefined;
     return {
         range: resolveRange(d, ctx),
         severity: resolveSeverity(d),

package/dist/types.d.ts

@@ -97,8 +97,10 @@ export interface NormalizedDiagnostic {
     code: string;
     source: string;
     message: string;
+    /** Mechanically applicable repairs. `replacement` is the whole corrected
+     *  value at the diagnostic's range — apply it by replacing that range. */
     suggestions?: Array<{
-        kind: "replace-kind";
+        kind: "replace";
         replacement: string;
     }>;
     /** Preserved verbatim from the source `AnalysisDiagnostic`. Carries

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,MAAM,mBAAmB,CAAC;AAGzE,YAAY,EACV,QAAQ,EACR,KAAK,EACL,kBAAkB,EAClB,aAAa,GACd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,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;;;;qBAIqB;AACrB,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,WAAW,GAAG,UAAU,CAAC;AAElE;6EAC6E;AAC7E,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAAsC,CAAC;AAErG;;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,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnE;;;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,MAAM,mBAAmB,CAAC;AAGzE,YAAY,EACV,QAAQ,EACR,KAAK,EACL,kBAAkB,EAClB,aAAa,GACd,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,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;;;;qBAIqB;AACrB,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,WAAW,GAAG,UAAU,CAAC;AAElE;6EAC6E;AAC7E,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAAsC,CAAC;AAErG;;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;;;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.11.2",
+  "version": "0.12.0",
   "description": "Editor-host-agnostic IDE support (completions, diagnostic normalization) for Telo manifests.",
   "keywords": [
     "telo",
@@ -36,7 +36,7 @@
     "src/**"
   ],
   "dependencies": {
-    "@telorun/analyzer": "0.56.0"
+    "@telorun/analyzer": "0.57.0"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/src/diagnostics/fix-edit.ts

@@ -0,0 +1,81 @@
+/** Rendering a diagnostic's repair back into YAML source.
+ *
+ *  A `fix.replacement` is a bare VALUE — a CEL expression, a kind name — while
+ *  the span it replaces is the value node as written, which includes the
+ *  scalar's quotes. (The YAML tag sits outside that span, so `!cel` survives a
+ *  replacement without anything doing it on purpose.) Writing the bare value
+ *  into a quoted span therefore strips the quotes, and a CEL expression is
+ *  exactly the kind of text that stops being one scalar once unquoted: a
+ *  `: ` inside it starts a mapping, a trailing `#` starts a comment, a leading
+ *  `%` or `&` is an indicator.
+ *
+ *  So the replacement is re-quoted in the style the author used, and promoted
+ *  to double quotes when a plain scalar could not survive the round-trip. This
+ *  lives here rather than in one editor because both surfaces — the VS Code
+ *  extension's quick fix and the Tauri editor's — apply the same repair to the
+ *  same source, and the two must not disagree about how a value is written. */
+
+/** Characters that make a plain (unquoted) YAML scalar reparse as something
+ *  else. `-` and `?` are indicators only when followed by a space, so they are
+ *  handled by the leading-token check rather than listed here. */
+const PLAIN_UNSAFE_LEAD = new Set([
+  "&", "*", "!", "|", ">", "%", "@", "`", "#", "'", '"', "{", "[", "}", "]", ",",
+]);
+
+/** Whether `value` can be written as a plain scalar without changing meaning. */
+export function isPlainSafe(value: string): boolean {
+  if (value === "" || value.trim() !== value) return false;
+  if (PLAIN_UNSAFE_LEAD.has(value[0]!)) return false;
+  // `-`/`?`/`:` lead only matter when a space follows — `-x` is a scalar,
+  // `- x` is a sequence entry.
+  if (/^[-?:]\s/.test(value)) return false;
+  // A colon-space anywhere opens a mapping; a space-hash opens a comment.
+  if (value.includes(": ") || value.includes(" #")) return false;
+  if (value.endsWith(":")) return false;
+  return !/[\n\r]/.test(value);
+}
+
+/** Quote style of the source text a fix is replacing. */
+export type QuoteStyle = "double" | "single" | "plain";
+
+export function quoteStyleOf(source: string): QuoteStyle {
+  if (source.length >= 2 && source.startsWith('"') && source.endsWith('"')) return "double";
+  if (source.length >= 2 && source.startsWith("'") && source.endsWith("'")) return "single";
+  return "plain";
+}
+
+/** Render `replacement` so it occupies `originalSource`'s span as the same
+ *  scalar the author would have written by hand, or `undefined` when the span
+ *  cannot be rewritten safely.
+ *
+ *  A plain original is kept plain when it can be — rewriting `Run.Sequenc` to
+ *  `"Run.Sequence"` would be a correct but noisy diff on a kind name — and
+ *  promoted to double quotes when the new value would not survive unquoted.
+ *
+ *  **A multi-line span is refused.** A block scalar's span covers its `|`/`>-`
+ *  indicator AND its trailing newline, so writing a single-line scalar over it
+ *  deletes the line break that ended the mapping entry and glues the next key
+ *  onto the value — the document stops parsing. Re-emitting a block scalar
+ *  correctly needs the node's indentation, which no consumer of this function
+ *  has. A multi-line REPLACEMENT is refused for the mirror reason: its
+ *  continuation lines would land at column 0, which is not a legal mapping
+ *  value. `DiagnosticFix` promises a repair that can be applied without review,
+ *  so the only honest answer for these is no repair. */
+export function renderFixReplacement(
+  originalSource: string,
+  replacement: string,
+): string | undefined {
+  if (/[\n\r]/.test(originalSource) || /[\n\r]/.test(replacement)) return undefined;
+  const style = quoteStyleOf(originalSource);
+
+  if (style === "single") {
+    // A single-quoted YAML scalar escapes only the quote, by doubling it. CEL
+    // string literals use single quotes constantly, so this is the common case
+    // for an expression written in a single-quoted scalar.
+    return `'${replacement.replaceAll("'", "''")}'`;
+  }
+  if (style === "double" || !isPlainSafe(replacement)) {
+    return `"${replacement.replaceAll("\\", "\\\\").replaceAll('"', '\\"')}"`;
+  }
+  return replacement;
+}

package/src/diagnostics/index.ts

@@ -1,4 +1,10 @@
 export { findPositions } from "./find-positions.js";
+export {
+  isPlainSafe,
+  quoteStyleOf,
+  renderFixReplacement,
+  type QuoteStyle,
+} from "./fix-edit.js";
 export { assembleGraphDiagnostics, compromisedFiles } from "./graph-diagnostics.js";
 export { normalizeDiagnostic } from "./normalize.js";
 export { resolveRange } from "./range-resolver.js";

package/src/diagnostics/normalize.ts

@@ -1,23 +1,25 @@
-import type { AnalysisDiagnostic } from "@telorun/analyzer";
+import { diagnosticFix, type AnalysisDiagnostic } from "@telorun/analyzer";
 import type { DiagnosticContext, NormalizedDiagnostic } from "../types.js";
 import { resolveRange } from "./range-resolver.js";
 import { resolveSeverity } from "./severity.js";
 
 /** Converts a raw analyzer diagnostic into a host-ready shape:
  *    - Guarantees `range` and `severity`.
- *    - Surfaces `data.suggestedKind` (stamped by the analyzer for UNDEFINED_KIND)
- *      as a structured `{ kind: "replace-kind", replacement }` entry in
- *      `suggestions`, which editor hosts can wire into CodeActions.
- *  Does not rewrite the message — the analyzer already formatted the human-readable
- *  "Did you mean '…'?" hint, keeping CLI and IDE output in sync. */
+ *    - Surfaces the analyzer's `fix` stamp as a structured `suggestions` entry
+ *      hosts wire into a CodeAction.
+ *  Does not rewrite the message — the analyzer already formatted the
+ *  human-readable hint, keeping CLI and IDE output in sync.
+ *
+ *  One suggestion kind, not one per producer: an unknown kind name and a
+ *  mis-called CEL function are the same gesture at the host (replace the value
+ *  at this range), and a second kind would mean a second action path in every
+ *  editor for no difference the user can see. */
 export function normalizeDiagnostic(
   d: AnalysisDiagnostic,
   ctx: DiagnosticContext,
 ): NormalizedDiagnostic {
-  const suggestedKind = (d.data as { suggestedKind?: string } | undefined)?.suggestedKind;
-  const suggestions = suggestedKind
-    ? [{ kind: "replace-kind" as const, replacement: suggestedKind }]
-    : undefined;
+  const fix = diagnosticFix(d);
+  const suggestions = fix ? [{ kind: "replace" as const, replacement: fix.replacement }] : undefined;
 
   return {
     range: resolveRange(d, ctx),

package/src/types.ts

@@ -124,7 +124,9 @@ export interface NormalizedDiagnostic {
   code: string;
   source: string;
   message: string;
-  suggestions?: Array<{ kind: "replace-kind"; replacement: string }>;
+  /** Mechanically applicable repairs. `replacement` is the whole corrected
+   *  value at the diagnostic's range — apply it by replacing that range. */
+  suggestions?: Array<{ kind: "replace"; replacement: string }>;
   /** Preserved verbatim from the source `AnalysisDiagnostic`. Carries
    *  resource/path stamps that downstream UIs (popovers, "at <path>" hints,
    *  CodeAction wiring) read after normalization. Opaque on purpose so this