@hoilab/ada-cli 0.84.22 → 0.85.1

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;IAC9C,IAAI,MAAM,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,GAAG,EAAE;QACX,MAAM,GAAG,CAAC,MAAM,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,UAAU,CAAC;QACpD,OAAO,MAAM,GAAG,UAAU,CAAC;IAC5B,CAAC,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAI,KAAU,EAAE,GAAiB;IAC/C,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,qFAAqF;AACrF,SAAS,WAAW,CAAC,MAA6B,EAAE,IAAY,EAAE,KAAa;IAC9E,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;AACxE,CAAC;AACD,SAAS,YAAY,CAAC,MAA6B,EAAE,IAAY,EAAE,KAAa;IAC/E,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;AACzB,CAAC;AAED,SAAS,eAAe,CACvB,OAAyB,EACzB,UAAsB,EACtB,cAAsB,EACtB,aAAuB,EACvB,cAAwB,EACxB,WAAmB,EACnB,WAAoB;IAEpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3D,MAAM,aAAa,GAA2B;QAC7C,mBAAmB,EAAE,qCAAqC;QAC1D,uBAAuB,EAAE,qDAAqD;QAC9E,qBAAqB,EAAE,iDAAiD;QACxE,sBAAsB,EAAE,0CAA0C;QAClE,yBAAyB,EAAE,uDAAuD;QAClF,iBAAiB,EAAE,8CAA8C;QACjE,YAAY,EAAE,kDAAkD;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,oBAAoB,WAAW,GAAG,CAAC,CAAC;IAEhF,MAAM,CAAC,IAAI,CACV,EAAE,EACF,wBAAwB,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,yBAAyB,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,iHAAiH;QACnH,CAAC,CAAC,kDAAkD,CACrD,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAUD,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAE7B,MAAM,UAAU,YAAY,CAAC,QAA4B;IACxD,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;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,MAAc;IACjE,OAAO,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;AAC3C,CAAC"}

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,gFAAgF;IAChF,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,iBAAiB,EAAE,CAAC;CAClD;AAkMD,eAAO,MAAM,oBAAoB,EAAE,QAAQ,EAQ1C,CAAC"}

package/dist/core/banco/mutaciones.js

@@ -0,0 +1,215 @@
+/**
+ * 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.
+ */
+/**
+ * Rangos [inicio, fin) de todo literal de cadena o de expresión regular en la
+ * línea. Tokenizador de una pasada, no un parser: basta para decidir si una
+ * posición cae DENTRO de un literal, que es todo lo que este módulo necesita.
+ *
+ * Encontrado auditando: la guarda anterior (`entreComillas`) solo miraba el
+ * carácter pegado al match, así que `"the value is true today"` mutaba a
+ * `"...is false today"` — el bug caía en medio de la cadena, no en su borde.
+ * Y no cubría literales de regex en absoluto: `/-----BEGIN...KEY-----/`
+ * (política de secretos en `core/computer/politica.ts`) se corrompía a
+ * `--++-` sin que ninguna guarda lo viera venir.
+ */
+function rangosDeLiterales(linea) {
+    const rangos = [];
+    let i = 0;
+    while (i < linea.length) {
+        const ch = linea[i];
+        if (ch === "'" || ch === '"' || ch === "`") {
+            const inicio = i;
+            i++;
+            while (i < linea.length && linea[i] !== ch) {
+                i += linea[i] === "\\" ? 2 : 1;
+            }
+            i++; // consume la comilla de cierre (o el final de línea si no cierra)
+            rangos.push([inicio, i]);
+            continue;
+        }
+        if (ch === "/" && linea[i + 1] !== "/" && linea[i + 1] !== "*") {
+            // Heurística estándar de tokenizador: `/` abre regex salvo que el
+            // carácter no-espacio anterior sugiera división (identificador,
+            // número, `)` o `]`).
+            const anterior = linea.slice(0, i).trimEnd();
+            const esDivision = /[A-Za-z0-9_$)\]]$/.test(anterior);
+            if (!esDivision) {
+                const inicio = i;
+                i++;
+                while (i < linea.length && linea[i] !== "/") {
+                    i += linea[i] === "\\" ? 2 : 1;
+                }
+                i++; // consume el `/` de cierre
+                while (i < linea.length && /[a-z]/i.test(linea[i]))
+                    i++; // flags
+                rangos.push([inicio, i]);
+                continue;
+            }
+        }
+        i++;
+    }
+    return rangos;
+}
+/** ¿El rango [inicio, fin) cae dentro de algún literal de cadena o regex de la línea? */
+function dentroDeLiteral(linea, inicio, fin) {
+    return rangosDeLiterales(linea).some(([a, b]) => inicio < b && fin > a);
+}
+/**
+ * Para cada línea, ¿es puramente comentario? Cubre `//` (ya cubierto antes)
+ * Y `/* ... *\/` de una o varias líneas — que NO estaba cubierto: una línea
+ * JSDoc de una sola línea como `/** If true, ... *\/` mutaba igual que
+ * código real. Simplificación deliberada, igual que el resto del módulo:
+ * trata la línea entera como comentario si EMPIEZA por `//` o `/*` tras
+ * recortar espacios; no separa código y comentario en la misma línea
+ * (`const x = 1; /* nota *\/`), caso raro en este corpus con biome.
+ */
+function lineasComentadas(lineas) {
+    const resultado = [];
+    let dentroDeBloque = false;
+    for (const linea of lineas) {
+        const t = linea.trimStart();
+        if (dentroDeBloque) {
+            resultado.push(true);
+            if (linea.includes("*/"))
+                dentroDeBloque = false;
+            continue;
+        }
+        if (t.startsWith("//")) {
+            resultado.push(true);
+            continue;
+        }
+        if (t.startsWith("/*")) {
+            resultado.push(true);
+            dentroDeBloque = !linea.includes("*/", linea.indexOf("/*") + 2);
+            continue;
+        }
+        resultado.push(false);
+    }
+    return resultado;
+}
+function candidatosPorPalabra(lineas, palabra, reemplazo) {
+    const re = new RegExp(`(?<![A-Za-z0-9_$])${palabra}(?![A-Za-z0-9_$])`, "g");
+    const comentadas = lineasComentadas(lineas);
+    const salida = [];
+    lineas.forEach((linea, i) => {
+        if (comentadas[i])
+            return;
+        for (const m of linea.matchAll(re)) {
+            if (m.index === undefined)
+                continue;
+            if (dentroDeLiteral(linea, m.index, m.index + m[0].length))
+                continue;
+            const mutada = linea.slice(0, m.index) + reemplazo + linea.slice(m.index + m[0].length);
+            salida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });
+        }
+    });
+    return salida;
+}
+function candidatosPorToken(lineas, token, reemplazo) {
+    const comentadas = lineasComentadas(lineas);
+    const salida = [];
+    lineas.forEach((linea, i) => {
+        if (comentadas[i])
+            return;
+        let desde = 0;
+        let idx = linea.indexOf(token, desde);
+        while (idx !== -1) {
+            if (!dentroDeLiteral(linea, idx, idx + token.length)) {
+                const mutada = linea.slice(0, idx) + reemplazo + linea.slice(idx + token.length);
+                salida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });
+            }
+            desde = idx + token.length;
+            idx = linea.indexOf(token, desde);
+        }
+    });
+    return salida;
+}
+const invertirBooleano = {
+    nombre: "invertir-booleano",
+    candidatos: (lineas) => [
+        ...candidatosPorPalabra(lineas, "true", "false"),
+        ...candidatosPorPalabra(lineas, "false", "true"),
+    ],
+};
+const intercambiarIgualdad = {
+    nombre: "intercambiar-igualdad",
+    candidatos: (lineas) => [...candidatosPorToken(lineas, "===", "!=="), ...candidatosPorToken(lineas, "!==", "===")],
+};
+const intercambiarLogico = {
+    nombre: "intercambiar-logico",
+    candidatos: (lineas) => [...candidatosPorToken(lineas, "&&", "||"), ...candidatosPorToken(lineas, "||", "&&")],
+};
+const intercambiarNullish = {
+    nombre: "intercambiar-nullish",
+    candidatos: (lineas) => candidatosPorToken(lineas, "??", "||"),
+};
+const intercambiarIncremento = {
+    nombre: "intercambiar-incremento",
+    candidatos: (lineas) => [...candidatosPorToken(lineas, "++", "--"), ...candidatosPorToken(lineas, "--", "++")],
+};
+/** `!identificador` -> `identificador`. Nunca toca `!=`/`!==` porque esos ya llevan un `=` detrás. */
+const quitarNegacion = {
+    nombre: "quitar-negacion",
+    candidatos: (lineas) => {
+        const re = /(?<![=!])!(?=[A-Za-z_$(])/g;
+        const comentadas = lineasComentadas(lineas);
+        const salida = [];
+        lineas.forEach((linea, i) => {
+            if (comentadas[i])
+                return;
+            for (const m of linea.matchAll(re)) {
+                if (m.index === undefined)
+                    continue;
+                if (dentroDeLiteral(linea, m.index, m.index + 1))
+                    continue;
+                const mutada = linea.slice(0, m.index) + linea.slice(m.index + 1);
+                salida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });
+            }
+        });
+        return salida;
+    },
+};
+/** Literal entero aislado (ni parte de un identificador ni de un decimal) +1. */
+const offByOne = {
+    nombre: "off-by-one",
+    candidatos: (lineas) => {
+        const re = /(?<![\w.])(\d+)(?![\w.])/g;
+        const comentadas = lineasComentadas(lineas);
+        const salida = [];
+        lineas.forEach((linea, i) => {
+            if (comentadas[i])
+                return;
+            for (const m of linea.matchAll(re)) {
+                if (m.index === undefined)
+                    continue;
+                if (dentroDeLiteral(linea, m.index, m.index + m[0].length))
+                    continue;
+                const valor = Number(m[1]);
+                const mutada = `${linea.slice(0, m.index)}${valor + 1}${linea.slice(m.index + m[0].length)}`;
+                salida.push({ numeroLinea: i + 1, lineaOriginal: linea, lineaMutada: mutada });
+            }
+        });
+        return salida;
+    },
+};
+export const TODAS_LAS_MUTACIONES = [
+    invertirBooleano,
+    intercambiarIgualdad,
+    intercambiarLogico,
+    intercambiarNullish,
+    intercambiarIncremento,
+    quitarNegacion,
+    offByOne,
+];
+//# sourceMappingURL=mutaciones.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutaciones.js","sourceRoot":"","sources":["../../../src/core/banco/mutaciones.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAcH;;;;;;;;;;;GAWG;AACH,SAAS,iBAAiB,CAAC,KAAa;IACvC,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,CAAC,CAAC;YACjB,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;gBAC5C,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,CAAC,EAAE,CAAC,CAAC,kEAAkE;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChE,kEAAkE;YAClE,gEAAgE;YAChE,sBAAsB;YACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,MAAM,MAAM,GAAG,CAAC,CAAC;gBACjB,CAAC,EAAE,CAAC;gBACJ,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC7C,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,CAAC;gBACD,CAAC,EAAE,CAAC,CAAC,2BAA2B;gBAChC,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAAE,CAAC,EAAE,CAAC,CAAC,QAAQ;gBACjE,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;gBACzB,SAAS;YACV,CAAC;QACF,CAAC;QACD,CAAC,EAAE,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,yFAAyF;AACzF,SAAS,eAAe,CAAC,KAAa,EAAE,MAAc,EAAE,GAAW;IAClE,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CAAC,MAAgB;IACzC,MAAM,SAAS,GAAc,EAAE,CAAC;IAChC,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAC5B,IAAI,cAAc,EAAE,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,cAAc,GAAG,KAAK,CAAC;YACjD,SAAS;QACV,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,SAAS;QACV,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,cAAc,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAChE,SAAS;QACV,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAgB,EAAE,OAAe,EAAE,SAAiB;IACjF,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,qBAAqB,OAAO,mBAAmB,EAAE,GAAG,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC3B,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO;QAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;gBAAE,SAAS;YACpC,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAE,SAAS;YACrE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACxF,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;QAChF,CAAC;IACF,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAgB,EAAE,KAAa,EAAE,SAAiB;IAC7E,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC3B,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO;QAC1B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;gBACjF,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YAChF,CAAC;YACD,KAAK,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;YAC3B,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;IACF,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,gBAAgB,GAAa;IAClC,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QACvB,GAAG,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC;QAChD,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC;KAChD;CACD,CAAC;AAEF,MAAM,oBAAoB,GAAa;IACtC,MAAM,EAAE,uBAAuB;IAC/B,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;CAClH,CAAC;AAEF,MAAM,kBAAkB,GAAa;IACpC,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;CAC9G,CAAC;AAEF,MAAM,mBAAmB,GAAa;IACrC,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC;CAC9D,CAAC;AAEF,MAAM,sBAAsB,GAAa;IACxC,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;CAC9G,CAAC;AAEF,sGAAsG;AACtG,MAAM,cAAc,GAAa;IAChC,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE;QACtB,MAAM,EAAE,GAAG,4BAA4B,CAAC;QACxC,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC3B,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO;YAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;oBAAE,SAAS;gBACpC,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;oBAAE,SAAS;gBAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YAChF,CAAC;QACF,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IACf,CAAC;CACD,CAAC;AAEF,iFAAiF;AACjF,MAAM,QAAQ,GAAa;IAC1B,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE;QACtB,MAAM,EAAE,GAAG,2BAA2B,CAAC;QACvC,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAwB,EAAE,CAAC;QACvC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC3B,IAAI,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO;YAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;oBAAE,SAAS;gBACpC,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBAAE,SAAS;gBACrE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3B,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7F,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;YAChF,CAAC;QACF,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IACf,CAAC;CACD,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAe;IAC/C,gBAAgB;IAChB,oBAAoB;IACpB,kBAAkB;IAClB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,QAAQ;CACR,CAAC"}

package/dist/core/banco/park-revive.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Park/revive frío de subagentes — referencia omp B07.
+ *
+ * omp: registry/agent-registry (process-global, CAS por ref, activity gist
+ * sanitizada), agent-lifecycle (adopt idle→TTL→park dispose antes de
+ * desregistrar, revive concurrente coalesced, tombstones .tombstone),
+ * persisted-agents (reconstruye métricas/modelo desde transcript session_init).
+ *
+ * Esta versión es ADITIVA y mínima: no toca AgentSession ni el registry global.
+ * Vive en banco/ porque es infraestructura del motor de agente (Fase 2, TASK-02)
+ * y no requiere worktree ni journal. El contrato que importa:
+ *
+ * - frío = dispose completo: park borra el agente vivo.
+ * - revive coalesced: dos revive concurrentes del mismo id comparten promise.
+ * - Snapshot serializa estado + transcript cursor.
+ */
+export interface Snapshot {
+    /** Id del agente (clave de park/revive). */
+    agentId: string;
+    /** Estado serializable del agente (copia profunda vía JSON). */
+    estado: unknown;
+    /** Cursor del transcript en el momento del park (índice de mensaje). */
+    transcriptCursor: number;
+    /** Epoch ms del park. */
+    timestamp: number;
+}
+export interface ParkReviveOptions {
+    /**
+     * Hook opcional invocado durante revive para materializar el agente.
+     * Útil para tests que quieren contar llamadas o inyectar latencia.
+     * Si no se da, revive es inmediato (microtask).
+     */
+    onRevive?: (snapshot: Snapshot) => Promise<void> | void;
+}
+export declare class AgentPark {
+    #private;
+    constructor(options?: ParkReviveOptions);
+    /**
+     * Registra un agente vivo (helper para tests y para el host real que
+     * crea agentes). Sobrescribe si ya existe.
+     */
+    registerLive(agentId: string, estado: unknown, transcriptCursor?: number): void;
+    /** ¿Existe un agente vivo con ese id? */
+    hasLive(agentId: string): boolean;
+    /** Obtiene el estado vivo (solo para tests/verificación). */
+    getLive(agentId: string): {
+        estado: unknown;
+        transcriptCursor: number;
+    } | undefined;
+    /**
+     * Park: serializa estado + transcript cursor y hace dispose completo.
+     * Frío = el agente vivo desaparece; solo queda el Snapshot en #parked.
+     * @throws si el agente no está vivo o ya está parked.
+     */
+    park(agentId: string): Snapshot;
+    /**
+     * Revive: restaura un agente desde su Snapshot.
+     * Coalesced: si hay un revive en vuelo para el mismo id, devuelve la misma promise.
+     * Tras resolver, el snapshot sale de parked y el agente vuelve a live.
+     */
+    revive(snapshot: Snapshot): Promise<string>;
+    isParked(agentId: string): boolean;
+    listParked(): Snapshot[];
+    /** Limpia todo (solo tests). */
+    clear(): void;
+}
+//# sourceMappingURL=park-revive.d.ts.map

package/dist/core/banco/park-revive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"park-revive.d.ts","sourceRoot":"","sources":["../../../src/core/banco/park-revive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,WAAW,QAAQ;IACxB,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,MAAM,EAAE,OAAO,CAAC;IAChB,wEAAwE;IACxE,gBAAgB,EAAE,MAAM,CAAC;IACzB,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IACjC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACxD;AAED,qBAAa,SAAS;;gBAMT,OAAO,GAAE,iBAAsB;IAI3C;;;OAGG;IACH,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,SAAI,GAAG,IAAI;IAI1E,yCAAyC;IACzC,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAIjC,6DAA6D;IAC7D,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS;IAKnF;;;;OAIG;IACH,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ;IAkB/B;;;;OAIG;IACH,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;IA4C3C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAIlC,UAAU,IAAI,QAAQ,EAAE;IAIxB,gCAAgC;IAChC,KAAK,IAAI,IAAI;CAKb"}

package/dist/core/banco/park-revive.js

@@ -0,0 +1,130 @@
+/**
+ * Park/revive frío de subagentes — referencia omp B07.
+ *
+ * omp: registry/agent-registry (process-global, CAS por ref, activity gist
+ * sanitizada), agent-lifecycle (adopt idle→TTL→park dispose antes de
+ * desregistrar, revive concurrente coalesced, tombstones .tombstone),
+ * persisted-agents (reconstruye métricas/modelo desde transcript session_init).
+ *
+ * Esta versión es ADITIVA y mínima: no toca AgentSession ni el registry global.
+ * Vive en banco/ porque es infraestructura del motor de agente (Fase 2, TASK-02)
+ * y no requiere worktree ni journal. El contrato que importa:
+ *
+ * - frío = dispose completo: park borra el agente vivo.
+ * - revive coalesced: dos revive concurrentes del mismo id comparten promise.
+ * - Snapshot serializa estado + transcript cursor.
+ */
+export class AgentPark {
+    #live = new Map();
+    #parked = new Map();
+    #reviving = new Map();
+    #options;
+    constructor(options = {}) {
+        this.#options = options;
+    }
+    /**
+     * Registra un agente vivo (helper para tests y para el host real que
+     * crea agentes). Sobrescribe si ya existe.
+     */
+    registerLive(agentId, estado, transcriptCursor = 0) {
+        this.#live.set(agentId, { estado: clone(estado), transcriptCursor });
+    }
+    /** ¿Existe un agente vivo con ese id? */
+    hasLive(agentId) {
+        return this.#live.has(agentId);
+    }
+    /** Obtiene el estado vivo (solo para tests/verificación). */
+    getLive(agentId) {
+        const v = this.#live.get(agentId);
+        return v ? { estado: clone(v.estado), transcriptCursor: v.transcriptCursor } : undefined;
+    }
+    /**
+     * Park: serializa estado + transcript cursor y hace dispose completo.
+     * Frío = el agente vivo desaparece; solo queda el Snapshot en #parked.
+     * @throws si el agente no está vivo o ya está parked.
+     */
+    park(agentId) {
+        const live = this.#live.get(agentId);
+        if (!live) {
+            if (this.#parked.has(agentId))
+                throw new Error(`AgentPark.park: ${agentId} ya está parked`);
+            throw new Error(`AgentPark.park: agente vivo no encontrado: ${agentId}`);
+        }
+        const snap = {
+            agentId,
+            estado: clone(live.estado),
+            transcriptCursor: live.transcriptCursor,
+            timestamp: Date.now(),
+        };
+        // frío: dispose completo
+        this.#live.delete(agentId);
+        this.#parked.set(agentId, snap);
+        return clone(snap);
+    }
+    /**
+     * Revive: restaura un agente desde su Snapshot.
+     * Coalesced: si hay un revive en vuelo para el mismo id, devuelve la misma promise.
+     * Tras resolver, el snapshot sale de parked y el agente vuelve a live.
+     */
+    revive(snapshot) {
+        const id = snapshot.agentId;
+        if (!id)
+            return Promise.reject(new Error("AgentPark.revive: snapshot sin agentId"));
+        // Ya vivo → idempotente
+        if (this.#live.has(id))
+            return Promise.resolve(id);
+        // Coalesced: comparte promise en vuelo
+        const inflight = this.#reviving.get(id);
+        if (inflight)
+            return inflight;
+        // Debe estar parked (o al menos el snapshot debe corresponder al parked)
+        const parked = this.#parked.get(id);
+        // Permitimos revive de un snapshot que no está en #parked solo si el caller
+        // trae su propio snapshot (p. ej. persistido en disco). En ese caso lo
+        // usamos directamente; si hay un parked distinto, el snapshot del caller manda.
+        const effective = parked ?? snapshot;
+        const p = (async () => {
+            // microtask para permitir que un segundo revive concurrente coincida
+            await Promise.resolve();
+            if (this.#options.onRevive)
+                await this.#options.onRevive(effective);
+            // Si otro revive ya materializó al agente mientras esperábamos, no duplicar
+            if (this.#live.has(id)) {
+                this.#parked.delete(id);
+                return id;
+            }
+            this.#live.set(id, {
+                estado: clone(effective.estado),
+                transcriptCursor: effective.transcriptCursor,
+            });
+            this.#parked.delete(id);
+            return id;
+        })();
+        this.#reviving.set(id, p);
+        // limpiar al asentar (éxito o fallo) para no retener promise rechazada
+        p.then(() => this.#reviving.delete(id), () => this.#reviving.delete(id));
+        return p;
+    }
+    isParked(agentId) {
+        return this.#parked.has(agentId);
+    }
+    listParked() {
+        return [...this.#parked.values()].map((s) => clone(s));
+    }
+    /** Limpia todo (solo tests). */
+    clear() {
+        this.#live.clear();
+        this.#parked.clear();
+        this.#reviving.clear();
+    }
+}
+function clone(v) {
+    // JSON clone es suficiente para estado serializable; cae a referencia si no serializa
+    try {
+        return JSON.parse(JSON.stringify(v));
+    }
+    catch {
+        return v;
+    }
+}
+//# sourceMappingURL=park-revive.js.map

package/dist/core/banco/park-revive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"park-revive.js","sourceRoot":"","sources":["../../../src/core/banco/park-revive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAsBH,MAAM,OAAO,SAAS;IACrB,KAAK,GAAG,IAAI,GAAG,EAAyD,CAAC;IACzE,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IACtC,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC/C,QAAQ,CAAoB;IAE5B,YAAY,UAA6B,EAAE;QAC1C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,OAAe,EAAE,MAAe,EAAE,gBAAgB,GAAG,CAAC;QAClE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,yCAAyC;IACzC,OAAO,CAAC,OAAe;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,6DAA6D;IAC7D,OAAO,CAAC,OAAe;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,CAAC;IAED;;;;OAIG;IACH,IAAI,CAAC,OAAe;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iBAAiB,CAAC,CAAC;YAC5F,MAAM,IAAI,KAAK,CAAC,8CAA8C,OAAO,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,IAAI,GAAa;YACtB,OAAO;YACP,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACrB,CAAC;QACF,yBAAyB;QACzB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC,IAAI,CAAa,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAkB;QACxB,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,EAAE;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC,CAAC;QAEpF,wBAAwB;QACxB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAEnD,uCAAuC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAE9B,yEAAyE;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpC,4EAA4E;QAC5E,uEAAuE;QACvE,gFAAgF;QAChF,MAAM,SAAS,GAAG,MAAM,IAAI,QAAQ,CAAC;QAErC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAqB,EAAE;YACtC,qEAAqE;YACrE,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACpE,4EAA4E;YAC5E,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACxB,OAAO,EAAE,CAAC;YACX,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE;gBAClB,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBAC/B,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC5C,CAAC,CAAC;YACH,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACxB,OAAO,EAAE,CAAC;QACX,CAAC,CAAC,EAAE,CAAC;QAEL,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1B,uEAAuE;QACvE,CAAC,CAAC,IAAI,CACL,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAC/B,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAC/B,CAAC;QACF,OAAO,CAAC,CAAC;IACV,CAAC;IAED,QAAQ,CAAC,OAAe;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,UAAU;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAa,CAAC,CAAC;IACpE,CAAC;IAED,gCAAgC;IAChC,KAAK;QACJ,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;IACxB,CAAC;CACD;AAED,SAAS,KAAK,CAAI,CAAI;IACrB,sFAAsF;IACtF,IAAI,CAAC;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAM,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,CAAC,CAAC;IACV,CAAC;AACF,CAAC"}