@hoilab/ada-cli 0.84.21 → 0.85.0

package/dist/cli/audit-command.js

@@ -0,0 +1,280 @@
+/**
+ * `ada-cli audit` — el libro de sesión desde la línea de comandos.
+ *
+ * El libro (`core/audit/libro.ts`) registra qué hizo el agente en una cadena de
+ * hashes. Sin una superficie que lo lea, es un fichero que nadie mira: quien
+ * tiene que responder a una auditoría necesita poder enseñar la verificación,
+ * no fiarse de que existe.
+ *
+ * Tres estados que hay que distinguir y que es fácil confundir en uno:
+ * no hay libro · el libro está vacío · el libro está alterado. Un mensaje que
+ * sale siempre no distingue una instalación nueva de una manipulada.
+ */
+import { writeFile } from "node:fs/promises";
+import { informeParaDpo } from "../core/audit/exportacion.js";
+import { LibroDeSesion } from "../core/audit/libro.js";
+/**
+ * Tope de la exportación.
+ *
+ * Existe porque `leer` necesita uno, no porque queramos recortar. Si se alcanza,
+ * el informe lo dice y deja de afirmar ausencias: sobre una lectura truncada,
+ * "no hubo transferencias" sería mentira.
+ */
+const TOPE_EXPORT = 100_000;
+const AYUDA = `Uso:
+  ada-cli audit verify              Reverifica la cadena de hashes del libro
+  ada-cli audit show [--limit N]    Enseña las últimas entradas (por defecto 20)
+  ada-cli audit export [--out F]    Informe para un DPO en Markdown (por defecto, a la salida estándar)
+  ada-cli audit purge --dias N --politica "texto" [--dry-run]
+                                    Purga lo anterior al corte DEJANDO CONSTANCIA (art. 5.1.e RGPD).
+                                    También --antes-de AAAA-MM-DD.
+
+El libro registra qué HIZO el agente —tools, comandos, llamadas al modelo,
+ficheros tocados y salidas a la red— en una cadena donde cada entrada lleva
+el hash de la anterior, así que alterar un registro se detecta al reverificar.
+
+Guarda la forma, no el contenido: del fichero, su hash antes y después,
+nunca el texto.
+
+verify contesta tres estados y no dos: cadena íntegra, cadena alterada y
+FALTA algo que debería estar. Lo último lo sabe por el índice, que guarda un
+enlace duro a cada fichero de sesión, así que borrar sesion/ ya no deja un
+libro valido y vacio.`;
+/** Formatea un suceso en una línea legible. */
+function describir(suceso) {
+    switch (suceso.tipo) {
+        case "modelo": {
+            const coste = typeof suceso.coste === "number" && suceso.coste > 0 ? `  ${suceso.coste.toFixed(4)} $` : "";
+            return `modelo   ${suceso.proveedor}/${suceso.modelo}  ${suceso.entrada}→${suceso.salida} tok${coste}  ${suceso.motivoParada ?? ""}`;
+        }
+        case "comando": {
+            const argv = Array.isArray(suceso.argv) ? suceso.argv.join(" ") : "";
+            const encierro = suceso.sandbox ? `  [${suceso.sandbox}]` : "";
+            // Sin origen se asume "agente": es lo que escribía el bash tool antes
+            // de que existiera la terminal del usuario, y no hay que reetiquetar
+            // entradas antiguas para que sigan leyéndose bien.
+            // Y `extension` es el tercero: código de terceros cargado en el proceso,
+            // que no es ni el modelo ni la persona. Sin la ruta no es accionable —
+            // un "lo hizo una extensión" sin decir cuál no se puede investigar.
+            const origen = suceso.origen === "usuario"
+                ? "  [usuario]"
+                : suceso.origen === "extension"
+                    ? `  [extension ${suceso.extension ?? "?"}]`
+                    : "";
+            return `comando  ${argv.slice(0, 70)}  →${suceso.codigo}${encierro}${origen}`;
+        }
+        case "fichero":
+            return `fichero  ${suceso.ruta}  ${suceso.antes ?? "(nuevo)"}→${suceso.despues ?? "(borrado)"}  vía ${suceso.tool}`;
+        case "red":
+            return `red      ${suceso.dominio}  ${suceso.permitido ? "permitido" : "DENEGADO"}${suceso.motivo ? `  ${suceso.motivo}` : ""}`;
+        default: {
+            const decision = suceso.decision ? `  (${suceso.decision})` : "";
+            return `tool     ${suceso.nombre}  ${suceso.ok ? "ok" : "ERROR"}${decision}`;
+        }
+    }
+}
+function linea(entrada) {
+    const hora = entrada.ts.slice(11, 19);
+    return `#${String(entrada.seq).padStart(3)}  ${hora}  ${describir(entrada.suceso)}`;
+}
+/** Devuelve true si consumió los argumentos. */
+export async function runAuditCommand(args, agentDir) {
+    if (args[0] !== "audit")
+        return false;
+    if (args.includes("--help") || args.includes("-h") || args.length === 1) {
+        console.log(AYUDA);
+        return true;
+    }
+    const libro = new LibroDeSesion(agentDir, "cli");
+    const sub = args[1];
+    if (sub === "verify") {
+        const veredicto = await libro.verificar();
+        // Lo que FALTA va PRIMERO, antes que «vacío» y antes que «íntegra».
+        //
+        // Es el estado que no existía y por el que se abrió este arreglo: borrado
+        // el fichero del libro, esto contestaba «el libro está vacío» y salía con
+        // código 0 — indistinguible de una instalación nueva. Un fichero que el
+        // índice recuerda y ya no está no es «nada»: es una ausencia, y se cuenta.
+        if (veredicto.faltan?.length) {
+            const entradas = veredicto.faltan.reduce((n, f) => n + f.entradas, 0);
+            console.error(`FALTAN ${veredicto.faltan.length} fichero(s) del libro con ${entradas} entrada(s): alguien los ha borrado de sesion/.`);
+            for (const f of veredicto.faltan)
+                console.error(`  sesion/${f.fichero}  ${f.entradas} entrada(s)`);
+            // Se dice que se pueden recuperar porque se puede: el índice no es una
+            // copia de metadatos, es un enlace duro al mismo fichero.
+            console.error("El índice conserva su contenido: ada-cli audit show los sigue enseñando.");
+            if (veredicto.motivo)
+                console.error(`Y además: ${veredicto.motivo}.`);
+            process.exitCode = 1;
+            return true;
+        }
+        // El tercer estado, y va antes que «íntegra» por la misma razón que
+        // `faltan`: si sale después, no sale. Ni acusa ni absuelve, porque desde el
+        // fichero no se puede hacer ninguna de las dos cosas.
+        if (veredicto.reinicios?.length) {
+            console.error(`La cadena vuelve a empezar en ${veredicto.reinicios.length} sitio(s) dentro de un mismo fichero:`);
+            for (const r of veredicto.reinicios) {
+                console.error(`  sesion/${r.fichero}  tras ${r.entradasAntes} entrada(s), en la del ${r.ts}`);
+            }
+            console.error("Lo produce un reinicio del proceso, y lo produce igual quien quite entradas\n" +
+                "del medio y escriba una cadena nueva: desde el fichero no se distinguen.\n" +
+                "Lo verificado sigue verificado; lo que no se puede afirmar es que no falte nada.");
+            process.exitCode = 1;
+        }
+        // Las purgas se dicen SIEMPRE, tanto si la cadena está íntegra como si no.
+        // Un libro con menos entradas de las que tuvo y ninguna explicación a la
+        // vista es indistinguible de uno al que le han quitado cosas.
+        if (veredicto.purgados?.length) {
+            const entradas = veredicto.purgados.reduce((n, f) => n + f.entradas, 0);
+            console.log(`Purgadas ${entradas} entrada(s) en ${veredicto.purgados.length} fichero(s), con constancia en el libro:`);
+            for (const f of veredicto.purgados) {
+                console.log(`  ${f.fichero}  ${f.entradas} entrada(s)  política: ${f.politica}`);
+            }
+        }
+        if (veredicto.sinAncla?.length) {
+            // Ni bien ni mal: el tercer estado de verdad. Son libros escritos antes
+            // de que existiera el índice. Decirlo con la palabra «alterado» habría
+            // hecho gritar a toda instalación que se actualice.
+            console.log(`Nota: ${veredicto.sinAncla.length} fichero(s) sin ancla en el índice (escritos antes de que existiera). Su desaparición no se podría detectar.`);
+        }
+        if (veredicto.comprobadas === 0 && veredicto.valido) {
+            // Ni roto ni sano: no hay nada. Decirlo así evita el "todo correcto"
+            // que tranquiliza sobre un libro que no existe.
+            console.log("El libro está vacío: este agente aún no ha registrado nada.");
+            return true;
+        }
+        if (veredicto.valido) {
+            console.log(`Cadena íntegra: ${veredicto.comprobadas} entradas verificadas.`);
+            return true;
+        }
+        console.error(`CADENA ALTERADA tras ${veredicto.comprobadas} entradas correctas` +
+            (veredicto.alteradaEn ? `, en la del ${veredicto.alteradaEn}` : "") +
+            (veredicto.motivo ? `\n  motivo: ${veredicto.motivo}` : "") +
+            (veredicto.ficheroAlterado ? `\n  fichero: sesion/${veredicto.ficheroAlterado}` : "."));
+        console.error("Las entradas anteriores a esa siguen siendo fiables; a partir de ahí, no.");
+        process.exitCode = 1;
+        return true;
+    }
+    if (sub === "show") {
+        const i = args.indexOf("--limit");
+        const limite = i >= 0 ? Number(args[i + 1]) : 20;
+        if (!Number.isFinite(limite) || limite <= 0) {
+            console.error("--limit necesita un número positivo.");
+            process.exitCode = 1;
+            return true;
+        }
+        const entradas = await libro.leer(limite);
+        if (entradas.length === 0) {
+            console.log("El libro está vacío: este agente aún no ha registrado nada.");
+            return true;
+        }
+        for (const entrada of entradas)
+            console.log(linea(entrada));
+        // La verificación va DESPUÉS de listar: quien mira quiere ver las
+        // entradas aunque la cadena esté rota, y saber que lo está.
+        const veredicto = await libro.verificar();
+        if (!veredicto.valido) {
+            const faltan = veredicto.faltan?.length
+                ? `; FALTAN ${veredicto.faltan.length} fichero(s) borrados de sesion/, recuperados del índice`
+                : "";
+            console.error(`\n⚠ El libro NO verifica (${veredicto.comprobadas} entradas correctas${faltan}). Detalle: ada-cli audit verify`);
+            process.exitCode = 1;
+        }
+        return true;
+    }
+    if (sub === "export") {
+        // `leer` da las entradas de la más reciente hacia atrás; el informe las
+        // quiere en orden cronológico, que es como se lee un registro.
+        const recientesPrimero = await libro.leer(TOPE_EXPORT);
+        const entradas = [...recientesPrimero].reverse();
+        const veredicto = await libro.verificar();
+        const informe = informeParaDpo(entradas, veredicto, recientesPrimero.length >= TOPE_EXPORT);
+        const i = args.indexOf("--out");
+        const destino = i >= 0 ? args[i + 1] : undefined;
+        if (i >= 0 && !destino) {
+            console.error("--out necesita una ruta de fichero.");
+            process.exitCode = 1;
+            return true;
+        }
+        if (destino) {
+            await writeFile(destino, informe, "utf-8");
+            console.log(`Informe escrito en ${destino} (${entradas.length} entrada(s)).`);
+        }
+        else {
+            console.log(informe);
+        }
+        // La cadena rota NO impide exportar —el informe lo dice dentro y es
+        // justo lo que hay que poder enseñar—, pero sí sale con código 1: quien
+        // automatice la exportación tiene que enterarse sin leer el Markdown.
+        if (!veredicto.valido)
+            process.exitCode = 1;
+        return true;
+    }
+    if (sub === "purge" || sub === "purgar") {
+        // El art. 5.1.e del RGPD obliga a no conservar más de lo necesario, así que
+        // un DPO TIENE que poder borrar lo viejo. Hasta ahora el único camino era
+        // `rm`, y las dos formas de hacerlo salían mal: borrar `sesion/` hacía que
+        // `verify` acusara de manipulación, y borrar también el índice hacía
+        // desaparecer la purga sin rastro. Ver `core/audit/retencion.ts`.
+        const iDias = args.indexOf("--dias");
+        const iAntes = args.indexOf("--antes-de");
+        if (iDias < 0 && iAntes < 0) {
+            console.error("Falta el corte: --dias N (purga lo anterior a hace N días) o --antes-de AAAA-MM-DD.\n" +
+                "No hay valor por defecto a propósito: un borrado que se decide solo no es una política de retención.");
+            process.exitCode = 1;
+            return true;
+        }
+        let corte;
+        if (iAntes >= 0) {
+            corte = new Date(`${args[iAntes + 1]}T00:00:00Z`);
+            if (Number.isNaN(corte.getTime())) {
+                console.error(`--antes-de necesita una fecha AAAA-MM-DD (recibido: ${args[iAntes + 1] ?? "nada"}).`);
+                process.exitCode = 1;
+                return true;
+            }
+        }
+        else {
+            const dias = Number(args[iDias + 1]);
+            if (!Number.isFinite(dias) || dias < 0) {
+                console.error(`--dias necesita un número de días (recibido: ${args[iDias + 1] ?? "nada"}).`);
+                process.exitCode = 1;
+                return true;
+            }
+            corte = new Date(Date.now() - dias * 86_400_000);
+        }
+        const iPol = args.indexOf("--politica");
+        const politica = iPol >= 0 ? args[iPol + 1] : undefined;
+        if (!politica) {
+            // La política no es decoración: es lo que convierte el borrado en un
+            // hecho justificable delante de un auditor. Sin ella, la lápida diría
+            // «se purgó» y no «se purgó porque».
+            console.error('Falta --politica "texto": bajo qué regla se purga (p. ej. "retención 90 días, art. 5.1.e RGPD").\n' +
+                "Queda escrito en el libro, que es lo que hace la purga defendible.");
+            process.exitCode = 1;
+            return true;
+        }
+        const seco = args.includes("--dry-run") || args.includes("--simular");
+        const { purgarAntesDe } = await import("../core/audit/retencion.js");
+        const r = await purgarAntesDe(libro, agentDir, corte, politica, seco);
+        console.log(`${seco ? "Se purgarían" : "Purgados"} ${r.purgados.length} fichero(s) anteriores a ${corte.toISOString().slice(0, 10)}.`);
+        for (const l of r.purgados) {
+            console.log(`  ${l.fichero}  ${l.entradas} entrada(s)  ${l.desde.slice(0, 10)} → ${l.hasta.slice(0, 10)}`);
+        }
+        for (const c of r.conservados)
+            console.log(`  (conservado) ${c.fichero}: ${c.porque}`);
+        if (seco) {
+            console.log("\nSimulación: no se ha tocado nada. Repite sin --dry-run para purgar.");
+            return true;
+        }
+        if (r.purgados.length > 0) {
+            console.log(`\nCada purga ha quedado anotada en el libro bajo la política "${politica}".` +
+                "\n`audit verify` las cuenta como huecos EXPLICADOS, no como manipulación.");
+        }
+        return true;
+    }
+    console.error(`Subcomando desconocido: ${sub}\n`);
+    console.log(AYUDA);
+    process.exitCode = 1;
+    return true;
+}
+//# sourceMappingURL=audit-command.js.map

package/dist/cli/audit-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-command.js","sourceRoot":"","sources":["../../src/cli/audit-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,WAAW,GAAG,OAAO,CAAC;AAE5B,MAAM,KAAK,GAAG;;;;;;;;;;;;;;;;;;sBAkBQ,CAAC;AAEvB,gDAA+C;AAC/C,SAAS,SAAS,CAAC,MAA+B,EAAU;IAC3D,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,QAAQ,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3G,OAAO,YAAY,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,OAAO,MAAI,MAAM,CAAC,MAAM,OAAO,KAAK,KAAK,MAAM,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACtI,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,uEAAsE;YACtE,qEAAqE;YACrE,oDAAmD;YACnD,0EAAyE;YACzE,yEAAuE;YACvE,sEAAoE;YACpE,MAAM,MAAM,GACX,MAAM,CAAC,MAAM,KAAK,SAAS;gBAC1B,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW;oBAC9B,CAAC,CAAC,gBAAgB,MAAM,CAAC,SAAS,IAAI,GAAG,GAAG;oBAC5C,CAAC,CAAC,EAAE,CAAC;YACR,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,QAAM,MAAM,CAAC,MAAM,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAC;QAC/E,CAAC;QACD,KAAK,SAAS;YACb,OAAO,YAAY,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,IAAI,SAAS,MAAI,MAAM,CAAC,OAAO,IAAI,WAAW,UAAS,MAAM,CAAC,IAAI,EAAE,CAAC;QACrH,KAAK,KAAK;YACT,OAAO,YAAY,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACjI,SAAS,CAAC;YACT,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,OAAO,YAAY,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,QAAQ,EAAE,CAAC;QAC9E,CAAC;IACF,CAAC;AAAA,CACD;AAED,SAAS,KAAK,CAAC,OAAwB,EAAU;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACtC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;AAAA,CACpF;AAED,iDAAgD;AAChD,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAc,EAAE,QAAgB,EAAoB;IACzF,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAEtC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAEpB,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,CAAC;QAE1C,0EAAoE;QACpE,EAAE;QACF,4EAA0E;QAC1E,+EAA0E;QAC1E,4EAAwE;QACxE,+EAA2E;QAC3E,IAAI,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACtE,OAAO,CAAC,KAAK,CACZ,UAAU,SAAS,CAAC,MAAM,CAAC,MAAM,6BAA6B,QAAQ,iDAAiD,CACvH,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,QAAQ,aAAa,CAAC,CAAC;YACnG,wEAAuE;YACvE,0DAA0D;YAC1D,OAAO,CAAC,KAAK,CAAC,4EAA0E,CAAC,CAAC;YAC1F,IAAI,SAAS,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,cAAa,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;YACtE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACb,CAAC;QAED,wEAAoE;QACpE,6EAA4E;QAC5E,sDAAsD;QACtD,IAAI,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YACjC,OAAO,CAAC,KAAK,CACZ,iCAAiC,SAAS,CAAC,SAAS,CAAC,MAAM,uCAAuC,CAClG,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;gBACrC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,aAAa,0BAA0B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/F,CAAC;YACD,OAAO,CAAC,KAAK,CACZ,+EAA+E;gBAC9E,4EAA4E;gBAC5E,kFAAkF,CACnF,CAAC;YACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACtB,CAAC;QAED,6EAA2E;QAC3E,0EAAyE;QACzE,8DAA8D;QAC9D,IAAI,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACxE,OAAO,CAAC,GAAG,CACV,YAAY,QAAQ,kBAAkB,SAAS,CAAC,QAAQ,CAAC,MAAM,0CAA0C,CACzG,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,QAAQ,2BAA0B,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClF,CAAC;QACF,CAAC;QAED,IAAI,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;YAChC,wEAAwE;YACxE,2EAAuE;YACvE,qDAAoD;YACpD,OAAO,CAAC,GAAG,CACV,SAAS,SAAS,CAAC,QAAQ,CAAC,MAAM,iHAA8G,CAChJ,CAAC;QACH,CAAC;QAED,IAAI,SAAS,CAAC,WAAW,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACrD,sEAAqE;YACrE,gDAAgD;YAChD,OAAO,CAAC,GAAG,CAAC,gEAA6D,CAAC,CAAC;YAC3E,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,oBAAmB,SAAS,CAAC,WAAW,wBAAwB,CAAC,CAAC;YAC9E,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,CAAC,KAAK,CACZ,wBAAwB,SAAS,CAAC,WAAW,qBAAqB;YACjE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,uBAAuB,SAAS,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CACvF,CAAC;QACF,OAAO,CAAC,KAAK,CAAC,4EAA2E,CAAC,CAAC;QAC3F,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,CAAC,KAAK,CAAC,uCAAsC,CAAC,CAAC;YACtD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,gEAA6D,CAAC,CAAC;YAC3E,OAAO,IAAI,CAAC;QACb,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5D,oEAAkE;QAClE,8DAA4D;QAC5D,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM;gBACtC,CAAC,CAAC,YAAY,SAAS,CAAC,MAAM,CAAC,MAAM,0DAAyD;gBAC9F,CAAC,CAAC,EAAE,CAAC;YACN,OAAO,CAAC,KAAK,CACZ,+BAA6B,SAAS,CAAC,WAAW,sBAAsB,MAAM,kCAAkC,CAChH,CAAC;YACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACtB,0EAAwE;QACxE,gEAA+D;QAC/D,MAAM,gBAAgB,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC;QAE5F,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACrD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACb,MAAM,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,sBAAsB,OAAO,KAAK,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC;QAC/E,CAAC;aAAM,CAAC;YACP,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;QACD,sEAAoE;QACpE,6EAAwE;QACxE,uEAAsE;QACtE,IAAI,CAAC,SAAS,CAAC,MAAM;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACzC,8EAA4E;QAC5E,2EAA0E;QAC1E,6EAA2E;QAC3E,yEAAqE;QACrE,kEAAkE;QAClE,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,KAAK,CACZ,wFAAuF;gBACtF,yGAAsG,CACvG,CAAC;YACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,KAAW,CAAC;QAChB,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YACjB,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;YAClD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,KAAK,CAAC,uDAAuD,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC;gBACrG,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC;YACb,CAAC;QACF,CAAC;aAAM,CAAC;YACP,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,CAAC,KAAK,CAAC,kDAAgD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC;gBAC7F,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC;YACb,CAAC;YACD,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,UAAU,CAAC,CAAC;QAClD,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,uEAAqE;YACrE,wEAAsE;YACtE,2CAAqC;YACrC,OAAO,CAAC,KAAK,CACZ,uGAAoG;gBACnG,oEAAoE,CACrE,CAAC;YACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACb,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtE,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,4BAA4B,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACtE,OAAO,CAAC,GAAG,CACV,GAAG,IAAI,CAAC,CAAC,CAAC,eAAc,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,4BAA4B,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CACzH,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,QAAQ,gBAAgB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,QAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5G,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;YAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACvF,IAAI,IAAI,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,wEAAuE,CAAC,CAAC;YACrF,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CACV,kEAAiE,QAAQ,IAAI;gBAC5E,4EAA2E,CAC5E,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,2BAA2B,GAAG,IAAI,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACrB,OAAO,IAAI,CAAC;AAAA,CACZ","sourcesContent":["/**\n * `ada-cli audit` — el libro de sesión desde la línea de comandos.\n *\n * El libro (`core/audit/libro.ts`) registra qué hizo el agente en una cadena de\n * hashes. Sin una superficie que lo lea, es un fichero que nadie mira: quien\n * tiene que responder a una auditoría necesita poder enseñar la verificación,\n * no fiarse de que existe.\n *\n * Tres estados que hay que distinguir y que es fácil confundir en uno:\n * no hay libro · el libro está vacío · el libro está alterado. Un mensaje que\n * sale siempre no distingue una instalación nueva de una manipulada.\n */\n\nimport { writeFile } from \"node:fs/promises\";\nimport { informeParaDpo } from \"../core/audit/exportacion.ts\";\nimport type { EntradaDelLibro } from \"../core/audit/libro.ts\";\nimport { LibroDeSesion } from \"../core/audit/libro.ts\";\n\n/**\n * Tope de la exportación.\n *\n * Existe porque `leer` necesita uno, no porque queramos recortar. Si se alcanza,\n * el informe lo dice y deja de afirmar ausencias: sobre una lectura truncada,\n * \"no hubo transferencias\" sería mentira.\n */\nconst TOPE_EXPORT = 100_000;\n\nconst AYUDA = `Uso:\n  ada-cli audit verify              Reverifica la cadena de hashes del libro\n  ada-cli audit show [--limit N]    Enseña las últimas entradas (por defecto 20)\n  ada-cli audit export [--out F]    Informe para un DPO en Markdown (por defecto, a la salida estándar)\n  ada-cli audit purge --dias N --politica \"texto\" [--dry-run]\n                                    Purga lo anterior al corte DEJANDO CONSTANCIA (art. 5.1.e RGPD).\n                                    También --antes-de AAAA-MM-DD.\n\nEl libro registra qué HIZO el agente —tools, comandos, llamadas al modelo,\nficheros tocados y salidas a la red— en una cadena donde cada entrada lleva\nel hash de la anterior, así que alterar un registro se detecta al reverificar.\n\nGuarda la forma, no el contenido: del fichero, su hash antes y después,\nnunca el texto.\n\nverify contesta tres estados y no dos: cadena íntegra, cadena alterada y\nFALTA algo que debería estar. Lo último lo sabe por el índice, que guarda un\nenlace duro a cada fichero de sesión, así que borrar sesion/ ya no deja un\nlibro valido y vacio.`;\n\n/** Formatea un suceso en una línea legible. */\nfunction describir(suceso: Record<string, unknown>): string {\n\tswitch (suceso.tipo) {\n\t\tcase \"modelo\": {\n\t\t\tconst coste = typeof suceso.coste === \"number\" && suceso.coste > 0 ? `  ${suceso.coste.toFixed(4)} $` : \"\";\n\t\t\treturn `modelo   ${suceso.proveedor}/${suceso.modelo}  ${suceso.entrada}→${suceso.salida} tok${coste}  ${suceso.motivoParada ?? \"\"}`;\n\t\t}\n\t\tcase \"comando\": {\n\t\t\tconst argv = Array.isArray(suceso.argv) ? suceso.argv.join(\" \") : \"\";\n\t\t\tconst encierro = suceso.sandbox ? `  [${suceso.sandbox}]` : \"\";\n\t\t\t// Sin origen se asume \"agente\": es lo que escribía el bash tool antes\n\t\t\t// de que existiera la terminal del usuario, y no hay que reetiquetar\n\t\t\t// entradas antiguas para que sigan leyéndose bien.\n\t\t\t// Y `extension` es el tercero: código de terceros cargado en el proceso,\n\t\t\t// que no es ni el modelo ni la persona. Sin la ruta no es accionable —\n\t\t\t// un \"lo hizo una extensión\" sin decir cuál no se puede investigar.\n\t\t\tconst origen =\n\t\t\t\tsuceso.origen === \"usuario\"\n\t\t\t\t\t? \"  [usuario]\"\n\t\t\t\t\t: suceso.origen === \"extension\"\n\t\t\t\t\t\t? `  [extension ${suceso.extension ?? \"?\"}]`\n\t\t\t\t\t\t: \"\";\n\t\t\treturn `comando  ${argv.slice(0, 70)}  →${suceso.codigo}${encierro}${origen}`;\n\t\t}\n\t\tcase \"fichero\":\n\t\t\treturn `fichero  ${suceso.ruta}  ${suceso.antes ?? \"(nuevo)\"}→${suceso.despues ?? \"(borrado)\"}  vía ${suceso.tool}`;\n\t\tcase \"red\":\n\t\t\treturn `red      ${suceso.dominio}  ${suceso.permitido ? \"permitido\" : \"DENEGADO\"}${suceso.motivo ? `  ${suceso.motivo}` : \"\"}`;\n\t\tdefault: {\n\t\t\tconst decision = suceso.decision ? `  (${suceso.decision})` : \"\";\n\t\t\treturn `tool     ${suceso.nombre}  ${suceso.ok ? \"ok\" : \"ERROR\"}${decision}`;\n\t\t}\n\t}\n}\n\nfunction linea(entrada: EntradaDelLibro): string {\n\tconst hora = entrada.ts.slice(11, 19);\n\treturn `#${String(entrada.seq).padStart(3)}  ${hora}  ${describir(entrada.suceso)}`;\n}\n\n/** Devuelve true si consumió los argumentos. */\nexport async function runAuditCommand(args: string[], agentDir: string): Promise<boolean> {\n\tif (args[0] !== \"audit\") return false;\n\n\tif (args.includes(\"--help\") || args.includes(\"-h\") || args.length === 1) {\n\t\tconsole.log(AYUDA);\n\t\treturn true;\n\t}\n\n\tconst libro = new LibroDeSesion(agentDir, \"cli\");\n\tconst sub = args[1];\n\n\tif (sub === \"verify\") {\n\t\tconst veredicto = await libro.verificar();\n\n\t\t// Lo que FALTA va PRIMERO, antes que «vacío» y antes que «íntegra».\n\t\t//\n\t\t// Es el estado que no existía y por el que se abrió este arreglo: borrado\n\t\t// el fichero del libro, esto contestaba «el libro está vacío» y salía con\n\t\t// código 0 — indistinguible de una instalación nueva. Un fichero que el\n\t\t// índice recuerda y ya no está no es «nada»: es una ausencia, y se cuenta.\n\t\tif (veredicto.faltan?.length) {\n\t\t\tconst entradas = veredicto.faltan.reduce((n, f) => n + f.entradas, 0);\n\t\t\tconsole.error(\n\t\t\t\t`FALTAN ${veredicto.faltan.length} fichero(s) del libro con ${entradas} entrada(s): alguien los ha borrado de sesion/.`,\n\t\t\t);\n\t\t\tfor (const f of veredicto.faltan) console.error(`  sesion/${f.fichero}  ${f.entradas} entrada(s)`);\n\t\t\t// Se dice que se pueden recuperar porque se puede: el índice no es una\n\t\t\t// copia de metadatos, es un enlace duro al mismo fichero.\n\t\t\tconsole.error(\"El índice conserva su contenido: ada-cli audit show los sigue enseñando.\");\n\t\t\tif (veredicto.motivo) console.error(`Y además: ${veredicto.motivo}.`);\n\t\t\tprocess.exitCode = 1;\n\t\t\treturn true;\n\t\t}\n\n\t\t// El tercer estado, y va antes que «íntegra» por la misma razón que\n\t\t// `faltan`: si sale después, no sale. Ni acusa ni absuelve, porque desde el\n\t\t// fichero no se puede hacer ninguna de las dos cosas.\n\t\tif (veredicto.reinicios?.length) {\n\t\t\tconsole.error(\n\t\t\t\t`La cadena vuelve a empezar en ${veredicto.reinicios.length} sitio(s) dentro de un mismo fichero:`,\n\t\t\t);\n\t\t\tfor (const r of veredicto.reinicios) {\n\t\t\t\tconsole.error(`  sesion/${r.fichero}  tras ${r.entradasAntes} entrada(s), en la del ${r.ts}`);\n\t\t\t}\n\t\t\tconsole.error(\n\t\t\t\t\"Lo produce un reinicio del proceso, y lo produce igual quien quite entradas\\n\" +\n\t\t\t\t\t\"del medio y escriba una cadena nueva: desde el fichero no se distinguen.\\n\" +\n\t\t\t\t\t\"Lo verificado sigue verificado; lo que no se puede afirmar es que no falte nada.\",\n\t\t\t);\n\t\t\tprocess.exitCode = 1;\n\t\t}\n\n\t\t// Las purgas se dicen SIEMPRE, tanto si la cadena está íntegra como si no.\n\t\t// Un libro con menos entradas de las que tuvo y ninguna explicación a la\n\t\t// vista es indistinguible de uno al que le han quitado cosas.\n\t\tif (veredicto.purgados?.length) {\n\t\t\tconst entradas = veredicto.purgados.reduce((n, f) => n + f.entradas, 0);\n\t\t\tconsole.log(\n\t\t\t\t`Purgadas ${entradas} entrada(s) en ${veredicto.purgados.length} fichero(s), con constancia en el libro:`,\n\t\t\t);\n\t\t\tfor (const f of veredicto.purgados) {\n\t\t\t\tconsole.log(`  ${f.fichero}  ${f.entradas} entrada(s)  política: ${f.politica}`);\n\t\t\t}\n\t\t}\n\n\t\tif (veredicto.sinAncla?.length) {\n\t\t\t// Ni bien ni mal: el tercer estado de verdad. Son libros escritos antes\n\t\t\t// de que existiera el índice. Decirlo con la palabra «alterado» habría\n\t\t\t// hecho gritar a toda instalación que se actualice.\n\t\t\tconsole.log(\n\t\t\t\t`Nota: ${veredicto.sinAncla.length} fichero(s) sin ancla en el índice (escritos antes de que existiera). Su desaparición no se podría detectar.`,\n\t\t\t);\n\t\t}\n\n\t\tif (veredicto.comprobadas === 0 && veredicto.valido) {\n\t\t\t// Ni roto ni sano: no hay nada. Decirlo así evita el \"todo correcto\"\n\t\t\t// que tranquiliza sobre un libro que no existe.\n\t\t\tconsole.log(\"El libro está vacío: este agente aún no ha registrado nada.\");\n\t\t\treturn true;\n\t\t}\n\t\tif (veredicto.valido) {\n\t\t\tconsole.log(`Cadena íntegra: ${veredicto.comprobadas} entradas verificadas.`);\n\t\t\treturn true;\n\t\t}\n\t\tconsole.error(\n\t\t\t`CADENA ALTERADA tras ${veredicto.comprobadas} entradas correctas` +\n\t\t\t\t(veredicto.alteradaEn ? `, en la del ${veredicto.alteradaEn}` : \"\") +\n\t\t\t\t(veredicto.motivo ? `\\n  motivo: ${veredicto.motivo}` : \"\") +\n\t\t\t\t(veredicto.ficheroAlterado ? `\\n  fichero: sesion/${veredicto.ficheroAlterado}` : \".\"),\n\t\t);\n\t\tconsole.error(\"Las entradas anteriores a esa siguen siendo fiables; a partir de ahí, no.\");\n\t\tprocess.exitCode = 1;\n\t\treturn true;\n\t}\n\n\tif (sub === \"show\") {\n\t\tconst i = args.indexOf(\"--limit\");\n\t\tconst limite = i >= 0 ? Number(args[i + 1]) : 20;\n\t\tif (!Number.isFinite(limite) || limite <= 0) {\n\t\t\tconsole.error(\"--limit necesita un número positivo.\");\n\t\t\tprocess.exitCode = 1;\n\t\t\treturn true;\n\t\t}\n\t\tconst entradas = await libro.leer(limite);\n\t\tif (entradas.length === 0) {\n\t\t\tconsole.log(\"El libro está vacío: este agente aún no ha registrado nada.\");\n\t\t\treturn true;\n\t\t}\n\t\tfor (const entrada of entradas) console.log(linea(entrada));\n\t\t// La verificación va DESPUÉS de listar: quien mira quiere ver las\n\t\t// entradas aunque la cadena esté rota, y saber que lo está.\n\t\tconst veredicto = await libro.verificar();\n\t\tif (!veredicto.valido) {\n\t\t\tconst faltan = veredicto.faltan?.length\n\t\t\t\t? `; FALTAN ${veredicto.faltan.length} fichero(s) borrados de sesion/, recuperados del índice`\n\t\t\t\t: \"\";\n\t\t\tconsole.error(\n\t\t\t\t`\\n⚠ El libro NO verifica (${veredicto.comprobadas} entradas correctas${faltan}). Detalle: ada-cli audit verify`,\n\t\t\t);\n\t\t\tprocess.exitCode = 1;\n\t\t}\n\t\treturn true;\n\t}\n\n\tif (sub === \"export\") {\n\t\t// `leer` da las entradas de la más reciente hacia atrás; el informe las\n\t\t// quiere en orden cronológico, que es como se lee un registro.\n\t\tconst recientesPrimero = await libro.leer(TOPE_EXPORT);\n\t\tconst entradas = [...recientesPrimero].reverse();\n\t\tconst veredicto = await libro.verificar();\n\t\tconst informe = informeParaDpo(entradas, veredicto, recientesPrimero.length >= TOPE_EXPORT);\n\n\t\tconst i = args.indexOf(\"--out\");\n\t\tconst destino = i >= 0 ? args[i + 1] : undefined;\n\t\tif (i >= 0 && !destino) {\n\t\t\tconsole.error(\"--out necesita una ruta de fichero.\");\n\t\t\tprocess.exitCode = 1;\n\t\t\treturn true;\n\t\t}\n\t\tif (destino) {\n\t\t\tawait writeFile(destino, informe, \"utf-8\");\n\t\t\tconsole.log(`Informe escrito en ${destino} (${entradas.length} entrada(s)).`);\n\t\t} else {\n\t\t\tconsole.log(informe);\n\t\t}\n\t\t// La cadena rota NO impide exportar —el informe lo dice dentro y es\n\t\t// justo lo que hay que poder enseñar—, pero sí sale con código 1: quien\n\t\t// automatice la exportación tiene que enterarse sin leer el Markdown.\n\t\tif (!veredicto.valido) process.exitCode = 1;\n\t\treturn true;\n\t}\n\n\tif (sub === \"purge\" || sub === \"purgar\") {\n\t\t// El art. 5.1.e del RGPD obliga a no conservar más de lo necesario, así que\n\t\t// un DPO TIENE que poder borrar lo viejo. Hasta ahora el único camino era\n\t\t// `rm`, y las dos formas de hacerlo salían mal: borrar `sesion/` hacía que\n\t\t// `verify` acusara de manipulación, y borrar también el índice hacía\n\t\t// desaparecer la purga sin rastro. Ver `core/audit/retencion.ts`.\n\t\tconst iDias = args.indexOf(\"--dias\");\n\t\tconst iAntes = args.indexOf(\"--antes-de\");\n\t\tif (iDias < 0 && iAntes < 0) {\n\t\t\tconsole.error(\n\t\t\t\t\"Falta el corte: --dias N (purga lo anterior a hace N días) o --antes-de AAAA-MM-DD.\\n\" +\n\t\t\t\t\t\"No hay valor por defecto a propósito: un borrado que se decide solo no es una política de retención.\",\n\t\t\t);\n\t\t\tprocess.exitCode = 1;\n\t\t\treturn true;\n\t\t}\n\t\tlet corte: Date;\n\t\tif (iAntes >= 0) {\n\t\t\tcorte = new Date(`${args[iAntes + 1]}T00:00:00Z`);\n\t\t\tif (Number.isNaN(corte.getTime())) {\n\t\t\t\tconsole.error(`--antes-de necesita una fecha AAAA-MM-DD (recibido: ${args[iAntes + 1] ?? \"nada\"}).`);\n\t\t\t\tprocess.exitCode = 1;\n\t\t\t\treturn true;\n\t\t\t}\n\t\t} else {\n\t\t\tconst dias = Number(args[iDias + 1]);\n\t\t\tif (!Number.isFinite(dias) || dias < 0) {\n\t\t\t\tconsole.error(`--dias necesita un número de días (recibido: ${args[iDias + 1] ?? \"nada\"}).`);\n\t\t\t\tprocess.exitCode = 1;\n\t\t\t\treturn true;\n\t\t\t}\n\t\t\tcorte = new Date(Date.now() - dias * 86_400_000);\n\t\t}\n\n\t\tconst iPol = args.indexOf(\"--politica\");\n\t\tconst politica = iPol >= 0 ? args[iPol + 1] : undefined;\n\t\tif (!politica) {\n\t\t\t// La política no es decoración: es lo que convierte el borrado en un\n\t\t\t// hecho justificable delante de un auditor. Sin ella, la lápida diría\n\t\t\t// «se purgó» y no «se purgó porque».\n\t\t\tconsole.error(\n\t\t\t\t'Falta --politica \"texto\": bajo qué regla se purga (p. ej. \"retención 90 días, art. 5.1.e RGPD\").\\n' +\n\t\t\t\t\t\"Queda escrito en el libro, que es lo que hace la purga defendible.\",\n\t\t\t);\n\t\t\tprocess.exitCode = 1;\n\t\t\treturn true;\n\t\t}\n\n\t\tconst seco = args.includes(\"--dry-run\") || args.includes(\"--simular\");\n\t\tconst { purgarAntesDe } = await import(\"../core/audit/retencion.ts\");\n\t\tconst r = await purgarAntesDe(libro, agentDir, corte, politica, seco);\n\t\tconsole.log(\n\t\t\t`${seco ? \"Se purgarían\" : \"Purgados\"} ${r.purgados.length} fichero(s) anteriores a ${corte.toISOString().slice(0, 10)}.`,\n\t\t);\n\t\tfor (const l of r.purgados) {\n\t\t\tconsole.log(`  ${l.fichero}  ${l.entradas} entrada(s)  ${l.desde.slice(0, 10)} → ${l.hasta.slice(0, 10)}`);\n\t\t}\n\t\tfor (const c of r.conservados) console.log(`  (conservado) ${c.fichero}: ${c.porque}`);\n\t\tif (seco) {\n\t\t\tconsole.log(\"\\nSimulación: no se ha tocado nada. Repite sin --dry-run para purgar.\");\n\t\t\treturn true;\n\t\t}\n\t\tif (r.purgados.length > 0) {\n\t\t\tconsole.log(\n\t\t\t\t`\\nCada purga ha quedado anotada en el libro bajo la política \"${politica}\".` +\n\t\t\t\t\t\"\\n`audit verify` las cuenta como huecos EXPLICADOS, no como manipulación.\",\n\t\t\t);\n\t\t}\n\t\treturn true;\n\t}\n\n\tconsole.error(`Subcomando desconocido: ${sub}\\n`);\n\tconsole.log(AYUDA);\n\tprocess.exitCode = 1;\n\treturn true;\n}\n"]}

package/dist/cli/banco-command.d.ts

@@ -0,0 +1,15 @@
+/**
+ * `ada-cli banco` — el banco de fiabilidad de edición.
+ *
+ * Sin esto no había forma de MEDIR si tocar el editor mejora o empeora la
+ * precisión del modelo aplicando parches; solo opiniones. Tres subcomandos:
+ *
+ *   generar   produce casos deterministas desde nuestro propio código fuente,
+ *             validando cada uno resolviéndolo antes de admitirlo.
+ *   run       los ejecuta contra un modelo de verdad — CUESTA DINERO, así que
+ *             exige `--si` o confirmación interactiva.
+ *   comparar  enseña si una ejecución mejoró o empeoró frente a otra.
+ */
+/** Devuelve true si consumió los argumentos. */
+export declare function runBancoCommand(args: string[]): Promise<boolean>;
+//# sourceMappingURL=banco-command.d.ts.map

package/dist/cli/banco-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"banco-command.d.ts","sourceRoot":"","sources":["../../src/cli/banco-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAqMH,iDAAgD;AAChD,wBAAsB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CA2BtE","sourcesContent":["/**\n * `ada-cli banco` — el banco de fiabilidad de edición.\n *\n * Sin esto no había forma de MEDIR si tocar el editor mejora o empeora la\n * precisión del modelo aplicando parches; solo opiniones. Tres subcomandos:\n *\n *   generar   produce casos deterministas desde nuestro propio código fuente,\n *             validando cada uno resolviéndolo antes de admitirlo.\n *   run       los ejecuta contra un modelo de verdad — CUESTA DINERO, así que\n *             exige `--si` o confirmación interactiva.\n *   comparar  enseña si una ejecución mejoró o empeoró frente a otra.\n */\n\nimport { join } from \"node:path\";\nimport { createInterface } from \"node:readline\";\nimport { fileURLToPath } from \"node:url\";\nimport {\n\tcargarCasos,\n\tcargarResultados,\n\tguardarCasos,\n\tguardarResultados,\n\tnombreResultadosPorDefecto,\n\trutaCasosPorDefecto,\n} from \"../core/banco/almacenamiento.ts\";\nimport { compararEjecuciones, formatearComparacion } from \"../core/banco/comparar.ts\";\nimport { crearEjecutorReal, ejecutarCasos } from \"../core/banco/ejecutar.ts\";\nimport { generarCasos } from \"../core/banco/generar.ts\";\nimport type { Dificultad } from \"../core/banco/tipos.ts\";\n\nconst AYUDA = `Uso:\n  ada-cli banco generar [--casos N] [--corpus <dir>] [--salida <fichero>]\n                         [--dificultad facil,medio,dificil,pesadilla] [--semilla N]\n  ada-cli banco run [--casos N] [--entrada <fichero>] [--salida <fichero>]\n                     [--modelo proveedor/modelo] [--timeout <ms>] --si\n  ada-cli banco comparar <resultadosA.json> <resultadosB.json>\n\n\"generar\" no llama a ningún proveedor: crea bugs deterministas a partir del\ncódigo fuente propio y valida cada caso resolviéndolo antes de admitirlo.\n\n\"run\" SÍ llama a un proveedor de verdad y cuesta dinero. Sin \"--si\" pide\nconfirmación interactiva enseñando cuántas llamadas va a hacer.`;\n\nfunction raizPaquete(): string {\n\treturn fileURLToPath(new URL(\"../..\", import.meta.url));\n}\n\nfunction valorDeFlag(args: string[], nombre: string): string | undefined {\n\tconst i = args.indexOf(nombre);\n\treturn i >= 0 ? args[i + 1] : undefined;\n}\n\nasync function confirmar(mensaje: string): Promise<boolean> {\n\tif (!process.stdin.isTTY) return false;\n\tconst rl = createInterface({ input: process.stdin, output: process.stdout });\n\tconst respuesta = await new Promise<string>((res) => rl.question(`${mensaje} [y/N] `, res));\n\trl.close();\n\treturn respuesta.trim().toLowerCase() === \"y\" || respuesta.trim().toLowerCase() === \"yes\";\n}\n\nasync function runGenerar(args: string[]): Promise<void> {\n\tconst raiz = raizPaquete();\n\tconst numCasos = Number(valorDeFlag(args, \"--casos\") ?? \"20\");\n\tif (!Number.isFinite(numCasos) || numCasos <= 0) {\n\t\tconsole.error(\"--casos necesita un número positivo.\");\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\tconst corpus = valorDeFlag(args, \"--corpus\") ?? join(raiz, \"src\");\n\tconst salida = valorDeFlag(args, \"--salida\") ?? rutaCasosPorDefecto(raiz);\n\tconst semilla = Number(valorDeFlag(args, \"--semilla\") ?? \"42\");\n\tconst dificultadArg = valorDeFlag(args, \"--dificultad\");\n\tconst dificultades = dificultadArg ? (dificultadArg.split(\",\") as Dificultad[]) : undefined;\n\n\tconst conjunto = generarCasos({ corpus, numCasos, semilla, dificultades });\n\tguardarCasos(salida, conjunto);\n\n\tconsole.log(`Generados ${conjunto.casos.length}/${numCasos} casos desde ${corpus}`);\n\tconsole.log(`  descartados por AMBIGUOS: ${conjunto.descartadosPorAmbiguos}`);\n\tconsole.log(`  descartados por no aplicable: ${conjunto.descartadosPorNoAplicable}`);\n\tconsole.log(`  intentos totales: ${conjunto.intentos}`);\n\tif (conjunto.descartadosPorAmbiguos === 0 && conjunto.intentos > conjunto.casos.length) {\n\t\tconsole.log(\"  (cero ambiguos con reintentos de por medio: revisa construirBloqueUnico si esto sorprende.)\");\n\t}\n\tconst porDificultad = new Map<string, number>();\n\tfor (const c of conjunto.casos) porDificultad.set(c.dificultad, (porDificultad.get(c.dificultad) ?? 0) + 1);\n\tfor (const [d, n] of porDificultad) console.log(`  ${d}: ${n}`);\n\tconsole.log(`Guardado en ${salida}`);\n}\n\nasync function runRun(args: string[]): Promise<void> {\n\tconst raiz = raizPaquete();\n\tconst entrada = valorDeFlag(args, \"--entrada\") ?? rutaCasosPorDefecto(raiz);\n\tconst conjunto = cargarCasos(entrada);\n\tconst limite = valorDeFlag(args, \"--casos\");\n\tconst casos = limite ? conjunto.casos.slice(0, Number(limite)) : conjunto.casos;\n\tif (casos.length === 0) {\n\t\tconsole.error(\"No hay casos que ejecutar.\");\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\tconst timeoutMs = Number(valorDeFlag(args, \"--timeout\") ?? \"180000\");\n\n\tconst { getAgentDir } = await import(\"../config.ts\");\n\tconst { ModelRuntime } = await import(\"../core/model-runtime.ts\");\n\tconst { resolveCliModel } = await import(\"../core/model-resolver.ts\");\n\tconst { SettingsManager } = await import(\"../core/settings-manager.ts\");\n\n\tconst agentDir = getAgentDir();\n\tconst modelRuntime = await ModelRuntime.create();\n\tconst ajustes = SettingsManager.create(process.cwd(), agentDir);\n\tconst spec = valorDeFlag(args, \"--modelo\");\n\tconst barra = spec?.indexOf(\"/\") ?? -1;\n\tconst { model, error } = resolveCliModel({\n\t\tmodelRuntime,\n\t\tcliProvider: barra > 0 ? spec?.slice(0, barra) : ajustes.getDefaultProvider(),\n\t\tcliModel: barra > 0 ? spec?.slice(barra + 1) : ajustes.getDefaultModel(),\n\t});\n\tif (error || !model) {\n\t\tconsole.error(\n\t\t\terror ?? \"No hay modelo configurado. Abre `ada-cli` y elige uno con /login o /model, o pasa --modelo.\",\n\t\t);\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\n\tconsole.log(`Esto hará ${casos.length} llamada(s) real(es) a ${model.provider}/${model.id}.`);\n\tconst si = args.includes(\"--si\");\n\tif (!si) {\n\t\tconst ok = await confirmar(\"¿Continuar?\");\n\t\tif (!ok) {\n\t\t\tconsole.log(\"Cancelado. Repite con --si para saltarte la confirmación.\");\n\t\t\treturn;\n\t\t}\n\t}\n\n\tconst ejecutor = crearEjecutorReal({ agentDir, model, timeoutMs });\n\tconst resultados = await ejecutarCasos(casos, ejecutor, {\n\t\tproveedor: model.provider,\n\t\tmodelo: model.id,\n\t\tcasosArchivo: entrada,\n\t\tonProgreso: (i, total, r) => {\n\t\t\tconst estado = r.timeout\n\t\t\t\t? \"TIMEOUT\"\n\t\t\t\t: r.vacio\n\t\t\t\t\t? \"VACIO\"\n\t\t\t\t\t: r.fantasma\n\t\t\t\t\t\t? \"FANTASMA\"\n\t\t\t\t\t\t: r.tareaOk\n\t\t\t\t\t\t\t? \"tarea-ok\"\n\t\t\t\t\t\t\t: r.edicionOk\n\t\t\t\t\t\t\t\t? \"solo-edicion\"\n\t\t\t\t\t\t\t\t: \"fallo\";\n\t\t\tconsole.log(`  [${i}/${total}] ${r.casoId}  ${estado}`);\n\t\t},\n\t});\n\n\tconst salida = valorDeFlag(args, \"--salida\") ?? nombreResultadosPorDefecto(raiz, model.provider, model.id);\n\tguardarResultados(salida, resultados);\n\n\tconsole.log(\"\");\n\tconsole.log(`tarea:    ${resultados.resumen.tareaOkPct}%`);\n\tconsole.log(`edición:  ${resultados.resumen.edicionOkPct}%`);\n\tconsole.log(`fantasma: ${resultados.resumen.fantasmaPct}%`);\n\tconsole.log(`timeout:  ${resultados.resumen.timeoutPct}%`);\n\tif (resultados.resumen.vacioPct > 0) {\n\t\t// Un turno vacío no es \"el modelo decidió no editar\": es que no\n\t\t// contestó. Antes caía dentro de `fantasma` y convertía un proveedor\n\t\t// roto (`x-preview-f-free`) en un dato sobre el criterio del modelo.\n\t\tconsole.log(`vacío:    ${resultados.resumen.vacioPct}%  (el modelo no contestó; no cuentan como fantasma)`);\n\t}\n\tif (resultados.resumen.errorPct > 0) {\n\t\t// Aparte de las cuatro métricas: un error (sin API key, red caída) no\n\t\t// es \"el modelo no editó\", es \"no lo sabemos\". Mezclarlo con fantasma\n\t\t// convertiría un fallo de autenticación en un dato sobre el modelo.\n\t\tconsole.log(`error:    ${resultados.resumen.errorPct}%  (turnos que NO terminaron; no cuentan como fantasma)`);\n\t\t// Y se dice POR QUÉ, aquí mismo. Antes el motivo solo estaba dentro del\n\t\t// JSON de resultados: una ejecución con \"error 100%\" obligaba a abrir el\n\t\t// fichero para descubrir que faltaba la credencial. Un medidor que dice\n\t\t// que no midió tiene que decir qué se lo impidió, o el siguiente paso es\n\t\t// adivinar. Se agrupan porque 40 casos dan 40 veces el mismo error.\n\t\tconst porMotivo = new Map<string, number>();\n\t\tfor (const c of resultados.resultados) {\n\t\t\tif (!c.error) continue;\n\t\t\tconst primeraLinea = c.error.split(\"\\n\")[0].trim();\n\t\t\tporMotivo.set(primeraLinea, (porMotivo.get(primeraLinea) ?? 0) + 1);\n\t\t}\n\t\tfor (const [motivo, veces] of [...porMotivo].sort((a, b) => b[1] - a[1]).slice(0, 3)) {\n\t\t\tconsole.log(`          ${veces}× ${motivo}`);\n\t\t}\n\t}\n\tfor (const [d, m] of Object.entries(resultados.resumen.porDificultad)) {\n\t\tconsole.log(`  ${d}: tarea ${m.tareaOkPct}% / edición ${m.edicionOkPct}% (n=${m.total})`);\n\t}\n\tconsole.log(`Guardado en ${salida}`);\n}\n\nfunction runComparar(args: string[]): void {\n\tconst [rutaA, rutaB] = args;\n\tif (!rutaA || !rutaB) {\n\t\tconsole.error(\"Uso: ada-cli banco comparar <resultadosA.json> <resultadosB.json>\");\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\tconst a = cargarResultados(rutaA);\n\tconst b = cargarResultados(rutaB);\n\tconsole.log(formatearComparacion(compararEjecuciones(a, b, rutaA, rutaB)));\n}\n\n/** Devuelve true si consumió los argumentos. */\nexport async function runBancoCommand(args: string[]): Promise<boolean> {\n\tif (args[0] !== \"banco\") return false;\n\n\tif (args.includes(\"--help\") || args.includes(\"-h\") || args.length === 1) {\n\t\tconsole.log(AYUDA);\n\t\treturn true;\n\t}\n\n\tconst sub = args[1];\n\tconst resto = args.slice(2);\n\tif (sub === \"generar\") {\n\t\tawait runGenerar(resto);\n\t\treturn true;\n\t}\n\tif (sub === \"run\") {\n\t\tawait runRun(resto);\n\t\treturn true;\n\t}\n\tif (sub === \"comparar\") {\n\t\trunComparar(resto);\n\t\treturn true;\n\t}\n\n\tconsole.error(`Subcomando desconocido: ${sub}\\n`);\n\tconsole.log(AYUDA);\n\tprocess.exitCode = 1;\n\treturn true;\n}\n"]}

package/dist/cli/banco-command.js

@@ -0,0 +1,213 @@
+/**
+ * `ada-cli banco` — el banco de fiabilidad de edición.
+ *
+ * Sin esto no había forma de MEDIR si tocar el editor mejora o empeora la
+ * precisión del modelo aplicando parches; solo opiniones. Tres subcomandos:
+ *
+ *   generar   produce casos deterministas desde nuestro propio código fuente,
+ *             validando cada uno resolviéndolo antes de admitirlo.
+ *   run       los ejecuta contra un modelo de verdad — CUESTA DINERO, así que
+ *             exige `--si` o confirmación interactiva.
+ *   comparar  enseña si una ejecución mejoró o empeoró frente a otra.
+ */
+import { join } from "node:path";
+import { createInterface } from "node:readline";
+import { fileURLToPath } from "node:url";
+import { cargarCasos, cargarResultados, guardarCasos, guardarResultados, nombreResultadosPorDefecto, rutaCasosPorDefecto, } from "../core/banco/almacenamiento.js";
+import { compararEjecuciones, formatearComparacion } from "../core/banco/comparar.js";
+import { crearEjecutorReal, ejecutarCasos } from "../core/banco/ejecutar.js";
+import { generarCasos } from "../core/banco/generar.js";
+const AYUDA = `Uso:
+  ada-cli banco generar [--casos N] [--corpus <dir>] [--salida <fichero>]
+                         [--dificultad facil,medio,dificil,pesadilla] [--semilla N]
+  ada-cli banco run [--casos N] [--entrada <fichero>] [--salida <fichero>]
+                     [--modelo proveedor/modelo] [--timeout <ms>] --si
+  ada-cli banco comparar <resultadosA.json> <resultadosB.json>
+
+"generar" no llama a ningún proveedor: crea bugs deterministas a partir del
+código fuente propio y valida cada caso resolviéndolo antes de admitirlo.
+
+"run" SÍ llama a un proveedor de verdad y cuesta dinero. Sin "--si" pide
+confirmación interactiva enseñando cuántas llamadas va a hacer.`;
+function raizPaquete() {
+    return fileURLToPath(new URL("../..", import.meta.url));
+}
+function valorDeFlag(args, nombre) {
+    const i = args.indexOf(nombre);
+    return i >= 0 ? args[i + 1] : undefined;
+}
+async function confirmar(mensaje) {
+    if (!process.stdin.isTTY)
+        return false;
+    const rl = createInterface({ input: process.stdin, output: process.stdout });
+    const respuesta = await new Promise((res) => rl.question(`${mensaje} [y/N] `, res));
+    rl.close();
+    return respuesta.trim().toLowerCase() === "y" || respuesta.trim().toLowerCase() === "yes";
+}
+async function runGenerar(args) {
+    const raiz = raizPaquete();
+    const numCasos = Number(valorDeFlag(args, "--casos") ?? "20");
+    if (!Number.isFinite(numCasos) || numCasos <= 0) {
+        console.error("--casos necesita un número positivo.");
+        process.exitCode = 1;
+        return;
+    }
+    const corpus = valorDeFlag(args, "--corpus") ?? join(raiz, "src");
+    const salida = valorDeFlag(args, "--salida") ?? rutaCasosPorDefecto(raiz);
+    const semilla = Number(valorDeFlag(args, "--semilla") ?? "42");
+    const dificultadArg = valorDeFlag(args, "--dificultad");
+    const dificultades = dificultadArg ? dificultadArg.split(",") : undefined;
+    const conjunto = generarCasos({ corpus, numCasos, semilla, dificultades });
+    guardarCasos(salida, conjunto);
+    console.log(`Generados ${conjunto.casos.length}/${numCasos} casos desde ${corpus}`);
+    console.log(`  descartados por AMBIGUOS: ${conjunto.descartadosPorAmbiguos}`);
+    console.log(`  descartados por no aplicable: ${conjunto.descartadosPorNoAplicable}`);
+    console.log(`  intentos totales: ${conjunto.intentos}`);
+    if (conjunto.descartadosPorAmbiguos === 0 && conjunto.intentos > conjunto.casos.length) {
+        console.log("  (cero ambiguos con reintentos de por medio: revisa construirBloqueUnico si esto sorprende.)");
+    }
+    const porDificultad = new Map();
+    for (const c of conjunto.casos)
+        porDificultad.set(c.dificultad, (porDificultad.get(c.dificultad) ?? 0) + 1);
+    for (const [d, n] of porDificultad)
+        console.log(`  ${d}: ${n}`);
+    console.log(`Guardado en ${salida}`);
+}
+async function runRun(args) {
+    const raiz = raizPaquete();
+    const entrada = valorDeFlag(args, "--entrada") ?? rutaCasosPorDefecto(raiz);
+    const conjunto = cargarCasos(entrada);
+    const limite = valorDeFlag(args, "--casos");
+    const casos = limite ? conjunto.casos.slice(0, Number(limite)) : conjunto.casos;
+    if (casos.length === 0) {
+        console.error("No hay casos que ejecutar.");
+        process.exitCode = 1;
+        return;
+    }
+    const timeoutMs = Number(valorDeFlag(args, "--timeout") ?? "180000");
+    const { getAgentDir } = await import("../config.js");
+    const { ModelRuntime } = await import("../core/model-runtime.js");
+    const { resolveCliModel } = await import("../core/model-resolver.js");
+    const { SettingsManager } = await import("../core/settings-manager.js");
+    const agentDir = getAgentDir();
+    const modelRuntime = await ModelRuntime.create();
+    const ajustes = SettingsManager.create(process.cwd(), agentDir);
+    const spec = valorDeFlag(args, "--modelo");
+    const barra = spec?.indexOf("/") ?? -1;
+    const { model, error } = resolveCliModel({
+        modelRuntime,
+        cliProvider: barra > 0 ? spec?.slice(0, barra) : ajustes.getDefaultProvider(),
+        cliModel: barra > 0 ? spec?.slice(barra + 1) : ajustes.getDefaultModel(),
+    });
+    if (error || !model) {
+        console.error(error ?? "No hay modelo configurado. Abre `ada-cli` y elige uno con /login o /model, o pasa --modelo.");
+        process.exitCode = 1;
+        return;
+    }
+    console.log(`Esto hará ${casos.length} llamada(s) real(es) a ${model.provider}/${model.id}.`);
+    const si = args.includes("--si");
+    if (!si) {
+        const ok = await confirmar("¿Continuar?");
+        if (!ok) {
+            console.log("Cancelado. Repite con --si para saltarte la confirmación.");
+            return;
+        }
+    }
+    const ejecutor = crearEjecutorReal({ agentDir, model, timeoutMs });
+    const resultados = await ejecutarCasos(casos, ejecutor, {
+        proveedor: model.provider,
+        modelo: model.id,
+        casosArchivo: entrada,
+        onProgreso: (i, total, r) => {
+            const estado = r.timeout
+                ? "TIMEOUT"
+                : r.vacio
+                    ? "VACIO"
+                    : r.fantasma
+                        ? "FANTASMA"
+                        : r.tareaOk
+                            ? "tarea-ok"
+                            : r.edicionOk
+                                ? "solo-edicion"
+                                : "fallo";
+            console.log(`  [${i}/${total}] ${r.casoId}  ${estado}`);
+        },
+    });
+    const salida = valorDeFlag(args, "--salida") ?? nombreResultadosPorDefecto(raiz, model.provider, model.id);
+    guardarResultados(salida, resultados);
+    console.log("");
+    console.log(`tarea:    ${resultados.resumen.tareaOkPct}%`);
+    console.log(`edición:  ${resultados.resumen.edicionOkPct}%`);
+    console.log(`fantasma: ${resultados.resumen.fantasmaPct}%`);
+    console.log(`timeout:  ${resultados.resumen.timeoutPct}%`);
+    if (resultados.resumen.vacioPct > 0) {
+        // Un turno vacío no es "el modelo decidió no editar": es que no
+        // contestó. Antes caía dentro de `fantasma` y convertía un proveedor
+        // roto (`x-preview-f-free`) en un dato sobre el criterio del modelo.
+        console.log(`vacío:    ${resultados.resumen.vacioPct}%  (el modelo no contestó; no cuentan como fantasma)`);
+    }
+    if (resultados.resumen.errorPct > 0) {
+        // Aparte de las cuatro métricas: un error (sin API key, red caída) no
+        // es "el modelo no editó", es "no lo sabemos". Mezclarlo con fantasma
+        // convertiría un fallo de autenticación en un dato sobre el modelo.
+        console.log(`error:    ${resultados.resumen.errorPct}%  (turnos que NO terminaron; no cuentan como fantasma)`);
+        // Y se dice POR QUÉ, aquí mismo. Antes el motivo solo estaba dentro del
+        // JSON de resultados: una ejecución con "error 100%" obligaba a abrir el
+        // fichero para descubrir que faltaba la credencial. Un medidor que dice
+        // que no midió tiene que decir qué se lo impidió, o el siguiente paso es
+        // adivinar. Se agrupan porque 40 casos dan 40 veces el mismo error.
+        const porMotivo = new Map();
+        for (const c of resultados.resultados) {
+            if (!c.error)
+                continue;
+            const primeraLinea = c.error.split("\n")[0].trim();
+            porMotivo.set(primeraLinea, (porMotivo.get(primeraLinea) ?? 0) + 1);
+        }
+        for (const [motivo, veces] of [...porMotivo].sort((a, b) => b[1] - a[1]).slice(0, 3)) {
+            console.log(`          ${veces}× ${motivo}`);
+        }
+    }
+    for (const [d, m] of Object.entries(resultados.resumen.porDificultad)) {
+        console.log(`  ${d}: tarea ${m.tareaOkPct}% / edición ${m.edicionOkPct}% (n=${m.total})`);
+    }
+    console.log(`Guardado en ${salida}`);
+}
+function runComparar(args) {
+    const [rutaA, rutaB] = args;
+    if (!rutaA || !rutaB) {
+        console.error("Uso: ada-cli banco comparar <resultadosA.json> <resultadosB.json>");
+        process.exitCode = 1;
+        return;
+    }
+    const a = cargarResultados(rutaA);
+    const b = cargarResultados(rutaB);
+    console.log(formatearComparacion(compararEjecuciones(a, b, rutaA, rutaB)));
+}
+/** Devuelve true si consumió los argumentos. */
+export async function runBancoCommand(args) {
+    if (args[0] !== "banco")
+        return false;
+    if (args.includes("--help") || args.includes("-h") || args.length === 1) {
+        console.log(AYUDA);
+        return true;
+    }
+    const sub = args[1];
+    const resto = args.slice(2);
+    if (sub === "generar") {
+        await runGenerar(resto);
+        return true;
+    }
+    if (sub === "run") {
+        await runRun(resto);
+        return true;
+    }
+    if (sub === "comparar") {
+        runComparar(resto);
+        return true;
+    }
+    console.error(`Subcomando desconocido: ${sub}\n`);
+    console.log(AYUDA);
+    process.exitCode = 1;
+    return true;
+}
+//# sourceMappingURL=banco-command.js.map

package/dist/cli/banco-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"banco-command.js","sourceRoot":"","sources":["../../src/cli/banco-command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACN,WAAW,EACX,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,GACnB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAGxD,MAAM,KAAK,GAAG;;;;;;;;;;;mEAWkD,CAAC;AAEjE,SAAS,WAAW,GAAW;IAC9B,OAAO,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAAA,CACxD;AAED,SAAS,WAAW,CAAC,IAAc,EAAE,MAAc,EAAsB;IACxE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAAA,CACxC;AAED,KAAK,UAAU,SAAS,CAAC,OAAe,EAAoB;IAC3D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,MAAM,IAAI,OAAO,CAAS,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,OAAO,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5F,EAAE,CAAC,KAAK,EAAE,CAAC;IACX,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;AAAA,CAC1F;AAED,KAAK,UAAU,UAAU,CAAC,IAAc,EAAiB;IACxD,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,CAAC,KAAK,CAAC,uCAAsC,CAAC,CAAC;QACtD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACR,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,aAAa,CAAC,CAAC,CAAE,aAAa,CAAC,KAAK,CAAC,GAAG,CAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;IAE5F,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;IAC3E,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE/B,OAAO,CAAC,GAAG,CAAC,aAAa,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,QAAQ,gBAAgB,MAAM,EAAE,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,+BAA+B,QAAQ,CAAC,sBAAsB,EAAE,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,mCAAmC,QAAQ,CAAC,yBAAyB,EAAE,CAAC,CAAC;IACrF,OAAO,CAAC,GAAG,CAAC,uBAAuB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,IAAI,QAAQ,CAAC,sBAAsB,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACxF,OAAO,CAAC,GAAG,CAAC,+FAA+F,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK;QAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5G,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,aAAa;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;AAAA,CACrC;AAED,KAAK,UAAU,MAAM,CAAC,IAAc,EAAiB;IACpD,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC5C,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACR,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,QAAQ,CAAC,CAAC;IAErE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;IAClE,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,2BAA2B,CAAC,CAAC;IACtE,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,6BAA6B,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAC/B,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,MAAM,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,eAAe,CAAC;QACxC,YAAY;QACZ,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE;QAC7E,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE;KACxE,CAAC,CAAC;IACH,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,CACZ,KAAK,IAAI,6FAA6F,CACtG,CAAC;QACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACR,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,cAAa,KAAK,CAAC,MAAM,0BAA0B,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9F,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,CAAC,EAAE,EAAE,CAAC;QACT,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,cAAa,CAAC,CAAC;QAC1C,IAAI,CAAC,EAAE,EAAE,CAAC;YACT,OAAO,CAAC,GAAG,CAAC,4DAA2D,CAAC,CAAC;YACzE,OAAO;QACR,CAAC;IACF,CAAC;IAED,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE;QACvD,SAAS,EAAE,KAAK,CAAC,QAAQ;QACzB,MAAM,EAAE,KAAK,CAAC,EAAE;QAChB,YAAY,EAAE,OAAO;QACrB,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO;gBACvB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,CAAC,CAAC,KAAK;oBACR,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,CAAC,CAAC,QAAQ;wBACX,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,CAAC,CAAC,OAAO;4BACV,CAAC,CAAC,UAAU;4BACZ,CAAC,CAAC,CAAC,CAAC,SAAS;gCACZ,CAAC,CAAC,cAAc;gCAChB,CAAC,CAAC,OAAO,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC,CAAC;QAAA,CACxD;KACD,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3G,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAEtC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC;IAC3D,OAAO,CAAC,GAAG,CAAC,cAAa,UAAU,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC;IAC7D,OAAO,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACrC,kEAAgE;QAChE,wEAAqE;QACrE,qEAAqE;QACrE,OAAO,CAAC,GAAG,CAAC,cAAa,UAAU,CAAC,OAAO,CAAC,QAAQ,uDAAsD,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACrC,wEAAsE;QACtE,uEAAsE;QACtE,sEAAoE;QACpE,OAAO,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,OAAO,CAAC,QAAQ,yDAAyD,CAAC,CAAC;QAC/G,0EAAwE;QACxE,0EAAyE;QACzE,wEAAwE;QACxE,4EAAyE;QACzE,oEAAoE;QACpE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,CAAC,CAAC,CAAC,KAAK;gBAAE,SAAS;YACvB,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnD,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACtF,OAAO,CAAC,GAAG,CAAC,aAAa,KAAK,MAAK,MAAM,EAAE,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,UAAU,gBAAe,CAAC,CAAC,YAAY,QAAQ,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;AAAA,CACrC;AAED,SAAS,WAAW,CAAC,IAAc,EAAQ;IAC1C,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC;IAC5B,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,CAAC,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACnF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAAA,CAC3E;AAED,iDAAgD;AAChD,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAc,EAAoB;IACvE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAEtC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,UAAU,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QACnB,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;QACpB,OAAO,IAAI,CAAC;IACb,CAAC;IACD,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;QACxB,WAAW,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,2BAA2B,GAAG,IAAI,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACrB,OAAO,IAAI,CAAC;AAAA,CACZ","sourcesContent":["/**\n * `ada-cli banco` — el banco de fiabilidad de edición.\n *\n * Sin esto no había forma de MEDIR si tocar el editor mejora o empeora la\n * precisión del modelo aplicando parches; solo opiniones. Tres subcomandos:\n *\n *   generar   produce casos deterministas desde nuestro propio código fuente,\n *             validando cada uno resolviéndolo antes de admitirlo.\n *   run       los ejecuta contra un modelo de verdad — CUESTA DINERO, así que\n *             exige `--si` o confirmación interactiva.\n *   comparar  enseña si una ejecución mejoró o empeoró frente a otra.\n */\n\nimport { join } from \"node:path\";\nimport { createInterface } from \"node:readline\";\nimport { fileURLToPath } from \"node:url\";\nimport {\n\tcargarCasos,\n\tcargarResultados,\n\tguardarCasos,\n\tguardarResultados,\n\tnombreResultadosPorDefecto,\n\trutaCasosPorDefecto,\n} from \"../core/banco/almacenamiento.ts\";\nimport { compararEjecuciones, formatearComparacion } from \"../core/banco/comparar.ts\";\nimport { crearEjecutorReal, ejecutarCasos } from \"../core/banco/ejecutar.ts\";\nimport { generarCasos } from \"../core/banco/generar.ts\";\nimport type { Dificultad } from \"../core/banco/tipos.ts\";\n\nconst AYUDA = `Uso:\n  ada-cli banco generar [--casos N] [--corpus <dir>] [--salida <fichero>]\n                         [--dificultad facil,medio,dificil,pesadilla] [--semilla N]\n  ada-cli banco run [--casos N] [--entrada <fichero>] [--salida <fichero>]\n                     [--modelo proveedor/modelo] [--timeout <ms>] --si\n  ada-cli banco comparar <resultadosA.json> <resultadosB.json>\n\n\"generar\" no llama a ningún proveedor: crea bugs deterministas a partir del\ncódigo fuente propio y valida cada caso resolviéndolo antes de admitirlo.\n\n\"run\" SÍ llama a un proveedor de verdad y cuesta dinero. Sin \"--si\" pide\nconfirmación interactiva enseñando cuántas llamadas va a hacer.`;\n\nfunction raizPaquete(): string {\n\treturn fileURLToPath(new URL(\"../..\", import.meta.url));\n}\n\nfunction valorDeFlag(args: string[], nombre: string): string | undefined {\n\tconst i = args.indexOf(nombre);\n\treturn i >= 0 ? args[i + 1] : undefined;\n}\n\nasync function confirmar(mensaje: string): Promise<boolean> {\n\tif (!process.stdin.isTTY) return false;\n\tconst rl = createInterface({ input: process.stdin, output: process.stdout });\n\tconst respuesta = await new Promise<string>((res) => rl.question(`${mensaje} [y/N] `, res));\n\trl.close();\n\treturn respuesta.trim().toLowerCase() === \"y\" || respuesta.trim().toLowerCase() === \"yes\";\n}\n\nasync function runGenerar(args: string[]): Promise<void> {\n\tconst raiz = raizPaquete();\n\tconst numCasos = Number(valorDeFlag(args, \"--casos\") ?? \"20\");\n\tif (!Number.isFinite(numCasos) || numCasos <= 0) {\n\t\tconsole.error(\"--casos necesita un número positivo.\");\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\tconst corpus = valorDeFlag(args, \"--corpus\") ?? join(raiz, \"src\");\n\tconst salida = valorDeFlag(args, \"--salida\") ?? rutaCasosPorDefecto(raiz);\n\tconst semilla = Number(valorDeFlag(args, \"--semilla\") ?? \"42\");\n\tconst dificultadArg = valorDeFlag(args, \"--dificultad\");\n\tconst dificultades = dificultadArg ? (dificultadArg.split(\",\") as Dificultad[]) : undefined;\n\n\tconst conjunto = generarCasos({ corpus, numCasos, semilla, dificultades });\n\tguardarCasos(salida, conjunto);\n\n\tconsole.log(`Generados ${conjunto.casos.length}/${numCasos} casos desde ${corpus}`);\n\tconsole.log(`  descartados por AMBIGUOS: ${conjunto.descartadosPorAmbiguos}`);\n\tconsole.log(`  descartados por no aplicable: ${conjunto.descartadosPorNoAplicable}`);\n\tconsole.log(`  intentos totales: ${conjunto.intentos}`);\n\tif (conjunto.descartadosPorAmbiguos === 0 && conjunto.intentos > conjunto.casos.length) {\n\t\tconsole.log(\"  (cero ambiguos con reintentos de por medio: revisa construirBloqueUnico si esto sorprende.)\");\n\t}\n\tconst porDificultad = new Map<string, number>();\n\tfor (const c of conjunto.casos) porDificultad.set(c.dificultad, (porDificultad.get(c.dificultad) ?? 0) + 1);\n\tfor (const [d, n] of porDificultad) console.log(`  ${d}: ${n}`);\n\tconsole.log(`Guardado en ${salida}`);\n}\n\nasync function runRun(args: string[]): Promise<void> {\n\tconst raiz = raizPaquete();\n\tconst entrada = valorDeFlag(args, \"--entrada\") ?? rutaCasosPorDefecto(raiz);\n\tconst conjunto = cargarCasos(entrada);\n\tconst limite = valorDeFlag(args, \"--casos\");\n\tconst casos = limite ? conjunto.casos.slice(0, Number(limite)) : conjunto.casos;\n\tif (casos.length === 0) {\n\t\tconsole.error(\"No hay casos que ejecutar.\");\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\tconst timeoutMs = Number(valorDeFlag(args, \"--timeout\") ?? \"180000\");\n\n\tconst { getAgentDir } = await import(\"../config.ts\");\n\tconst { ModelRuntime } = await import(\"../core/model-runtime.ts\");\n\tconst { resolveCliModel } = await import(\"../core/model-resolver.ts\");\n\tconst { SettingsManager } = await import(\"../core/settings-manager.ts\");\n\n\tconst agentDir = getAgentDir();\n\tconst modelRuntime = await ModelRuntime.create();\n\tconst ajustes = SettingsManager.create(process.cwd(), agentDir);\n\tconst spec = valorDeFlag(args, \"--modelo\");\n\tconst barra = spec?.indexOf(\"/\") ?? -1;\n\tconst { model, error } = resolveCliModel({\n\t\tmodelRuntime,\n\t\tcliProvider: barra > 0 ? spec?.slice(0, barra) : ajustes.getDefaultProvider(),\n\t\tcliModel: barra > 0 ? spec?.slice(barra + 1) : ajustes.getDefaultModel(),\n\t});\n\tif (error || !model) {\n\t\tconsole.error(\n\t\t\terror ?? \"No hay modelo configurado. Abre `ada-cli` y elige uno con /login o /model, o pasa --modelo.\",\n\t\t);\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\n\tconsole.log(`Esto hará ${casos.length} llamada(s) real(es) a ${model.provider}/${model.id}.`);\n\tconst si = args.includes(\"--si\");\n\tif (!si) {\n\t\tconst ok = await confirmar(\"¿Continuar?\");\n\t\tif (!ok) {\n\t\t\tconsole.log(\"Cancelado. Repite con --si para saltarte la confirmación.\");\n\t\t\treturn;\n\t\t}\n\t}\n\n\tconst ejecutor = crearEjecutorReal({ agentDir, model, timeoutMs });\n\tconst resultados = await ejecutarCasos(casos, ejecutor, {\n\t\tproveedor: model.provider,\n\t\tmodelo: model.id,\n\t\tcasosArchivo: entrada,\n\t\tonProgreso: (i, total, r) => {\n\t\t\tconst estado = r.timeout\n\t\t\t\t? \"TIMEOUT\"\n\t\t\t\t: r.vacio\n\t\t\t\t\t? \"VACIO\"\n\t\t\t\t\t: r.fantasma\n\t\t\t\t\t\t? \"FANTASMA\"\n\t\t\t\t\t\t: r.tareaOk\n\t\t\t\t\t\t\t? \"tarea-ok\"\n\t\t\t\t\t\t\t: r.edicionOk\n\t\t\t\t\t\t\t\t? \"solo-edicion\"\n\t\t\t\t\t\t\t\t: \"fallo\";\n\t\t\tconsole.log(`  [${i}/${total}] ${r.casoId}  ${estado}`);\n\t\t},\n\t});\n\n\tconst salida = valorDeFlag(args, \"--salida\") ?? nombreResultadosPorDefecto(raiz, model.provider, model.id);\n\tguardarResultados(salida, resultados);\n\n\tconsole.log(\"\");\n\tconsole.log(`tarea:    ${resultados.resumen.tareaOkPct}%`);\n\tconsole.log(`edición:  ${resultados.resumen.edicionOkPct}%`);\n\tconsole.log(`fantasma: ${resultados.resumen.fantasmaPct}%`);\n\tconsole.log(`timeout:  ${resultados.resumen.timeoutPct}%`);\n\tif (resultados.resumen.vacioPct > 0) {\n\t\t// Un turno vacío no es \"el modelo decidió no editar\": es que no\n\t\t// contestó. Antes caía dentro de `fantasma` y convertía un proveedor\n\t\t// roto (`x-preview-f-free`) en un dato sobre el criterio del modelo.\n\t\tconsole.log(`vacío:    ${resultados.resumen.vacioPct}%  (el modelo no contestó; no cuentan como fantasma)`);\n\t}\n\tif (resultados.resumen.errorPct > 0) {\n\t\t// Aparte de las cuatro métricas: un error (sin API key, red caída) no\n\t\t// es \"el modelo no editó\", es \"no lo sabemos\". Mezclarlo con fantasma\n\t\t// convertiría un fallo de autenticación en un dato sobre el modelo.\n\t\tconsole.log(`error:    ${resultados.resumen.errorPct}%  (turnos que NO terminaron; no cuentan como fantasma)`);\n\t\t// Y se dice POR QUÉ, aquí mismo. Antes el motivo solo estaba dentro del\n\t\t// JSON de resultados: una ejecución con \"error 100%\" obligaba a abrir el\n\t\t// fichero para descubrir que faltaba la credencial. Un medidor que dice\n\t\t// que no midió tiene que decir qué se lo impidió, o el siguiente paso es\n\t\t// adivinar. Se agrupan porque 40 casos dan 40 veces el mismo error.\n\t\tconst porMotivo = new Map<string, number>();\n\t\tfor (const c of resultados.resultados) {\n\t\t\tif (!c.error) continue;\n\t\t\tconst primeraLinea = c.error.split(\"\\n\")[0].trim();\n\t\t\tporMotivo.set(primeraLinea, (porMotivo.get(primeraLinea) ?? 0) + 1);\n\t\t}\n\t\tfor (const [motivo, veces] of [...porMotivo].sort((a, b) => b[1] - a[1]).slice(0, 3)) {\n\t\t\tconsole.log(`          ${veces}× ${motivo}`);\n\t\t}\n\t}\n\tfor (const [d, m] of Object.entries(resultados.resumen.porDificultad)) {\n\t\tconsole.log(`  ${d}: tarea ${m.tareaOkPct}% / edición ${m.edicionOkPct}% (n=${m.total})`);\n\t}\n\tconsole.log(`Guardado en ${salida}`);\n}\n\nfunction runComparar(args: string[]): void {\n\tconst [rutaA, rutaB] = args;\n\tif (!rutaA || !rutaB) {\n\t\tconsole.error(\"Uso: ada-cli banco comparar <resultadosA.json> <resultadosB.json>\");\n\t\tprocess.exitCode = 1;\n\t\treturn;\n\t}\n\tconst a = cargarResultados(rutaA);\n\tconst b = cargarResultados(rutaB);\n\tconsole.log(formatearComparacion(compararEjecuciones(a, b, rutaA, rutaB)));\n}\n\n/** Devuelve true si consumió los argumentos. */\nexport async function runBancoCommand(args: string[]): Promise<boolean> {\n\tif (args[0] !== \"banco\") return false;\n\n\tif (args.includes(\"--help\") || args.includes(\"-h\") || args.length === 1) {\n\t\tconsole.log(AYUDA);\n\t\treturn true;\n\t}\n\n\tconst sub = args[1];\n\tconst resto = args.slice(2);\n\tif (sub === \"generar\") {\n\t\tawait runGenerar(resto);\n\t\treturn true;\n\t}\n\tif (sub === \"run\") {\n\t\tawait runRun(resto);\n\t\treturn true;\n\t}\n\tif (sub === \"comparar\") {\n\t\trunComparar(resto);\n\t\treturn true;\n\t}\n\n\tconsole.error(`Subcomando desconocido: ${sub}\\n`);\n\tconsole.log(AYUDA);\n\tprocess.exitCode = 1;\n\treturn true;\n}\n"]}