@hoilab/ada-cli 0.84.22 → 0.85.0

package/dist/core/banco/comparar.js

@@ -0,0 +1,28 @@
+/**
+ * Compara dos ejecuciones del banco: ¿el cambio de editor mejoró o empeoró?
+ *
+ * Sin esto, dos JSON de resultados son datos sueltos. Con esto son una
+ * respuesta a "¿esto que acabo de tocar edita mejor o peor que antes?".
+ */
+function delta(nombre, antes, despues) {
+    return { nombre, antes, despues, delta: Math.round((despues - antes) * 10) / 10 };
+}
+export function compararEjecuciones(a, b, rutaA, rutaB) {
+    return {
+        a: { archivo: rutaA, modelo: `${a.proveedor}/${a.modelo}`, ejecutadoEn: a.ejecutadoEn },
+        b: { archivo: rutaB, modelo: `${b.proveedor}/${b.modelo}`, ejecutadoEn: b.ejecutadoEn },
+        metricas: [
+            delta("tarea %", a.resumen.tareaOkPct, b.resumen.tareaOkPct),
+            delta("edición %", a.resumen.edicionOkPct, b.resumen.edicionOkPct),
+            delta("fantasma %", a.resumen.fantasmaPct, b.resumen.fantasmaPct),
+            delta("timeout %", a.resumen.timeoutPct, b.resumen.timeoutPct),
+            delta("error %", a.resumen.errorPct, b.resumen.errorPct),
+        ],
+    };
+}
+export function formatearComparacion(c) {
+    const flecha = (d) => (d.delta > 0 ? "▲" : d.delta < 0 ? "▼" : "=");
+    const filas = c.metricas.map((m) => `  ${m.nombre.padEnd(12)} ${m.antes.toFixed(1)}%  →  ${m.despues.toFixed(1)}%   ${flecha(m)} ${Math.abs(m.delta).toFixed(1)}`);
+    return [`A: ${c.a.modelo}  (${c.a.archivo})`, `B: ${c.b.modelo}  (${c.b.archivo})`, "", ...filas].join("\n");
+}
+//# sourceMappingURL=comparar.js.map

package/dist/core/banco/comparar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparar.js","sourceRoot":"","sources":["../../../src/core/banco/comparar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH,SAAS,KAAK,CAAC,MAAc,EAAE,KAAa,EAAE,OAAe,EAAgB;IAC5E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;AAAA,CAClF;AAED,MAAM,UAAU,mBAAmB,CAClC,CAAsB,EACtB,CAAsB,EACtB,KAAa,EACb,KAAa,EACY;IACzB,OAAO;QACN,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE;QACvF,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE;QACvF,QAAQ,EAAE;YACT,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;YAC5D,KAAK,CAAC,YAAW,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;YAClE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;YACjE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;YAC9D,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;SACxD;KACD,CAAC;AAAA,CACF;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAyB,EAAU;IACvE,MAAM,MAAM,GAAG,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,EAAE,CACL,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAS,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAC9H,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CAC7G","sourcesContent":["/**\n * Compara dos ejecuciones del banco: ¿el cambio de editor mejoró o empeoró?\n *\n * Sin esto, dos JSON de resultados son datos sueltos. Con esto son una\n * respuesta a \"¿esto que acabo de tocar edita mejor o peor que antes?\".\n */\n\nimport type { ResultadosEjecucion } from \"./tipos.ts\";\n\nexport interface DeltaMetrica {\n\tnombre: string;\n\tantes: number;\n\tdespues: number;\n\tdelta: number;\n}\n\nexport interface ComparacionEjecuciones {\n\ta: { archivo: string; modelo: string; ejecutadoEn: string };\n\tb: { archivo: string; modelo: string; ejecutadoEn: string };\n\tmetricas: DeltaMetrica[];\n}\n\nfunction delta(nombre: string, antes: number, despues: number): DeltaMetrica {\n\treturn { nombre, antes, despues, delta: Math.round((despues - antes) * 10) / 10 };\n}\n\nexport function compararEjecuciones(\n\ta: ResultadosEjecucion,\n\tb: ResultadosEjecucion,\n\trutaA: string,\n\trutaB: string,\n): ComparacionEjecuciones {\n\treturn {\n\t\ta: { archivo: rutaA, modelo: `${a.proveedor}/${a.modelo}`, ejecutadoEn: a.ejecutadoEn },\n\t\tb: { archivo: rutaB, modelo: `${b.proveedor}/${b.modelo}`, ejecutadoEn: b.ejecutadoEn },\n\t\tmetricas: [\n\t\t\tdelta(\"tarea %\", a.resumen.tareaOkPct, b.resumen.tareaOkPct),\n\t\t\tdelta(\"edición %\", a.resumen.edicionOkPct, b.resumen.edicionOkPct),\n\t\t\tdelta(\"fantasma %\", a.resumen.fantasmaPct, b.resumen.fantasmaPct),\n\t\t\tdelta(\"timeout %\", a.resumen.timeoutPct, b.resumen.timeoutPct),\n\t\t\tdelta(\"error %\", a.resumen.errorPct, b.resumen.errorPct),\n\t\t],\n\t};\n}\n\nexport function formatearComparacion(c: ComparacionEjecuciones): string {\n\tconst flecha = (d: DeltaMetrica) => (d.delta > 0 ? \"▲\" : d.delta < 0 ? \"▼\" : \"=\");\n\tconst filas = c.metricas.map(\n\t\t(m) =>\n\t\t\t`  ${m.nombre.padEnd(12)} ${m.antes.toFixed(1)}%  →  ${m.despues.toFixed(1)}%   ${flecha(m)} ${Math.abs(m.delta).toFixed(1)}`,\n\t);\n\treturn [`A: ${c.a.modelo}  (${c.a.archivo})`, `B: ${c.b.modelo}  (${c.b.archivo})`, \"\", ...filas].join(\"\\n\");\n}\n"]}

package/dist/core/banco/ejecutar.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Ejecuta casos del banco contra un agente de verdad y separa las cuatro
+ * métricas que la tarea exige no mezclar: tarea, edición, fantasma, timeout.
+ *
+ * El agente que edita es INYECTABLE (`EjecutorDeCaso`) a propósito: la
+ * implementación real (`crearEjecutorReal`) llama al proveedor de verdad y
+ * cuesta dinero; los tests inyectan una versión determinista para probar que
+ * el propio banco DETECTA una edición rota sin gastar una sola llamada.
+ */
+import type { Api, Model } from "@earendil-works/pi-ai";
+import type { CasoBanco, ResultadoCaso, ResultadosEjecucion, ResumenMetricas } from "./tipos.ts";
+export interface EjecucionCaso {
+    /** Alguna llamada a `edit`/`write` intentó tocar el fichero objetivo. */
+    tocoFichero: boolean;
+    /** De las que lo tocaron, al menos una terminó sin error. */
+    edicionOk: boolean;
+    /**
+     * El modelo devolvió al menos un turno VACÍO (ni texto, ni razonamiento, ni
+     * llamadas). Opcional porque los ejecutores deterministas de los tests no
+     * hablan con ningún proveedor y no tienen turnos que mirar.
+     */
+    turnoVacio?: boolean;
+}
+export interface EjecutorDeCaso {
+    ejecutar(opciones: {
+        cwd: string;
+        rutaFichero: string;
+        prompt: string;
+    }): Promise<EjecucionCaso>;
+}
+export declare function resumirMetricas(resultados: ResultadoCaso[]): ResumenMetricas;
+export declare function ejecutarCasos(casos: CasoBanco[], ejecutor: EjecutorDeCaso, opciones: {
+    proveedor: string;
+    modelo: string;
+    casosArchivo: string;
+    onProgreso?: (i: number, total: number, r: ResultadoCaso) => void;
+}): Promise<ResultadosEjecucion>;
+/** Implementación real: agente de Ada con `read`/`edit`/`write`, contra el proveedor de verdad. */
+export declare function crearEjecutorReal(opciones: {
+    agentDir: string;
+    model?: Model<Api>;
+    timeoutMs: number;
+}): EjecutorDeCaso;
+//# sourceMappingURL=ejecutar.d.ts.map

package/dist/core/banco/ejecutar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ejecutar.d.ts","sourceRoot":"","sources":["../../../src/core/banco/ejecutar.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAEjG,MAAM,WAAW,aAAa;IAC7B,0EAAyE;IACzE,WAAW,EAAE,OAAO,CAAC;IACrB,8DAA6D;IAC7D,SAAS,EAAE,OAAO,CAAC;IACnB;;;;OAIG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,QAAQ,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;CACjG;AA+DD,wBAAgB,eAAe,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,eAAe,CAuB5E;AAED,wBAAsB,aAAa,CAClC,KAAK,EAAE,SAAS,EAAE,EAClB,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE;IACT,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,KAAK,IAAI,CAAC;CAClE,GACC,OAAO,CAAC,mBAAmB,CAAC,CAqB9B;AAED,oGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CAClB,GAAG,cAAc,CA0DjB","sourcesContent":["/**\n * Ejecuta casos del banco contra un agente de verdad y separa las cuatro\n * métricas que la tarea exige no mezclar: tarea, edición, fantasma, timeout.\n *\n * El agente que edita es INYECTABLE (`EjecutorDeCaso`) a propósito: la\n * implementación real (`crearEjecutorReal`) llama al proveedor de verdad y\n * cuesta dinero; los tests inyectan una versión determinista para probar que\n * el propio banco DETECTA una edición rota sin gastar una sola llamada.\n */\n\nimport { mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from \"node:fs\";\nimport { tmpdir } from \"node:os\";\nimport { dirname, join, resolve } from \"node:path\";\nimport type { Api, Model } from \"@earendil-works/pi-ai\";\nimport { estadoDelTurno } from \"../turno-vacio/detectar.ts\";\nimport type { CasoBanco, ResultadoCaso, ResultadosEjecucion, ResumenMetricas } from \"./tipos.ts\";\n\nexport interface EjecucionCaso {\n\t/** Alguna llamada a `edit`/`write` intentó tocar el fichero objetivo. */\n\ttocoFichero: boolean;\n\t/** De las que lo tocaron, al menos una terminó sin error. */\n\tedicionOk: boolean;\n\t/**\n\t * El modelo devolvió al menos un turno VACÍO (ni texto, ni razonamiento, ni\n\t * llamadas). Opcional porque los ejecutores deterministas de los tests no\n\t * hablan con ningún proveedor y no tienen turnos que mirar.\n\t */\n\tturnoVacio?: boolean;\n}\n\nexport interface EjecutorDeCaso {\n\tejecutar(opciones: { cwd: string; rutaFichero: string; prompt: string }): Promise<EjecucionCaso>;\n}\n\n/** Normaliza el salto de línea final para no fallar por un `\\n` de más o de menos. */\nfunction normalizar(contenido: string): string {\n\treturn contenido.replace(/\\n*$/, \"\\n\");\n}\n\nasync function ejecutarUnCaso(caso: CasoBanco, ejecutor: EjecutorDeCaso, raizTemp: string): Promise<ResultadoCaso> {\n\tconst inicio = Date.now();\n\tconst cwd = mkdtempSync(join(raizTemp, \"caso-\"));\n\tconst rutaFichero = join(cwd, caso.ficheroRelativo);\n\tmkdirSync(dirname(rutaFichero), { recursive: true });\n\twriteFileSync(rutaFichero, caso.contenidoEntrada, \"utf-8\");\n\n\tlet timeout = false;\n\tlet tocoFichero = false;\n\tlet edicionOk = false;\n\tlet turnoVacio = false;\n\tlet error: string | undefined;\n\ttry {\n\t\tconst resultado = await ejecutor.ejecutar({ cwd, rutaFichero: caso.ficheroRelativo, prompt: caso.prompt });\n\t\ttocoFichero = resultado.tocoFichero;\n\t\tedicionOk = resultado.edicionOk;\n\t\tturnoVacio = resultado.turnoVacio === true;\n\t} catch (err) {\n\t\tif (err instanceof Error && err.message === \"__timeout__\") {\n\t\t\ttimeout = true;\n\t\t} else {\n\t\t\terror = err instanceof Error ? err.message : String(err);\n\t\t}\n\t}\n\n\tlet tareaOk = false;\n\ttry {\n\t\ttareaOk = normalizar(readFileSync(rutaFichero, \"utf-8\")) === normalizar(caso.contenidoEsperado);\n\t} catch {\n\t\ttareaOk = false;\n\t}\n\n\trmSync(cwd, { recursive: true, force: true });\n\n\treturn {\n\t\tcasoId: caso.id,\n\t\tdificultad: caso.dificultad,\n\t\tmutacion: caso.mutacion,\n\t\ttareaOk,\n\t\tedicionOk: tocoFichero && edicionOk,\n\t\t// Fantasma: nunca tocó el fichero, Y el turno terminó de verdad. Un\n\t\t// timeout no es un fantasma (no dio tiempo a saberlo) y un ERROR\n\t\t// tampoco (no se pudo saberlo, punto — una llamada sin API key no\n\t\t// es un modelo \"que decidió no editar\").\n\t\t//\n\t\t// Un turno VACÍO tampoco: el modelo no contestó, así que no hay\n\t\t// decisión suya que contar. Es el mismo error de leer un fallo como\n\t\t// éxito que ya obligó a sacar `error` de esta cuenta.\n\t\tfantasma: !tocoFichero && !timeout && !error && !turnoVacio,\n\t\tvacio: turnoVacio,\n\t\ttimeout,\n\t\tduracionMs: Date.now() - inicio,\n\t\terror,\n\t};\n}\n\nexport function resumirMetricas(resultados: ResultadoCaso[]): ResumenMetricas {\n\tconst total = resultados.length;\n\tconst pct = (n: number) => (total === 0 ? 0 : Math.round((n / total) * 1000) / 10);\n\tconst porDificultad: ResumenMetricas[\"porDificultad\"] = {};\n\tfor (const dificultad of new Set(resultados.map((r) => r.dificultad))) {\n\t\tconst delGrupo = resultados.filter((r) => r.dificultad === dificultad);\n\t\tconst pctGrupo = (n: number) => (delGrupo.length === 0 ? 0 : Math.round((n / delGrupo.length) * 1000) / 10);\n\t\tporDificultad[dificultad] = {\n\t\t\ttotal: delGrupo.length,\n\t\t\ttareaOkPct: pctGrupo(delGrupo.filter((r) => r.tareaOk).length),\n\t\t\tedicionOkPct: pctGrupo(delGrupo.filter((r) => r.edicionOk).length),\n\t\t};\n\t}\n\treturn {\n\t\ttotal,\n\t\ttareaOkPct: pct(resultados.filter((r) => r.tareaOk).length),\n\t\tedicionOkPct: pct(resultados.filter((r) => r.edicionOk).length),\n\t\tfantasmaPct: pct(resultados.filter((r) => r.fantasma).length),\n\t\tvacioPct: pct(resultados.filter((r) => r.vacio).length),\n\t\ttimeoutPct: pct(resultados.filter((r) => r.timeout).length),\n\t\terrorPct: pct(resultados.filter((r) => Boolean(r.error)).length),\n\t\tporDificultad,\n\t};\n}\n\nexport async function ejecutarCasos(\n\tcasos: CasoBanco[],\n\tejecutor: EjecutorDeCaso,\n\topciones: {\n\t\tproveedor: string;\n\t\tmodelo: string;\n\t\tcasosArchivo: string;\n\t\tonProgreso?: (i: number, total: number, r: ResultadoCaso) => void;\n\t},\n): Promise<ResultadosEjecucion> {\n\tconst raizTemp = mkdtempSync(join(tmpdir(), \"ada-banco-\"));\n\tconst resultados: ResultadoCaso[] = [];\n\ttry {\n\t\tfor (let i = 0; i < casos.length; i++) {\n\t\t\tconst r = await ejecutarUnCaso(casos[i], ejecutor, raizTemp);\n\t\t\tresultados.push(r);\n\t\t\topciones.onProgreso?.(i + 1, casos.length, r);\n\t\t}\n\t} finally {\n\t\trmSync(raizTemp, { recursive: true, force: true });\n\t}\n\treturn {\n\t\tversion: 1,\n\t\tejecutadoEn: new Date().toISOString(),\n\t\tproveedor: opciones.proveedor,\n\t\tmodelo: opciones.modelo,\n\t\tcasosArchivo: opciones.casosArchivo,\n\t\tresultados,\n\t\tresumen: resumirMetricas(resultados),\n\t};\n}\n\n/** Implementación real: agente de Ada con `read`/`edit`/`write`, contra el proveedor de verdad. */\nexport function crearEjecutorReal(opciones: {\n\tagentDir: string;\n\tmodel?: Model<Api>;\n\ttimeoutMs: number;\n}): EjecutorDeCaso {\n\treturn {\n\t\tasync ejecutar({ cwd, rutaFichero, prompt }) {\n\t\t\tconst { createAgentSession } = await import(\"../sdk.ts\");\n\t\t\tconst { SessionManager } = await import(\"../session-manager.ts\");\n\t\t\tconst { session } = await createAgentSession({\n\t\t\t\tcwd,\n\t\t\t\tagentDir: opciones.agentDir,\n\t\t\t\tmodel: opciones.model,\n\t\t\t\ttools: [\"read\", \"edit\", \"write\"],\n\t\t\t\tsessionManager: SessionManager.inMemory(cwd),\n\t\t\t});\n\n\t\t\tconst objetivo = resolve(cwd, rutaFichero);\n\t\t\tconst pendientes = new Map<string, string | null>();\n\t\t\tlet tocoFichero = false;\n\t\t\tlet edicionOk = false;\n\t\t\tlet turnoVacio = false;\n\t\t\tconst desuscribir = session.subscribe((evento) => {\n\t\t\t\t// Un turno sin nada dentro se contaba como fantasma («el modelo\n\t\t\t\t// decidió no editar»). Se mira aquí, en el mismo sitio donde ya\n\t\t\t\t// se escuchan las ediciones, y con el MISMO detector que usa la\n\t\t\t\t// sesión interactiva.\n\t\t\t\tif (evento.type === \"message_end\" && evento.message.role === \"assistant\") {\n\t\t\t\t\tif (estadoDelTurno(evento.message) === \"vacio\") turnoVacio = true;\n\t\t\t\t}\n\t\t\t\tif (evento.type === \"tool_execution_start\" && (evento.toolName === \"edit\" || evento.toolName === \"write\")) {\n\t\t\t\t\tconst args = evento.args as { path?: unknown; file_path?: unknown } | undefined;\n\t\t\t\t\tconst cruda = args?.file_path ?? args?.path;\n\t\t\t\t\tpendientes.set(evento.toolCallId, typeof cruda === \"string\" ? resolve(cwd, cruda) : null);\n\t\t\t\t} else if (evento.type === \"tool_execution_end\") {\n\t\t\t\t\tconst ruta = pendientes.get(evento.toolCallId);\n\t\t\t\t\tpendientes.delete(evento.toolCallId);\n\t\t\t\t\tif (ruta !== objetivo) return;\n\t\t\t\t\ttocoFichero = true;\n\t\t\t\t\tif (!evento.isError) edicionOk = true;\n\t\t\t\t}\n\t\t\t});\n\n\t\t\tlet expiro = false;\n\t\t\ttry {\n\t\t\t\tawait Promise.race([\n\t\t\t\t\tsession.prompt(prompt),\n\t\t\t\t\tnew Promise((_resolve, reject) => {\n\t\t\t\t\t\tsetTimeout(() => {\n\t\t\t\t\t\t\texpiro = true;\n\t\t\t\t\t\t\treject(new Error(\"__timeout__\"));\n\t\t\t\t\t\t}, opciones.timeoutMs);\n\t\t\t\t\t}),\n\t\t\t\t]);\n\t\t\t} finally {\n\t\t\t\tdesuscribir();\n\t\t\t\tif (expiro) await session.abort();\n\t\t\t\tsession.dispose();\n\t\t\t}\n\t\t\treturn { tocoFichero, edicionOk, turnoVacio };\n\t\t},\n\t};\n}\n"]}

package/dist/core/banco/ejecutar.js

@@ -0,0 +1,183 @@
+/**
+ * Ejecuta casos del banco contra un agente de verdad y separa las cuatro
+ * métricas que la tarea exige no mezclar: tarea, edición, fantasma, timeout.
+ *
+ * El agente que edita es INYECTABLE (`EjecutorDeCaso`) a propósito: la
+ * implementación real (`crearEjecutorReal`) llama al proveedor de verdad y
+ * cuesta dinero; los tests inyectan una versión determinista para probar que
+ * el propio banco DETECTA una edición rota sin gastar una sola llamada.
+ */
+import { mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { dirname, join, resolve } from "node:path";
+import { estadoDelTurno } from "../turno-vacio/detectar.js";
+/** Normaliza el salto de línea final para no fallar por un `\n` de más o de menos. */
+function normalizar(contenido) {
+    return contenido.replace(/\n*$/, "\n");
+}
+async function ejecutarUnCaso(caso, ejecutor, raizTemp) {
+    const inicio = Date.now();
+    const cwd = mkdtempSync(join(raizTemp, "caso-"));
+    const rutaFichero = join(cwd, caso.ficheroRelativo);
+    mkdirSync(dirname(rutaFichero), { recursive: true });
+    writeFileSync(rutaFichero, caso.contenidoEntrada, "utf-8");
+    let timeout = false;
+    let tocoFichero = false;
+    let edicionOk = false;
+    let turnoVacio = false;
+    let error;
+    try {
+        const resultado = await ejecutor.ejecutar({ cwd, rutaFichero: caso.ficheroRelativo, prompt: caso.prompt });
+        tocoFichero = resultado.tocoFichero;
+        edicionOk = resultado.edicionOk;
+        turnoVacio = resultado.turnoVacio === true;
+    }
+    catch (err) {
+        if (err instanceof Error && err.message === "__timeout__") {
+            timeout = true;
+        }
+        else {
+            error = err instanceof Error ? err.message : String(err);
+        }
+    }
+    let tareaOk = false;
+    try {
+        tareaOk = normalizar(readFileSync(rutaFichero, "utf-8")) === normalizar(caso.contenidoEsperado);
+    }
+    catch {
+        tareaOk = false;
+    }
+    rmSync(cwd, { recursive: true, force: true });
+    return {
+        casoId: caso.id,
+        dificultad: caso.dificultad,
+        mutacion: caso.mutacion,
+        tareaOk,
+        edicionOk: tocoFichero && edicionOk,
+        // Fantasma: nunca tocó el fichero, Y el turno terminó de verdad. Un
+        // timeout no es un fantasma (no dio tiempo a saberlo) y un ERROR
+        // tampoco (no se pudo saberlo, punto — una llamada sin API key no
+        // es un modelo "que decidió no editar").
+        //
+        // Un turno VACÍO tampoco: el modelo no contestó, así que no hay
+        // decisión suya que contar. Es el mismo error de leer un fallo como
+        // éxito que ya obligó a sacar `error` de esta cuenta.
+        fantasma: !tocoFichero && !timeout && !error && !turnoVacio,
+        vacio: turnoVacio,
+        timeout,
+        duracionMs: Date.now() - inicio,
+        error,
+    };
+}
+export function resumirMetricas(resultados) {
+    const total = resultados.length;
+    const pct = (n) => (total === 0 ? 0 : Math.round((n / total) * 1000) / 10);
+    const porDificultad = {};
+    for (const dificultad of new Set(resultados.map((r) => r.dificultad))) {
+        const delGrupo = resultados.filter((r) => r.dificultad === dificultad);
+        const pctGrupo = (n) => (delGrupo.length === 0 ? 0 : Math.round((n / delGrupo.length) * 1000) / 10);
+        porDificultad[dificultad] = {
+            total: delGrupo.length,
+            tareaOkPct: pctGrupo(delGrupo.filter((r) => r.tareaOk).length),
+            edicionOkPct: pctGrupo(delGrupo.filter((r) => r.edicionOk).length),
+        };
+    }
+    return {
+        total,
+        tareaOkPct: pct(resultados.filter((r) => r.tareaOk).length),
+        edicionOkPct: pct(resultados.filter((r) => r.edicionOk).length),
+        fantasmaPct: pct(resultados.filter((r) => r.fantasma).length),
+        vacioPct: pct(resultados.filter((r) => r.vacio).length),
+        timeoutPct: pct(resultados.filter((r) => r.timeout).length),
+        errorPct: pct(resultados.filter((r) => Boolean(r.error)).length),
+        porDificultad,
+    };
+}
+export async function ejecutarCasos(casos, ejecutor, opciones) {
+    const raizTemp = mkdtempSync(join(tmpdir(), "ada-banco-"));
+    const resultados = [];
+    try {
+        for (let i = 0; i < casos.length; i++) {
+            const r = await ejecutarUnCaso(casos[i], ejecutor, raizTemp);
+            resultados.push(r);
+            opciones.onProgreso?.(i + 1, casos.length, r);
+        }
+    }
+    finally {
+        rmSync(raizTemp, { recursive: true, force: true });
+    }
+    return {
+        version: 1,
+        ejecutadoEn: new Date().toISOString(),
+        proveedor: opciones.proveedor,
+        modelo: opciones.modelo,
+        casosArchivo: opciones.casosArchivo,
+        resultados,
+        resumen: resumirMetricas(resultados),
+    };
+}
+/** Implementación real: agente de Ada con `read`/`edit`/`write`, contra el proveedor de verdad. */
+export function crearEjecutorReal(opciones) {
+    return {
+        async ejecutar({ cwd, rutaFichero, prompt }) {
+            const { createAgentSession } = await import("../sdk.js");
+            const { SessionManager } = await import("../session-manager.js");
+            const { session } = await createAgentSession({
+                cwd,
+                agentDir: opciones.agentDir,
+                model: opciones.model,
+                tools: ["read", "edit", "write"],
+                sessionManager: SessionManager.inMemory(cwd),
+            });
+            const objetivo = resolve(cwd, rutaFichero);
+            const pendientes = new Map();
+            let tocoFichero = false;
+            let edicionOk = false;
+            let turnoVacio = false;
+            const desuscribir = session.subscribe((evento) => {
+                // Un turno sin nada dentro se contaba como fantasma («el modelo
+                // decidió no editar»). Se mira aquí, en el mismo sitio donde ya
+                // se escuchan las ediciones, y con el MISMO detector que usa la
+                // sesión interactiva.
+                if (evento.type === "message_end" && evento.message.role === "assistant") {
+                    if (estadoDelTurno(evento.message) === "vacio")
+                        turnoVacio = true;
+                }
+                if (evento.type === "tool_execution_start" && (evento.toolName === "edit" || evento.toolName === "write")) {
+                    const args = evento.args;
+                    const cruda = args?.file_path ?? args?.path;
+                    pendientes.set(evento.toolCallId, typeof cruda === "string" ? resolve(cwd, cruda) : null);
+                }
+                else if (evento.type === "tool_execution_end") {
+                    const ruta = pendientes.get(evento.toolCallId);
+                    pendientes.delete(evento.toolCallId);
+                    if (ruta !== objetivo)
+                        return;
+                    tocoFichero = true;
+                    if (!evento.isError)
+                        edicionOk = true;
+                }
+            });
+            let expiro = false;
+            try {
+                await Promise.race([
+                    session.prompt(prompt),
+                    new Promise((_resolve, reject) => {
+                        setTimeout(() => {
+                            expiro = true;
+                            reject(new Error("__timeout__"));
+                        }, opciones.timeoutMs);
+                    }),
+                ]);
+            }
+            finally {
+                desuscribir();
+                if (expiro)
+                    await session.abort();
+                session.dispose();
+            }
+            return { tocoFichero, edicionOk, turnoVacio };
+        },
+    };
+}
+//# sourceMappingURL=ejecutar.js.map

package/dist/core/banco/ejecutar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ejecutar.js","sourceRoot":"","sources":["../../../src/core/banco/ejecutar.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEnD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAoB5D,wFAAsF;AACtF,SAAS,UAAU,CAAC,SAAiB,EAAU;IAC9C,OAAO,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAAA,CACvC;AAED,KAAK,UAAU,cAAc,CAAC,IAAe,EAAE,QAAwB,EAAE,QAAgB,EAA0B;IAClH,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IACpD,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IAE3D,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,KAAyB,CAAC;IAC9B,IAAI,CAAC;QACJ,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3G,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;QACpC,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;QAChC,UAAU,GAAG,SAAS,CAAC,UAAU,KAAK,IAAI,CAAC;IAC5C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACd,IAAI,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;YAC3D,OAAO,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,CAAC;YACP,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC;QACJ,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACjG,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAE9C,OAAO;QACN,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO;QACP,SAAS,EAAE,WAAW,IAAI,SAAS;QACnC,sEAAoE;QACpE,iEAAiE;QACjE,oEAAkE;QAClE,0CAAyC;QACzC,EAAE;QACF,mEAAgE;QAChE,qEAAoE;QACpE,wDAAsD;QACtD,QAAQ,EAAE,CAAC,WAAW,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU;QAC3D,KAAK,EAAE,UAAU;QACjB,OAAO;QACP,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM;QAC/B,KAAK;KACL,CAAC;AAAA,CACF;AAED,MAAM,UAAU,eAAe,CAAC,UAA2B,EAAmB;IAC7E,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC;IAChC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACnF,MAAM,aAAa,GAAqC,EAAE,CAAC;IAC3D,KAAK,MAAM,UAAU,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC5G,aAAa,CAAC,UAAU,CAAC,GAAG;YAC3B,KAAK,EAAE,QAAQ,CAAC,MAAM;YACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;YAC9D,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;SAClE,CAAC;IACH,CAAC;IACD,OAAO;QACN,KAAK;QACL,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QAC3D,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;QAC/D,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QAC7D,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;QACvD,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QAC3D,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAChE,aAAa;KACb,CAAC;AAAA,CACF;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAClC,KAAkB,EAClB,QAAwB,EACxB,QAKC,EAC8B;IAC/B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,IAAI,CAAC;QACJ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC7D,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC;IACF,CAAC;YAAS,CAAC;QACV,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO;QACN,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,UAAU;QACV,OAAO,EAAE,eAAe,CAAC,UAAU,CAAC;KACpC,CAAC;AAAA,CACF;AAED,oGAAmG;AACnG,MAAM,UAAU,iBAAiB,CAAC,QAIjC,EAAkB;IAClB,OAAO;QACN,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE;YAC5C,MAAM,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;YACzD,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;YACjE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,kBAAkB,CAAC;gBAC5C,GAAG;gBACH,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC;gBAChC,cAAc,EAAE,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC;aAC5C,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;YACpD,IAAI,WAAW,GAAG,KAAK,CAAC;YACxB,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBACjD,iEAAgE;gBAChE,mEAAgE;gBAChE,gEAAgE;gBAChE,uBAAsB;gBACtB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC1E,IAAI,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,OAAO;wBAAE,UAAU,GAAG,IAAI,CAAC;gBACnE,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;oBAC3G,MAAM,IAAI,GAAG,MAAM,CAAC,IAA2D,CAAC;oBAChF,MAAM,KAAK,GAAG,IAAI,EAAE,SAAS,IAAI,IAAI,EAAE,IAAI,CAAC;oBAC5C,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3F,CAAC;qBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;oBACjD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC/C,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBACrC,IAAI,IAAI,KAAK,QAAQ;wBAAE,OAAO;oBAC9B,WAAW,GAAG,IAAI,CAAC;oBACnB,IAAI,CAAC,MAAM,CAAC,OAAO;wBAAE,SAAS,GAAG,IAAI,CAAC;gBACvC,CAAC;YAAA,CACD,CAAC,CAAC;YAEH,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,IAAI,CAAC;gBACJ,MAAM,OAAO,CAAC,IAAI,CAAC;oBAClB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,OAAO,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC;wBACjC,UAAU,CAAC,GAAG,EAAE,CAAC;4BAChB,MAAM,GAAG,IAAI,CAAC;4BACd,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;wBAAA,CACjC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;oBAAA,CACvB,CAAC;iBACF,CAAC,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACV,WAAW,EAAE,CAAC;gBACd,IAAI,MAAM;oBAAE,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;gBAClC,OAAO,CAAC,OAAO,EAAE,CAAC;YACnB,CAAC;YACD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;QAAA,CAC9C;KACD,CAAC;AAAA,CACF","sourcesContent":["/**\n * Ejecuta casos del banco contra un agente de verdad y separa las cuatro\n * métricas que la tarea exige no mezclar: tarea, edición, fantasma, timeout.\n *\n * El agente que edita es INYECTABLE (`EjecutorDeCaso`) a propósito: la\n * implementación real (`crearEjecutorReal`) llama al proveedor de verdad y\n * cuesta dinero; los tests inyectan una versión determinista para probar que\n * el propio banco DETECTA una edición rota sin gastar una sola llamada.\n */\n\nimport { mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from \"node:fs\";\nimport { tmpdir } from \"node:os\";\nimport { dirname, join, resolve } from \"node:path\";\nimport type { Api, Model } from \"@earendil-works/pi-ai\";\nimport { estadoDelTurno } from \"../turno-vacio/detectar.ts\";\nimport type { CasoBanco, ResultadoCaso, ResultadosEjecucion, ResumenMetricas } from \"./tipos.ts\";\n\nexport interface EjecucionCaso {\n\t/** Alguna llamada a `edit`/`write` intentó tocar el fichero objetivo. */\n\ttocoFichero: boolean;\n\t/** De las que lo tocaron, al menos una terminó sin error. */\n\tedicionOk: boolean;\n\t/**\n\t * El modelo devolvió al menos un turno VACÍO (ni texto, ni razonamiento, ni\n\t * llamadas). Opcional porque los ejecutores deterministas de los tests no\n\t * hablan con ningún proveedor y no tienen turnos que mirar.\n\t */\n\tturnoVacio?: boolean;\n}\n\nexport interface EjecutorDeCaso {\n\tejecutar(opciones: { cwd: string; rutaFichero: string; prompt: string }): Promise<EjecucionCaso>;\n}\n\n/** Normaliza el salto de línea final para no fallar por un `\\n` de más o de menos. */\nfunction normalizar(contenido: string): string {\n\treturn contenido.replace(/\\n*$/, \"\\n\");\n}\n\nasync function ejecutarUnCaso(caso: CasoBanco, ejecutor: EjecutorDeCaso, raizTemp: string): Promise<ResultadoCaso> {\n\tconst inicio = Date.now();\n\tconst cwd = mkdtempSync(join(raizTemp, \"caso-\"));\n\tconst rutaFichero = join(cwd, caso.ficheroRelativo);\n\tmkdirSync(dirname(rutaFichero), { recursive: true });\n\twriteFileSync(rutaFichero, caso.contenidoEntrada, \"utf-8\");\n\n\tlet timeout = false;\n\tlet tocoFichero = false;\n\tlet edicionOk = false;\n\tlet turnoVacio = false;\n\tlet error: string | undefined;\n\ttry {\n\t\tconst resultado = await ejecutor.ejecutar({ cwd, rutaFichero: caso.ficheroRelativo, prompt: caso.prompt });\n\t\ttocoFichero = resultado.tocoFichero;\n\t\tedicionOk = resultado.edicionOk;\n\t\tturnoVacio = resultado.turnoVacio === true;\n\t} catch (err) {\n\t\tif (err instanceof Error && err.message === \"__timeout__\") {\n\t\t\ttimeout = true;\n\t\t} else {\n\t\t\terror = err instanceof Error ? err.message : String(err);\n\t\t}\n\t}\n\n\tlet tareaOk = false;\n\ttry {\n\t\ttareaOk = normalizar(readFileSync(rutaFichero, \"utf-8\")) === normalizar(caso.contenidoEsperado);\n\t} catch {\n\t\ttareaOk = false;\n\t}\n\n\trmSync(cwd, { recursive: true, force: true });\n\n\treturn {\n\t\tcasoId: caso.id,\n\t\tdificultad: caso.dificultad,\n\t\tmutacion: caso.mutacion,\n\t\ttareaOk,\n\t\tedicionOk: tocoFichero && edicionOk,\n\t\t// Fantasma: nunca tocó el fichero, Y el turno terminó de verdad. Un\n\t\t// timeout no es un fantasma (no dio tiempo a saberlo) y un ERROR\n\t\t// tampoco (no se pudo saberlo, punto — una llamada sin API key no\n\t\t// es un modelo \"que decidió no editar\").\n\t\t//\n\t\t// Un turno VACÍO tampoco: el modelo no contestó, así que no hay\n\t\t// decisión suya que contar. Es el mismo error de leer un fallo como\n\t\t// éxito que ya obligó a sacar `error` de esta cuenta.\n\t\tfantasma: !tocoFichero && !timeout && !error && !turnoVacio,\n\t\tvacio: turnoVacio,\n\t\ttimeout,\n\t\tduracionMs: Date.now() - inicio,\n\t\terror,\n\t};\n}\n\nexport function resumirMetricas(resultados: ResultadoCaso[]): ResumenMetricas {\n\tconst total = resultados.length;\n\tconst pct = (n: number) => (total === 0 ? 0 : Math.round((n / total) * 1000) / 10);\n\tconst porDificultad: ResumenMetricas[\"porDificultad\"] = {};\n\tfor (const dificultad of new Set(resultados.map((r) => r.dificultad))) {\n\t\tconst delGrupo = resultados.filter((r) => r.dificultad === dificultad);\n\t\tconst pctGrupo = (n: number) => (delGrupo.length === 0 ? 0 : Math.round((n / delGrupo.length) * 1000) / 10);\n\t\tporDificultad[dificultad] = {\n\t\t\ttotal: delGrupo.length,\n\t\t\ttareaOkPct: pctGrupo(delGrupo.filter((r) => r.tareaOk).length),\n\t\t\tedicionOkPct: pctGrupo(delGrupo.filter((r) => r.edicionOk).length),\n\t\t};\n\t}\n\treturn {\n\t\ttotal,\n\t\ttareaOkPct: pct(resultados.filter((r) => r.tareaOk).length),\n\t\tedicionOkPct: pct(resultados.filter((r) => r.edicionOk).length),\n\t\tfantasmaPct: pct(resultados.filter((r) => r.fantasma).length),\n\t\tvacioPct: pct(resultados.filter((r) => r.vacio).length),\n\t\ttimeoutPct: pct(resultados.filter((r) => r.timeout).length),\n\t\terrorPct: pct(resultados.filter((r) => Boolean(r.error)).length),\n\t\tporDificultad,\n\t};\n}\n\nexport async function ejecutarCasos(\n\tcasos: CasoBanco[],\n\tejecutor: EjecutorDeCaso,\n\topciones: {\n\t\tproveedor: string;\n\t\tmodelo: string;\n\t\tcasosArchivo: string;\n\t\tonProgreso?: (i: number, total: number, r: ResultadoCaso) => void;\n\t},\n): Promise<ResultadosEjecucion> {\n\tconst raizTemp = mkdtempSync(join(tmpdir(), \"ada-banco-\"));\n\tconst resultados: ResultadoCaso[] = [];\n\ttry {\n\t\tfor (let i = 0; i < casos.length; i++) {\n\t\t\tconst r = await ejecutarUnCaso(casos[i], ejecutor, raizTemp);\n\t\t\tresultados.push(r);\n\t\t\topciones.onProgreso?.(i + 1, casos.length, r);\n\t\t}\n\t} finally {\n\t\trmSync(raizTemp, { recursive: true, force: true });\n\t}\n\treturn {\n\t\tversion: 1,\n\t\tejecutadoEn: new Date().toISOString(),\n\t\tproveedor: opciones.proveedor,\n\t\tmodelo: opciones.modelo,\n\t\tcasosArchivo: opciones.casosArchivo,\n\t\tresultados,\n\t\tresumen: resumirMetricas(resultados),\n\t};\n}\n\n/** Implementación real: agente de Ada con `read`/`edit`/`write`, contra el proveedor de verdad. */\nexport function crearEjecutorReal(opciones: {\n\tagentDir: string;\n\tmodel?: Model<Api>;\n\ttimeoutMs: number;\n}): EjecutorDeCaso {\n\treturn {\n\t\tasync ejecutar({ cwd, rutaFichero, prompt }) {\n\t\t\tconst { createAgentSession } = await import(\"../sdk.ts\");\n\t\t\tconst { SessionManager } = await import(\"../session-manager.ts\");\n\t\t\tconst { session } = await createAgentSession({\n\t\t\t\tcwd,\n\t\t\t\tagentDir: opciones.agentDir,\n\t\t\t\tmodel: opciones.model,\n\t\t\t\ttools: [\"read\", \"edit\", \"write\"],\n\t\t\t\tsessionManager: SessionManager.inMemory(cwd),\n\t\t\t});\n\n\t\t\tconst objetivo = resolve(cwd, rutaFichero);\n\t\t\tconst pendientes = new Map<string, string | null>();\n\t\t\tlet tocoFichero = false;\n\t\t\tlet edicionOk = false;\n\t\t\tlet turnoVacio = false;\n\t\t\tconst desuscribir = session.subscribe((evento) => {\n\t\t\t\t// Un turno sin nada dentro se contaba como fantasma («el modelo\n\t\t\t\t// decidió no editar»). Se mira aquí, en el mismo sitio donde ya\n\t\t\t\t// se escuchan las ediciones, y con el MISMO detector que usa la\n\t\t\t\t// sesión interactiva.\n\t\t\t\tif (evento.type === \"message_end\" && evento.message.role === \"assistant\") {\n\t\t\t\t\tif (estadoDelTurno(evento.message) === \"vacio\") turnoVacio = true;\n\t\t\t\t}\n\t\t\t\tif (evento.type === \"tool_execution_start\" && (evento.toolName === \"edit\" || evento.toolName === \"write\")) {\n\t\t\t\t\tconst args = evento.args as { path?: unknown; file_path?: unknown } | undefined;\n\t\t\t\t\tconst cruda = args?.file_path ?? args?.path;\n\t\t\t\t\tpendientes.set(evento.toolCallId, typeof cruda === \"string\" ? resolve(cwd, cruda) : null);\n\t\t\t\t} else if (evento.type === \"tool_execution_end\") {\n\t\t\t\t\tconst ruta = pendientes.get(evento.toolCallId);\n\t\t\t\t\tpendientes.delete(evento.toolCallId);\n\t\t\t\t\tif (ruta !== objetivo) return;\n\t\t\t\t\ttocoFichero = true;\n\t\t\t\t\tif (!evento.isError) edicionOk = true;\n\t\t\t\t}\n\t\t\t});\n\n\t\t\tlet expiro = false;\n\t\t\ttry {\n\t\t\t\tawait Promise.race([\n\t\t\t\t\tsession.prompt(prompt),\n\t\t\t\t\tnew Promise((_resolve, reject) => {\n\t\t\t\t\t\tsetTimeout(() => {\n\t\t\t\t\t\t\texpiro = true;\n\t\t\t\t\t\t\treject(new Error(\"__timeout__\"));\n\t\t\t\t\t\t}, opciones.timeoutMs);\n\t\t\t\t\t}),\n\t\t\t\t]);\n\t\t\t} finally {\n\t\t\t\tdesuscribir();\n\t\t\t\tif (expiro) await session.abort();\n\t\t\t\tsession.dispose();\n\t\t\t}\n\t\t\treturn { tocoFichero, edicionOk, turnoVacio };\n\t\t},\n\t};\n}\n"]}

package/dist/core/banco/generar.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Orquesta la generación de casos: elige fichero, aplica una mutación,
+ * construye el bloque único y lo valida RESOLVIÉNDOLO antes de admitirlo.
+ *
+ * Un caso ambiguo (el bloque no se puede hacer único, o resolverlo no
+ * reproduce el fichero esperado byte a byte) se descarta y se cuenta — la
+ * puerta de la tarea exige poder enseñar ese número, no solo el de casos
+ * generados. Si `--casos 20` descarta cero, hay que poder decirlo y
+ * sospechar, no callarlo.
+ */
+import { TODAS_LAS_MUTACIONES } from "./mutaciones.ts";
+import type { CasoBanco, ConjuntoCasos, Dificultad } from "./tipos.ts";
+/** LCG determinista: misma semilla, misma secuencia de casos siempre. */
+export declare function crearRngSemilla(semilla: number): () => number;
+export interface OpcionesGeneracion {
+    corpus: string;
+    numCasos: number;
+    semilla?: number;
+    dificultades?: Dificultad[];
+    mutaciones?: typeof TODAS_LAS_MUTACIONES;
+}
+export declare function generarCasos(opciones: OpcionesGeneracion): ConjuntoCasos;
+export declare function rutaAbsolutaDeCaso(caso: CasoBanco, corpus: string): string;
+//# sourceMappingURL=generar.d.ts.map

package/dist/core/banco/generar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generar.d.ts","sourceRoot":"","sources":["../../../src/core/banco/generar.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,EAA0B,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAKvE,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,MAAM,CAM7D;AAmED,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC;IAC5B,UAAU,CAAC,EAAE,OAAO,oBAAoB,CAAC;CACzC;AAID,wBAAgB,YAAY,CAAC,QAAQ,EAAE,kBAAkB,GAAG,aAAa,CAwGxE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1E","sourcesContent":["/**\n * Orquesta la generación de casos: elige fichero, aplica una mutación,\n * construye el bloque único y lo valida RESOLVIÉNDOLO antes de admitirlo.\n *\n * Un caso ambiguo (el bloque no se puede hacer único, o resolverlo no\n * reproduce el fichero esperado byte a byte) se descarta y se cuenta — la\n * puerta de la tarea exige poder enseñar ese número, no solo el de casos\n * generados. Si `--casos 20` descarta cero, hay que poder decirlo y\n * sospechar, no callarlo.\n */\n\nimport { extname, join } from \"node:path\";\nimport { analizarCorpus, candidatosPara, type FicheroAnalizado, puntuarDificultad } from \"./analisis.ts\";\nimport { construirBloqueUnico, contarOcurrencias } from \"./bloques.ts\";\nimport { type CandidatoMutacion, TODAS_LAS_MUTACIONES } from \"./mutaciones.ts\";\nimport type { CasoBanco, ConjuntoCasos, Dificultad } from \"./tipos.ts\";\n\nconst DIFICULTADES_POR_DEFECTO: Dificultad[] = [\"facil\", \"medio\", \"dificil\", \"pesadilla\"];\nconst LENGUAJE: Record<string, string> = { \".ts\": \"ts\", \".tsx\": \"tsx\" };\n\n/** LCG determinista: misma semilla, misma secuencia de casos siempre. */\nexport function crearRngSemilla(semilla: number): () => number {\n\tlet estado = semilla >>> 0 || 1;\n\treturn () => {\n\t\testado = (estado * 1103515245 + 12345) & 0x7fffffff;\n\t\treturn estado / 0x7fffffff;\n\t};\n}\n\nfunction elegir<T>(lista: T[], rng: () => number): T {\n\treturn lista[Math.floor(rng() * lista.length)];\n}\n\n/** Región (fichero + línea) ya usada por otro caso, con margen para no solaparse. */\nfunction regionLibre(usadas: Map<string, number[]>, ruta: string, linea: number): boolean {\n\treturn !(usadas.get(ruta) ?? []).some((l) => Math.abs(l - linea) <= 3);\n}\nfunction marcarRegion(usadas: Map<string, number[]>, ruta: string, linea: number): void {\n\tconst lista = usadas.get(ruta) ?? [];\n\tlista.push(linea);\n\tusadas.set(ruta, lista);\n}\n\nfunction construirPrompt(\n\tfichero: FicheroAnalizado,\n\tdificultad: Dificultad,\n\tmutacionNombre: string,\n\tbloqueEntrada: string[],\n\tbloqueEsperado: string[],\n\tlineaInicio: number,\n\tesNightmare: boolean,\n): string {\n\tconst lenguaje = LENGUAJE[extname(fichero.relativa)] ?? \"\";\n\tconst descripciones: Record<string, string> = {\n\t\t\"invertir-booleano\": \"Un literal booleano está invertido.\",\n\t\t\"intercambiar-igualdad\": \"Un operador de igualdad está invertido (=== / !==).\",\n\t\t\"intercambiar-logico\": \"Un operador lógico es el que no toca (&& / ||).\",\n\t\t\"intercambiar-nullish\": \"Un `??` se cambió por `||` (o al revés).\",\n\t\t\"intercambiar-incremento\": \"Un incremento/decremento apunta al sentido contrario.\",\n\t\t\"quitar-negacion\": \"Se quitó una negación (`!`) que hacía falta.\",\n\t\t\"off-by-one\": \"Un límite numérico tiene un error de uno de más.\",\n\t};\n\tconst lineas: string[] = [\n\t\t`# Arregla un bug en \\`${fichero.relativa}\\``,\n\t\t\"\",\n\t\tdescripciones[mutacionNombre] ?? \"Hay un bug.\",\n\t];\n\tif (dificultad === \"facil\") lineas.push(\"\", `Está en la línea ${lineaInicio}.`);\n\n\tlineas.push(\n\t\t\"\",\n\t\t`Sustituye este bloque${dificultad === \"facil\" ? ` (empieza en la línea ${lineaInicio})` : \"\"}:`,\n\t\t\"\",\n\t);\n\tlineas.push(\n\t\t`\\`\\`\\`${lenguaje}`,\n\t\tbloqueEntrada.join(\"\\n\"),\n\t\t\"```\",\n\t\t\"\",\n\t\t\"por este:\",\n\t\t\"\",\n\t\t`\\`\\`\\`${lenguaje}`,\n\t\tbloqueEsperado.join(\"\\n\"),\n\t\t\"```\",\n\t);\n\tlineas.push(\n\t\t\"\",\n\t\tesNightmare\n\t\t\t? \"Este fichero tiene bloques casi idénticos en varios sitios: edita EXACTAMENTE el bloque de arriba, ninguno más.\"\n\t\t\t: \"Haz exactamente este cambio; no toques nada más.\",\n\t);\n\treturn lineas.join(\"\\n\");\n}\n\nexport interface OpcionesGeneracion {\n\tcorpus: string;\n\tnumCasos: number;\n\tsemilla?: number;\n\tdificultades?: Dificultad[];\n\tmutaciones?: typeof TODAS_LAS_MUTACIONES;\n}\n\nconst INTENTOS_POR_CASO = 80;\n\nexport function generarCasos(opciones: OpcionesGeneracion): ConjuntoCasos {\n\tconst semilla = opciones.semilla ?? 42;\n\tconst rng = crearRngSemilla(semilla);\n\tconst ficheros = analizarCorpus(opciones.corpus);\n\tconst dificultades = opciones.dificultades ?? DIFICULTADES_POR_DEFECTO;\n\tconst mutaciones = opciones.mutaciones ?? TODAS_LAS_MUTACIONES;\n\n\tconst usadas = new Map<string, number[]>();\n\tconst casos: CasoBanco[] = [];\n\tlet descartadosPorAmbiguos = 0;\n\tlet descartadosPorNoAplicable = 0;\n\tlet intentosTotales = 0;\n\n\tfor (let indice = 0; indice < opciones.numCasos; indice++) {\n\t\tconst dificultad = dificultades[indice % dificultades.length];\n\t\tconst candidatosFichero = candidatosPara(ficheros, dificultad);\n\t\tconst pool = candidatosFichero.length > 0 ? candidatosFichero : ficheros;\n\t\tif (pool.length === 0) break;\n\n\t\tlet generado: CasoBanco | null = null;\n\t\tfor (let intento = 0; intento < INTENTOS_POR_CASO && !generado; intento++) {\n\t\t\tintentosTotales++;\n\t\t\tconst fichero = elegir(pool, rng);\n\t\t\tconst mutacion = elegir(mutaciones, rng);\n\t\t\tconst candidatos = mutacion.candidatos(fichero.lineas);\n\t\t\tif (candidatos.length === 0) {\n\t\t\t\tdescartadosPorNoAplicable++;\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tconst cand: CandidatoMutacion = elegir(candidatos, rng);\n\t\t\tif (!regionLibre(usadas, fichero.ruta, cand.numeroLinea)) continue;\n\n\t\t\tif (dificultad === \"pesadilla\") {\n\t\t\t\tconst repetida = fichero.lineasRepetidas.has(cand.lineaOriginal.trim());\n\t\t\t\tif (!repetida) continue;\n\t\t\t}\n\n\t\t\tconst lineasEntrada = [...fichero.lineas];\n\t\t\tlineasEntrada[cand.numeroLinea - 1] = cand.lineaMutada;\n\t\t\tconst contenidoEntrada = `${lineasEntrada.join(\"\\n\")}`;\n\n\t\t\tconst bloque = construirBloqueUnico(fichero.lineas, lineasEntrada, cand.numeroLinea - 1);\n\t\t\tif (!bloque.unico) {\n\t\t\t\tdescartadosPorAmbiguos++;\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\t// Puerta obligatoria: nunca se admite un caso sin re-resolverlo desde\n\t\t\t// cero contra el fichero esperado.\n\t\t\tconst bloqueOk = contarOcurrencias(lineasEntrada, bloque.bloqueEntrada) === 1;\n\t\t\tconst resultado = bloqueOk\n\t\t\t\t? [\n\t\t\t\t\t\t...lineasEntrada.slice(0, bloque.lineaInicio - 1),\n\t\t\t\t\t\t...bloque.bloqueEsperado,\n\t\t\t\t\t\t...lineasEntrada.slice(bloque.lineaInicio - 1 + bloque.bloqueEntrada.length),\n\t\t\t\t\t].join(\"\\n\")\n\t\t\t\t: null;\n\t\t\tif (resultado !== fichero.contenido) {\n\t\t\t\tdescartadosPorAmbiguos++;\n\t\t\t\tcontinue;\n\t\t\t}\n\n\t\t\tmarcarRegion(usadas, fichero.ruta, cand.numeroLinea);\n\t\t\tconst puntuacion = puntuarDificultad(fichero, cand.numeroLinea);\n\t\t\tconst id = `${dificultad}-${mutacion.nombre}-${String(indice + 1).padStart(3, \"0\")}`;\n\t\t\tgenerado = {\n\t\t\t\tid,\n\t\t\t\tdificultad,\n\t\t\t\tmutacion: mutacion.nombre,\n\t\t\t\tficheroRelativo: fichero.relativa,\n\t\t\t\tcontenidoEntrada,\n\t\t\t\tcontenidoEsperado: fichero.contenido,\n\t\t\t\tnumeroLinea: cand.numeroLinea,\n\t\t\t\tprompt: construirPrompt(\n\t\t\t\t\tfichero,\n\t\t\t\t\tdificultad,\n\t\t\t\t\tmutacion.nombre,\n\t\t\t\t\tbloque.bloqueEntrada,\n\t\t\t\t\tbloque.bloqueEsperado,\n\t\t\t\t\tbloque.lineaInicio,\n\t\t\t\t\tdificultad === \"pesadilla\",\n\t\t\t\t),\n\t\t\t\tpuntuacion,\n\t\t\t\tcontexto: {\n\t\t\t\t\tlineasFichero: fichero.lineas.length,\n\t\t\t\t\tesLineaRepetida: fichero.lineasRepetidas.has(cand.lineaOriginal.trim()),\n\t\t\t\t\tvecesRepetida: fichero.lineasRepetidas.get(cand.lineaOriginal.trim())?.length ?? 0,\n\t\t\t\t\tbloquesSimilares: fichero.bloquesSimilares,\n\t\t\t\t\tdensidad: Math.round(fichero.densidad * 1000) / 1000,\n\t\t\t\t},\n\t\t\t};\n\t\t}\n\t\tif (generado) casos.push(generado);\n\t}\n\n\treturn {\n\t\tversion: 1,\n\t\tgeneradoEn: new Date().toISOString(),\n\t\tsemilla,\n\t\tcorpus: opciones.corpus,\n\t\tcasos,\n\t\tdescartadosPorAmbiguos,\n\t\tdescartadosPorNoAplicable,\n\t\tintentos: intentosTotales,\n\t};\n}\n\nexport function rutaAbsolutaDeCaso(caso: CasoBanco, corpus: string): string {\n\treturn join(corpus, caso.ficheroRelativo);\n}\n"]}

package/dist/core/banco/generar.js

@@ -0,0 +1,159 @@
+/**
+ * Orquesta la generación de casos: elige fichero, aplica una mutación,
+ * construye el bloque único y lo valida RESOLVIÉNDOLO antes de admitirlo.
+ *
+ * Un caso ambiguo (el bloque no se puede hacer único, o resolverlo no
+ * reproduce el fichero esperado byte a byte) se descarta y se cuenta — la
+ * puerta de la tarea exige poder enseñar ese número, no solo el de casos
+ * generados. Si `--casos 20` descarta cero, hay que poder decirlo y
+ * sospechar, no callarlo.
+ */
+import { extname, join } from "node:path";
+import { analizarCorpus, candidatosPara, puntuarDificultad } from "./analisis.js";
+import { construirBloqueUnico, contarOcurrencias } from "./bloques.js";
+import { TODAS_LAS_MUTACIONES } from "./mutaciones.js";
+const DIFICULTADES_POR_DEFECTO = ["facil", "medio", "dificil", "pesadilla"];
+const LENGUAJE = { ".ts": "ts", ".tsx": "tsx" };
+/** LCG determinista: misma semilla, misma secuencia de casos siempre. */
+export function crearRngSemilla(semilla) {
+    let estado = semilla >>> 0 || 1;
+    return () => {
+        estado = (estado * 1103515245 + 12345) & 0x7fffffff;
+        return estado / 0x7fffffff;
+    };
+}
+function elegir(lista, rng) {
+    return lista[Math.floor(rng() * lista.length)];
+}
+/** Región (fichero + línea) ya usada por otro caso, con margen para no solaparse. */
+function regionLibre(usadas, ruta, linea) {
+    return !(usadas.get(ruta) ?? []).some((l) => Math.abs(l - linea) <= 3);
+}
+function marcarRegion(usadas, ruta, linea) {
+    const lista = usadas.get(ruta) ?? [];
+    lista.push(linea);
+    usadas.set(ruta, lista);
+}
+function construirPrompt(fichero, dificultad, mutacionNombre, bloqueEntrada, bloqueEsperado, lineaInicio, esNightmare) {
+    const lenguaje = LENGUAJE[extname(fichero.relativa)] ?? "";
+    const descripciones = {
+        "invertir-booleano": "Un literal booleano está invertido.",
+        "intercambiar-igualdad": "Un operador de igualdad está invertido (=== / !==).",
+        "intercambiar-logico": "Un operador lógico es el que no toca (&& / ||).",
+        "intercambiar-nullish": "Un `??` se cambió por `||` (o al revés).",
+        "intercambiar-incremento": "Un incremento/decremento apunta al sentido contrario.",
+        "quitar-negacion": "Se quitó una negación (`!`) que hacía falta.",
+        "off-by-one": "Un límite numérico tiene un error de uno de más.",
+    };
+    const lineas = [
+        `# Arregla un bug en \`${fichero.relativa}\``,
+        "",
+        descripciones[mutacionNombre] ?? "Hay un bug.",
+    ];
+    if (dificultad === "facil")
+        lineas.push("", `Está en la línea ${lineaInicio}.`);
+    lineas.push("", `Sustituye este bloque${dificultad === "facil" ? ` (empieza en la línea ${lineaInicio})` : ""}:`, "");
+    lineas.push(`\`\`\`${lenguaje}`, bloqueEntrada.join("\n"), "```", "", "por este:", "", `\`\`\`${lenguaje}`, bloqueEsperado.join("\n"), "```");
+    lineas.push("", esNightmare
+        ? "Este fichero tiene bloques casi idénticos en varios sitios: edita EXACTAMENTE el bloque de arriba, ninguno más."
+        : "Haz exactamente este cambio; no toques nada más.");
+    return lineas.join("\n");
+}
+const INTENTOS_POR_CASO = 80;
+export function generarCasos(opciones) {
+    const semilla = opciones.semilla ?? 42;
+    const rng = crearRngSemilla(semilla);
+    const ficheros = analizarCorpus(opciones.corpus);
+    const dificultades = opciones.dificultades ?? DIFICULTADES_POR_DEFECTO;
+    const mutaciones = opciones.mutaciones ?? TODAS_LAS_MUTACIONES;
+    const usadas = new Map();
+    const casos = [];
+    let descartadosPorAmbiguos = 0;
+    let descartadosPorNoAplicable = 0;
+    let intentosTotales = 0;
+    for (let indice = 0; indice < opciones.numCasos; indice++) {
+        const dificultad = dificultades[indice % dificultades.length];
+        const candidatosFichero = candidatosPara(ficheros, dificultad);
+        const pool = candidatosFichero.length > 0 ? candidatosFichero : ficheros;
+        if (pool.length === 0)
+            break;
+        let generado = null;
+        for (let intento = 0; intento < INTENTOS_POR_CASO && !generado; intento++) {
+            intentosTotales++;
+            const fichero = elegir(pool, rng);
+            const mutacion = elegir(mutaciones, rng);
+            const candidatos = mutacion.candidatos(fichero.lineas);
+            if (candidatos.length === 0) {
+                descartadosPorNoAplicable++;
+                continue;
+            }
+            const cand = elegir(candidatos, rng);
+            if (!regionLibre(usadas, fichero.ruta, cand.numeroLinea))
+                continue;
+            if (dificultad === "pesadilla") {
+                const repetida = fichero.lineasRepetidas.has(cand.lineaOriginal.trim());
+                if (!repetida)
+                    continue;
+            }
+            const lineasEntrada = [...fichero.lineas];
+            lineasEntrada[cand.numeroLinea - 1] = cand.lineaMutada;
+            const contenidoEntrada = `${lineasEntrada.join("\n")}`;
+            const bloque = construirBloqueUnico(fichero.lineas, lineasEntrada, cand.numeroLinea - 1);
+            if (!bloque.unico) {
+                descartadosPorAmbiguos++;
+                continue;
+            }
+            // Puerta obligatoria: nunca se admite un caso sin re-resolverlo desde
+            // cero contra el fichero esperado.
+            const bloqueOk = contarOcurrencias(lineasEntrada, bloque.bloqueEntrada) === 1;
+            const resultado = bloqueOk
+                ? [
+                    ...lineasEntrada.slice(0, bloque.lineaInicio - 1),
+                    ...bloque.bloqueEsperado,
+                    ...lineasEntrada.slice(bloque.lineaInicio - 1 + bloque.bloqueEntrada.length),
+                ].join("\n")
+                : null;
+            if (resultado !== fichero.contenido) {
+                descartadosPorAmbiguos++;
+                continue;
+            }
+            marcarRegion(usadas, fichero.ruta, cand.numeroLinea);
+            const puntuacion = puntuarDificultad(fichero, cand.numeroLinea);
+            const id = `${dificultad}-${mutacion.nombre}-${String(indice + 1).padStart(3, "0")}`;
+            generado = {
+                id,
+                dificultad,
+                mutacion: mutacion.nombre,
+                ficheroRelativo: fichero.relativa,
+                contenidoEntrada,
+                contenidoEsperado: fichero.contenido,
+                numeroLinea: cand.numeroLinea,
+                prompt: construirPrompt(fichero, dificultad, mutacion.nombre, bloque.bloqueEntrada, bloque.bloqueEsperado, bloque.lineaInicio, dificultad === "pesadilla"),
+                puntuacion,
+                contexto: {
+                    lineasFichero: fichero.lineas.length,
+                    esLineaRepetida: fichero.lineasRepetidas.has(cand.lineaOriginal.trim()),
+                    vecesRepetida: fichero.lineasRepetidas.get(cand.lineaOriginal.trim())?.length ?? 0,
+                    bloquesSimilares: fichero.bloquesSimilares,
+                    densidad: Math.round(fichero.densidad * 1000) / 1000,
+                },
+            };
+        }
+        if (generado)
+            casos.push(generado);
+    }
+    return {
+        version: 1,
+        generadoEn: new Date().toISOString(),
+        semilla,
+        corpus: opciones.corpus,
+        casos,
+        descartadosPorAmbiguos,
+        descartadosPorNoAplicable,
+        intentos: intentosTotales,
+    };
+}
+export function rutaAbsolutaDeCaso(caso, corpus) {
+    return join(corpus, caso.ficheroRelativo);
+}
+//# sourceMappingURL=generar.js.map

package/dist/core/banco/generar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generar.js","sourceRoot":"","sources":["../../../src/core/banco/generar.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAyB,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACzG,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAA0B,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAG/E,MAAM,wBAAwB,GAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AAC1F,MAAM,QAAQ,GAA2B,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAExE,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,OAAe,EAAgB;IAC9D,IAAI,MAAM,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,GAAG,EAAE,CAAC;QACZ,MAAM,GAAG,CAAC,MAAM,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,UAAU,CAAC;QACpD,OAAO,MAAM,GAAG,UAAU,CAAC;IAAA,CAC3B,CAAC;AAAA,CACF;AAED,SAAS,MAAM,CAAI,KAAU,EAAE,GAAiB,EAAK;IACpD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAAA,CAC/C;AAED,uFAAqF;AACrF,SAAS,WAAW,CAAC,MAA6B,EAAE,IAAY,EAAE,KAAa,EAAW;IACzF,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAAA,CACvE;AACD,SAAS,YAAY,CAAC,MAA6B,EAAE,IAAY,EAAE,KAAa,EAAQ;IACvF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAAA,CACxB;AAED,SAAS,eAAe,CACvB,OAAyB,EACzB,UAAsB,EACtB,cAAsB,EACtB,aAAuB,EACvB,cAAwB,EACxB,WAAmB,EACnB,WAAoB,EACX;IACT,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3D,MAAM,aAAa,GAA2B;QAC7C,mBAAmB,EAAE,sCAAqC;QAC1D,uBAAuB,EAAE,sDAAqD;QAC9E,qBAAqB,EAAE,kDAAiD;QACxE,sBAAsB,EAAE,4CAA0C;QAClE,yBAAyB,EAAE,uDAAuD;QAClF,iBAAiB,EAAE,iDAA8C;QACjE,YAAY,EAAE,qDAAkD;KAChE,CAAC;IACF,MAAM,MAAM,GAAa;QACxB,yBAAyB,OAAO,CAAC,QAAQ,IAAI;QAC7C,EAAE;QACF,aAAa,CAAC,cAAc,CAAC,IAAI,aAAa;KAC9C,CAAC;IACF,IAAI,UAAU,KAAK,OAAO;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,sBAAoB,WAAW,GAAG,CAAC,CAAC;IAEhF,MAAM,CAAC,IAAI,CACV,EAAE,EACF,wBAAwB,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,0BAAyB,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAChG,EAAE,CACF,CAAC;IACF,MAAM,CAAC,IAAI,CACV,SAAS,QAAQ,EAAE,EACnB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EACxB,KAAK,EACL,EAAE,EACF,WAAW,EACX,EAAE,EACF,SAAS,QAAQ,EAAE,EACnB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EACzB,KAAK,CACL,CAAC;IACF,MAAM,CAAC,IAAI,CACV,EAAE,EACF,WAAW;QACV,CAAC,CAAC,mHAAiH;QACnH,CAAC,CAAC,mDAAkD,CACrD,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACzB;AAUD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAE7B,MAAM,UAAU,YAAY,CAAC,QAA4B,EAAiB;IACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;IACvC,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,IAAI,wBAAwB,CAAC;IACvE,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,oBAAoB,CAAC;IAE/D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,yBAAyB,GAAG,CAAC,CAAC;IAClC,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC;QAC3D,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,iBAAiB,GAAG,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;QACzE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QAE7B,IAAI,QAAQ,GAAqB,IAAI,CAAC;QACtC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,iBAAiB,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;YAC3E,eAAe,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACvD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,yBAAyB,EAAE,CAAC;gBAC5B,SAAS;YACV,CAAC;YACD,MAAM,IAAI,GAAsB,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC;gBAAE,SAAS;YAEnE,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxE,IAAI,CAAC,QAAQ;oBAAE,SAAS;YACzB,CAAC;YAED,MAAM,aAAa,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1C,aAAa,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;YACvD,MAAM,gBAAgB,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAEvD,MAAM,MAAM,GAAG,oBAAoB,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;YACzF,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBACnB,sBAAsB,EAAE,CAAC;gBACzB,SAAS;YACV,CAAC;YACD,sEAAsE;YACtE,mCAAmC;YACnC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9E,MAAM,SAAS,GAAG,QAAQ;gBACzB,CAAC,CAAC;oBACA,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,CAAC,CAAC;oBACjD,GAAG,MAAM,CAAC,cAAc;oBACxB,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;iBAC5E,CAAC,IAAI,CAAC,IAAI,CAAC;gBACb,CAAC,CAAC,IAAI,CAAC;YACR,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;gBACrC,sBAAsB,EAAE,CAAC;gBACzB,SAAS;YACV,CAAC;YAED,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAChE,MAAM,EAAE,GAAG,GAAG,UAAU,IAAI,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACrF,QAAQ,GAAG;gBACV,EAAE;gBACF,UAAU;gBACV,QAAQ,EAAE,QAAQ,CAAC,MAAM;gBACzB,eAAe,EAAE,OAAO,CAAC,QAAQ;gBACjC,gBAAgB;gBAChB,iBAAiB,EAAE,OAAO,CAAC,SAAS;gBACpC,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,eAAe,CACtB,OAAO,EACP,UAAU,EACV,QAAQ,CAAC,MAAM,EACf,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,WAAW,EAClB,UAAU,KAAK,WAAW,CAC1B;gBACD,UAAU;gBACV,QAAQ,EAAE;oBACT,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM;oBACpC,eAAe,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;oBACvE,aAAa,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC;oBAClF,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;oBAC1C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,IAAI;iBACpD;aACD,CAAC;QACH,CAAC;QACD,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACN,OAAO,EAAE,CAAC;QACV,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,OAAO;QACP,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,KAAK;QACL,sBAAsB;QACtB,yBAAyB;QACzB,QAAQ,EAAE,eAAe;KACzB,CAAC;AAAA,CACF;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,MAAc,EAAU;IAC3E,OAAO,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;AAAA,CAC1C","sourcesContent":["/**\n * Orquesta la generación de casos: elige fichero, aplica una mutación,\n * construye el bloque único y lo valida RESOLVIÉNDOLO antes de admitirlo.\n *\n * Un caso ambiguo (el bloque no se puede hacer único, o resolverlo no\n * reproduce el fichero esperado byte a byte) se descarta y se cuenta — la\n * puerta de la tarea exige poder enseñar ese número, no solo el de casos\n * generados. Si `--casos 20` descarta cero, hay que poder decirlo y\n * sospechar, no callarlo.\n */\n\nimport { extname, join } from \"node:path\";\nimport { analizarCorpus, candidatosPara, type FicheroAnalizado, puntuarDificultad } from \"./analisis.ts\";\nimport { construirBloqueUnico, contarOcurrencias } from \"./bloques.ts\";\nimport { type CandidatoMutacion, TODAS_LAS_MUTACIONES } from \"./mutaciones.ts\";\nimport type { CasoBanco, ConjuntoCasos, Dificultad } from \"./tipos.ts\";\n\nconst DIFICULTADES_POR_DEFECTO: Dificultad[] = [\"facil\", \"medio\", \"dificil\", \"pesadilla\"];\nconst LENGUAJE: Record<string, string> = { \".ts\": \"ts\", \".tsx\": \"tsx\" };\n\n/** LCG determinista: misma semilla, misma secuencia de casos siempre. */\nexport function crearRngSemilla(semilla: number): () => number {\n\tlet estado = semilla >>> 0 || 1;\n\treturn () => {\n\t\testado = (estado * 1103515245 + 12345) & 0x7fffffff;\n\t\treturn estado / 0x7fffffff;\n\t};\n}\n\nfunction elegir<T>(lista: T[], rng: () => number): T {\n\treturn lista[Math.floor(rng() * lista.length)];\n}\n\n/** Región (fichero + línea) ya usada por otro caso, con margen para no solaparse. */\nfunction regionLibre(usadas: Map<string, number[]>, ruta: string, linea: number): boolean {\n\treturn !(usadas.get(ruta) ?? []).some((l) => Math.abs(l - linea) <= 3);\n}\nfunction marcarRegion(usadas: Map<string, number[]>, ruta: string, linea: number): void {\n\tconst lista = usadas.get(ruta) ?? [];\n\tlista.push(linea);\n\tusadas.set(ruta, lista);\n}\n\nfunction construirPrompt(\n\tfichero: FicheroAnalizado,\n\tdificultad: Dificultad,\n\tmutacionNombre: string,\n\tbloqueEntrada: string[],\n\tbloqueEsperado: string[],\n\tlineaInicio: number,\n\tesNightmare: boolean,\n): string {\n\tconst lenguaje = LENGUAJE[extname(fichero.relativa)] ?? \"\";\n\tconst descripciones: Record<string, string> = {\n\t\t\"invertir-booleano\": \"Un literal booleano está invertido.\",\n\t\t\"intercambiar-igualdad\": \"Un operador de igualdad está invertido (=== / !==).\",\n\t\t\"intercambiar-logico\": \"Un operador lógico es el que no toca (&& / ||).\",\n\t\t\"intercambiar-nullish\": \"Un `??` se cambió por `||` (o al revés).\",\n\t\t\"intercambiar-incremento\": \"Un incremento/decremento apunta al sentido contrario.\",\n\t\t\"quitar-negacion\": \"Se quitó una negación (`!`) que hacía falta.\",\n\t\t\"off-by-one\": \"Un límite numérico tiene un error de uno de más.\",\n\t};\n\tconst lineas: string[] = [\n\t\t`# Arregla un bug en \\`${fichero.relativa}\\``,\n\t\t\"\",\n\t\tdescripciones[mutacionNombre] ?? \"Hay un bug.\",\n\t];\n\tif (dificultad === \"facil\") lineas.push(\"\", `Está en la línea ${lineaInicio}.`);\n\n\tlineas.push(\n\t\t\"\",\n\t\t`Sustituye este bloque${dificultad === \"facil\" ? ` (empieza en la línea ${lineaInicio})` : \"\"}:`,\n\t\t\"\",\n\t);\n\tlineas.push(\n\t\t`\\`\\`\\`${lenguaje}`,\n\t\tbloqueEntrada.join(\"\\n\"),\n\t\t\"```\",\n\t\t\"\",\n\t\t\"por este:\",\n\t\t\"\",\n\t\t`\\`\\`\\`${lenguaje}`,\n\t\tbloqueEsperado.join(\"\\n\"),\n\t\t\"```\",\n\t);\n\tlineas.push(\n\t\t\"\",\n\t\tesNightmare\n\t\t\t? \"Este fichero tiene bloques casi idénticos en varios sitios: edita EXACTAMENTE el bloque de arriba, ninguno más.\"\n\t\t\t: \"Haz exactamente este cambio; no toques nada más.\",\n\t);\n\treturn lineas.join(\"\\n\");\n}\n\nexport interface OpcionesGeneracion {\n\tcorpus: string;\n\tnumCasos: number;\n\tsemilla?: number;\n\tdificultades?: Dificultad[];\n\tmutaciones?: typeof TODAS_LAS_MUTACIONES;\n}\n\nconst INTENTOS_POR_CASO = 80;\n\nexport function generarCasos(opciones: OpcionesGeneracion): ConjuntoCasos {\n\tconst semilla = opciones.semilla ?? 42;\n\tconst rng = crearRngSemilla(semilla);\n\tconst ficheros = analizarCorpus(opciones.corpus);\n\tconst dificultades = opciones.dificultades ?? DIFICULTADES_POR_DEFECTO;\n\tconst mutaciones = opciones.mutaciones ?? TODAS_LAS_MUTACIONES;\n\n\tconst usadas = new Map<string, number[]>();\n\tconst casos: CasoBanco[] = [];\n\tlet descartadosPorAmbiguos = 0;\n\tlet descartadosPorNoAplicable = 0;\n\tlet intentosTotales = 0;\n\n\tfor (let indice = 0; indice < opciones.numCasos; indice++) {\n\t\tconst dificultad = dificultades[indice % dificultades.length];\n\t\tconst candidatosFichero = candidatosPara(ficheros, dificultad);\n\t\tconst pool = candidatosFichero.length > 0 ? candidatosFichero : ficheros;\n\t\tif (pool.length === 0) break;\n\n\t\tlet generado: CasoBanco | null = null;\n\t\tfor (let intento = 0; intento < INTENTOS_POR_CASO && !generado; intento++) {\n\t\t\tintentosTotales++;\n\t\t\tconst fichero = elegir(pool, rng);\n\t\t\tconst mutacion = elegir(mutaciones, rng);\n\t\t\tconst candidatos = mutacion.candidatos(fichero.lineas);\n\t\t\tif (candidatos.length === 0) {\n\t\t\t\tdescartadosPorNoAplicable++;\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tconst cand: CandidatoMutacion = elegir(candidatos, rng);\n\t\t\tif (!regionLibre(usadas, fichero.ruta, cand.numeroLinea)) continue;\n\n\t\t\tif (dificultad === \"pesadilla\") {\n\t\t\t\tconst repetida = fichero.lineasRepetidas.has(cand.lineaOriginal.trim());\n\t\t\t\tif (!repetida) continue;\n\t\t\t}\n\n\t\t\tconst lineasEntrada = [...fichero.lineas];\n\t\t\tlineasEntrada[cand.numeroLinea - 1] = cand.lineaMutada;\n\t\t\tconst contenidoEntrada = `${lineasEntrada.join(\"\\n\")}`;\n\n\t\t\tconst bloque = construirBloqueUnico(fichero.lineas, lineasEntrada, cand.numeroLinea - 1);\n\t\t\tif (!bloque.unico) {\n\t\t\t\tdescartadosPorAmbiguos++;\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\t// Puerta obligatoria: nunca se admite un caso sin re-resolverlo desde\n\t\t\t// cero contra el fichero esperado.\n\t\t\tconst bloqueOk = contarOcurrencias(lineasEntrada, bloque.bloqueEntrada) === 1;\n\t\t\tconst resultado = bloqueOk\n\t\t\t\t? [\n\t\t\t\t\t\t...lineasEntrada.slice(0, bloque.lineaInicio - 1),\n\t\t\t\t\t\t...bloque.bloqueEsperado,\n\t\t\t\t\t\t...lineasEntrada.slice(bloque.lineaInicio - 1 + bloque.bloqueEntrada.length),\n\t\t\t\t\t].join(\"\\n\")\n\t\t\t\t: null;\n\t\t\tif (resultado !== fichero.contenido) {\n\t\t\t\tdescartadosPorAmbiguos++;\n\t\t\t\tcontinue;\n\t\t\t}\n\n\t\t\tmarcarRegion(usadas, fichero.ruta, cand.numeroLinea);\n\t\t\tconst puntuacion = puntuarDificultad(fichero, cand.numeroLinea);\n\t\t\tconst id = `${dificultad}-${mutacion.nombre}-${String(indice + 1).padStart(3, \"0\")}`;\n\t\t\tgenerado = {\n\t\t\t\tid,\n\t\t\t\tdificultad,\n\t\t\t\tmutacion: mutacion.nombre,\n\t\t\t\tficheroRelativo: fichero.relativa,\n\t\t\t\tcontenidoEntrada,\n\t\t\t\tcontenidoEsperado: fichero.contenido,\n\t\t\t\tnumeroLinea: cand.numeroLinea,\n\t\t\t\tprompt: construirPrompt(\n\t\t\t\t\tfichero,\n\t\t\t\t\tdificultad,\n\t\t\t\t\tmutacion.nombre,\n\t\t\t\t\tbloque.bloqueEntrada,\n\t\t\t\t\tbloque.bloqueEsperado,\n\t\t\t\t\tbloque.lineaInicio,\n\t\t\t\t\tdificultad === \"pesadilla\",\n\t\t\t\t),\n\t\t\t\tpuntuacion,\n\t\t\t\tcontexto: {\n\t\t\t\t\tlineasFichero: fichero.lineas.length,\n\t\t\t\t\tesLineaRepetida: fichero.lineasRepetidas.has(cand.lineaOriginal.trim()),\n\t\t\t\t\tvecesRepetida: fichero.lineasRepetidas.get(cand.lineaOriginal.trim())?.length ?? 0,\n\t\t\t\t\tbloquesSimilares: fichero.bloquesSimilares,\n\t\t\t\t\tdensidad: Math.round(fichero.densidad * 1000) / 1000,\n\t\t\t\t},\n\t\t\t};\n\t\t}\n\t\tif (generado) casos.push(generado);\n\t}\n\n\treturn {\n\t\tversion: 1,\n\t\tgeneradoEn: new Date().toISOString(),\n\t\tsemilla,\n\t\tcorpus: opciones.corpus,\n\t\tcasos,\n\t\tdescartadosPorAmbiguos,\n\t\tdescartadosPorNoAplicable,\n\t\tintentos: intentosTotales,\n\t};\n}\n\nexport function rutaAbsolutaDeCaso(caso: CasoBanco, corpus: string): string {\n\treturn join(corpus, caso.ficheroRelativo);\n}\n"]}

package/dist/core/banco/mutaciones.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Catálogo de mutaciones: bugs deterministas de una línea.
+ *
+ * ponytail: mutaciones por regex sobre texto, no por AST (a diferencia de
+ * oh-my-pi, que parsea con Babel). Para medir precisión de EDICIÓN basta con
+ * un bug sintácticamente trivial en un sitio adverso — la dificultad la pone
+ * la selección de fichero y línea, no la sutileza del bug. Sube a un
+ * mutador AST si algún día hace falta que el bug sea semánticamente sutil
+ * (p.ej. no reventar con `!isFoo` dentro de un string).
+ *
+ * Cada mutación busca TODAS las posiciones aplicables en el fichero y una
+ * `rng` elige una: mismo fichero, misma semilla, mismo caso siempre.
+ */
+export interface CandidatoMutacion {
+    numeroLinea: number;
+    lineaOriginal: string;
+    lineaMutada: string;
+}
+export interface Mutacion {
+    nombre: string;
+    /** Candidatos aplicables en el fichero (línea original -> línea con el bug). */
+    candidatos(lineas: string[]): CandidatoMutacion[];
+}
+export declare const TODAS_LAS_MUTACIONES: Mutacion[];
+//# sourceMappingURL=mutaciones.d.ts.map

package/dist/core/banco/mutaciones.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutaciones.d.ts","sourceRoot":"","sources":["../../../src/core/banco/mutaciones.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,WAAW,iBAAiB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,QAAQ;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,kFAAgF;IAChF,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,iBAAiB,EAAE,CAAC;CAClD;AAkMD,eAAO,MAAM,oBAAoB,EAAE,QAAQ,EAQ1C,CAAC","sourcesContent":["/**\n * Catálogo de mutaciones: bugs deterministas de una línea.\n *\n * ponytail: mutaciones por regex sobre texto, no por AST (a diferencia de\n * oh-my-pi, que parsea con Babel). Para medir precisión de EDICIÓN basta con\n * un bug sintácticamente trivial en un sitio adverso — la dificultad la pone\n * la selección de fichero y línea, no la sutileza del bug. Sube a un\n * mutador AST si algún día hace falta que el bug sea semánticamente sutil\n * (p.ej. no reventar con `!isFoo` dentro de un string).\n *\n * Cada mutación busca TODAS las posiciones aplicables en el fichero y una\n * `rng` elige una: mismo fichero, misma semilla, mismo caso siempre.\n */\n\nexport interface CandidatoMutacion {\n\tnumeroLinea: number; // 1-based\n\tlineaOriginal: string;\n\tlineaMutada: string;\n}\n\nexport interface Mutacion {\n\tnombre: string;\n\t/** Candidatos aplicables en el fichero (línea original -> línea con el bug). */\n\tcandidatos(lineas: string[]): CandidatoMutacion[];\n}\n\n/**\n * Rangos [inicio, fin) de todo literal de cadena o de expresión regular en la\n * línea. Tokenizador de una pasada, no un parser: basta para decidir si una\n * posición cae DENTRO de un literal, que es todo lo que este módulo necesita.\n *\n * Encontrado auditando: la guarda anterior (`entreComillas`) solo miraba el\n * carácter pegado al match, así que `\"the value is true today\"` mutaba a\n * `\"...is false today\"` — el bug caía en medio de la cadena, no en su borde.\n * Y no cubría literales de regex en absoluto: `/-----BEGIN...KEY-----/`\n * (política de secretos en `core/computer/politica.ts`) se corrompía a\n * `--++-` sin que ninguna guarda lo viera venir.\n */\nfunction rangosDeLiterales(linea: string): Array<[number, number]> {\n\tconst rangos: Array<[number, number]> = [];\n\tlet i = 0;\n\twhile (i < linea.length) {\n\t\tconst ch = linea[i];\n\t\tif (ch === \"'\" || ch === '\"' || ch === \"`\") {\n\t\t\tconst inicio = i;\n\t\t\ti++;\n\t\t\twhile (i < linea.length && linea[i] !== ch) {\n\t\t\t\ti += linea[i] === \"\\\\\" ? 2 : 1;\n\t\t\t}\n\t\t\ti++; // consume la comilla de cierre (o el final de línea si no cierra)\n\t\t\trangos.push([inicio, i]);\n\t\t\tcontinue;\n\t\t}\n\t\tif (ch === \"/\" && linea[i + 1] !== \"/\" && linea[i + 1] !== \"*\") {\n\t\t\t// Heurística estándar de tokenizador: `/` abre regex salvo que el\n\t\t\t// carácter no-espacio anterior sugiera división (identificador,\n\t\t\t// número, `)` o `]`).\n\t\t\tconst anterior = linea.slice(0, i).trimEnd();\n\t\t\tconst esDivision = /[A-Za-z0-9_$)\\]]$/.test(anterior);\n\t\t\tif (!esDivision) {\n\t\t\t\tconst inicio = i;\n\t\t\t\ti++;\n\t\t\t\twhile (i < linea.length && linea[i] !== \"/\") {\n\t\t\t\t\ti += linea[i] === \"\\\\\" ? 2 : 1;\n\t\t\t\t}\n\t\t\t\ti++; // consume el `/` de cierre\n\t\t\t\twhile (i < linea.length && /[a-z]/i.test(linea[i])) i++; // flags\n\t\t\t\trangos.push([inicio, i]);\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t}\n\t\ti++;\n\t}\n\treturn rangos;\n}\n\n/** ¿El rango [inicio, fin) cae dentro de algún literal de cadena o regex de la línea? */\nfunction dentroDeLiteral(linea: string, inicio: number, fin: number): boolean {\n\treturn rangosDeLiterales(linea).some(([a, b]) => inicio < b && fin > a);\n}\n\n/**\n * Para cada línea, ¿es puramente comentario? Cubre `//` (ya cubierto antes)\n * Y `/* ... *\\/` de una o varias líneas — que NO estaba cubierto: una línea\n * JSDoc de una sola línea como `/** If true, ... *\\/` mutaba igual que\n * código real. Simplificación deliberada, igual que el resto del módulo:\n * trata la línea entera como comentario si EMPIEZA por `//` o `/*` tras\n * recortar espacios; no separa código y comentario en la misma línea\n * (`const x = 1; /* nota *\\/`), caso raro en este corpus con biome.\n */\nfunction lineasComentadas(lineas: string[]): boolean[] {\n\tconst resultado: boolean[] = [];\n\tlet dentroDeBloque = false;\n\tfor (const linea of lineas) {\n\t\tconst t = linea.trimStart();\n\t\tif (dentroDeBloque) {\n\t\t\tresultado.push(true);\n\t\t\tif (linea.includes(\"*/\")) dentroDeBloque = false;\n\t\t\tcontinue;\n\t\t}\n\t\tif (t.startsWith(\"//\")) {\n\t\t\tresultado.push(true);\n\t\t\tcontinue;\n\t\t}\n\t\tif (t.startsWith(\"/*\")) {\n\t\t\tresultado.push(true);\n\t\t\tdentroDeBloque = !linea.includes(\"*/\", linea.indexOf(\"/*\") + 2);\n\t\t\tcontinue;\n\t\t}\n\t\tresultado.push(false);\n\t}\n\treturn resultado;\n}\n\nfunction candidatosPorPalabra(lineas: string[], palabra: string, reemplazo: string): CandidatoMutacion[] {\n\tconst re = new RegExp(`(?<![A-Za-z0-9_$])${palabra}(?![A-Za-z0-9_$])`, \"g\");\n\tconst comentadas = lineasComentadas(lineas);\n\tconst salida: CandidatoMutacion[] = [];\n\tlineas.forEach((linea, i) => {\n\t\tif (comentadas[i]) return;\n\t\tfor (const m of linea.matchAll(re)) {\n\t\t\tif (m.index === undefined) continue;\n\t\t\tif (dentroDeLiteral(linea, m.index, m.index + m[0].length)) continue;\n\t\t\tconst mutada = linea.slice(0, m.index) + reemplazo + linea.slice(m.index + m[0].length);\n\t\t\tsalida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });\n\t\t}\n\t});\n\treturn salida;\n}\n\nfunction candidatosPorToken(lineas: string[], token: string, reemplazo: string): CandidatoMutacion[] {\n\tconst comentadas = lineasComentadas(lineas);\n\tconst salida: CandidatoMutacion[] = [];\n\tlineas.forEach((linea, i) => {\n\t\tif (comentadas[i]) return;\n\t\tlet desde = 0;\n\t\tlet idx = linea.indexOf(token, desde);\n\t\twhile (idx !== -1) {\n\t\t\tif (!dentroDeLiteral(linea, idx, idx + token.length)) {\n\t\t\t\tconst mutada = linea.slice(0, idx) + reemplazo + linea.slice(idx + token.length);\n\t\t\t\tsalida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });\n\t\t\t}\n\t\t\tdesde = idx + token.length;\n\t\t\tidx = linea.indexOf(token, desde);\n\t\t}\n\t});\n\treturn salida;\n}\n\nconst invertirBooleano: Mutacion = {\n\tnombre: \"invertir-booleano\",\n\tcandidatos: (lineas) => [\n\t\t...candidatosPorPalabra(lineas, \"true\", \"false\"),\n\t\t...candidatosPorPalabra(lineas, \"false\", \"true\"),\n\t],\n};\n\nconst intercambiarIgualdad: Mutacion = {\n\tnombre: \"intercambiar-igualdad\",\n\tcandidatos: (lineas) => [...candidatosPorToken(lineas, \"===\", \"!==\"), ...candidatosPorToken(lineas, \"!==\", \"===\")],\n};\n\nconst intercambiarLogico: Mutacion = {\n\tnombre: \"intercambiar-logico\",\n\tcandidatos: (lineas) => [...candidatosPorToken(lineas, \"&&\", \"||\"), ...candidatosPorToken(lineas, \"||\", \"&&\")],\n};\n\nconst intercambiarNullish: Mutacion = {\n\tnombre: \"intercambiar-nullish\",\n\tcandidatos: (lineas) => candidatosPorToken(lineas, \"??\", \"||\"),\n};\n\nconst intercambiarIncremento: Mutacion = {\n\tnombre: \"intercambiar-incremento\",\n\tcandidatos: (lineas) => [...candidatosPorToken(lineas, \"++\", \"--\"), ...candidatosPorToken(lineas, \"--\", \"++\")],\n};\n\n/** `!identificador` -> `identificador`. Nunca toca `!=`/`!==` porque esos ya llevan un `=` detrás. */\nconst quitarNegacion: Mutacion = {\n\tnombre: \"quitar-negacion\",\n\tcandidatos: (lineas) => {\n\t\tconst re = /(?<![=!])!(?=[A-Za-z_$(])/g;\n\t\tconst comentadas = lineasComentadas(lineas);\n\t\tconst salida: CandidatoMutacion[] = [];\n\t\tlineas.forEach((linea, i) => {\n\t\t\tif (comentadas[i]) return;\n\t\t\tfor (const m of linea.matchAll(re)) {\n\t\t\t\tif (m.index === undefined) continue;\n\t\t\t\tif (dentroDeLiteral(linea, m.index, m.index + 1)) continue;\n\t\t\t\tconst mutada = linea.slice(0, m.index) + linea.slice(m.index + 1);\n\t\t\t\tsalida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });\n\t\t\t}\n\t\t});\n\t\treturn salida;\n\t},\n};\n\n/** Literal entero aislado (ni parte de un identificador ni de un decimal) +1. */\nconst offByOne: Mutacion = {\n\tnombre: \"off-by-one\",\n\tcandidatos: (lineas) => {\n\t\tconst re = /(?<![\\w.])(\\d+)(?![\\w.])/g;\n\t\tconst comentadas = lineasComentadas(lineas);\n\t\tconst salida: CandidatoMutacion[] = [];\n\t\tlineas.forEach((linea, i) => {\n\t\t\tif (comentadas[i]) return;\n\t\t\tfor (const m of linea.matchAll(re)) {\n\t\t\t\tif (m.index === undefined) continue;\n\t\t\t\tif (dentroDeLiteral(linea, m.index, m.index + m[0].length)) continue;\n\t\t\t\tconst valor = Number(m[1]);\n\t\t\t\tconst mutada = `${linea.slice(0, m.index)}${valor + 1}${linea.slice(m.index + m[0].length)}`;\n\t\t\t\tsalida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });\n\t\t\t}\n\t\t});\n\t\treturn salida;\n\t},\n};\n\nexport const TODAS_LAS_MUTACIONES: Mutacion[] = [\n\tinvertirBooleano,\n\tintercambiarIgualdad,\n\tintercambiarLogico,\n\tintercambiarNullish,\n\tintercambiarIncremento,\n\tquitarNegacion,\n\toffByOne,\n];\n"]}