@hoilab/ada-cli 0.84.21 → 0.85.0

package/dist/core/edicion/observador.js

@@ -0,0 +1,183 @@
+/**
+ * Observa cada edición: avisa si ha dejado el fichero roto, intenta
+ * repararlo solo cuando puede, y deja constancia de las tres cosas en el
+ * diario.
+ *
+ * Se engancha en los dos manejadores que ya existen: `beforeToolCall` guarda la
+ * preimagen y `afterToolCall` compara. Vive en su propio módulo, y no dentro de
+ * `agent-session.ts`, porque ese fichero es de upstream y el presupuesto de
+ * fork está en el tope: cuanto menos código nuestro viva ahí, menos cuesta
+ * seguir siendo un fork.
+ *
+ * Lee el fichero dos veces por edición. Es a propósito: la alternativa es
+ * tocar las tools `edit` y `write`, que también son de upstream, y una lectura
+ * de más en una operación que ya escribe a disco no se nota. Si algún día pesa,
+ * la respuesta es un `EditToolOptions` aguas arriba, no cachear aquí.
+ */
+import { readFile, writeFile } from "node:fs/promises";
+import { resolveToCwd } from "../tools/path-utils.js";
+import { anotarEnDiario } from "./diario.js";
+import { avisoDeParseoRoto, primerErrorDe, rompioElParseo } from "./parseo.js";
+import { intentarReparar } from "./reparacion.js";
+import { avisoDeTipos, ComprobadorDeTipos } from "./tipos.js";
+/** Tools cuya salida es un fichero con contenido nuevo. */
+const TOOLS_DE_EDICION = new Set(["edit", "write"]);
+/** Lee el fichero, o `null` si no existe o no se puede leer. */
+async function contenido(ruta) {
+    try {
+        return await readFile(ruta, "utf-8");
+    }
+    catch {
+        return null;
+    }
+}
+/** La ruta que la tool va a tocar, ya resuelta contra el cwd. */
+function rutaDe(args, cwd) {
+    const a = args;
+    const cruda = typeof a?.file_path === "string" ? a.file_path : typeof a?.path === "string" ? a.path : null;
+    return cruda === null ? null : resolveToCwd(cruda, cwd);
+}
+export class ObservadorDeEdiciones {
+    /** Preimagen por id de llamada. La borra quien la consume. */
+    previas = new Map();
+    /**
+     * Cambio observado por id de llamada, a la espera de que el libro lo anote.
+     *
+     * Es un hueco de estado y no un valor de retorno porque `despuesDe` ya
+     * devuelve el aviso para el modelo y tiene dieciocho llamadas en pruebas:
+     * cambiarle la firma para colar un segundo dato habría costado dieciocho
+     * ediciones sin comprar nada.
+     *
+     * Va por id y no en una sola ranura, y esto lo enseñó la prueba de la ruta
+     * real: el modelo puede pedir dos `write` en el mismo turno y el bucle del
+     * agente los ejecuta entrelazados, así que con una ranura única el segundo
+     * pisaba al primero antes de que nadie lo leyera. El libro registraba UN
+     * fichero de los dos — un fallo silencioso que se lee como éxito, porque el
+     * informe salía con una tabla poblada y creíble a la que le faltaba una fila.
+     */
+    cambios = new Map();
+    /**
+     * El cambio de fichero de esa llamada, o `null` si no editó nada. Lo consume:
+     * dos lecturas seguidas devuelven `null` la segunda, así que una llamada no
+     * puede heredar el cambio de otra y anotarlo dos veces en el libro.
+     */
+    ultimoCambio(idLlamada) {
+        const cambio = this.cambios.get(idLlamada) ?? null;
+        this.cambios.delete(idLlamada);
+        return cambio;
+    }
+    cwd;
+    agentDir;
+    /** `undefined` cuando no hay modelo disponible (p. ej. en pruebas): la reparación queda "no-aplicable", nunca "rechazada". */
+    completar;
+    /**
+     * Se crea una vez por sesión y mantiene vivo el programa de TypeScript entre
+     * ediciones: es lo que hace que la primera comprobación cueste 2,5 s y las
+     * siguientes 124 ms.
+     */
+    tipos = new ComprobadorDeTipos();
+    // Campos explícitos y no propiedades de parámetro: el proyecto compila con
+    // `erasableSyntaxOnly`, que prohíbe la forma corta por no ser borrable.
+    constructor(cwd, agentDir, completar) {
+        this.cwd = cwd;
+        this.agentDir = agentDir;
+        this.completar = completar;
+    }
+    /** Antes de editar: guarda cómo estaba el fichero. */
+    async antesDe(idLlamada, tool, args) {
+        if (!TOOLS_DE_EDICION.has(tool))
+            return;
+        const ruta = rutaDe(args, this.cwd());
+        if (ruta === null)
+            return;
+        // Tope de seguridad por si alguna llamada muere antes de consumirse.
+        if (this.previas.size > 256)
+            this.previas.clear();
+        this.previas.set(idLlamada, { ruta, antes: await contenido(ruta) });
+    }
+    /**
+     * Después de editar: devuelve el aviso (roto, o reparado — hay algo que
+     * decir en los dos casos), o `null` si no hay nada que decir. Deja
+     * constancia en el diario pase lo que pase.
+     *
+     * `null` en la inmensa mayoría de ediciones es lo correcto y lo que hace que
+     * el aviso signifique algo cuando aparece.
+     */
+    async despuesDe(idLlamada, huboError) {
+        const previa = this.previas.get(idLlamada);
+        this.previas.delete(idLlamada);
+        if (!previa || huboError)
+            return null;
+        const despues = await contenido(previa.ruta);
+        // Para el libro de sesión: el fichero se tocó, pase lo que pase con el
+        // parseo. Una edición que deja el fichero roto es MÁS auditable, no menos,
+        // así que esto va antes de cualquier rama y no dentro de la de éxito.
+        // Tope de seguridad, igual que en `previas`: si alguna llamada muriera sin
+        // que nadie consumiera su cambio, el mapa no puede crecer sin fin.
+        if (this.cambios.size > 256)
+            this.cambios.clear();
+        this.cambios.set(idLlamada, { ruta: previa.ruta, antes: previa.antes, despues });
+        // El orden es: sintaxis → reparación → tipos. No es arbitrario.
+        //
+        // Si el fichero no parsea, los errores de tipos son CONSECUENCIA de eso:
+        // enseñarlos mandaría al modelo a perseguir síntomas en vez de la causa.
+        // Y si la reparación funciona, los tipos hay que mirarlos sobre el
+        // fichero YA REPARADO, no sobre el roto — mirarlos antes daría una lista
+        // de errores que dejan de existir un instante después.
+        if (!rompioElParseo({ ruta: previa.ruta, antes: previa.antes, despues })) {
+            await anotarEnDiario(this.agentDir(), { ruta: previa.ruta, antes: previa.antes, despues, resultado: "ok" });
+            if (despues === null)
+                return null;
+            // Los tipos, que es lo que un comprobador de sintaxis nunca puede ver:
+            // cambiar una firma y romper a quien la llama en OTRO fichero.
+            return avisoDeTipos(previa.ruta, this.tipos.introducidos(previa.ruta, previa.antes, despues));
+        }
+        // `rompioElParseo` solo devuelve `true` cuando `antes` y `despues` no son
+        // `null` (así lo garantiza su propio contrato en parseo.ts) — el cast de
+        // abajo es ese contrato leído, no una suposición nueva.
+        //
+        // Todo este bloque va protegido: un fallo aquí (disco lleno, permisos, el
+        // fichero borrado por debajo entre la edición y este punto) no puede
+        // tumbar el turno entero solo por intentar mejorar el aviso — se degrada
+        // al aviso normal de parseo roto, igual que si la reparación se hubiera
+        // rechazado.
+        let reparacion;
+        try {
+            reparacion = await intentarReparar({ ruta: previa.ruta, antes: previa.antes, despues: despues }, this.completar);
+            if (reparacion.estado === "reparado") {
+                await writeFile(previa.ruta, reparacion.contenido, "utf-8");
+            }
+        }
+        catch {
+            reparacion = { estado: "rechazada" };
+        }
+        if (reparacion.estado === "reparado") {
+            // El libro tiene que llevar el hash de lo que QUEDÓ en disco, no el del
+            // intermedio roto que la reparación acaba de sobrescribir: si no, el hash
+            // del registro no coincidiría con el fichero y la auditoría acusaría una
+            // manipulación donde solo hubo una reparación.
+            this.cambios.set(idLlamada, { ruta: previa.ruta, antes: previa.antes, despues: reparacion.contenido });
+            await anotarEnDiario(this.agentDir(), {
+                ruta: previa.ruta,
+                antes: previa.antes,
+                despues,
+                resultado: "reparada",
+            });
+            const intentos = reparacion.intentos > 1 ? ` (hicieron falta ${reparacion.intentos} intentos)` : "";
+            // Sobre el fichero YA reparado: reparar la sintaxis no garantiza que
+            // los tipos cuadren, y callarlo aquí convertiría un "✓ reparado" en una
+            // media verdad.
+            const tipos = avisoDeTipos(previa.ruta, this.tipos.introducidos(previa.ruta, previa.antes, reparacion.contenido));
+            const nota = `✓ Esta edición dejó \`${previa.ruta}\` sintácticamente roto, pero se ha reparado sola conservando el cambio pretendido${intentos}.`;
+            return tipos ? `${nota}\n${tipos}` : nota;
+        }
+        void anotarEnDiario(this.agentDir(), {
+            ruta: previa.ruta,
+            antes: previa.antes,
+            despues,
+            resultado: reparacion.estado === "rechazada" ? "reparacion-rechazada" : "rota",
+        });
+        return avisoDeParseoRoto(previa.ruta, primerErrorDe(despues ?? "", previa.ruta));
+    }
+}
+//# sourceMappingURL=observador.js.map

package/dist/core/edicion/observador.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observador.js","sourceRoot":"","sources":["../../../src/core/edicion/observador.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAE,eAAe,EAA4B,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAE9D,2DAA2D;AAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAkBpD,gEAAgE;AAChE,KAAK,UAAU,SAAS,CAAC,IAAY,EAA0B;IAC9D,IAAI,CAAC;QACJ,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,CAAC;IACb,CAAC;AAAA,CACD;AAED,iEAAiE;AACjE,SAAS,MAAM,CAAC,IAAa,EAAE,GAAW,EAAiB;IAC1D,MAAM,CAAC,GAAG,IAA2D,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3G,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAAA,CACxD;AAED,MAAM,OAAO,qBAAqB;IACjC,8DAA8D;IAC7C,OAAO,GAAG,IAAI,GAAG,EAAkD,CAAC;IAErF;;;;;;;;;;;;;;OAcG;IACc,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IAE9D;;;;OAIG;IACH,YAAY,CAAC,SAAiB,EAA0B;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAAA,CACd;IAEgB,GAAG,CAAe;IAClB,QAAQ,CAAe;IACxC,+HAA8H;IAC7G,SAAS,CAA8C;IACxE;;;;OAIG;IACc,KAAK,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAElD,6EAA2E;IAC3E,yEAAwE;IACxE,YAAY,GAAiB,EAAE,QAAsB,EAAE,SAAsD,EAAE;QAC9G,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAAA,CAC3B;IAED,uDAAsD;IACtD,KAAK,CAAC,OAAO,CAAC,SAAiB,EAAE,IAAY,EAAE,IAAa,EAAiB;QAC5E,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QAC1B,qEAAqE;QACrE,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,GAAG;YAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAAA,CACpE;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,SAAS,CAAC,SAAiB,EAAE,SAAkB,EAA0B;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,IAAI,SAAS;YAAE,OAAO,IAAI,CAAC;QAEtC,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,yEAAuE;QACvE,6EAA2E;QAC3E,wEAAsE;QACtE,2EAA2E;QAC3E,mEAAmE;QACnE,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,GAAG;YAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACjF,qEAAgE;QAChE,EAAE;QACF,yEAAyE;QACzE,4EAAyE;QACzE,oEAAmE;QACnE,4EAAyE;QACzE,wDAAuD;QACvD,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YAC1E,MAAM,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5G,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAClC,uEAAuE;YACvE,+DAA+D;YAC/D,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/F,CAAC;QAED,0EAA0E;QAC1E,4EAAyE;QACzE,0DAAwD;QACxD,EAAE;QACF,2EAA0E;QAC1E,sEAAqE;QACrE,2EAAyE;QACzE,yEAAwE;QACxE,aAAa;QACb,IAAI,UAA+B,CAAC;QACpC,IAAI,CAAC;YACJ,UAAU,GAAG,MAAM,eAAe,CACjC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAe,EAAE,OAAO,EAAE,OAAiB,EAAE,EAChF,IAAI,CAAC,SAAS,CACd,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBACtC,MAAM,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC7D,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,UAAU,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACtC,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACtC,yEAAwE;YACxE,2EAA0E;YAC1E,4EAAyE;YACzE,iDAA+C;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC;YACvG,MAAM,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE;gBACrC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,OAAO;gBACP,SAAS,EAAE,UAAU;aACrB,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,UAAU,CAAC,QAAQ,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YACpG,qEAAqE;YACrE,4EAAwE;YACxE,gBAAgB;YAChB,MAAM,KAAK,GAAG,YAAY,CACzB,MAAM,CAAC,IAAI,EACX,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,IAAI,GAAG,6BAAyB,MAAM,CAAC,IAAI,sFAAqF,QAAQ,GAAG,CAAC;YAClJ,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3C,CAAC;QAED,KAAK,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE;YACpC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,OAAO;YACP,SAAS,EAAE,UAAU,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,MAAM;SAC9E,CAAC,CAAC;QACH,OAAO,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAAA,CACjF;CACD","sourcesContent":["/**\n * Observa cada edición: avisa si ha dejado el fichero roto, intenta\n * repararlo solo cuando puede, y deja constancia de las tres cosas en el\n * diario.\n *\n * Se engancha en los dos manejadores que ya existen: `beforeToolCall` guarda la\n * preimagen y `afterToolCall` compara. Vive en su propio módulo, y no dentro de\n * `agent-session.ts`, porque ese fichero es de upstream y el presupuesto de\n * fork está en el tope: cuanto menos código nuestro viva ahí, menos cuesta\n * seguir siendo un fork.\n *\n * Lee el fichero dos veces por edición. Es a propósito: la alternativa es\n * tocar las tools `edit` y `write`, que también son de upstream, y una lectura\n * de más en una operación que ya escribe a disco no se nota. Si algún día pesa,\n * la respuesta es un `EditToolOptions` aguas arriba, no cachear aquí.\n */\n\nimport { readFile, writeFile } from \"node:fs/promises\";\nimport { resolveToCwd } from \"../tools/path-utils.ts\";\nimport { anotarEnDiario } from \"./diario.ts\";\nimport { avisoDeParseoRoto, primerErrorDe, rompioElParseo } from \"./parseo.ts\";\nimport { intentarReparar, type ResultadoReparacion } from \"./reparacion.ts\";\nimport { avisoDeTipos, ComprobadorDeTipos } from \"./tipos.ts\";\n\n/** Tools cuya salida es un fichero con contenido nuevo. */\nconst TOOLS_DE_EDICION = new Set([\"edit\", \"write\"]);\n\n/**\n * Lo que el libro de sesión necesita saber de una edición.\n *\n * Sale de aquí y no de `agent-session.ts` porque este observador YA lee el\n * fichero antes y después: pedirlo en otro sitio obligaría a leerlo una tercera\n * vez, y sobre todo dejaría fuera el caso reparado, donde el contenido final no\n * es el que dejó la tool.\n */\nexport interface CambioDeFichero {\n\truta: string;\n\t/** Contenido previo, o `null` si el fichero no existía. Lo hashea el libro. */\n\tantes: string | null;\n\t/** Contenido final, ya con la reparación aplicada si hubo. `null` = borrado. */\n\tdespues: string | null;\n}\n\n/** Lee el fichero, o `null` si no existe o no se puede leer. */\nasync function contenido(ruta: string): Promise<string | null> {\n\ttry {\n\t\treturn await readFile(ruta, \"utf-8\");\n\t} catch {\n\t\treturn null;\n\t}\n}\n\n/** La ruta que la tool va a tocar, ya resuelta contra el cwd. */\nfunction rutaDe(args: unknown, cwd: string): string | null {\n\tconst a = args as { path?: unknown; file_path?: unknown } | undefined;\n\tconst cruda = typeof a?.file_path === \"string\" ? a.file_path : typeof a?.path === \"string\" ? a.path : null;\n\treturn cruda === null ? null : resolveToCwd(cruda, cwd);\n}\n\nexport class ObservadorDeEdiciones {\n\t/** Preimagen por id de llamada. La borra quien la consume. */\n\tprivate readonly previas = new Map<string, { ruta: string; antes: string | null }>();\n\n\t/**\n\t * Cambio observado por id de llamada, a la espera de que el libro lo anote.\n\t *\n\t * Es un hueco de estado y no un valor de retorno porque `despuesDe` ya\n\t * devuelve el aviso para el modelo y tiene dieciocho llamadas en pruebas:\n\t * cambiarle la firma para colar un segundo dato habría costado dieciocho\n\t * ediciones sin comprar nada.\n\t *\n\t * Va por id y no en una sola ranura, y esto lo enseñó la prueba de la ruta\n\t * real: el modelo puede pedir dos `write` en el mismo turno y el bucle del\n\t * agente los ejecuta entrelazados, así que con una ranura única el segundo\n\t * pisaba al primero antes de que nadie lo leyera. El libro registraba UN\n\t * fichero de los dos — un fallo silencioso que se lee como éxito, porque el\n\t * informe salía con una tabla poblada y creíble a la que le faltaba una fila.\n\t */\n\tprivate readonly cambios = new Map<string, CambioDeFichero>();\n\n\t/**\n\t * El cambio de fichero de esa llamada, o `null` si no editó nada. Lo consume:\n\t * dos lecturas seguidas devuelven `null` la segunda, así que una llamada no\n\t * puede heredar el cambio de otra y anotarlo dos veces en el libro.\n\t */\n\tultimoCambio(idLlamada: string): CambioDeFichero | null {\n\t\tconst cambio = this.cambios.get(idLlamada) ?? null;\n\t\tthis.cambios.delete(idLlamada);\n\t\treturn cambio;\n\t}\n\n\tprivate readonly cwd: () => string;\n\tprivate readonly agentDir: () => string;\n\t/** `undefined` cuando no hay modelo disponible (p. ej. en pruebas): la reparación queda \"no-aplicable\", nunca \"rechazada\". */\n\tprivate readonly completar?: (prompt: string) => Promise<string | null>;\n\t/**\n\t * Se crea una vez por sesión y mantiene vivo el programa de TypeScript entre\n\t * ediciones: es lo que hace que la primera comprobación cueste 2,5 s y las\n\t * siguientes 124 ms.\n\t */\n\tprivate readonly tipos = new ComprobadorDeTipos();\n\n\t// Campos explícitos y no propiedades de parámetro: el proyecto compila con\n\t// `erasableSyntaxOnly`, que prohíbe la forma corta por no ser borrable.\n\tconstructor(cwd: () => string, agentDir: () => string, completar?: (prompt: string) => Promise<string | null>) {\n\t\tthis.cwd = cwd;\n\t\tthis.agentDir = agentDir;\n\t\tthis.completar = completar;\n\t}\n\n\t/** Antes de editar: guarda cómo estaba el fichero. */\n\tasync antesDe(idLlamada: string, tool: string, args: unknown): Promise<void> {\n\t\tif (!TOOLS_DE_EDICION.has(tool)) return;\n\t\tconst ruta = rutaDe(args, this.cwd());\n\t\tif (ruta === null) return;\n\t\t// Tope de seguridad por si alguna llamada muere antes de consumirse.\n\t\tif (this.previas.size > 256) this.previas.clear();\n\t\tthis.previas.set(idLlamada, { ruta, antes: await contenido(ruta) });\n\t}\n\n\t/**\n\t * Después de editar: devuelve el aviso (roto, o reparado — hay algo que\n\t * decir en los dos casos), o `null` si no hay nada que decir. Deja\n\t * constancia en el diario pase lo que pase.\n\t *\n\t * `null` en la inmensa mayoría de ediciones es lo correcto y lo que hace que\n\t * el aviso signifique algo cuando aparece.\n\t */\n\tasync despuesDe(idLlamada: string, huboError: boolean): Promise<string | null> {\n\t\tconst previa = this.previas.get(idLlamada);\n\t\tthis.previas.delete(idLlamada);\n\t\tif (!previa || huboError) return null;\n\n\t\tconst despues = await contenido(previa.ruta);\n\t\t// Para el libro de sesión: el fichero se tocó, pase lo que pase con el\n\t\t// parseo. Una edición que deja el fichero roto es MÁS auditable, no menos,\n\t\t// así que esto va antes de cualquier rama y no dentro de la de éxito.\n\t\t// Tope de seguridad, igual que en `previas`: si alguna llamada muriera sin\n\t\t// que nadie consumiera su cambio, el mapa no puede crecer sin fin.\n\t\tif (this.cambios.size > 256) this.cambios.clear();\n\t\tthis.cambios.set(idLlamada, { ruta: previa.ruta, antes: previa.antes, despues });\n\t\t// El orden es: sintaxis → reparación → tipos. No es arbitrario.\n\t\t//\n\t\t// Si el fichero no parsea, los errores de tipos son CONSECUENCIA de eso:\n\t\t// enseñarlos mandaría al modelo a perseguir síntomas en vez de la causa.\n\t\t// Y si la reparación funciona, los tipos hay que mirarlos sobre el\n\t\t// fichero YA REPARADO, no sobre el roto — mirarlos antes daría una lista\n\t\t// de errores que dejan de existir un instante después.\n\t\tif (!rompioElParseo({ ruta: previa.ruta, antes: previa.antes, despues })) {\n\t\t\tawait anotarEnDiario(this.agentDir(), { ruta: previa.ruta, antes: previa.antes, despues, resultado: \"ok\" });\n\t\t\tif (despues === null) return null;\n\t\t\t// Los tipos, que es lo que un comprobador de sintaxis nunca puede ver:\n\t\t\t// cambiar una firma y romper a quien la llama en OTRO fichero.\n\t\t\treturn avisoDeTipos(previa.ruta, this.tipos.introducidos(previa.ruta, previa.antes, despues));\n\t\t}\n\n\t\t// `rompioElParseo` solo devuelve `true` cuando `antes` y `despues` no son\n\t\t// `null` (así lo garantiza su propio contrato en parseo.ts) — el cast de\n\t\t// abajo es ese contrato leído, no una suposición nueva.\n\t\t//\n\t\t// Todo este bloque va protegido: un fallo aquí (disco lleno, permisos, el\n\t\t// fichero borrado por debajo entre la edición y este punto) no puede\n\t\t// tumbar el turno entero solo por intentar mejorar el aviso — se degrada\n\t\t// al aviso normal de parseo roto, igual que si la reparación se hubiera\n\t\t// rechazado.\n\t\tlet reparacion: ResultadoReparacion;\n\t\ttry {\n\t\t\treparacion = await intentarReparar(\n\t\t\t\t{ ruta: previa.ruta, antes: previa.antes as string, despues: despues as string },\n\t\t\t\tthis.completar,\n\t\t\t);\n\t\t\tif (reparacion.estado === \"reparado\") {\n\t\t\t\tawait writeFile(previa.ruta, reparacion.contenido, \"utf-8\");\n\t\t\t}\n\t\t} catch {\n\t\t\treparacion = { estado: \"rechazada\" };\n\t\t}\n\n\t\tif (reparacion.estado === \"reparado\") {\n\t\t\t// El libro tiene que llevar el hash de lo que QUEDÓ en disco, no el del\n\t\t\t// intermedio roto que la reparación acaba de sobrescribir: si no, el hash\n\t\t\t// del registro no coincidiría con el fichero y la auditoría acusaría una\n\t\t\t// manipulación donde solo hubo una reparación.\n\t\t\tthis.cambios.set(idLlamada, { ruta: previa.ruta, antes: previa.antes, despues: reparacion.contenido });\n\t\t\tawait anotarEnDiario(this.agentDir(), {\n\t\t\t\truta: previa.ruta,\n\t\t\t\tantes: previa.antes,\n\t\t\t\tdespues,\n\t\t\t\tresultado: \"reparada\",\n\t\t\t});\n\t\t\tconst intentos = reparacion.intentos > 1 ? ` (hicieron falta ${reparacion.intentos} intentos)` : \"\";\n\t\t\t// Sobre el fichero YA reparado: reparar la sintaxis no garantiza que\n\t\t\t// los tipos cuadren, y callarlo aquí convertiría un \"✓ reparado\" en una\n\t\t\t// media verdad.\n\t\t\tconst tipos = avisoDeTipos(\n\t\t\t\tprevia.ruta,\n\t\t\t\tthis.tipos.introducidos(previa.ruta, previa.antes, reparacion.contenido),\n\t\t\t);\n\t\t\tconst nota = `✓ Esta edición dejó \\`${previa.ruta}\\` sintácticamente roto, pero se ha reparado sola conservando el cambio pretendido${intentos}.`;\n\t\t\treturn tipos ? `${nota}\\n${tipos}` : nota;\n\t\t}\n\n\t\tvoid anotarEnDiario(this.agentDir(), {\n\t\t\truta: previa.ruta,\n\t\t\tantes: previa.antes,\n\t\t\tdespues,\n\t\t\tresultado: reparacion.estado === \"rechazada\" ? \"reparacion-rechazada\" : \"rota\",\n\t\t});\n\t\treturn avisoDeParseoRoto(previa.ruta, primerErrorDe(despues ?? \"\", previa.ruta));\n\t}\n}\n"]}

package/dist/core/edicion/parecido.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Casar un bloque que el modelo retecleó con una errata.
+ *
+ * EL CASO. El modelo quiere cambiar una línea y, para dar contexto, retipea las
+ * de alrededor. Al retipear se equivoca en una letra:
+ *
+ *     for (const it of item) {      ← el fichero dice `items`
+ *         suma += it.precio;
+ *     }
+ *
+ * Hoy eso se rechaza entero y cuesta un turno. Y es un error frecuente: cuanto
+ * más contexto pedimos, más superficie tiene el modelo para equivocarse en algo
+ * que no pretendía cambiar.
+ *
+ * LO QUE COPIAMOS DE oh-my-pi, Y LO QUE NO. Ellos localizan por parecido con
+ * Levenshtein (`edit/modes/replace.ts:449`), y eso está bien. Lo que hacen
+ * después NO: escriben el `newText` del modelo tal cual, erratas incluidas.
+ * Medido sobre este mismo caso, su motor produce un fichero con `item` — una
+ * variable que no existe — y no compila. Aplicar no es aplicar bien.
+ *
+ * LA IDEA QUE LO ARREGLA, y es la razón de este módulo: el modelo no está
+ * proponiendo el contexto, está CITÁNDOLO. Solo las líneas donde `oldText` y
+ * `newText` DIFIEREN entre sí son su propuesta; las que repite idénticas son
+ * una cita, y una cita con errata sigue señalando al original. Así que se casa
+ * por parecido, y luego se escribe la versión del FICHERO para todo lo que el
+ * modelo no pidió cambiar.
+ *
+ * TRES PUERTAS, porque sin ellas esta pasada compra una recuperación y paga
+ * varias corrupciones:
+ *
+ *   1. **Umbral alto.** 0,92 de similitud media por línea. Por debajo, no es
+ *      una errata: es otro sitio.
+ *   2. **Dominancia.** El mejor candidato tiene que ganarle al segundo por un
+ *      margen claro. Dos posiciones parecidas significa que no sabemos cuál
+ *      quería, y elegir por el modelo es peor que rechazar.
+ *   3. **Las líneas citadas se leen del fichero, no del modelo.** Es la que
+ *      convierte una recuperación arriesgada en una segura.
+ */
+export interface CasadoPorParecido {
+    indice: number;
+    longitud: number;
+    /** Ya empalmado: propuesta del modelo donde la hubo, fichero donde no. */
+    textoNuevo: string;
+}
+/**
+ * Casa `oldText` contra `contenido` tolerando erratas, y construye el texto
+ * nuevo respetando las líneas que el modelo solo citaba.
+ *
+ * Devuelve `null` cuando no hay candidato claro. `null` significa «no puedo»,
+ * nunca «no hay»: quien llama debe seguir con su propio error.
+ */
+export declare function casarPorParecido(contenido: string, oldText: string, newText: string): CasadoPorParecido | null;
+//# sourceMappingURL=parecido.d.ts.map

package/dist/core/edicion/parecido.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parecido.d.ts","sourceRoot":"","sources":["../../../src/core/edicion/parecido.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAwCH,MAAM,WAAW,iBAAiB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,UAAU,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAoD9G","sourcesContent":["/**\n * Casar un bloque que el modelo retecleó con una errata.\n *\n * EL CASO. El modelo quiere cambiar una línea y, para dar contexto, retipea las\n * de alrededor. Al retipear se equivoca en una letra:\n *\n *     for (const it of item) {      ← el fichero dice `items`\n *         suma += it.precio;\n *     }\n *\n * Hoy eso se rechaza entero y cuesta un turno. Y es un error frecuente: cuanto\n * más contexto pedimos, más superficie tiene el modelo para equivocarse en algo\n * que no pretendía cambiar.\n *\n * LO QUE COPIAMOS DE oh-my-pi, Y LO QUE NO. Ellos localizan por parecido con\n * Levenshtein (`edit/modes/replace.ts:449`), y eso está bien. Lo que hacen\n * después NO: escriben el `newText` del modelo tal cual, erratas incluidas.\n * Medido sobre este mismo caso, su motor produce un fichero con `item` — una\n * variable que no existe — y no compila. Aplicar no es aplicar bien.\n *\n * LA IDEA QUE LO ARREGLA, y es la razón de este módulo: el modelo no está\n * proponiendo el contexto, está CITÁNDOLO. Solo las líneas donde `oldText` y\n * `newText` DIFIEREN entre sí son su propuesta; las que repite idénticas son\n * una cita, y una cita con errata sigue señalando al original. Así que se casa\n * por parecido, y luego se escribe la versión del FICHERO para todo lo que el\n * modelo no pidió cambiar.\n *\n * TRES PUERTAS, porque sin ellas esta pasada compra una recuperación y paga\n * varias corrupciones:\n *\n *   1. **Umbral alto.** 0,92 de similitud media por línea. Por debajo, no es\n *      una errata: es otro sitio.\n *   2. **Dominancia.** El mejor candidato tiene que ganarle al segundo por un\n *      margen claro. Dos posiciones parecidas significa que no sabemos cuál\n *      quería, y elegir por el modelo es peor que rechazar.\n *   3. **Las líneas citadas se leen del fichero, no del modelo.** Es la que\n *      convierte una recuperación arriesgada en una segura.\n */\n\n/** Distancia de edición, acotada: si supera `tope` se corta y devuelve `tope + 1`. */\nfunction distancia(a: string, b: string, tope: number): number {\n\tif (a === b) return 0;\n\tif (Math.abs(a.length - b.length) > tope) return tope + 1;\n\t// Una sola fila: no hace falta la matriz entera para una distancia acotada.\n\tlet anterior = Array.from({ length: b.length + 1 }, (_, i) => i);\n\tfor (let i = 1; i <= a.length; i++) {\n\t\tconst actual = [i];\n\t\tlet minimoDeLaFila = i;\n\t\tfor (let j = 1; j <= b.length; j++) {\n\t\t\tconst coste = a[i - 1] === b[j - 1] ? 0 : 1;\n\t\t\tconst v = Math.min(actual[j - 1] + 1, anterior[j] + 1, anterior[j - 1] + coste);\n\t\t\tactual.push(v);\n\t\t\tif (v < minimoDeLaFila) minimoDeLaFila = v;\n\t\t}\n\t\t// Toda la fila supera el tope: no hay forma de bajar de ahí.\n\t\tif (minimoDeLaFila > tope) return tope + 1;\n\t\tanterior = actual;\n\t}\n\treturn anterior[b.length];\n}\n\n/** 1 = idénticas, 0 = nada que ver. Sobre el texto recortado. */\nfunction similitud(a: string, b: string): number {\n\tconst x = a.trim();\n\tconst y = b.trim();\n\tif (x === y) return 1;\n\tif (x.length === 0 || y.length === 0) return 0;\n\tconst largo = Math.max(x.length, y.length);\n\tconst tope = Math.ceil(largo * 0.2); // más allá no interesa: ya está por debajo del umbral\n\tconst d = distancia(x, y, tope);\n\treturn d > tope ? 0 : 1 - d / largo;\n}\n\nconst UMBRAL = 0.92;\n/** Cuánto tiene que ganarle el mejor al segundo para que no sea ambiguo. */\nconst MARGEN = 0.05;\n\nexport interface CasadoPorParecido {\n\tindice: number;\n\tlongitud: number;\n\t/** Ya empalmado: propuesta del modelo donde la hubo, fichero donde no. */\n\ttextoNuevo: string;\n}\n\n/**\n * Casa `oldText` contra `contenido` tolerando erratas, y construye el texto\n * nuevo respetando las líneas que el modelo solo citaba.\n *\n * Devuelve `null` cuando no hay candidato claro. `null` significa «no puedo»,\n * nunca «no hay»: quien llama debe seguir con su propio error.\n */\nexport function casarPorParecido(contenido: string, oldText: string, newText: string): CasadoPorParecido | null {\n\tconst patron = oldText.split(\"\\n\");\n\tconst propuesta = newText.split(\"\\n\");\n\t// Con una sola línea no hay contexto que distinguir de la propuesta: todo\n\t// sería propuesta, y entonces esta pasada no aporta nada sobre las de arriba.\n\tif (patron.length < 2) return null;\n\tconst lineas = contenido.split(\"\\n\");\n\tif (patron.length > lineas.length) return null;\n\n\tlet mejor = -1;\n\tlet mejorPuntuacion = 0;\n\tlet segundaPuntuacion = 0;\n\tfor (let i = 0; i + patron.length <= lineas.length; i++) {\n\t\tlet suma = 0;\n\t\tfor (let j = 0; j < patron.length; j++) suma += similitud(lineas[i + j], patron[j]);\n\t\tconst puntuacion = suma / patron.length;\n\t\tif (puntuacion > mejorPuntuacion) {\n\t\t\tsegundaPuntuacion = mejorPuntuacion;\n\t\t\tmejorPuntuacion = puntuacion;\n\t\t\tmejor = i;\n\t\t} else if (puntuacion > segundaPuntuacion) {\n\t\t\tsegundaPuntuacion = puntuacion;\n\t\t}\n\t}\n\n\t// Puerta 1: por debajo del umbral no es una errata, es otro sitio.\n\tif (mejor < 0 || mejorPuntuacion < UMBRAL) return null;\n\t// Puerta 2: dos candidatos parecidos = no sabemos cuál quería.\n\tif (mejorPuntuacion - segundaPuntuacion < MARGEN) return null;\n\t// Y si casaba EXACTO, esta pasada no pinta nada: la de arriba ya lo cogió.\n\tif (mejorPuntuacion === 1) return null;\n\n\t// Puerta 3, la que hace segura la recuperación.\n\t//\n\t// Solo las líneas donde `oldText` y `newText` DIFIEREN son propuesta del\n\t// modelo. Las que repite idénticas son una CITA, y una cita con errata sigue\n\t// señalando al original: se escribe lo que el fichero dice, no lo que el\n\t// modelo tecleó. Sin esto, la errata entraría en el fichero — que es\n\t// exactamente lo que hace oh-my-pi y por lo que su motor produce código que\n\t// no compila.\n\t//\n\t// Solo se puede alinear línea a línea cuando el modelo mandó el mismo número\n\t// de líneas. Si añadió o quitó, no hay correspondencia y se rechaza: no se\n\t// adivina.\n\tif (propuesta.length !== patron.length) return null;\n\tconst bloque = lineas.slice(mejor, mejor + patron.length);\n\tconst resultado = propuesta.map((linea, j) => (linea === patron[j] ? bloque[j] : linea));\n\n\tlet indice = 0;\n\tfor (let i = 0; i < mejor; i++) indice += lineas[i].length + 1;\n\tconst longitud = bloque.reduce((n, l) => n + l.length + 1, 0) - 1;\n\treturn { indice, longitud, textoNuevo: resultado.join(\"\\n\") };\n}\n"]}

package/dist/core/edicion/parecido.js

@@ -0,0 +1,145 @@
+/**
+ * Casar un bloque que el modelo retecleó con una errata.
+ *
+ * EL CASO. El modelo quiere cambiar una línea y, para dar contexto, retipea las
+ * de alrededor. Al retipear se equivoca en una letra:
+ *
+ *     for (const it of item) {      ← el fichero dice `items`
+ *         suma += it.precio;
+ *     }
+ *
+ * Hoy eso se rechaza entero y cuesta un turno. Y es un error frecuente: cuanto
+ * más contexto pedimos, más superficie tiene el modelo para equivocarse en algo
+ * que no pretendía cambiar.
+ *
+ * LO QUE COPIAMOS DE oh-my-pi, Y LO QUE NO. Ellos localizan por parecido con
+ * Levenshtein (`edit/modes/replace.ts:449`), y eso está bien. Lo que hacen
+ * después NO: escriben el `newText` del modelo tal cual, erratas incluidas.
+ * Medido sobre este mismo caso, su motor produce un fichero con `item` — una
+ * variable que no existe — y no compila. Aplicar no es aplicar bien.
+ *
+ * LA IDEA QUE LO ARREGLA, y es la razón de este módulo: el modelo no está
+ * proponiendo el contexto, está CITÁNDOLO. Solo las líneas donde `oldText` y
+ * `newText` DIFIEREN entre sí son su propuesta; las que repite idénticas son
+ * una cita, y una cita con errata sigue señalando al original. Así que se casa
+ * por parecido, y luego se escribe la versión del FICHERO para todo lo que el
+ * modelo no pidió cambiar.
+ *
+ * TRES PUERTAS, porque sin ellas esta pasada compra una recuperación y paga
+ * varias corrupciones:
+ *
+ *   1. **Umbral alto.** 0,92 de similitud media por línea. Por debajo, no es
+ *      una errata: es otro sitio.
+ *   2. **Dominancia.** El mejor candidato tiene que ganarle al segundo por un
+ *      margen claro. Dos posiciones parecidas significa que no sabemos cuál
+ *      quería, y elegir por el modelo es peor que rechazar.
+ *   3. **Las líneas citadas se leen del fichero, no del modelo.** Es la que
+ *      convierte una recuperación arriesgada en una segura.
+ */
+/** Distancia de edición, acotada: si supera `tope` se corta y devuelve `tope + 1`. */
+function distancia(a, b, tope) {
+    if (a === b)
+        return 0;
+    if (Math.abs(a.length - b.length) > tope)
+        return tope + 1;
+    // Una sola fila: no hace falta la matriz entera para una distancia acotada.
+    let anterior = Array.from({ length: b.length + 1 }, (_, i) => i);
+    for (let i = 1; i <= a.length; i++) {
+        const actual = [i];
+        let minimoDeLaFila = i;
+        for (let j = 1; j <= b.length; j++) {
+            const coste = a[i - 1] === b[j - 1] ? 0 : 1;
+            const v = Math.min(actual[j - 1] + 1, anterior[j] + 1, anterior[j - 1] + coste);
+            actual.push(v);
+            if (v < minimoDeLaFila)
+                minimoDeLaFila = v;
+        }
+        // Toda la fila supera el tope: no hay forma de bajar de ahí.
+        if (minimoDeLaFila > tope)
+            return tope + 1;
+        anterior = actual;
+    }
+    return anterior[b.length];
+}
+/** 1 = idénticas, 0 = nada que ver. Sobre el texto recortado. */
+function similitud(a, b) {
+    const x = a.trim();
+    const y = b.trim();
+    if (x === y)
+        return 1;
+    if (x.length === 0 || y.length === 0)
+        return 0;
+    const largo = Math.max(x.length, y.length);
+    const tope = Math.ceil(largo * 0.2); // más allá no interesa: ya está por debajo del umbral
+    const d = distancia(x, y, tope);
+    return d > tope ? 0 : 1 - d / largo;
+}
+const UMBRAL = 0.92;
+/** Cuánto tiene que ganarle el mejor al segundo para que no sea ambiguo. */
+const MARGEN = 0.05;
+/**
+ * Casa `oldText` contra `contenido` tolerando erratas, y construye el texto
+ * nuevo respetando las líneas que el modelo solo citaba.
+ *
+ * Devuelve `null` cuando no hay candidato claro. `null` significa «no puedo»,
+ * nunca «no hay»: quien llama debe seguir con su propio error.
+ */
+export function casarPorParecido(contenido, oldText, newText) {
+    const patron = oldText.split("\n");
+    const propuesta = newText.split("\n");
+    // Con una sola línea no hay contexto que distinguir de la propuesta: todo
+    // sería propuesta, y entonces esta pasada no aporta nada sobre las de arriba.
+    if (patron.length < 2)
+        return null;
+    const lineas = contenido.split("\n");
+    if (patron.length > lineas.length)
+        return null;
+    let mejor = -1;
+    let mejorPuntuacion = 0;
+    let segundaPuntuacion = 0;
+    for (let i = 0; i + patron.length <= lineas.length; i++) {
+        let suma = 0;
+        for (let j = 0; j < patron.length; j++)
+            suma += similitud(lineas[i + j], patron[j]);
+        const puntuacion = suma / patron.length;
+        if (puntuacion > mejorPuntuacion) {
+            segundaPuntuacion = mejorPuntuacion;
+            mejorPuntuacion = puntuacion;
+            mejor = i;
+        }
+        else if (puntuacion > segundaPuntuacion) {
+            segundaPuntuacion = puntuacion;
+        }
+    }
+    // Puerta 1: por debajo del umbral no es una errata, es otro sitio.
+    if (mejor < 0 || mejorPuntuacion < UMBRAL)
+        return null;
+    // Puerta 2: dos candidatos parecidos = no sabemos cuál quería.
+    if (mejorPuntuacion - segundaPuntuacion < MARGEN)
+        return null;
+    // Y si casaba EXACTO, esta pasada no pinta nada: la de arriba ya lo cogió.
+    if (mejorPuntuacion === 1)
+        return null;
+    // Puerta 3, la que hace segura la recuperación.
+    //
+    // Solo las líneas donde `oldText` y `newText` DIFIEREN son propuesta del
+    // modelo. Las que repite idénticas son una CITA, y una cita con errata sigue
+    // señalando al original: se escribe lo que el fichero dice, no lo que el
+    // modelo tecleó. Sin esto, la errata entraría en el fichero — que es
+    // exactamente lo que hace oh-my-pi y por lo que su motor produce código que
+    // no compila.
+    //
+    // Solo se puede alinear línea a línea cuando el modelo mandó el mismo número
+    // de líneas. Si añadió o quitó, no hay correspondencia y se rechaza: no se
+    // adivina.
+    if (propuesta.length !== patron.length)
+        return null;
+    const bloque = lineas.slice(mejor, mejor + patron.length);
+    const resultado = propuesta.map((linea, j) => (linea === patron[j] ? bloque[j] : linea));
+    let indice = 0;
+    for (let i = 0; i < mejor; i++)
+        indice += lineas[i].length + 1;
+    const longitud = bloque.reduce((n, l) => n + l.length + 1, 0) - 1;
+    return { indice, longitud, textoNuevo: resultado.join("\n") };
+}
+//# sourceMappingURL=parecido.js.map

package/dist/core/edicion/parecido.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parecido.js","sourceRoot":"","sources":["../../../src/core/edicion/parecido.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,uFAAsF;AACtF,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS,EAAE,IAAY,EAAU;IAC9D,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI;QAAE,OAAO,IAAI,GAAG,CAAC,CAAC;IAC1D,4EAA4E;IAC5E,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;YAChF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,GAAG,cAAc;gBAAE,cAAc,GAAG,CAAC,CAAC;QAC5C,CAAC;QACD,8DAA6D;QAC7D,IAAI,cAAc,GAAG,IAAI;YAAE,OAAO,IAAI,GAAG,CAAC,CAAC;QAC3C,QAAQ,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAAA,CAC1B;AAED,kEAAiE;AACjE,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS,EAAU;IAChD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,yDAAsD;IAC3F,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAAA,CACpC;AAED,MAAM,MAAM,GAAG,IAAI,CAAC;AACpB,6EAA4E;AAC5E,MAAM,MAAM,GAAG,IAAI,CAAC;AASpB;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAiB,EAAE,OAAe,EAAE,OAAe,EAA4B;IAC/G,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,2EAA0E;IAC1E,+EAA8E;IAC9E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzD,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;QACxC,IAAI,UAAU,GAAG,eAAe,EAAE,CAAC;YAClC,iBAAiB,GAAG,eAAe,CAAC;YACpC,eAAe,GAAG,UAAU,CAAC;YAC7B,KAAK,GAAG,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,UAAU,GAAG,iBAAiB,EAAE,CAAC;YAC3C,iBAAiB,GAAG,UAAU,CAAC;QAChC,CAAC;IACF,CAAC;IAED,mEAAmE;IACnE,IAAI,KAAK,GAAG,CAAC,IAAI,eAAe,GAAG,MAAM;QAAE,OAAO,IAAI,CAAC;IACvD,iEAA+D;IAC/D,IAAI,eAAe,GAAG,iBAAiB,GAAG,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,4EAA2E;IAC3E,IAAI,eAAe,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvC,iDAAgD;IAChD,EAAE;IACF,0EAAyE;IACzE,8EAA6E;IAC7E,0EAAyE;IACzE,yEAAqE;IACrE,6EAA4E;IAC5E,cAAc;IACd,EAAE;IACF,iFAA6E;IAC7E,+EAA2E;IAC3E,WAAW;IACX,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAEzF,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;QAAE,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAAA,CAC9D","sourcesContent":["/**\n * Casar un bloque que el modelo retecleó con una errata.\n *\n * EL CASO. El modelo quiere cambiar una línea y, para dar contexto, retipea las\n * de alrededor. Al retipear se equivoca en una letra:\n *\n *     for (const it of item) {      ← el fichero dice `items`\n *         suma += it.precio;\n *     }\n *\n * Hoy eso se rechaza entero y cuesta un turno. Y es un error frecuente: cuanto\n * más contexto pedimos, más superficie tiene el modelo para equivocarse en algo\n * que no pretendía cambiar.\n *\n * LO QUE COPIAMOS DE oh-my-pi, Y LO QUE NO. Ellos localizan por parecido con\n * Levenshtein (`edit/modes/replace.ts:449`), y eso está bien. Lo que hacen\n * después NO: escriben el `newText` del modelo tal cual, erratas incluidas.\n * Medido sobre este mismo caso, su motor produce un fichero con `item` — una\n * variable que no existe — y no compila. Aplicar no es aplicar bien.\n *\n * LA IDEA QUE LO ARREGLA, y es la razón de este módulo: el modelo no está\n * proponiendo el contexto, está CITÁNDOLO. Solo las líneas donde `oldText` y\n * `newText` DIFIEREN entre sí son su propuesta; las que repite idénticas son\n * una cita, y una cita con errata sigue señalando al original. Así que se casa\n * por parecido, y luego se escribe la versión del FICHERO para todo lo que el\n * modelo no pidió cambiar.\n *\n * TRES PUERTAS, porque sin ellas esta pasada compra una recuperación y paga\n * varias corrupciones:\n *\n *   1. **Umbral alto.** 0,92 de similitud media por línea. Por debajo, no es\n *      una errata: es otro sitio.\n *   2. **Dominancia.** El mejor candidato tiene que ganarle al segundo por un\n *      margen claro. Dos posiciones parecidas significa que no sabemos cuál\n *      quería, y elegir por el modelo es peor que rechazar.\n *   3. **Las líneas citadas se leen del fichero, no del modelo.** Es la que\n *      convierte una recuperación arriesgada en una segura.\n */\n\n/** Distancia de edición, acotada: si supera `tope` se corta y devuelve `tope + 1`. */\nfunction distancia(a: string, b: string, tope: number): number {\n\tif (a === b) return 0;\n\tif (Math.abs(a.length - b.length) > tope) return tope + 1;\n\t// Una sola fila: no hace falta la matriz entera para una distancia acotada.\n\tlet anterior = Array.from({ length: b.length + 1 }, (_, i) => i);\n\tfor (let i = 1; i <= a.length; i++) {\n\t\tconst actual = [i];\n\t\tlet minimoDeLaFila = i;\n\t\tfor (let j = 1; j <= b.length; j++) {\n\t\t\tconst coste = a[i - 1] === b[j - 1] ? 0 : 1;\n\t\t\tconst v = Math.min(actual[j - 1] + 1, anterior[j] + 1, anterior[j - 1] + coste);\n\t\t\tactual.push(v);\n\t\t\tif (v < minimoDeLaFila) minimoDeLaFila = v;\n\t\t}\n\t\t// Toda la fila supera el tope: no hay forma de bajar de ahí.\n\t\tif (minimoDeLaFila > tope) return tope + 1;\n\t\tanterior = actual;\n\t}\n\treturn anterior[b.length];\n}\n\n/** 1 = idénticas, 0 = nada que ver. Sobre el texto recortado. */\nfunction similitud(a: string, b: string): number {\n\tconst x = a.trim();\n\tconst y = b.trim();\n\tif (x === y) return 1;\n\tif (x.length === 0 || y.length === 0) return 0;\n\tconst largo = Math.max(x.length, y.length);\n\tconst tope = Math.ceil(largo * 0.2); // más allá no interesa: ya está por debajo del umbral\n\tconst d = distancia(x, y, tope);\n\treturn d > tope ? 0 : 1 - d / largo;\n}\n\nconst UMBRAL = 0.92;\n/** Cuánto tiene que ganarle el mejor al segundo para que no sea ambiguo. */\nconst MARGEN = 0.05;\n\nexport interface CasadoPorParecido {\n\tindice: number;\n\tlongitud: number;\n\t/** Ya empalmado: propuesta del modelo donde la hubo, fichero donde no. */\n\ttextoNuevo: string;\n}\n\n/**\n * Casa `oldText` contra `contenido` tolerando erratas, y construye el texto\n * nuevo respetando las líneas que el modelo solo citaba.\n *\n * Devuelve `null` cuando no hay candidato claro. `null` significa «no puedo»,\n * nunca «no hay»: quien llama debe seguir con su propio error.\n */\nexport function casarPorParecido(contenido: string, oldText: string, newText: string): CasadoPorParecido | null {\n\tconst patron = oldText.split(\"\\n\");\n\tconst propuesta = newText.split(\"\\n\");\n\t// Con una sola línea no hay contexto que distinguir de la propuesta: todo\n\t// sería propuesta, y entonces esta pasada no aporta nada sobre las de arriba.\n\tif (patron.length < 2) return null;\n\tconst lineas = contenido.split(\"\\n\");\n\tif (patron.length > lineas.length) return null;\n\n\tlet mejor = -1;\n\tlet mejorPuntuacion = 0;\n\tlet segundaPuntuacion = 0;\n\tfor (let i = 0; i + patron.length <= lineas.length; i++) {\n\t\tlet suma = 0;\n\t\tfor (let j = 0; j < patron.length; j++) suma += similitud(lineas[i + j], patron[j]);\n\t\tconst puntuacion = suma / patron.length;\n\t\tif (puntuacion > mejorPuntuacion) {\n\t\t\tsegundaPuntuacion = mejorPuntuacion;\n\t\t\tmejorPuntuacion = puntuacion;\n\t\t\tmejor = i;\n\t\t} else if (puntuacion > segundaPuntuacion) {\n\t\t\tsegundaPuntuacion = puntuacion;\n\t\t}\n\t}\n\n\t// Puerta 1: por debajo del umbral no es una errata, es otro sitio.\n\tif (mejor < 0 || mejorPuntuacion < UMBRAL) return null;\n\t// Puerta 2: dos candidatos parecidos = no sabemos cuál quería.\n\tif (mejorPuntuacion - segundaPuntuacion < MARGEN) return null;\n\t// Y si casaba EXACTO, esta pasada no pinta nada: la de arriba ya lo cogió.\n\tif (mejorPuntuacion === 1) return null;\n\n\t// Puerta 3, la que hace segura la recuperación.\n\t//\n\t// Solo las líneas donde `oldText` y `newText` DIFIEREN son propuesta del\n\t// modelo. Las que repite idénticas son una CITA, y una cita con errata sigue\n\t// señalando al original: se escribe lo que el fichero dice, no lo que el\n\t// modelo tecleó. Sin esto, la errata entraría en el fichero — que es\n\t// exactamente lo que hace oh-my-pi y por lo que su motor produce código que\n\t// no compila.\n\t//\n\t// Solo se puede alinear línea a línea cuando el modelo mandó el mismo número\n\t// de líneas. Si añadió o quitó, no hay correspondencia y se rechaza: no se\n\t// adivina.\n\tif (propuesta.length !== patron.length) return null;\n\tconst bloque = lineas.slice(mejor, mejor + patron.length);\n\tconst resultado = propuesta.map((linea, j) => (linea === patron[j] ? bloque[j] : linea));\n\n\tlet indice = 0;\n\tfor (let i = 0; i < mejor; i++) indice += lineas[i].length + 1;\n\tconst longitud = bloque.reduce((n, l) => n + l.length + 1, 0) - 1;\n\treturn { indice, longitud, textoNuevo: resultado.join(\"\\n\") };\n}\n"]}

package/dist/core/edicion/parseo.d.ts

@@ -0,0 +1,58 @@
+/**
+ * ¿Sigue parseando el fichero después de la edición?
+ *
+ * El fallo más caro de un agente que edita no es equivocarse de lógica: es
+ * dejar el fichero sintácticamente roto y seguir trabajando encima como si nada.
+ * Hasta ahora, saber si el proyecto compilaba exigía un `npm run check` que el
+ * modelo no lanza solo.
+ *
+ * Sin dependencias nuevas. Se usa el compilador de TypeScript que ya está
+ * instalado, que cubre `.ts/.tsx/.js/.jsx/.mts/.cts/.mjs/.cjs`, más `JSON.parse`
+ * para `.json`. Es el grueso de lo que edita nuestro usuario. Tree-sitter
+ * cubriría además Python, Go y Rust, pero trae binarios nativos por plataforma
+ * —el mismo problema que ya nos dio `srt` con `bun --compile`— y eso no tiene
+ * por qué estar en el camino crítico.
+ *
+ * La regla que hace esto seguro, copiada de oh-my-pi porque es la correcta:
+ * **solo se acusa a la edición si la preimagen parseaba**. Un lenguaje que no
+ * sabemos leer devuelve `null` en las dos, así que nunca produce un falso
+ * positivo; y un fichero que ya estaba roto tampoco se le atribuye a quien
+ * acaba de tocarlo.
+ */
+/**
+ * `true` parsea · `false` no parsea · `null` no sabemos leer este lenguaje.
+ *
+ * Los tres valores importan. Colapsar `null` en `true` haría que un `.py` roto
+ * pareciera sano; colapsarlo en `false` acusaría a cada edición de Python.
+ */
+export declare function parsea(codigo: string, ruta: string): boolean | null;
+/** El primer error de sintaxis, con su línea. `null` si no hay o no se sabe leer. */
+export declare function primerErrorDe(codigo: string, ruta: string): {
+    linea: number;
+    mensaje: string;
+} | null;
+export interface Edicion {
+    ruta: string;
+    /** Contenido antes. `null` si el fichero no existía. */
+    antes: string | null;
+    /** Contenido después. `null` si se borró. */
+    despues: string | null;
+}
+/**
+ * `true` solo si esta edición convirtió un fichero que parseaba en uno que no.
+ *
+ * Nunca es `true` cuando la preimagen no parseaba o no se sabía leer: esa
+ * precondición es la que evita acusar a quien no ha roto nada.
+ */
+export declare function rompioElParseo({ ruta, antes, despues }: Edicion): boolean;
+/**
+ * El aviso que se le devuelve al modelo, en su propio resultado de edición.
+ *
+ * Se le dice el qué y el siguiente paso. Un "syntax error" a secas invita a
+ * seguir editando a ciegas, que es como una edición rota se convierte en tres.
+ */
+export declare function avisoDeParseoRoto(ruta: string, error?: {
+    linea: number;
+    mensaje: string;
+} | null): string;
+//# sourceMappingURL=parseo.d.ts.map

package/dist/core/edicion/parseo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseo.d.ts","sourceRoot":"","sources":["../../../src/core/edicion/parseo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAYH;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAoCnE;AAED,sFAAqF;AACrF,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAsBrG;AAED,MAAM,WAAW,OAAO;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,yDAAwD;IACxD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,+CAA6C;IAC7C,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,GAAG,OAAO,CAGzE;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,MAAM,CASzG","sourcesContent":["/**\n * ¿Sigue parseando el fichero después de la edición?\n *\n * El fallo más caro de un agente que edita no es equivocarse de lógica: es\n * dejar el fichero sintácticamente roto y seguir trabajando encima como si nada.\n * Hasta ahora, saber si el proyecto compilaba exigía un `npm run check` que el\n * modelo no lanza solo.\n *\n * Sin dependencias nuevas. Se usa el compilador de TypeScript que ya está\n * instalado, que cubre `.ts/.tsx/.js/.jsx/.mts/.cts/.mjs/.cjs`, más `JSON.parse`\n * para `.json`. Es el grueso de lo que edita nuestro usuario. Tree-sitter\n * cubriría además Python, Go y Rust, pero trae binarios nativos por plataforma\n * —el mismo problema que ya nos dio `srt` con `bun --compile`— y eso no tiene\n * por qué estar en el camino crítico.\n *\n * La regla que hace esto seguro, copiada de oh-my-pi porque es la correcta:\n * **solo se acusa a la edición si la preimagen parseaba**. Un lenguaje que no\n * sabemos leer devuelve `null` en las dos, así que nunca produce un falso\n * positivo; y un fichero que ya estaba roto tampoco se le atribuye a quien\n * acaba de tocarlo.\n */\n\nimport ts from \"typescript\";\n\n/** Extensiones que sabe leer el compilador de TypeScript. */\nconst TS_LIKE = new Set([\".ts\", \".tsx\", \".mts\", \".cts\", \".js\", \".jsx\", \".mjs\", \".cjs\"]);\n\nfunction extensionDe(ruta: string): string {\n\tconst punto = ruta.lastIndexOf(\".\");\n\treturn punto === -1 ? \"\" : ruta.slice(punto).toLowerCase();\n}\n\n/**\n * `true` parsea · `false` no parsea · `null` no sabemos leer este lenguaje.\n *\n * Los tres valores importan. Colapsar `null` en `true` haría que un `.py` roto\n * pareciera sano; colapsarlo en `false` acusaría a cada edición de Python.\n */\nexport function parsea(codigo: string, ruta: string): boolean | null {\n\tconst ext = extensionDe(ruta);\n\n\tif (ext === \".json\") {\n\t\t// Un JSON vacío no es JSON válido, pero tampoco es un fichero roto por\n\t\t// una edición: es un fichero a medio escribir. Se trata como desconocido.\n\t\tif (codigo.trim() === \"\") return null;\n\t\ttry {\n\t\t\tJSON.parse(codigo);\n\t\t\treturn true;\n\t\t} catch {\n\t\t\treturn false;\n\t\t}\n\t}\n\n\tif (!TS_LIKE.has(ext)) return null;\n\n\t// El fichero vacío es válido en todos los lenguajes que miramos: devolver\n\t// `false` haría que crear un fichero contara como romperlo.\n\tconst fuente = ts.createSourceFile(ruta, codigo, ts.ScriptTarget.Latest, false);\n\n\t// `parseDiagnostics` no está en el tipo público de `SourceFile`, y aun así es\n\t// lo correcto aquí. Medido contra 10 casos: la alternativa pública\n\t// (`transpileModule` con `reportDiagnostics`) falla 7 de 10 — da por rotos\n\t// una coma final, un decorador, `satisfies`, el fichero vacío y hasta\n\t// `export function a(x){return x+1}`, porque incluye diagnósticos de opciones\n\t// del compilador que no tienen nada que ver con la sintaxis. `parseDiagnostics`\n\t// acierta 10/10 e ignora los errores de TIPOS, que es justo lo que queremos:\n\t// un `const a: NoExiste = 1` compila mal pero no está roto.\n\t//\n\t// Si TypeScript se lo lleva algún día, se devuelve `null` —\"no sabemos\"— y no\n\t// `true`. Equivocarse hacia \"no sabemos\" cuesta un aviso que no sale;\n\t// equivocarse hacia \"parsea\" cuesta dar por bueno un fichero roto.\n\tconst diagnosticos = (fuente as ts.SourceFile & { parseDiagnostics?: unknown }).parseDiagnostics;\n\tif (!Array.isArray(diagnosticos)) return null;\n\treturn diagnosticos.length === 0;\n}\n\n/** El primer error de sintaxis, con su línea. `null` si no hay o no se sabe leer. */\nexport function primerErrorDe(codigo: string, ruta: string): { linea: number; mensaje: string } | null {\n\tconst ext = extensionDe(ruta);\n\tif (ext === \".json\") {\n\t\ttry {\n\t\t\tJSON.parse(codigo);\n\t\t\treturn null;\n\t\t} catch (e) {\n\t\t\t// El mensaje de `JSON.parse` ya trae posición (\"at position 42\"), que\n\t\t\t// para un fichero de datos es tan útil como el número de línea.\n\t\t\treturn { linea: 0, mensaje: e instanceof Error ? e.message : \"JSON inválido\" };\n\t\t}\n\t}\n\tif (!TS_LIKE.has(ext)) return null;\n\tconst fuente = ts.createSourceFile(ruta, codigo, ts.ScriptTarget.Latest, false);\n\tconst diagnosticos = (fuente as ts.SourceFile & { parseDiagnostics?: unknown }).parseDiagnostics;\n\tif (!Array.isArray(diagnosticos) || diagnosticos.length === 0) return null;\n\tconst primero = diagnosticos[0] as ts.Diagnostic;\n\tconst posicion = primero.start !== undefined ? fuente.getLineAndCharacterOfPosition(primero.start) : null;\n\treturn {\n\t\tlinea: posicion ? posicion.line + 1 : 0,\n\t\tmensaje: ts.flattenDiagnosticMessageText(primero.messageText, \" \"),\n\t};\n}\n\nexport interface Edicion {\n\truta: string;\n\t/** Contenido antes. `null` si el fichero no existía. */\n\tantes: string | null;\n\t/** Contenido después. `null` si se borró. */\n\tdespues: string | null;\n}\n\n/**\n * `true` solo si esta edición convirtió un fichero que parseaba en uno que no.\n *\n * Nunca es `true` cuando la preimagen no parseaba o no se sabía leer: esa\n * precondición es la que evita acusar a quien no ha roto nada.\n */\nexport function rompioElParseo({ ruta, antes, despues }: Edicion): boolean {\n\tif (antes === null || despues === null) return false;\n\treturn parsea(antes, ruta) === true && parsea(despues, ruta) === false;\n}\n\n/**\n * El aviso que se le devuelve al modelo, en su propio resultado de edición.\n *\n * Se le dice el qué y el siguiente paso. Un \"syntax error\" a secas invita a\n * seguir editando a ciegas, que es como una edición rota se convierte en tres.\n */\nexport function avisoDeParseoRoto(ruta: string, error?: { linea: number; mensaje: string } | null): string {\n\t// Con la línea y el mensaje exactos, no con un \"está roto\" genérico. La\n\t// diferencia práctica es entre releer el fichero entero adivinando y saber\n\t// que en la 42 falta una llave. Sale gratis: el compilador ya lo tenía.\n\tconst donde = error ? (error.linea > 0 ? ` En la línea ${error.linea}: ${error.mensaje}` : ` ${error.mensaje}`) : \"\";\n\treturn (\n\t\t`⚠ Esta edición ha dejado \\`${ruta}\\` sintácticamente roto: antes parseaba y ahora no.${donde} ` +\n\t\t`Arréglalo antes de seguir con otra cosa.`\n\t);\n}\n"]}