@hoilab/ada-cli 0.84.22 → 0.85.0

package/dist/core/edicion/limpiar-carga.js

@@ -0,0 +1,121 @@
+/**
+ * Quitarle a un `oldText` el ruido que no es código.
+ *
+ * EL CASO MÁS VERGONZOSO ES EL NUESTRO. Nuestro propio `read` añade al final de
+ * lo que devuelve una línea como:
+ *
+ *     [Showing lines 1-5 of 5. Use offset=6 to continue.]
+ *
+ * El modelo lee un fichero, copia el bloque que quiere cambiar —cabecera
+ * incluida, porque venía pegada— y nosotros rechazamos la edición porque «el
+ * texto no coincide exactamente». Generamos la contaminación y luego la
+ * castigamos.
+ *
+ * Los otros tres son ruido que los modelos añaden solos y que ninguna de las
+ * dos partes discute que sea ruido: vallas de markdown, sentinelas de sobre de
+ * parche, y los números de línea de un `grep`.
+ *
+ * LA REGLA QUE EVITA HACER DAÑO: solo se quita lo que es INEQUÍVOCO. Un `3:` al
+ * principio de una línea podría ser una etiqueta de código real, así que solo se
+ * trata como número de línea cuando TODAS las líneas lo llevan y además los
+ * números van en orden. Preferimos dejar ruido que borrar código: quitar de más
+ * cambia el patrón y lo casa en el sitio equivocado, y eso es corrupción
+ * silenciosa — la clase de fallo que más cara nos ha salido.
+ */
+/** ```ts … ``` envolviendo el bloque entero. */
+function quitarValla(lineas) {
+    if (lineas.length < 2)
+        return undefined;
+    const primera = lineas[0].trim();
+    const ultima = lineas[lineas.length - 1].trim();
+    if (!primera.startsWith("```") || ultima !== "```")
+        return undefined;
+    // La apertura puede llevar el lenguaje (```ts); el cierre nunca lleva nada.
+    lineas.splice(lineas.length - 1, 1);
+    lineas.splice(0, 1);
+    return "valla de markdown";
+}
+/** `*** Begin Patch` / `*** End Patch` y sus variantes. */
+const SOBRE = /^\*{3}\s*(begin|end)\b|^(begin|end)(\s+of)?\s+(patch|edits?|file)\b/i;
+function quitarSobre(lineas) {
+    let quitadas = 0;
+    while (lineas.length > 0 && SOBRE.test(lineas[0].trim())) {
+        lineas.shift();
+        quitadas++;
+    }
+    while (lineas.length > 0 && SOBRE.test(lineas[lineas.length - 1].trim())) {
+        lineas.pop();
+        quitadas++;
+    }
+    return quitadas > 0 ? "sentinelas de sobre de parche" : undefined;
+}
+/**
+ * La cabecera que añade NUESTRO `read`.
+ *
+ * Se reconoce por su forma exacta y solo al principio o al final, nunca en
+ * medio: en medio sería contenido del fichero.
+ */
+const CABECERA_READ = /^\[Showing lines \d+-\d+ of \d+\.( Use offset=\d+ to continue\.)?\]$/;
+/** Y la de un fichero truncado, del mismo sitio. */
+const CABECERA_TRUNCADO = /^\[(File truncated|Truncated|Showing first) .*\]$/i;
+function quitarCabeceraPropia(lineas) {
+    const es = (l) => CABECERA_READ.test(l.trim()) || CABECERA_TRUNCADO.test(l.trim());
+    let quitadas = 0;
+    while (lineas.length > 0 && es(lineas[0])) {
+        lineas.shift();
+        quitadas++;
+    }
+    while (lineas.length > 0 && es(lineas[lineas.length - 1])) {
+        lineas.pop();
+        quitadas++;
+    }
+    return quitadas > 0 ? "la cabecera que añade nuestro propio read" : undefined;
+}
+/**
+ * Números de línea de un `grep` o un `read` numerado: `12:` o `12-`.
+ *
+ * Solo si TODAS las líneas no vacías lo llevan Y los números son consecutivos.
+ * Con una sola de las dos condiciones se dejaría de tocar código real: un
+ * `case 3:` o un fragmento de YAML con `80:` cumplirían la primera.
+ */
+function quitarNumerosDeLinea(lineas) {
+    const noVacias = lineas.filter((l) => l.trim() !== "");
+    if (noVacias.length === 0)
+        return undefined;
+    const numeros = [];
+    for (const linea of noVacias) {
+        const m = linea.match(/^\s*(\d+)[:\-\t]/);
+        if (!m)
+            return undefined;
+        numeros.push(Number(m[1]));
+    }
+    // Consecutivos, y por tanto números de línea y no datos.
+    for (let i = 1; i < numeros.length; i++) {
+        if (numeros[i] !== numeros[i - 1] + 1)
+            return undefined;
+    }
+    for (let i = 0; i < lineas.length; i++) {
+        lineas[i] = lineas[i].replace(/^\s*\d+[:\-\t]/, "");
+    }
+    return "números de línea";
+}
+/**
+ * Limpia `oldText`. Devuelve el texto y qué se quitó.
+ *
+ * Si no había nada que quitar, `quitado` viene vacío y `texto` es idéntico al
+ * de entrada — quien llama puede así distinguir «lo he limpiado» de «no había
+ * nada», sin comparar cadenas.
+ */
+export function limpiarCarga(oldText) {
+    const lineas = oldText.split("\n");
+    const quitado = [];
+    // Orden: primero los envoltorios de fuera adentro, y los números al final
+    // porque una valla o un sobre romperían la comprobación de consecutivos.
+    for (const paso of [quitarValla, quitarSobre, quitarCabeceraPropia, quitarNumerosDeLinea]) {
+        const que = paso(lineas);
+        if (que)
+            quitado.push(que);
+    }
+    return { texto: lineas.join("\n"), quitado };
+}
+//# sourceMappingURL=limpiar-carga.js.map

package/dist/core/edicion/limpiar-carga.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"limpiar-carga.js","sourceRoot":"","sources":["../../../src/core/edicion/limpiar-carga.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AASH,kDAAgD;AAChD,SAAS,WAAW,CAAC,MAAgB,EAAsB;IAC1D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IACrE,4EAA4E;IAC5E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,mBAAmB,CAAC;AAAA,CAC3B;AAED,2DAA2D;AAC3D,MAAM,KAAK,GAAG,sEAAsE,CAAC;AAErF,SAAS,WAAW,CAAC,MAAgB,EAAsB;IAC1D,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,QAAQ,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1E,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,QAAQ,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,SAAS,CAAC;AAAA,CAClE;AAED;;;;;GAKG;AACH,MAAM,aAAa,GAAG,sEAAsE,CAAC;AAC7F,oDAAoD;AACpD,MAAM,iBAAiB,GAAG,oDAAoD,CAAC;AAE/E,SAAS,oBAAoB,CAAC,MAAgB,EAAsB;IACnE,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3F,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,QAAQ,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,QAAQ,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,4CAA2C,CAAC,CAAC,CAAC,SAAS,CAAC;AAAA,CAC9E;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,MAAgB,EAAsB;IACnE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IACD,2DAAyD;IACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;IACzD,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,oBAAkB,CAAC;AAAA,CAC1B;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe,EAAe;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,2EAA0E;IAC1E,2EAAyE;IACzE,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,EAAE,CAAC;QAC3F,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,GAAG;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;AAAA,CAC7C","sourcesContent":["/**\n * Quitarle a un `oldText` el ruido que no es código.\n *\n * EL CASO MÁS VERGONZOSO ES EL NUESTRO. Nuestro propio `read` añade al final de\n * lo que devuelve una línea como:\n *\n *     [Showing lines 1-5 of 5. Use offset=6 to continue.]\n *\n * El modelo lee un fichero, copia el bloque que quiere cambiar —cabecera\n * incluida, porque venía pegada— y nosotros rechazamos la edición porque «el\n * texto no coincide exactamente». Generamos la contaminación y luego la\n * castigamos.\n *\n * Los otros tres son ruido que los modelos añaden solos y que ninguna de las\n * dos partes discute que sea ruido: vallas de markdown, sentinelas de sobre de\n * parche, y los números de línea de un `grep`.\n *\n * LA REGLA QUE EVITA HACER DAÑO: solo se quita lo que es INEQUÍVOCO. Un `3:` al\n * principio de una línea podría ser una etiqueta de código real, así que solo se\n * trata como número de línea cuando TODAS las líneas lo llevan y además los\n * números van en orden. Preferimos dejar ruido que borrar código: quitar de más\n * cambia el patrón y lo casa en el sitio equivocado, y eso es corrupción\n * silenciosa — la clase de fallo que más cara nos ha salido.\n */\n\n/** Lo que se quitó, para poder explicarlo en un error. */\nexport interface CargaLimpia {\n\ttexto: string;\n\t/** Qué se retiró, en orden. Vacío = no había ruido. */\n\tquitado: readonly string[];\n}\n\n/** ```ts … ``` envolviendo el bloque entero. */\nfunction quitarValla(lineas: string[]): string | undefined {\n\tif (lineas.length < 2) return undefined;\n\tconst primera = lineas[0].trim();\n\tconst ultima = lineas[lineas.length - 1].trim();\n\tif (!primera.startsWith(\"```\") || ultima !== \"```\") return undefined;\n\t// La apertura puede llevar el lenguaje (```ts); el cierre nunca lleva nada.\n\tlineas.splice(lineas.length - 1, 1);\n\tlineas.splice(0, 1);\n\treturn \"valla de markdown\";\n}\n\n/** `*** Begin Patch` / `*** End Patch` y sus variantes. */\nconst SOBRE = /^\\*{3}\\s*(begin|end)\\b|^(begin|end)(\\s+of)?\\s+(patch|edits?|file)\\b/i;\n\nfunction quitarSobre(lineas: string[]): string | undefined {\n\tlet quitadas = 0;\n\twhile (lineas.length > 0 && SOBRE.test(lineas[0].trim())) {\n\t\tlineas.shift();\n\t\tquitadas++;\n\t}\n\twhile (lineas.length > 0 && SOBRE.test(lineas[lineas.length - 1].trim())) {\n\t\tlineas.pop();\n\t\tquitadas++;\n\t}\n\treturn quitadas > 0 ? \"sentinelas de sobre de parche\" : undefined;\n}\n\n/**\n * La cabecera que añade NUESTRO `read`.\n *\n * Se reconoce por su forma exacta y solo al principio o al final, nunca en\n * medio: en medio sería contenido del fichero.\n */\nconst CABECERA_READ = /^\\[Showing lines \\d+-\\d+ of \\d+\\.( Use offset=\\d+ to continue\\.)?\\]$/;\n/** Y la de un fichero truncado, del mismo sitio. */\nconst CABECERA_TRUNCADO = /^\\[(File truncated|Truncated|Showing first) .*\\]$/i;\n\nfunction quitarCabeceraPropia(lineas: string[]): string | undefined {\n\tconst es = (l: string) => CABECERA_READ.test(l.trim()) || CABECERA_TRUNCADO.test(l.trim());\n\tlet quitadas = 0;\n\twhile (lineas.length > 0 && es(lineas[0])) {\n\t\tlineas.shift();\n\t\tquitadas++;\n\t}\n\twhile (lineas.length > 0 && es(lineas[lineas.length - 1])) {\n\t\tlineas.pop();\n\t\tquitadas++;\n\t}\n\treturn quitadas > 0 ? \"la cabecera que añade nuestro propio read\" : undefined;\n}\n\n/**\n * Números de línea de un `grep` o un `read` numerado: `12:` o `12-`.\n *\n * Solo si TODAS las líneas no vacías lo llevan Y los números son consecutivos.\n * Con una sola de las dos condiciones se dejaría de tocar código real: un\n * `case 3:` o un fragmento de YAML con `80:` cumplirían la primera.\n */\nfunction quitarNumerosDeLinea(lineas: string[]): string | undefined {\n\tconst noVacias = lineas.filter((l) => l.trim() !== \"\");\n\tif (noVacias.length === 0) return undefined;\n\tconst numeros: number[] = [];\n\tfor (const linea of noVacias) {\n\t\tconst m = linea.match(/^\\s*(\\d+)[:\\-\\t]/);\n\t\tif (!m) return undefined;\n\t\tnumeros.push(Number(m[1]));\n\t}\n\t// Consecutivos, y por tanto números de línea y no datos.\n\tfor (let i = 1; i < numeros.length; i++) {\n\t\tif (numeros[i] !== numeros[i - 1] + 1) return undefined;\n\t}\n\tfor (let i = 0; i < lineas.length; i++) {\n\t\tlineas[i] = lineas[i].replace(/^\\s*\\d+[:\\-\\t]/, \"\");\n\t}\n\treturn \"números de línea\";\n}\n\n/**\n * Limpia `oldText`. Devuelve el texto y qué se quitó.\n *\n * Si no había nada que quitar, `quitado` viene vacío y `texto` es idéntico al\n * de entrada — quien llama puede así distinguir «lo he limpiado» de «no había\n * nada», sin comparar cadenas.\n */\nexport function limpiarCarga(oldText: string): CargaLimpia {\n\tconst lineas = oldText.split(\"\\n\");\n\tconst quitado: string[] = [];\n\t// Orden: primero los envoltorios de fuera adentro, y los números al final\n\t// porque una valla o un sobre romperían la comprobación de consecutivos.\n\tfor (const paso of [quitarValla, quitarSobre, quitarCabeceraPropia, quitarNumerosDeLinea]) {\n\t\tconst que = paso(lineas);\n\t\tif (que) quitado.push(que);\n\t}\n\treturn { texto: lineas.join(\"\\n\"), quitado };\n}\n"]}

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

@@ -0,0 +1,80 @@
+/**
+ * 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í.
+ */
+/**
+ * Lo que el libro de sesión necesita saber de una edición.
+ *
+ * Sale de aquí y no de `agent-session.ts` porque este observador YA lee el
+ * fichero antes y después: pedirlo en otro sitio obligaría a leerlo una tercera
+ * vez, y sobre todo dejaría fuera el caso reparado, donde el contenido final no
+ * es el que dejó la tool.
+ */
+export interface CambioDeFichero {
+    ruta: string;
+    /** Contenido previo, o `null` si el fichero no existía. Lo hashea el libro. */
+    antes: string | null;
+    /** Contenido final, ya con la reparación aplicada si hubo. `null` = borrado. */
+    despues: string | null;
+}
+export declare class ObservadorDeEdiciones {
+    /** Preimagen por id de llamada. La borra quien la consume. */
+    private readonly previas;
+    /**
+     * 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.
+     */
+    private readonly cambios;
+    /**
+     * 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: string): CambioDeFichero | null;
+    private readonly cwd;
+    private readonly agentDir;
+    /** `undefined` cuando no hay modelo disponible (p. ej. en pruebas): la reparación queda "no-aplicable", nunca "rechazada". */
+    private readonly 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.
+     */
+    private readonly tipos;
+    constructor(cwd: () => string, agentDir: () => string, completar?: (prompt: string) => Promise<string | null>);
+    /** Antes de editar: guarda cómo estaba el fichero. */
+    antesDe(idLlamada: string, tool: string, args: unknown): Promise<void>;
+    /**
+     * 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.
+     */
+    despuesDe(idLlamada: string, huboError: boolean): Promise<string | null>;
+}
+//# sourceMappingURL=observador.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observador.d.ts","sourceRoot":"","sources":["../../../src/core/edicion/observador.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAYH;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,gFAA+E;IAC/E,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,iFAAgF;IAChF,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAkBD,qBAAa,qBAAqB;IACjC,8DAA8D;IAC9D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6D;IAErF;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsC;IAE9D;;;;OAIG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAItD;IAED,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAe;IACxC,+HAA8H;IAC9H,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAA6C;IACxE;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA4B;IAIlD,YAAY,GAAG,EAAE,MAAM,MAAM,EAAE,QAAQ,EAAE,MAAM,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,EAI5G;IAED,uDAAsD;IAChD,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAO3E;IAED;;;;;;;OAOG;IACG,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAiF7E;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/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"]}