@telorun/ide-support 0.11.3 → 0.13.0

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

@@ -0,0 +1,17 @@
+/** 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.
+ *
+ *  **The rule itself lives in `@telorun/analyzer`** (`yaml-source-edit.ts`),
+ *  not here. It started here because both editors' quick fixes had to agree
+ *  about how a value is written; `telo migrate` then became a third writer of
+ *  the same files, and the analyzer is below all three. Re-exported rather than
+ *  moved outright so a host keeps importing its repair rendering from the
+ *  package that owns the rest of its diagnostic presentation. */
+export { applyTextEdits, isPlainSafe, quoteStyleOf, renderFixReplacement, type QuoteStyle, type TextEdit, } from "@telorun/analyzer";
+//# 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;;;;;;;;;;;;;;iEAciE;AAEjE,OAAO,EACL,cAAc,EACd,WAAW,EACX,YAAY,EACZ,oBAAoB,EACpB,KAAK,UAAU,EACf,KAAK,QAAQ,GACd,MAAM,mBAAmB,CAAC"}

package/dist/diagnostics/fix-edit.js

@@ -0,0 +1,16 @@
+/** 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.
+ *
+ *  **The rule itself lives in `@telorun/analyzer`** (`yaml-source-edit.ts`),
+ *  not here. It started here because both editors' quick fixes had to agree
+ *  about how a value is written; `telo migrate` then became a third writer of
+ *  the same files, and the analyzer is below all three. Re-exported rather than
+ *  moved outright so a host keeps importing its repair rendering from the
+ *  package that owns the rest of its diagnostic presentation. */
+export { applyTextEdits, isPlainSafe, quoteStyleOf, renderFixReplacement, } from "@telorun/analyzer";

package/dist/diagnostics/graph-diagnostics.d.ts

@@ -21,9 +21,9 @@ export declare function compromisedFiles(graph: LoadedGraph): Set<string>;
  * (`suppressed`). The presentation policy lives here — not in the analyzer,
  * which only emits raw channels — so every host applies it identically.
  *
- * `diagnostics` folds parse, version-reconciliation, import-resolution, and the
- * *live* analysis diagnostics (those on non-compromised files) into one list,
- * in that order. `suppressed` carries the analysis cascade dropped from
+ * `diagnostics` folds parse, migration, version-reconciliation,
+ * import-resolution, and the *live* analysis diagnostics (those on
+ * non-compromised files) into one list, in that order. `suppressed` carries the analysis cascade dropped from
  * compromised files, still available to a host that wants to render it dimmed /
  * as related information rather than hide it.
  *

package/dist/diagnostics/graph-diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph-diagnostics.d.ts","sourceRoot":"","sources":["../../src/diagnostics/graph-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAG3B;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,CAShE;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,WAAW,EAClB,mBAAmB,EAAE,kBAAkB,EAAE,GACxC;IAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAAC,UAAU,EAAE,kBAAkB,EAAE,CAAA;CAAE,CAoBzE"}
+{"version":3,"file":"graph-diagnostics.d.ts","sourceRoot":"","sources":["../../src/diagnostics/graph-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAG3B;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,CAShE;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,WAAW,EAClB,mBAAmB,EAAE,kBAAkB,EAAE,GACxC;IAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;IAAC,UAAU,EAAE,kBAAkB,EAAE,CAAA;CAAE,CA0BzE"}

package/dist/diagnostics/graph-diagnostics.js

@@ -1,4 +1,4 @@
-import { importResolutionDiagnostics, } from "@telorun/analyzer";
+import { importResolutionDiagnostics, remapMigratedPaths, } from "@telorun/analyzer";
 import { findPositions } from "./find-positions.js";
 /**
  * Files whose static-analysis output is an unreliable cascade rather than a set
@@ -33,9 +33,9 @@ export function compromisedFiles(graph) {
  * (`suppressed`). The presentation policy lives here — not in the analyzer,
  * which only emits raw channels — so every host applies it identically.
  *
- * `diagnostics` folds parse, version-reconciliation, import-resolution, and the
- * *live* analysis diagnostics (those on non-compromised files) into one list,
- * in that order. `suppressed` carries the analysis cascade dropped from
+ * `diagnostics` folds parse, migration, version-reconciliation,
+ * import-resolution, and the *live* analysis diagnostics (those on
+ * non-compromised files) into one list, in that order. `suppressed` carries the analysis cascade dropped from
  * compromised files, still available to a host that wants to render it dimmed /
  * as related information rather than hide it.
  *
@@ -54,7 +54,12 @@ export function assembleGraphDiagnostics(graph, analysisDiagnostics) {
     const entrySource = graph.entry.owner.source;
     const live = [];
     const suppressed = [];
-    for (const d of analysisDiagnostics) {
+    // Analysis ran over the MIGRATED tree, while positions come from the raw
+    // file. Remapping each `data.path` back through the driver's provenance
+    // record is what keeps a squiggle on the author's own line after a key
+    // rename — and what stops a fix among them writing across a parent's span.
+    // A no-op when nothing in the graph was migrated.
+    for (const d of remapMigratedPaths(graph, analysisDiagnostics)) {
         const rawFilePath = d.data?.filePath;
         const file = findPositions(graph, d.data)?.file ?? rawFilePath ?? entrySource;
         (compromised.has(file) ? suppressed : live).push(d);
@@ -62,6 +67,7 @@ export function assembleGraphDiagnostics(graph, analysisDiagnostics) {
     return {
         diagnostics: [
             ...graph.parseDiagnostics,
+            ...graph.migrationDiagnostics,
             ...graph.versionDiagnostics,
             ...importResolutionDiagnostics(graph),
             ...live,

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.3",
+  "version": "0.13.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.1"
+    "@telorun/analyzer": "0.58.0"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",

package/src/diagnostics/fix-edit.ts

@@ -0,0 +1,24 @@
+/** 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.
+ *
+ *  **The rule itself lives in `@telorun/analyzer`** (`yaml-source-edit.ts`),
+ *  not here. It started here because both editors' quick fixes had to agree
+ *  about how a value is written; `telo migrate` then became a third writer of
+ *  the same files, and the analyzer is below all three. Re-exported rather than
+ *  moved outright so a host keeps importing its repair rendering from the
+ *  package that owns the rest of its diagnostic presentation. */
+
+export {
+  applyTextEdits,
+  isPlainSafe,
+  quoteStyleOf,
+  renderFixReplacement,
+  type QuoteStyle,
+  type TextEdit,
+} from "@telorun/analyzer";

package/src/diagnostics/graph-diagnostics.ts

@@ -1,5 +1,6 @@
 import {
   importResolutionDiagnostics,
+  remapMigratedPaths,
   type AnalysisDiagnostic,
   type LoadedGraph,
 } from "@telorun/analyzer";
@@ -37,9 +38,9 @@ export function compromisedFiles(graph: LoadedGraph): Set<string> {
  * (`suppressed`). The presentation policy lives here — not in the analyzer,
  * which only emits raw channels — so every host applies it identically.
  *
- * `diagnostics` folds parse, version-reconciliation, import-resolution, and the
- * *live* analysis diagnostics (those on non-compromised files) into one list,
- * in that order. `suppressed` carries the analysis cascade dropped from
+ * `diagnostics` folds parse, migration, version-reconciliation,
+ * import-resolution, and the *live* analysis diagnostics (those on
+ * non-compromised files) into one list, in that order. `suppressed` carries the analysis cascade dropped from
  * compromised files, still available to a host that wants to render it dimmed /
  * as related information rather than hide it.
  *
@@ -61,7 +62,12 @@ export function assembleGraphDiagnostics(
   const entrySource = graph.entry.owner.source;
   const live: AnalysisDiagnostic[] = [];
   const suppressed: AnalysisDiagnostic[] = [];
-  for (const d of analysisDiagnostics) {
+  // Analysis ran over the MIGRATED tree, while positions come from the raw
+  // file. Remapping each `data.path` back through the driver's provenance
+  // record is what keeps a squiggle on the author's own line after a key
+  // rename — and what stops a fix among them writing across a parent's span.
+  // A no-op when nothing in the graph was migrated.
+  for (const d of remapMigratedPaths(graph, analysisDiagnostics)) {
     const rawFilePath = (d.data as { filePath?: string } | undefined)?.filePath;
     const file = findPositions(graph, d.data)?.file ?? rawFilePath ?? entrySource;
     (compromised.has(file) ? suppressed : live).push(d);
@@ -70,6 +76,7 @@ export function assembleGraphDiagnostics(
   return {
     diagnostics: [
       ...graph.parseDiagnostics,
+      ...graph.migrationDiagnostics,
       ...graph.versionDiagnostics,
       ...importResolutionDiagnostics(graph),
       ...live,

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