@hoilab/ada-cli 0.84.22 → 0.85.1

package/dist/core/lsp/ediciones.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Aplica un `WorkspaceEdit` de LSP (el resultado de `textDocument/rename`) a
+ * disco, fichero por fichero.
+ *
+ * Las posiciones LSP son `{line, character}` en unidades UTF-16 — que es
+ * exactamente cómo Python... no, cómo JAVASCRIPT indexa sus strings (UTF-16
+ * interno). Por eso `slice(character)` sobre un string de JS ya hace lo
+ * correcto sin convertir a offsets de bytes: es la pereza correcta, no un
+ * atajo que rompa con acentos o emoji en el nombre nuevo.
+ */
+export interface Posicion {
+    line: number;
+    character: number;
+}
+export interface RangoLsp {
+    start: Posicion;
+    end: Posicion;
+}
+export interface EdicionTexto {
+    range: RangoLsp;
+    newText: string;
+}
+interface CambioDocumento {
+    textDocument: {
+        uri: string;
+        version?: number | null;
+    };
+    edits: EdicionTexto[];
+}
+/** Subconjunto de `WorkspaceEdit` que cubrimos: ediciones de texto puras. Crear/renombrar/borrar ficheros no hace falta para rename de símbolos. */
+export interface WorkspaceEditLsp {
+    changes?: Record<string, EdicionTexto[]>;
+    documentChanges?: Array<CambioDocumento | {
+        kind: string;
+    }>;
+}
+/** `file:///a/b%20c.go` → `/a/b c.go`. Inversa de `uriDeRuta` en cliente.ts. */
+export declare function rutaDeUri(uri: string): string;
+/** Agrupa `changes` y `documentChanges` en un único `Map<uri, ediciones>`; ignora operaciones de fichero (create/rename/delete) que no necesitamos. */
+export declare function aplanar(edit: WorkspaceEditLsp): Map<string, EdicionTexto[]>;
+/** Aplica las ediciones a un texto en memoria, de abajo a arriba para no desincronizar los índices de las que faltan. */
+export declare function aplicarEnTexto(contenido: string, ediciones: EdicionTexto[]): string;
+export interface CambioAplicado {
+    ruta: string;
+    antes: string;
+    despues: string;
+}
+/**
+ * Aplica un WorkspaceEdit completo a disco. Devuelve un `CambioAplicado` por
+ * fichero tocado, con el contenido antes/después — así quien llama puede
+ * enseñar el diff real, no solo decir "aplicado".
+ *
+ * Lanza si un fichero no se puede leer o escribir: un rename que dice
+ * "aplicado" sobre un fichero que en realidad no cambió es el error que la
+ * regla 6 prohíbe (éxito que no lo fue).
+ */
+export declare function aplicarWorkspaceEdit(edit: WorkspaceEditLsp): Promise<CambioAplicado[]>;
+export {};
+//# sourceMappingURL=ediciones.d.ts.map

package/dist/core/lsp/ediciones.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ediciones.d.ts","sourceRoot":"","sources":["../../../src/core/lsp/ediciones.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,WAAW,QAAQ;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACxB,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACd;AAED,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,QAAQ,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,eAAe;IACxB,YAAY,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvD,KAAK,EAAE,YAAY,EAAE,CAAC;CACtB;AAED,oJAAoJ;AACpJ,MAAM,WAAW,gBAAgB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;IACzC,eAAe,CAAC,EAAE,KAAK,CAAC,eAAe,GAAG;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D;AAED,gFAAgF;AAChF,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAG7C;AAED,uJAAuJ;AACvJ,wBAAgB,OAAO,CAAC,IAAI,EAAE,gBAAgB,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAiB3E;AAMD,yHAAyH;AACzH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,MAAM,CAkBnF;AAED,MAAM,WAAW,cAAc;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,CAY5F"}

package/dist/core/lsp/ediciones.js

@@ -0,0 +1,89 @@
+/**
+ * Aplica un `WorkspaceEdit` de LSP (el resultado de `textDocument/rename`) a
+ * disco, fichero por fichero.
+ *
+ * Las posiciones LSP son `{line, character}` en unidades UTF-16 — que es
+ * exactamente cómo Python... no, cómo JAVASCRIPT indexa sus strings (UTF-16
+ * interno). Por eso `slice(character)` sobre un string de JS ya hace lo
+ * correcto sin convertir a offsets de bytes: es la pereza correcta, no un
+ * atajo que rompa con acentos o emoji en el nombre nuevo.
+ */
+import { readFile, writeFile } from "node:fs/promises";
+/** `file:///a/b%20c.go` → `/a/b c.go`. Inversa de `uriDeRuta` en cliente.ts. */
+export function rutaDeUri(uri) {
+    if (!uri.startsWith("file://"))
+        throw new Error(`URI no soportada (no es file://): ${uri}`);
+    return decodeURIComponent(uri.slice("file://".length));
+}
+/** Agrupa `changes` y `documentChanges` en un único `Map<uri, ediciones>`; ignora operaciones de fichero (create/rename/delete) que no necesitamos. */
+export function aplanar(edit) {
+    const porUri = new Map();
+    const agregar = (uri, ediciones) => {
+        if (ediciones.length === 0)
+            return;
+        const previas = porUri.get(uri);
+        if (previas)
+            previas.push(...ediciones);
+        else
+            porUri.set(uri, [...ediciones]);
+    };
+    if (edit.changes) {
+        for (const [uri, ediciones] of Object.entries(edit.changes))
+            agregar(uri, ediciones);
+    }
+    if (edit.documentChanges) {
+        for (const cambio of edit.documentChanges) {
+            if ("textDocument" in cambio && "edits" in cambio)
+                agregar(cambio.textDocument.uri, cambio.edits);
+        }
+    }
+    return porUri;
+}
+function compararPosicion(a, b) {
+    return a.line === b.line ? a.character - b.character : a.line - b.line;
+}
+/** Aplica las ediciones a un texto en memoria, de abajo a arriba para no desincronizar los índices de las que faltan. */
+export function aplicarEnTexto(contenido, ediciones) {
+    const lineas = contenido.split("\n");
+    // Orden descendente por posición de inicio: aplicar la de más abajo primero
+    // deja intactos los índices de línea de las que quedan por aplicar.
+    const ordenadas = [...ediciones].sort((a, b) => compararPosicion(b.range.start, a.range.start));
+    for (const edicion of ordenadas) {
+        const { start, end } = edicion.range;
+        if (start.line === end.line) {
+            const linea = lineas[start.line] ?? "";
+            lineas[start.line] = linea.slice(0, start.character) + edicion.newText + linea.slice(end.character);
+        }
+        else {
+            const lineaInicio = lineas[start.line] ?? "";
+            const lineaFin = lineas[end.line] ?? "";
+            const nuevoContenido = lineaInicio.slice(0, start.character) + edicion.newText + lineaFin.slice(end.character);
+            lineas.splice(start.line, end.line - start.line + 1, ...nuevoContenido.split("\n"));
+        }
+    }
+    return lineas.join("\n");
+}
+/**
+ * Aplica un WorkspaceEdit completo a disco. Devuelve un `CambioAplicado` por
+ * fichero tocado, con el contenido antes/después — así quien llama puede
+ * enseñar el diff real, no solo decir "aplicado".
+ *
+ * Lanza si un fichero no se puede leer o escribir: un rename que dice
+ * "aplicado" sobre un fichero que en realidad no cambió es el error que la
+ * regla 6 prohíbe (éxito que no lo fue).
+ */
+export async function aplicarWorkspaceEdit(edit) {
+    const porUri = aplanar(edit);
+    const cambios = [];
+    for (const [uri, ediciones] of porUri) {
+        const ruta = rutaDeUri(uri);
+        const antes = await readFile(ruta, "utf-8");
+        const despues = aplicarEnTexto(antes, ediciones);
+        if (despues === antes)
+            continue; // ediciones vacías tras aplicar (raro, pero no es un cambio real)
+        await writeFile(ruta, despues, "utf-8");
+        cambios.push({ ruta, antes, despues });
+    }
+    return cambios;
+}
+//# sourceMappingURL=ediciones.js.map

package/dist/core/lsp/ediciones.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ediciones.js","sourceRoot":"","sources":["../../../src/core/lsp/ediciones.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AA4BvD,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,GAAW;IACpC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,EAAE,CAAC,CAAC;IAC5F,OAAO,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,uJAAuJ;AACvJ,MAAM,UAAU,OAAO,CAAC,IAAsB;IAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,SAAyB,EAAE,EAAE;QAC1D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACnC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;;YACnC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAC3C,IAAI,cAAc,IAAI,MAAM,IAAI,OAAO,IAAI,MAAM;gBAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACnG,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAW,EAAE,CAAW;IACjD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,yHAAyH;AACzH,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,SAAyB;IAC1E,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAChG,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrG,CAAC;aAAM,CAAC;YACP,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACxC,MAAM,cAAc,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC/G,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,IAAsB;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,KAAK;YAAE,SAAS,CAAC,kEAAkE;QACnG,MAAM,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC"}

package/dist/core/lsp/extension.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Registra los 4 tools del cliente LSP — SOLO si el proyecto toca algún
+ * lenguaje que este cliente cubre. Si no, no hay nada que ofrecer y las
+ * tools serían ruido puro en el contexto del modelo (regla del hueco:
+ * "Registradas SOLO si hay servidor disponible").
+ *
+ * Punto de enganche real, sin gastar presupuesto de fork:
+ * ------------------------------------------------------------------------
+ * El presupuesto de sincronización (`scripts/sync-ada.sh --check`) está en
+ * 115/115 — agotado (ver ADA-CLI.md). La forma "de catálogo" de dar de alta
+ * un tool interno es añadirlo a `builtInExtensions` en
+ * `src/extensions/index.ts`, pero ese fichero también es de upstream: una
+ * sola línea ahí cuesta 1 hunk que hoy no hay margen para pagar.
+ *
+ * Este fichero es la mitad barata (coste cero: vive bajo `core/lsp/`, que no
+ * existe en upstream). La otra mitad — cargarlo de verdad sin tocar ningún
+ * fichero de upstream — usa un mecanismo que YA EXISTE y no necesita ningún
+ * hunk: `ada-cli -e <ruta>` carga un fichero de extensión explícito (ver
+ * `cli/args.ts`, opción `--extension`/`-e`, ya soportada). Se demuestra con:
+ *
+ *   ada-cli -e packages/coding-agent/src/core/lsp/extension.ts --print ...
+ *
+ * Migrar esto a builtin (para no necesitar `-e`) es una línea en
+ * `builtInExtensions` el día que se libere margen — este fichero no cambia.
+ *
+ * Writethrough en ruta edición (LSP-01):
+ * ------------------------------------------------------------------------
+ * Además de registrar las tools, instala un hook `tool_call` que intercepta
+ * cada `edit` ANTES de que toque disco. Consulta LSP por diagnostics que
+ * solapen con el hunk; si hay error solapado, bloquea con motivo + sugerencia
+ * de reparación. Funciona sin broker (file-level, cliente efímero por hunk) y
+ * con broker si está disponible (mux cacheado — ver `writethrough.ts`).
+ * El hook vive aquí a coste cero porque este fichero ya es Ada-owned.
+ */
+import type { ExtensionAPI } from "../extensions/types.ts";
+export default function lspExtension(pi: ExtensionAPI): void;
+//# sourceMappingURL=extension.d.ts.map

package/dist/core/lsp/extension.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension.d.ts","sourceRoot":"","sources":["../../../src/core/lsp/extension.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAM3D,MAAM,CAAC,OAAO,UAAU,YAAY,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CAiD3D"}

package/dist/core/lsp/extension.js

@@ -0,0 +1,90 @@
+/**
+ * Registra los 4 tools del cliente LSP — SOLO si el proyecto toca algún
+ * lenguaje que este cliente cubre. Si no, no hay nada que ofrecer y las
+ * tools serían ruido puro en el contexto del modelo (regla del hueco:
+ * "Registradas SOLO si hay servidor disponible").
+ *
+ * Punto de enganche real, sin gastar presupuesto de fork:
+ * ------------------------------------------------------------------------
+ * El presupuesto de sincronización (`scripts/sync-ada.sh --check`) está en
+ * 115/115 — agotado (ver ADA-CLI.md). La forma "de catálogo" de dar de alta
+ * un tool interno es añadirlo a `builtInExtensions` en
+ * `src/extensions/index.ts`, pero ese fichero también es de upstream: una
+ * sola línea ahí cuesta 1 hunk que hoy no hay margen para pagar.
+ *
+ * Este fichero es la mitad barata (coste cero: vive bajo `core/lsp/`, que no
+ * existe en upstream). La otra mitad — cargarlo de verdad sin tocar ningún
+ * fichero de upstream — usa un mecanismo que YA EXISTE y no necesita ningún
+ * hunk: `ada-cli -e <ruta>` carga un fichero de extensión explícito (ver
+ * `cli/args.ts`, opción `--extension`/`-e`, ya soportada). Se demuestra con:
+ *
+ *   ada-cli -e packages/coding-agent/src/core/lsp/extension.ts --print ...
+ *
+ * Migrar esto a builtin (para no necesitar `-e`) es una línea en
+ * `builtInExtensions` el día que se libere margen — este fichero no cambia.
+ *
+ * Writethrough en ruta edición (LSP-01):
+ * ------------------------------------------------------------------------
+ * Además de registrar las tools, instala un hook `tool_call` que intercepta
+ * cada `edit` ANTES de que toque disco. Consulta LSP por diagnostics que
+ * solapen con el hunk; si hay error solapado, bloquea con motivo + sugerencia
+ * de reparación. Funciona sin broker (file-level, cliente efímero por hunk) y
+ * con broker si está disponible (mux cacheado — ver `writethrough.ts`).
+ * El hook vive aquí a coste cero porque este fichero ya es Ada-owned.
+ */
+import { getBroker } from "../broker/index.js";
+import { hayLenguajeReconocidoEnProyecto } from "./descubrimiento.js";
+import { formatearTrasEditar } from "./formato.js";
+import { lspTools } from "./tools.js";
+import { decidirBloqueoEdit } from "./writethrough.js";
+export default function lspExtension(pi) {
+    if (hayLenguajeReconocidoEnProyecto(process.cwd())) {
+        for (const tool of lspTools)
+            pi.registerTool(tool);
+    }
+    // Writethrough: intercepta `edit` antes de tocar disco. No depende de
+    // que haya lenguaje reconocido — el propio writethrough hace fallback a
+    // "sin_lsp" si no hay cobertura, y eso es un permitido silencioso.
+    // Así el hook está siempre activo y no hay capacidad desenchufada.
+    pi.on("tool_call", async (event) => {
+        if (event.toolName !== "edit")
+            return undefined;
+        // Broker para mux si está disponible; si no hay handle, cae a file-level.
+        // `getBroker()` es singleton de proceso (coste cero si no se usa).
+        let broker;
+        try {
+            const b = getBroker();
+            if (b && typeof b.get === "function")
+                broker = b;
+        }
+        catch {
+            // Sin broker disponible — modo file-level puro.
+        }
+        const cwd = process.cwd();
+        const input = event.input;
+        const bloqueo = await decidirBloqueoEdit(input, cwd, { broker });
+        if (bloqueo?.block)
+            return bloqueo;
+        return undefined;
+    });
+    // Format-on-write (D06): DESPUÉS de que el edit toque disco, si hay
+    // servidor LSP con soporte `textDocument/formatting`, formatea solo el
+    // fichero tocado. OPT-IN: apagado salvo `ADA_LSP_FORMAT_ON_WRITE=1`
+    // (ver formato.ts). La re-verificación de anclaje dentro de
+    // `formatearTrasEditar` garantiza que el formateo nunca corrompe el edit:
+    // si los newText ya no están en el contenido formateado, no se escribe.
+    pi.on("tool_result", async (event) => {
+        if (event.toolName !== "edit" || event.isError)
+            return undefined;
+        const cwd = process.cwd();
+        const input = event.input;
+        const path = typeof input.path === "string" ? input.path : undefined;
+        const edits = Array.isArray(input.edits) ? input.edits : undefined;
+        if (!path || !edits || edits.length === 0)
+            return undefined;
+        const rutaAbsoluta = path.startsWith("/") ? path : `${cwd.replace(/\/$/, "")}/${path}`;
+        await formatearTrasEditar(rutaAbsoluta, edits, cwd);
+        return undefined;
+    });
+}
+//# sourceMappingURL=extension.js.map

package/dist/core/lsp/extension.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension.js","sourceRoot":"","sources":["../../../src/core/lsp/extension.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAuB,MAAM,mBAAmB,CAAC;AAE5E,MAAM,CAAC,OAAO,UAAU,YAAY,CAAC,EAAgB;IACpD,IAAI,+BAA+B,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,QAAQ;YAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,sEAAsE;IACtE,wEAAwE;IACxE,mEAAmE;IACnE,mEAAmE;IACnE,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QAClC,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAEhD,0EAA0E;QAC1E,mEAAmE;QACnE,IAAI,MAAuD,CAAC;QAC5D,IAAI,CAAC;YACJ,MAAM,CAAC,GAAG,SAAS,EAAoD,CAAC;YACxE,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,UAAU;gBAAE,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC;QAAC,MAAM,CAAC;YACR,gDAAgD;QACjD,CAAC;QAED,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAgC,CAAC;QACrD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,KAAK;YAAE,OAAO,OAAO,CAAC;QAEnC,OAAO,SAAS,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,4DAA4D;IAC5D,0EAA0E;IAC1E,wEAAwE;IACxE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QACpC,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAEjE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAgC,CAAC;QACrD,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAK,CAAC,KAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;QACzF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAE5D,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QACvF,MAAM,mBAAmB,CAAC,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACpD,OAAO,SAAS,CAAC;IAClB,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/lsp/formato.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Format-on-write (D06): tras aplicar un `edit`, si el servidor LSP del
+ * fichero soporta `textDocument/formatting`, formatea SOLO los ficheros
+ * tocados y persiste el resultado solo si sobrevive la re-verificación de
+ * anclaje. Nunca destructivo en silencio.
+ *
+ * Contrato, en orden:
+ *   1. OPT-IN: desactivado por defecto. Se activa con la variable de entorno
+ *      `ADA_LSP_FORMAT_ON_WRITE=1` (o `true`) o programáticamente con
+ *      `opciones.activo`. Sin la variable, esta función es un no-op
+ *      observable (`estado: "desactivado"`) — el formato automático cambia
+ *      bytes que el modelo no escribió, así que nadie lo sufre sin haberlo
+ *      pedido.
+ *   2. Solo ficheros tocados: se llama una vez por fichero editado, con las
+ *      mismas `EntradaEdicion` que se aplicaron.
+ *   3. formatOptions: se envían al servidor (`tabSize`, `insertSpaces`);
+ *      por defecto 2 espacios — el estándar de este repo — y sustituibles.
+ *   4. Re-verificación de anclaje ANTES de persistir: el formateo reordena y
+ *      reindenta bytes; si algún `newText` del edit dejó de estar presente
+ *      en el contenido formateado, NO se escribe nada (`anclaje_roto`) y el
+ *      fichero conserva exactamente los bytes que dejó el edit.
+ *   5. Nunca lanza: un servidor caído o un formateo fallido degradan a un
+ *      estado informativo — igual que el writethrough, un LSP roto no debe
+ *      romper la ruta de edición del agente.
+ */
+import { conectar } from "./cliente.ts";
+import { descubrirParaFichero } from "./descubrimiento.ts";
+import type { EntradaEdicion } from "./writethrough.ts";
+/** Opciones de formateo que se envían al servidor (formatOptions del LSP). */
+export interface OpcionesFormato {
+    tabSize: number;
+    insertSpaces: boolean;
+}
+export declare const FORMATO_POR_DEFECTO: OpcionesFormato;
+/** Variable de entorno opt-in: `ADA_LSP_FORMAT_ON_WRITE=1` (o `true`). */
+export declare const ENV_FORMAT_ON_WRITE = "ADA_LSP_FORMAT_ON_WRITE";
+export declare function formatOnWriteActivo(env?: NodeJS.ProcessEnv): boolean;
+/**
+ * Resultado con tres estados mínimos por camino — nunca un booleano solo:
+ *   formateado    = el servidor cambió bytes, pasaron el anclaje y se escribieron
+ *   sin_cambios   = el servidor respondió pero el resultado coincide byte a byte
+ *   desactivado   = opt-in apagado (el default)
+ *   sin_lsp       = sin cobertura / binario ausente / servidor caído → no-op seguro
+ *   sin_soporte   = hay servidor pero no declara textDocument/formatting
+ *   anclaje_roto  = el formateo perdió el edit → NO se persiste nada
+ */
+export type ResultadoFormatoEscritura = {
+    estado: "formateado";
+    bytesAntes: number;
+    bytesDespues: number;
+} | {
+    estado: "sin_cambios" | "desactivado" | "sin_lsp" | "sin_soporte";
+    detalles?: string;
+} | {
+    estado: "anclaje_roto";
+    detalles: string;
+};
+/** Inyección para tests: firma idéntica a `conectar` en cliente.ts. */
+type ConectarImpl = typeof conectar;
+/**
+ * Formatea `rutaAbsoluta` tras aplicarse `edicionesAplicadas`. Lee el disco
+ * (los bytes que dejó el edit), pide el formateo, valida el anclaje de cada
+ * `newText` contra el resultado y solo entonces escribe.
+ */
+export declare function formatearTrasEditar(rutaAbsoluta: string, edicionesAplicadas: EntradaEdicion[], cwd: string, opciones?: {
+    formato?: Partial<OpcionesFormato>;
+    activo?: boolean;
+    conectarCliente?: ConectarImpl;
+    descubridor?: typeof descubrirParaFichero;
+}): Promise<ResultadoFormatoEscritura>;
+export {};
+//# sourceMappingURL=formato.d.ts.map

package/dist/core/lsp/formato.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formato.d.ts","sourceRoot":"","sources":["../../../src/core/lsp/formato.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAmB,QAAQ,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAgC,MAAM,qBAAqB,CAAC;AAEzF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,OAAO,CAAC;CACtB;AAED,eAAO,MAAM,mBAAmB,EAAE,eAAoD,CAAC;AAEvF,0EAA0E;AAC1E,eAAO,MAAM,mBAAmB,4BAA4B,CAAC;AAE7D,wBAAgB,mBAAmB,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,OAAO,CAGjF;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,yBAAyB,GAClC;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GAClE;IAAE,MAAM,EAAE,aAAa,GAAG,aAAa,GAAG,SAAS,GAAG,aAAa,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACxF;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhD,uEAAuE;AACvE,KAAK,YAAY,GAAG,OAAO,QAAQ,CAAC;AAcpC;;;;GAIG;AACH,wBAAsB,mBAAmB,CACxC,YAAY,EAAE,MAAM,EACpB,kBAAkB,EAAE,cAAc,EAAE,EACpC,GAAG,EAAE,MAAM,EACX,QAAQ,CAAC,EAAE;IACV,OAAO,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,WAAW,CAAC,EAAE,OAAO,oBAAoB,CAAC;CAC1C,GACC,OAAO,CAAC,yBAAyB,CAAC,CAsEpC"}

package/dist/core/lsp/formato.js

@@ -0,0 +1,117 @@
+/**
+ * Format-on-write (D06): tras aplicar un `edit`, si el servidor LSP del
+ * fichero soporta `textDocument/formatting`, formatea SOLO los ficheros
+ * tocados y persiste el resultado solo si sobrevive la re-verificación de
+ * anclaje. Nunca destructivo en silencio.
+ *
+ * Contrato, en orden:
+ *   1. OPT-IN: desactivado por defecto. Se activa con la variable de entorno
+ *      `ADA_LSP_FORMAT_ON_WRITE=1` (o `true`) o programáticamente con
+ *      `opciones.activo`. Sin la variable, esta función es un no-op
+ *      observable (`estado: "desactivado"`) — el formato automático cambia
+ *      bytes que el modelo no escribió, así que nadie lo sufre sin haberlo
+ *      pedido.
+ *   2. Solo ficheros tocados: se llama una vez por fichero editado, con las
+ *      mismas `EntradaEdicion` que se aplicaron.
+ *   3. formatOptions: se envían al servidor (`tabSize`, `insertSpaces`);
+ *      por defecto 2 espacios — el estándar de este repo — y sustituibles.
+ *   4. Re-verificación de anclaje ANTES de persistir: el formateo reordena y
+ *      reindenta bytes; si algún `newText` del edit dejó de estar presente
+ *      en el contenido formateado, NO se escribe nada (`anclaje_roto`) y el
+ *      fichero conserva exactamente los bytes que dejó el edit.
+ *   5. Nunca lanza: un servidor caído o un formateo fallido degradan a un
+ *      estado informativo — igual que el writethrough, un LSP roto no debe
+ *      romper la ruta de edición del agente.
+ */
+import { readFile, writeFile } from "node:fs/promises";
+import { conectar } from "./cliente.js";
+import { descubrirParaFichero } from "./descubrimiento.js";
+import { aplicarEnTexto } from "./ediciones.js";
+export const FORMATO_POR_DEFECTO = { tabSize: 2, insertSpaces: true };
+/** Variable de entorno opt-in: `ADA_LSP_FORMAT_ON_WRITE=1` (o `true`). */
+export const ENV_FORMAT_ON_WRITE = "ADA_LSP_FORMAT_ON_WRITE";
+export function formatOnWriteActivo(env = process.env) {
+    const valor = env[ENV_FORMAT_ON_WRITE];
+    return valor === "1" || valor === "true";
+}
+const TIMEOUT_FORMATEO_MS = 5_000;
+function soportaFormateo(capacidades) {
+    if (!capacidades)
+        return false;
+    const textDocument = capacidades.textDocument;
+    return (typeof textDocument === "object" &&
+        textDocument !== null &&
+        textDocument.formatting !== undefined);
+}
+/**
+ * Formatea `rutaAbsoluta` tras aplicarse `edicionesAplicadas`. Lee el disco
+ * (los bytes que dejó el edit), pide el formateo, valida el anclaje de cada
+ * `newText` contra el resultado y solo entonces escribe.
+ */
+export async function formatearTrasEditar(rutaAbsoluta, edicionesAplicadas, cwd, opciones) {
+    const activo = opciones?.activo ?? formatOnWriteActivo();
+    if (!activo)
+        return { estado: "desactivado" };
+    const disc = (opciones?.descubridor ?? descubrirParaFichero)(rutaAbsoluta, cwd);
+    if (disc.estado !== "disponible") {
+        return { estado: "sin_lsp", detalles: disc.estado === "no_instalado" ? disc.servidor.nombre : undefined };
+    }
+    let contenido;
+    try {
+        contenido = await readFile(rutaAbsoluta, "utf-8");
+    }
+    catch (error) {
+        return { estado: "sin_lsp", detalles: `no se pudo leer: ${error.message}` };
+    }
+    let cliente;
+    try {
+        cliente = await (opciones?.conectarCliente ?? conectar)(disc.servidor.comando, disc.servidor.args, cwd, {
+            timeoutInicializacionMs: 5_000,
+        });
+    }
+    catch (error) {
+        return { estado: "sin_lsp", detalles: `sin servidor: ${error.message}` };
+    }
+    try {
+        if (!soportaFormateo(cliente.capacidades))
+            return { estado: "sin_soporte" };
+        const uri = `file://${encodeURI(rutaAbsoluta).replace(/#/g, "%23")}`;
+        cliente.notificar("textDocument/didOpen", {
+            textDocument: { uri, languageId: "plaintext", version: 1, text: contenido },
+        });
+        const formato = { ...FORMATO_POR_DEFECTO, ...opciones?.formato };
+        let edicionesFormateo;
+        try {
+            edicionesFormateo = await cliente.enviar("textDocument/formatting", { textDocument: { uri }, options: formato }, TIMEOUT_FORMATEO_MS);
+        }
+        catch (error) {
+            return { estado: "sin_cambios", detalles: `formateo falló: ${error.message}` };
+        }
+        if (!Array.isArray(edicionesFormateo) || edicionesFormateo.length === 0)
+            return { estado: "sin_cambios" };
+        const formateado = aplicarEnTexto(contenido, edicionesFormateo);
+        if (formateado === contenido)
+            return { estado: "sin_cambios" };
+        // Re-verificación de anclaje: cada newText aplicado por el edit debe
+        // seguir presente en el contenido formateado. Si el formateo lo tragó
+        // (reindentación agresiva, colapso de líneas), NO se persiste: el edit
+        // del agente es la verdad, el formateo es cosmética.
+        const perdidos = edicionesAplicadas.filter((e) => e.newText.length > 0 && !formateado.includes(e.newText));
+        if (perdidos.length > 0) {
+            return {
+                estado: "anclaje_roto",
+                detalles: `${perdidos.length} de ${edicionesAplicadas.length} edits ya no están presentes tras el formateo`,
+            };
+        }
+        await writeFile(rutaAbsoluta, formateado, "utf-8");
+        return {
+            estado: "formateado",
+            bytesAntes: Buffer.byteLength(contenido, "utf-8"),
+            bytesDespues: Buffer.byteLength(formateado, "utf-8"),
+        };
+    }
+    finally {
+        await cliente.cerrar().catch(() => { });
+    }
+}
+//# sourceMappingURL=formato.js.map

package/dist/core/lsp/formato.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formato.js","sourceRoot":"","sources":["../../../src/core/lsp/formato.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAmB,QAAQ,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAgC,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAqB,MAAM,gBAAgB,CAAC;AASnE,MAAM,CAAC,MAAM,mBAAmB,GAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AAEvF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,mBAAmB,GAAG,yBAAyB,CAAC;AAE7D,MAAM,UAAU,mBAAmB,CAAC,MAAyB,OAAO,CAAC,GAAG;IACvE,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACvC,OAAO,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,MAAM,CAAC;AAC1C,CAAC;AAmBD,MAAM,mBAAmB,GAAG,KAAK,CAAC;AAElC,SAAS,eAAe,CAAC,WAAgD;IACxE,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC;IAC9C,OAAO,CACN,OAAO,YAAY,KAAK,QAAQ;QAChC,YAAY,KAAK,IAAI;QACpB,YAAwC,CAAC,UAAU,KAAK,SAAS,CAClE,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACxC,YAAoB,EACpB,kBAAoC,EACpC,GAAW,EACX,QAKC;IAED,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACzD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAE9C,MAAM,IAAI,GAA4B,CAAC,QAAQ,EAAE,WAAW,IAAI,oBAAoB,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IACzG,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAClC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAC3G,CAAC;IAED,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACJ,SAAS,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,oBAAqB,KAAe,CAAC,OAAO,EAAE,EAAE,CAAC;IACxF,CAAC;IAED,IAAI,OAA+B,CAAC;IACpC,IAAI,CAAC;QACJ,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,eAAe,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE;YACvG,uBAAuB,EAAE,KAAK;SAC9B,CAAC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,iBAAkB,KAAe,CAAC,OAAO,EAAE,EAAE,CAAC;IACrF,CAAC;IAED,IAAI,CAAC;QACJ,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAE5E,MAAM,GAAG,GAAG,UAAU,SAAS,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,SAAS,CAAC,sBAAsB,EAAE;YACzC,YAAY,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3E,CAAC,CAAC;QAEH,MAAM,OAAO,GAAoB,EAAE,GAAG,mBAAmB,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC;QAClF,IAAI,iBAAwC,CAAC;QAC7C,IAAI,CAAC;YACJ,iBAAiB,GAAG,MAAM,OAAO,CAAC,MAAM,CACvC,yBAAyB,EACzB,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3C,mBAAmB,CACnB,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,mBAAoB,KAAe,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3F,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAE1G,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QAChE,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAE/D,qEAAqE;QACrE,sEAAsE;QACtE,uEAAuE;QACvE,qDAAqD;QACrD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3G,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO;gBACN,MAAM,EAAE,cAAc;gBACtB,QAAQ,EAAE,GAAG,QAAQ,CAAC,MAAM,OAAO,kBAAkB,CAAC,MAAM,+CAA+C;aAC3G,CAAC;QACH,CAAC;QAED,MAAM,SAAS,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO;YACN,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC;YACjD,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC;SACpD,CAAC;IACH,CAAC;YAAS,CAAC;QACV,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACxC,CAAC;AACF,CAAC"}

package/dist/core/lsp/tools.d.ts

@@ -0,0 +1,45 @@
+/**
+ * `lsp_rename`, `lsp_symbols`, `lsp_definition`, `lsp_references`.
+ *
+ * Lo que un LanguageService de un solo lenguaje (TypeScript, en
+ * `core/edicion/tipos.ts`) no da: renombrar entre ficheros, buscar símbolos,
+ * ir a definición y referencias en los lenguajes que solo hablan LSP.
+ *
+ * Ciclo de vida: cada llamada arranca su propio servidor y lo cierra al
+ * terminar (ver el porqué en `cliente.ts`). El coste es un `initialize` de
+ * más por llamada; la ganancia es que "ningún proceso queda vivo" es
+ * estructural, no una promesa que dependa de un temporizador de inactividad.
+ */
+import { Type } from "typebox";
+import type { ToolDefinition } from "../extensions/types.ts";
+declare const esquemaDefinicion: Type.TObject<{
+    file: Type.TString;
+    line: Type.TNumber;
+    character: Type.TNumber;
+}>;
+export declare const lspDefinitionTool: ToolDefinition<typeof esquemaDefinicion>;
+declare const esquemaReferencias: Type.TObject<{
+    include_declaration: Type.TOptional<Type.TBoolean>;
+    file: Type.TString;
+    line: Type.TNumber;
+    character: Type.TNumber;
+}>;
+export declare const lspReferencesTool: ToolDefinition<typeof esquemaReferencias>;
+declare const esquemaSimbolos: Type.TObject<{
+    file: Type.TString;
+}>;
+export declare const lspSymbolsTool: ToolDefinition<typeof esquemaSimbolos>;
+declare const esquemaRename: Type.TObject<{
+    new_name: Type.TString;
+    apply: Type.TOptional<Type.TBoolean>;
+    file: Type.TString;
+    line: Type.TNumber;
+    character: Type.TNumber;
+}>;
+export declare const lspRenameTool: ToolDefinition<typeof esquemaRename>;
+/** Los cuatro tools del cliente LSP, listos para `pi.registerTool`. */
+export declare const lspTools: ToolDefinition<Type.TObject<{
+    file: Type.TString;
+}>, unknown, any>[];
+export {};
+//# sourceMappingURL=tools.d.ts.map

package/dist/core/lsp/tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tools.d.ts","sourceRoot":"","sources":["../../../src/core/lsp/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,KAAK,EAAoB,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAsF/E,QAAA,MAAM,iBAAiB;;;;EAAmB,CAAC;AAc3C,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,OAAO,iBAAiB,CAsBtE,CAAC;AAMF,QAAA,MAAM,kBAAkB;;;;;EAKtB,CAAC;AAEH,eAAO,MAAM,iBAAiB,EAAE,cAAc,CAAC,OAAO,kBAAkB,CAyBvE,CAAC;AAMF,QAAA,MAAM,eAAe;;EAEnB,CAAC;AAkBH,eAAO,MAAM,cAAc,EAAE,cAAc,CAAC,OAAO,eAAe,CAsBjE,CAAC;AAMF,QAAA,MAAM,aAAa;;;;;;EAMjB,CAAC;AAEH,eAAO,MAAM,aAAa,EAAE,cAAc,CAAC,OAAO,aAAa,CAsD9D,CAAC;AAUF,uEAAuE;AACvE,eAAO,MAAM,QAAQ;;mBAAwE,CAAC"}