@hoilab/ada-cli 0.84.21 → 0.85.0

package/dist/core/audit/exportacion.d.ts

@@ -0,0 +1,54 @@
+/**
+ * El libro de sesión convertido en un documento que un DPO puede archivar.
+ *
+ * El libro (`libro.ts`) es JSONL encadenado: perfecto para verificar, ilegible
+ * para quien tiene que responder a una inspección. Un delegado de protección de
+ * datos hace dos preguntas concretas y ninguna se contesta leyendo hashes:
+ *
+ *   · ¿QUÉ FICHEROS se trataron? (art. 30 RGPD, registro de actividades)
+ *   · ¿QUÉ SALIÓ DE LA MÁQUINA y hacia dónde? (art. 44 y siguientes)
+ *
+ * Sale Markdown y no JSON a propósito: el requisito es "un fichero que se pueda
+ * releer sin nuestro CLI", y un JSONL con hashes no lo cumple aunque
+ * técnicamente se pueda abrir. Texto plano, tablas, y las limitaciones escritas
+ * dentro del propio documento.
+ *
+ * Dos cosas que conviene no deshacer:
+ *
+ * 1. **Minimización.** Aquí no se reconstruye nada que el libro no guarde ya. El
+ *    libro guarda del fichero su hash antes y después, nunca el texto, así que
+ *    este informe tampoco puede tenerlo. Y por si acaso se vuelve a pasar
+ *    `redactSensitive` sobre el documento entero: es el artefacto que SALE de la
+ *    máquina y se archiva, y una entrada escrita antes de que existiera un patrón
+ *    de redacción no puede convertirse en una fuga al exportarla.
+ * 2. **Tres estados, no dos.** "No hubo transferencias" y "no se pudo
+ *    determinar" no son lo mismo, y un informe que saliera vacío en los dos casos
+ *    haría pasar por limpia una sesión cuya cadena está rota. La ausencia de un
+ *    registro solo prueba algo si el registro es completo y verificable: si la
+ *    cadena no verifica, si el libro está vacío o si la lectura se topó con el
+ *    tope, este informe dice que no lo sabe en vez de afirmar que no pasó nada.
+ */
+import type { EntradaDelLibro, Veredicto } from "./libro.ts";
+/**
+ * ¿Podemos afirmar que algo NO ocurrió?
+ *
+ * Es el tipo que impide colapsar los tres estados en dos. Solo con
+ * `{ sabemos: true }` tiene sentido escribir "no hubo transferencias"; en los
+ * demás casos el informe dice qué le falta para saberlo.
+ */
+export type Certeza = {
+    sabemos: true;
+} | {
+    sabemos: false;
+    porque: string;
+};
+export declare function certezaDe(veredicto: Veredicto, truncado: boolean): Certeza;
+/**
+ * Rinde el informe.
+ *
+ * `entradas` debe venir de más antigua a más reciente (`libro.leer` las da al
+ * revés). `truncado` es true si la lectura se topó con su límite, porque
+ * entonces no se puede afirmar ninguna ausencia.
+ */
+export declare function informeParaDpo(entradas: EntradaDelLibro[], veredicto: Veredicto, truncado: boolean, ahora?: string): string;
+//# sourceMappingURL=exportacion.d.ts.map

package/dist/core/audit/exportacion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exportacion.d.ts","sourceRoot":"","sources":["../../../src/core/audit/exportacion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE7D;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GAAG;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7E,wBAAgB,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,CAwB1E;AA+DD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,eAAe,EAAE,EAC3B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,OAAO,EACjB,KAAK,SAA2B,GAC9B,MAAM,CAiNR","sourcesContent":["/**\n * El libro de sesión convertido en un documento que un DPO puede archivar.\n *\n * El libro (`libro.ts`) es JSONL encadenado: perfecto para verificar, ilegible\n * para quien tiene que responder a una inspección. Un delegado de protección de\n * datos hace dos preguntas concretas y ninguna se contesta leyendo hashes:\n *\n *   · ¿QUÉ FICHEROS se trataron? (art. 30 RGPD, registro de actividades)\n *   · ¿QUÉ SALIÓ DE LA MÁQUINA y hacia dónde? (art. 44 y siguientes)\n *\n * Sale Markdown y no JSON a propósito: el requisito es \"un fichero que se pueda\n * releer sin nuestro CLI\", y un JSONL con hashes no lo cumple aunque\n * técnicamente se pueda abrir. Texto plano, tablas, y las limitaciones escritas\n * dentro del propio documento.\n *\n * Dos cosas que conviene no deshacer:\n *\n * 1. **Minimización.** Aquí no se reconstruye nada que el libro no guarde ya. El\n *    libro guarda del fichero su hash antes y después, nunca el texto, así que\n *    este informe tampoco puede tenerlo. Y por si acaso se vuelve a pasar\n *    `redactSensitive` sobre el documento entero: es el artefacto que SALE de la\n *    máquina y se archiva, y una entrada escrita antes de que existiera un patrón\n *    de redacción no puede convertirse en una fuga al exportarla.\n * 2. **Tres estados, no dos.** \"No hubo transferencias\" y \"no se pudo\n *    determinar\" no son lo mismo, y un informe que saliera vacío en los dos casos\n *    haría pasar por limpia una sesión cuya cadena está rota. La ausencia de un\n *    registro solo prueba algo si el registro es completo y verificable: si la\n *    cadena no verifica, si el libro está vacío o si la lectura se topó con el\n *    tope, este informe dice que no lo sabe en vez de afirmar que no pasó nada.\n */\n\nimport { redactSensitive } from \"../memory-engine/security.ts\";\nimport type { EntradaDelLibro, Veredicto } from \"./libro.ts\";\n\n/**\n * ¿Podemos afirmar que algo NO ocurrió?\n *\n * Es el tipo que impide colapsar los tres estados en dos. Solo con\n * `{ sabemos: true }` tiene sentido escribir \"no hubo transferencias\"; en los\n * demás casos el informe dice qué le falta para saberlo.\n */\nexport type Certeza = { sabemos: true } | { sabemos: false; porque: string };\n\nexport function certezaDe(veredicto: Veredicto, truncado: boolean): Certeza {\n\tif (truncado) {\n\t\treturn {\n\t\t\tsabemos: false,\n\t\t\tporque:\n\t\t\t\t\"la lectura del libro alcanzó su tope de entradas, así que hay registros anteriores que este informe no ha mirado.\",\n\t\t};\n\t}\n\tif (!veredicto.valido) {\n\t\treturn {\n\t\t\tsabemos: false,\n\t\t\tporque:\n\t\t\t\t`la cadena de hashes NO verifica${veredicto.alteradaEn ? ` (falla en la entrada del ${fecha(veredicto.alteradaEn)})` : \"\"}. ` +\n\t\t\t\t\"Sobre un libro alterado, la ausencia de un registro no prueba que el hecho no ocurriera: puede haberse borrado.\",\n\t\t};\n\t}\n\tif (veredicto.comprobadas === 0) {\n\t\treturn {\n\t\t\tsabemos: false,\n\t\t\tporque:\n\t\t\t\t\"el libro está vacío. No hay registro de actividad, que no es lo mismo que un registro de que no hubo actividad.\",\n\t\t};\n\t}\n\treturn { sabemos: true };\n}\n\n/** Escapa lo que va dentro de una celda para que no rompa la tabla. */\nfunction celda(valor: unknown): string {\n\tif (valor === null || valor === undefined || valor === \"\") return \"—\";\n\treturn String(valor)\n\t\t.replace(/\\|/g, \"\\\\|\")\n\t\t.replace(/[\\r\\n]+/g, \" \");\n}\n\nfunction tabla(cabeceras: string[], filas: string[][]): string {\n\treturn [\n\t\t`| ${cabeceras.join(\" | \")} |`,\n\t\t`| ${cabeceras.map(() => \"---\").join(\" | \")} |`,\n\t\t...filas.map((f) => `| ${f.map(celda).join(\" | \")} |`),\n\t].join(\"\\n\");\n}\n\n/**\n * Una sección con su tercer estado.\n *\n * `nadaOcurrio` es la frase afirmativa (\"No hubo transferencias\"); solo se\n * imprime cuando la certeza lo permite. Si no, se imprime por qué no se sabe.\n */\nfunction seccion(\n\ttitulo: string,\n\tbase: string,\n\tcabeceras: string[],\n\tfilas: string[][],\n\tnadaOcurrio: string,\n\tcerteza: Certeza,\n\t/**\n\t * Hasta dónde llega la observación de esta sección. Se rinde SIEMPRE.\n\t *\n\t * Antes el alcance viajaba dentro de `nadaOcurrio`, que solo se imprime\n\t * cuando la tabla está vacía. Es decir: la advertencia de «hay caminos que no\n\t * miro» desaparecía justo cuando había datos, y el DPO leía una tabla de\n\t * transferencias con pinta de completa y ninguna salvedad. La salvedad\n\t * importa MÁS con filas que sin ellas: sin filas se está afirmando una\n\t * ausencia, con filas se está insinuando una lista exhaustiva.\n\t */\n\talcance?: string,\n): string {\n\tconst cuerpo =\n\t\tfilas.length > 0\n\t\t\t? tabla(cabeceras, filas)\n\t\t\t: certeza.sabemos\n\t\t\t\t? `**${nadaOcurrio}.** El libro está completo y su cadena verifica, así que esta ausencia es un dato, no un hueco.`\n\t\t\t\t: `**No se pudo determinar.** No se puede afirmar que ${nadaOcurrio.toLowerCase()}: ${certeza.porque}`;\n\treturn `## ${titulo}\\n\\n_${base}_\\n\\n${cuerpo}${alcance ? `\\n\\n> **Alcance de esta sección.** ${alcance}` : \"\"}`;\n}\n\n/** Fecha y hora sin la parte de milisegundos, que a un DPO no le dice nada. */\nfunction fecha(ts: string): string {\n\treturn ts.replace(\"T\", \" \").replace(/\\.\\d+Z$/, \"Z\");\n}\n\ntype Suceso = Record<string, unknown>;\n\nfunction esTipo(e: EntradaDelLibro, tipo: string): boolean {\n\treturn e.suceso.tipo === tipo;\n}\n\n/**\n * Rinde el informe.\n *\n * `entradas` debe venir de más antigua a más reciente (`libro.leer` las da al\n * revés). `truncado` es true si la lectura se topó con su límite, porque\n * entonces no se puede afirmar ninguna ausencia.\n */\nexport function informeParaDpo(\n\tentradas: EntradaDelLibro[],\n\tveredicto: Veredicto,\n\ttruncado: boolean,\n\tahora = new Date().toISOString(),\n): string {\n\tconst certeza = certezaDe(veredicto, truncado);\n\tconst sesiones = [...new Set(entradas.map((e) => e.sesion))];\n\n\tconst integridad = veredicto.valido\n\t\t? `**Cadena de hashes ÍNTEGRA** — ${veredicto.comprobadas} entrada(s) reverificadas de punta a punta.`\n\t\t: `**CADENA ALTERADA** tras ${veredicto.comprobadas} entrada(s) correctas` +\n\t\t\t(veredicto.alteradaEn ? `, en la del ${fecha(veredicto.alteradaEn)}` : \"\") +\n\t\t\t(veredicto.ficheroAlterado ? ` (fichero \\`sesion/${veredicto.ficheroAlterado}\\`)` : \"\") +\n\t\t\t\". Las entradas anteriores a esa siguen siendo fiables; a partir de ahí, no.\";\n\n\tconst partes: string[] = [\n\t\t\"# Registro de actividades de tratamiento — Ada\",\n\t\t[\n\t\t\t`- **Generado:** ${fecha(ahora)}`,\n\t\t\t`- **Entradas del libro:** ${entradas.length}${truncado ? \" (lectura truncada por el tope)\" : \"\"}`,\n\t\t\t`- **Sesiones cubiertas:** ${sesiones.length > 0 ? sesiones.map((s) => `\\`${s}\\``).join(\", \") : \"ninguna\"}`,\n\t\t\t`- **Periodo:** ${entradas.length > 0 ? `${fecha(entradas[0].ts)} → ${fecha(entradas[entradas.length - 1].ts)}` : \"—\"}`,\n\t\t].join(\"\\n\"),\n\t\t`## Prueba de integridad\\n\\n${integridad}`,\n\n\t\tseccion(\n\t\t\t\"1. Ficheros tratados\",\n\t\t\t\"Art. 30 RGPD — registro de actividades de tratamiento. Del fichero consta su HASH antes y después, nunca su contenido.\",\n\t\t\t[\"Fecha\", \"Fichero\", \"Hash antes\", \"Hash después\", \"Vía\", \"Base\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"fichero\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\tString(s.ruta ?? \"\"),\n\t\t\t\t\t\ts.antes === null ? \"(no existía)\" : celda(s.antes),\n\t\t\t\t\t\ts.despues === null ? \"(borrado)\" : celda(s.despues),\n\t\t\t\t\t\tcelda(s.tool),\n\t\t\t\t\t\t\"ejecución solicitada por el usuario en la sesión\",\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se trató ningún fichero\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"2. Transferencias de datos fuera de la máquina\",\n\t\t\t\"Art. 44 y ss. RGPD — destinatarios. Consta el DOMINIO de destino; nunca la ruta ni los parámetros, que es donde viajan los tokens.\",\n\t\t\t[\"Fecha\", \"Destino\", \"Resultado\", \"Motivo\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"red\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [fecha(e.ts), String(s.dominio ?? \"\"), s.permitido ? \"permitida\" : \"BLOQUEADA\", celda(s.motivo)];\n\t\t\t\t}),\n\t\t\t// La frase dice su ALCANCE, y no es un matiz de estilo.\n\t\t\t//\n\t\t\t// El `fetchImpl` vigilado que produce estos sucesos lo reciben el fetch\n\t\t\t// genérico, los scrapers y los proveedores de búsqueda — las tools web.\n\t\t\t// NO lo reciben (comprobado con `grep -c anotarRed`, cero en los tres):\n\t\t\t// el cliente MCP (`core/mcp/client.ts`, que sí acepta `fetchImpl` y hoy\n\t\t\t// no se le pasa), el broker de blobs y la API de Telegram.\n\t\t\t//\n\t\t\t// Un DPO estricto diría que hablar con un MCP remoto ES una\n\t\t\t// transferencia, y tendría razón. Escribir \"No hubo transferencias\" a\n\t\t\t// secas sería afirmar una ausencia que este registro no puede sostener:\n\t\t\t// «no lo he mirado» vendido como «no hay», en el documento donde eso se\n\t\t\t// paga más caro. Mientras la cobertura no sea completa, la frase nombra\n\t\t\t// lo que sí cubre y quien lea el informe puede juzgar el resto.\n\t\t\t// La frase sigue diciendo su ALCANCE, y sigue sin ser un matiz de estilo.\n\t\t\t//\n\t\t\t// Cubierto: el fetch genérico, los scrapers, los proveedores de búsqueda\n\t\t\t// y —desde `core/web/registro-red.ts`— el cliente MCP, que es el que un\n\t\t\t// DPO preguntaría primero porque habla con servidores de terceros.\n\t\t\t//\n\t\t\t// Fuera todavía, MEDIDO recorriendo cada `fetch(` del código y no\n\t\t\t// copiado del comentario anterior —que decía «el broker de ficheros\n\t\t\t// grandes y Telegram» y no era la lista real—:\n\t\t\t//\n\t\t\t//   modes/interactive/interactive-mode.ts:1326  aviso a pi.dev\n\t\t\t//   extensions/llama/huggingface.ts:76          descarga de modelos\n\t\t\t//   extensions/llama/client.ts:171,216          servidor llama\n\t\t\t//   core/credenciales/cliente.ts:62,79          broker de credenciales\n\t\t\t//   cli/telemetria-command.ts                   colector OTLP (--enviar)\n\t\t\t//\n\t\t\t// (`computer/motor/{bridge,cdp}.ts` y `utils/management-http.ts` van a\n\t\t\t// 127.0.0.1: no salen de la máquina y no son transferencias.)\n\t\t\t//\n\t\t\t// Mientras queden caminos sin cubrir, la salvedad nombra lo que sí\n\t\t\t// sostiene, y se rinde TAMBIÉN cuando la tabla tiene filas: con datos\n\t\t\t// se está insinuando una lista exhaustiva, que es peor que declarar una\n\t\t\t// ausencia.\n\t\t\t\"No hubo transferencias por los caminos que este registro observa\",\n\t\t\tcerteza,\n\t\t\t\"esta tabla cubre las herramientas web (fetch, scrapers y buscadores) y los servidores \" +\n\t\t\t\t\"MCP. Quedan FUERA, medido recorriendo cada llamada a `fetch` del código: el aviso de \" +\n\t\t\t\t\"instalación a `pi.dev` (activado por defecto; se apaga con `PI_OFFLINE`, `PI_TELEMETRY=0` \" +\n\t\t\t\t\"o `enableInstallTelemetry: false`), las descargas de modelos de Hugging Face, el \" +\n\t\t\t\t\"servidor llama, el broker de credenciales y el envío al colector OTLP de \" +\n\t\t\t\t\"`ada-cli telemetria --enviar` (que manda forma y nunca contenido, pero sale igual de \" +\n\t\t\t\t\"esta máquina). Sobre esos caminos este informe no afirma \" +\n\t\t\t\t\"nada, ni que hubo transferencias ni que no las hubo. Una lista que parece exhaustiva y \" +\n\t\t\t\t\"no lo es engaña más que una ausencia declarada.\",\n\t\t),\n\n\t\tseccion(\n\t\t\t\"3. Modelos invocados (encargados del tratamiento)\",\n\t\t\t\"Art. 28 RGPD — cada llamada a un modelo remoto es un tratamiento por cuenta de un tercero. Consta el proveedor y el volumen, nunca el contenido del prompt.\",\n\t\t\t[\"Fecha\", \"Proveedor\", \"Modelo\", \"Tokens entrada\", \"Tokens salida\", \"Fin\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"modelo\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\tcelda(s.proveedor),\n\t\t\t\t\t\tcelda(s.modelo),\n\t\t\t\t\t\tcelda(s.entrada),\n\t\t\t\t\t\tcelda(s.salida),\n\t\t\t\t\t\tcelda(s.motivoParada),\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se invocó ningún modelo\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"4. Comandos ejecutados\",\n\t\t\t\"Trazabilidad de la actuación automatizada. `origen` distingue lo que decidió el agente de lo que tecleó la persona.\",\n\t\t\t[\"Fecha\", \"Comando\", \"Código\", \"Origen\", \"Encierro\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"comando\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\tconst argv = Array.isArray(s.argv) ? s.argv.join(\" \") : \"\";\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\t`\\`${celda(argv.slice(0, 120))}\\``,\n\t\t\t\t\t\tcelda(s.codigo),\n\t\t\t\t\t\ts.origen === \"usuario\" ? \"usuario\" : \"agente\",\n\t\t\t\t\t\tcelda(s.sandbox),\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se ejecutó ningún comando\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"5. Herramientas y decisiones de política\",\n\t\t\t\"Art. 12 AI Act — qué se permitió y con qué base. `Base` es la regla de la política de aprobación que dejó pasar la llamada.\",\n\t\t\t[\"Fecha\", \"Herramienta\", \"Resultado\", \"Decisión\", \"Base\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"tool\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [fecha(e.ts), celda(s.nombre), s.ok ? \"ok\" : \"ERROR\", celda(s.decision), celda(s.motivo)];\n\t\t\t\t}),\n\t\t\t\"No se ejecutó ninguna herramienta\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"6. Credenciales utilizadas\",\n\t\t\t\"Quién usó qué cuenta y cuándo. Consta el identificador de la credencial, jamás su valor.\",\n\t\t\t[\"Fecha\", \"Acción\", \"Proveedor\", \"Credencial\", \"Resultado\", \"Cliente\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"credencial\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\tcelda(s.accion),\n\t\t\t\t\t\tcelda(s.proveedor),\n\t\t\t\t\t\ts.credencialId === null ? \"(ninguna activa)\" : celda(s.credencialId),\n\t\t\t\t\t\tcelda(s.resultado),\n\t\t\t\t\t\tcelda(s.cliente),\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se utilizó ninguna credencial\",\n\t\t\tcerteza,\n\t\t),\n\n\t\t[\n\t\t\t\"## Minimización de datos\",\n\t\t\t\"\",\n\t\t\t\"Este documento contiene la FORMA de lo que ocurrió, no su contenido. En concreto NO incluye:\",\n\t\t\t\"\",\n\t\t\t\"- el contenido de ningún fichero del usuario (solo el hash SHA-256 truncado de antes y después);\",\n\t\t\t\"- el texto de ningún prompt ni respuesta del modelo (solo el recuento de tokens);\",\n\t\t\t\"- ninguna credencial, clave ni token (solo el identificador de la credencial usada);\",\n\t\t\t\"- ninguna ruta ni parámetro de las URL a las que se salió (solo el dominio de destino).\",\n\t\t\t\"\",\n\t\t\t\"Un registro de cumplimiento que copiara los datos tratados sería un segundo almacén de justo\",\n\t\t\t\"aquello que el RGPD manda minimizar.\",\n\t\t].join(\"\\n\"),\n\n\t\t[\n\t\t\t\"## Qué NO prueba este documento\",\n\t\t\t\"\",\n\t\t\t\"- La cadena de hashes prueba **integridad interna** (que el libro no se editó ni reordenó), no **procedencia**:\",\n\t\t\t\"  no acredita quién lo generó ni en qué máquina. Para no-repudio hace falta firma con clave gestionada (HSM).\",\n\t\t\t\"- Borrar el fichero de una sesión completa no lo detecta la cadena; sí detecta cualquier modificación dentro de una sesión.\",\n\t\t\t\"- El informe refleja lo que el agente registró. No es una auditoría independiente del código resultante.\",\n\t\t].join(\"\\n\"),\n\t];\n\n\t// Segunda pasada de redacción sobre el documento ya rendido. El libro ya\n\t// redacta al escribir, pero este es el artefacto que SALE de la máquina y se\n\t// archiva: una entrada anotada antes de que existiera un patrón no puede\n\t// convertirse en una fuga al exportarla. Sobre Markdown no hay nada que\n\t// romper, así que lo peor que puede pasar es que redacte de más.\n\treturn redactSensitive(`${partes.join(\"\\n\\n\")}\\n`, \"strict\");\n}\n"]}

package/dist/core/audit/exportacion.js

@@ -0,0 +1,265 @@
+/**
+ * El libro de sesión convertido en un documento que un DPO puede archivar.
+ *
+ * El libro (`libro.ts`) es JSONL encadenado: perfecto para verificar, ilegible
+ * para quien tiene que responder a una inspección. Un delegado de protección de
+ * datos hace dos preguntas concretas y ninguna se contesta leyendo hashes:
+ *
+ *   · ¿QUÉ FICHEROS se trataron? (art. 30 RGPD, registro de actividades)
+ *   · ¿QUÉ SALIÓ DE LA MÁQUINA y hacia dónde? (art. 44 y siguientes)
+ *
+ * Sale Markdown y no JSON a propósito: el requisito es "un fichero que se pueda
+ * releer sin nuestro CLI", y un JSONL con hashes no lo cumple aunque
+ * técnicamente se pueda abrir. Texto plano, tablas, y las limitaciones escritas
+ * dentro del propio documento.
+ *
+ * Dos cosas que conviene no deshacer:
+ *
+ * 1. **Minimización.** Aquí no se reconstruye nada que el libro no guarde ya. El
+ *    libro guarda del fichero su hash antes y después, nunca el texto, así que
+ *    este informe tampoco puede tenerlo. Y por si acaso se vuelve a pasar
+ *    `redactSensitive` sobre el documento entero: es el artefacto que SALE de la
+ *    máquina y se archiva, y una entrada escrita antes de que existiera un patrón
+ *    de redacción no puede convertirse en una fuga al exportarla.
+ * 2. **Tres estados, no dos.** "No hubo transferencias" y "no se pudo
+ *    determinar" no son lo mismo, y un informe que saliera vacío en los dos casos
+ *    haría pasar por limpia una sesión cuya cadena está rota. La ausencia de un
+ *    registro solo prueba algo si el registro es completo y verificable: si la
+ *    cadena no verifica, si el libro está vacío o si la lectura se topó con el
+ *    tope, este informe dice que no lo sabe en vez de afirmar que no pasó nada.
+ */
+import { redactSensitive } from "../memory-engine/security.js";
+export function certezaDe(veredicto, truncado) {
+    if (truncado) {
+        return {
+            sabemos: false,
+            porque: "la lectura del libro alcanzó su tope de entradas, así que hay registros anteriores que este informe no ha mirado.",
+        };
+    }
+    if (!veredicto.valido) {
+        return {
+            sabemos: false,
+            porque: `la cadena de hashes NO verifica${veredicto.alteradaEn ? ` (falla en la entrada del ${fecha(veredicto.alteradaEn)})` : ""}. ` +
+                "Sobre un libro alterado, la ausencia de un registro no prueba que el hecho no ocurriera: puede haberse borrado.",
+        };
+    }
+    if (veredicto.comprobadas === 0) {
+        return {
+            sabemos: false,
+            porque: "el libro está vacío. No hay registro de actividad, que no es lo mismo que un registro de que no hubo actividad.",
+        };
+    }
+    return { sabemos: true };
+}
+/** Escapa lo que va dentro de una celda para que no rompa la tabla. */
+function celda(valor) {
+    if (valor === null || valor === undefined || valor === "")
+        return "—";
+    return String(valor)
+        .replace(/\|/g, "\\|")
+        .replace(/[\r\n]+/g, " ");
+}
+function tabla(cabeceras, filas) {
+    return [
+        `| ${cabeceras.join(" | ")} |`,
+        `| ${cabeceras.map(() => "---").join(" | ")} |`,
+        ...filas.map((f) => `| ${f.map(celda).join(" | ")} |`),
+    ].join("\n");
+}
+/**
+ * Una sección con su tercer estado.
+ *
+ * `nadaOcurrio` es la frase afirmativa ("No hubo transferencias"); solo se
+ * imprime cuando la certeza lo permite. Si no, se imprime por qué no se sabe.
+ */
+function seccion(titulo, base, cabeceras, filas, nadaOcurrio, certeza, 
+/**
+ * Hasta dónde llega la observación de esta sección. Se rinde SIEMPRE.
+ *
+ * Antes el alcance viajaba dentro de `nadaOcurrio`, que solo se imprime
+ * cuando la tabla está vacía. Es decir: la advertencia de «hay caminos que no
+ * miro» desaparecía justo cuando había datos, y el DPO leía una tabla de
+ * transferencias con pinta de completa y ninguna salvedad. La salvedad
+ * importa MÁS con filas que sin ellas: sin filas se está afirmando una
+ * ausencia, con filas se está insinuando una lista exhaustiva.
+ */
+alcance) {
+    const cuerpo = filas.length > 0
+        ? tabla(cabeceras, filas)
+        : certeza.sabemos
+            ? `**${nadaOcurrio}.** El libro está completo y su cadena verifica, así que esta ausencia es un dato, no un hueco.`
+            : `**No se pudo determinar.** No se puede afirmar que ${nadaOcurrio.toLowerCase()}: ${certeza.porque}`;
+    return `## ${titulo}\n\n_${base}_\n\n${cuerpo}${alcance ? `\n\n> **Alcance de esta sección.** ${alcance}` : ""}`;
+}
+/** Fecha y hora sin la parte de milisegundos, que a un DPO no le dice nada. */
+function fecha(ts) {
+    return ts.replace("T", " ").replace(/\.\d+Z$/, "Z");
+}
+function esTipo(e, tipo) {
+    return e.suceso.tipo === tipo;
+}
+/**
+ * Rinde el informe.
+ *
+ * `entradas` debe venir de más antigua a más reciente (`libro.leer` las da al
+ * revés). `truncado` es true si la lectura se topó con su límite, porque
+ * entonces no se puede afirmar ninguna ausencia.
+ */
+export function informeParaDpo(entradas, veredicto, truncado, ahora = new Date().toISOString()) {
+    const certeza = certezaDe(veredicto, truncado);
+    const sesiones = [...new Set(entradas.map((e) => e.sesion))];
+    const integridad = veredicto.valido
+        ? `**Cadena de hashes ÍNTEGRA** — ${veredicto.comprobadas} entrada(s) reverificadas de punta a punta.`
+        : `**CADENA ALTERADA** tras ${veredicto.comprobadas} entrada(s) correctas` +
+            (veredicto.alteradaEn ? `, en la del ${fecha(veredicto.alteradaEn)}` : "") +
+            (veredicto.ficheroAlterado ? ` (fichero \`sesion/${veredicto.ficheroAlterado}\`)` : "") +
+            ". Las entradas anteriores a esa siguen siendo fiables; a partir de ahí, no.";
+    const partes = [
+        "# Registro de actividades de tratamiento — Ada",
+        [
+            `- **Generado:** ${fecha(ahora)}`,
+            `- **Entradas del libro:** ${entradas.length}${truncado ? " (lectura truncada por el tope)" : ""}`,
+            `- **Sesiones cubiertas:** ${sesiones.length > 0 ? sesiones.map((s) => `\`${s}\``).join(", ") : "ninguna"}`,
+            `- **Periodo:** ${entradas.length > 0 ? `${fecha(entradas[0].ts)} → ${fecha(entradas[entradas.length - 1].ts)}` : "—"}`,
+        ].join("\n"),
+        `## Prueba de integridad\n\n${integridad}`,
+        seccion("1. Ficheros tratados", "Art. 30 RGPD — registro de actividades de tratamiento. Del fichero consta su HASH antes y después, nunca su contenido.", ["Fecha", "Fichero", "Hash antes", "Hash después", "Vía", "Base"], entradas
+            .filter((e) => esTipo(e, "fichero"))
+            .map((e) => {
+            const s = e.suceso;
+            return [
+                fecha(e.ts),
+                String(s.ruta ?? ""),
+                s.antes === null ? "(no existía)" : celda(s.antes),
+                s.despues === null ? "(borrado)" : celda(s.despues),
+                celda(s.tool),
+                "ejecución solicitada por el usuario en la sesión",
+            ];
+        }), "No se trató ningún fichero", certeza),
+        seccion("2. Transferencias de datos fuera de la máquina", "Art. 44 y ss. RGPD — destinatarios. Consta el DOMINIO de destino; nunca la ruta ni los parámetros, que es donde viajan los tokens.", ["Fecha", "Destino", "Resultado", "Motivo"], entradas
+            .filter((e) => esTipo(e, "red"))
+            .map((e) => {
+            const s = e.suceso;
+            return [fecha(e.ts), String(s.dominio ?? ""), s.permitido ? "permitida" : "BLOQUEADA", celda(s.motivo)];
+        }), 
+        // La frase dice su ALCANCE, y no es un matiz de estilo.
+        //
+        // El `fetchImpl` vigilado que produce estos sucesos lo reciben el fetch
+        // genérico, los scrapers y los proveedores de búsqueda — las tools web.
+        // NO lo reciben (comprobado con `grep -c anotarRed`, cero en los tres):
+        // el cliente MCP (`core/mcp/client.ts`, que sí acepta `fetchImpl` y hoy
+        // no se le pasa), el broker de blobs y la API de Telegram.
+        //
+        // Un DPO estricto diría que hablar con un MCP remoto ES una
+        // transferencia, y tendría razón. Escribir "No hubo transferencias" a
+        // secas sería afirmar una ausencia que este registro no puede sostener:
+        // «no lo he mirado» vendido como «no hay», en el documento donde eso se
+        // paga más caro. Mientras la cobertura no sea completa, la frase nombra
+        // lo que sí cubre y quien lea el informe puede juzgar el resto.
+        // La frase sigue diciendo su ALCANCE, y sigue sin ser un matiz de estilo.
+        //
+        // Cubierto: el fetch genérico, los scrapers, los proveedores de búsqueda
+        // y —desde `core/web/registro-red.ts`— el cliente MCP, que es el que un
+        // DPO preguntaría primero porque habla con servidores de terceros.
+        //
+        // Fuera todavía, MEDIDO recorriendo cada `fetch(` del código y no
+        // copiado del comentario anterior —que decía «el broker de ficheros
+        // grandes y Telegram» y no era la lista real—:
+        //
+        //   modes/interactive/interactive-mode.ts:1326  aviso a pi.dev
+        //   extensions/llama/huggingface.ts:76          descarga de modelos
+        //   extensions/llama/client.ts:171,216          servidor llama
+        //   core/credenciales/cliente.ts:62,79          broker de credenciales
+        //   cli/telemetria-command.ts                   colector OTLP (--enviar)
+        //
+        // (`computer/motor/{bridge,cdp}.ts` y `utils/management-http.ts` van a
+        // 127.0.0.1: no salen de la máquina y no son transferencias.)
+        //
+        // Mientras queden caminos sin cubrir, la salvedad nombra lo que sí
+        // sostiene, y se rinde TAMBIÉN cuando la tabla tiene filas: con datos
+        // se está insinuando una lista exhaustiva, que es peor que declarar una
+        // ausencia.
+        "No hubo transferencias por los caminos que este registro observa", certeza, "esta tabla cubre las herramientas web (fetch, scrapers y buscadores) y los servidores " +
+            "MCP. Quedan FUERA, medido recorriendo cada llamada a `fetch` del código: el aviso de " +
+            "instalación a `pi.dev` (activado por defecto; se apaga con `PI_OFFLINE`, `PI_TELEMETRY=0` " +
+            "o `enableInstallTelemetry: false`), las descargas de modelos de Hugging Face, el " +
+            "servidor llama, el broker de credenciales y el envío al colector OTLP de " +
+            "`ada-cli telemetria --enviar` (que manda forma y nunca contenido, pero sale igual de " +
+            "esta máquina). Sobre esos caminos este informe no afirma " +
+            "nada, ni que hubo transferencias ni que no las hubo. Una lista que parece exhaustiva y " +
+            "no lo es engaña más que una ausencia declarada."),
+        seccion("3. Modelos invocados (encargados del tratamiento)", "Art. 28 RGPD — cada llamada a un modelo remoto es un tratamiento por cuenta de un tercero. Consta el proveedor y el volumen, nunca el contenido del prompt.", ["Fecha", "Proveedor", "Modelo", "Tokens entrada", "Tokens salida", "Fin"], entradas
+            .filter((e) => esTipo(e, "modelo"))
+            .map((e) => {
+            const s = e.suceso;
+            return [
+                fecha(e.ts),
+                celda(s.proveedor),
+                celda(s.modelo),
+                celda(s.entrada),
+                celda(s.salida),
+                celda(s.motivoParada),
+            ];
+        }), "No se invocó ningún modelo", certeza),
+        seccion("4. Comandos ejecutados", "Trazabilidad de la actuación automatizada. `origen` distingue lo que decidió el agente de lo que tecleó la persona.", ["Fecha", "Comando", "Código", "Origen", "Encierro"], entradas
+            .filter((e) => esTipo(e, "comando"))
+            .map((e) => {
+            const s = e.suceso;
+            const argv = Array.isArray(s.argv) ? s.argv.join(" ") : "";
+            return [
+                fecha(e.ts),
+                `\`${celda(argv.slice(0, 120))}\``,
+                celda(s.codigo),
+                s.origen === "usuario" ? "usuario" : "agente",
+                celda(s.sandbox),
+            ];
+        }), "No se ejecutó ningún comando", certeza),
+        seccion("5. Herramientas y decisiones de política", "Art. 12 AI Act — qué se permitió y con qué base. `Base` es la regla de la política de aprobación que dejó pasar la llamada.", ["Fecha", "Herramienta", "Resultado", "Decisión", "Base"], entradas
+            .filter((e) => esTipo(e, "tool"))
+            .map((e) => {
+            const s = e.suceso;
+            return [fecha(e.ts), celda(s.nombre), s.ok ? "ok" : "ERROR", celda(s.decision), celda(s.motivo)];
+        }), "No se ejecutó ninguna herramienta", certeza),
+        seccion("6. Credenciales utilizadas", "Quién usó qué cuenta y cuándo. Consta el identificador de la credencial, jamás su valor.", ["Fecha", "Acción", "Proveedor", "Credencial", "Resultado", "Cliente"], entradas
+            .filter((e) => esTipo(e, "credencial"))
+            .map((e) => {
+            const s = e.suceso;
+            return [
+                fecha(e.ts),
+                celda(s.accion),
+                celda(s.proveedor),
+                s.credencialId === null ? "(ninguna activa)" : celda(s.credencialId),
+                celda(s.resultado),
+                celda(s.cliente),
+            ];
+        }), "No se utilizó ninguna credencial", certeza),
+        [
+            "## Minimización de datos",
+            "",
+            "Este documento contiene la FORMA de lo que ocurrió, no su contenido. En concreto NO incluye:",
+            "",
+            "- el contenido de ningún fichero del usuario (solo el hash SHA-256 truncado de antes y después);",
+            "- el texto de ningún prompt ni respuesta del modelo (solo el recuento de tokens);",
+            "- ninguna credencial, clave ni token (solo el identificador de la credencial usada);",
+            "- ninguna ruta ni parámetro de las URL a las que se salió (solo el dominio de destino).",
+            "",
+            "Un registro de cumplimiento que copiara los datos tratados sería un segundo almacén de justo",
+            "aquello que el RGPD manda minimizar.",
+        ].join("\n"),
+        [
+            "## Qué NO prueba este documento",
+            "",
+            "- La cadena de hashes prueba **integridad interna** (que el libro no se editó ni reordenó), no **procedencia**:",
+            "  no acredita quién lo generó ni en qué máquina. Para no-repudio hace falta firma con clave gestionada (HSM).",
+            "- Borrar el fichero de una sesión completa no lo detecta la cadena; sí detecta cualquier modificación dentro de una sesión.",
+            "- El informe refleja lo que el agente registró. No es una auditoría independiente del código resultante.",
+        ].join("\n"),
+    ];
+    // Segunda pasada de redacción sobre el documento ya rendido. El libro ya
+    // redacta al escribir, pero este es el artefacto que SALE de la máquina y se
+    // archiva: una entrada anotada antes de que existiera un patrón no puede
+    // convertirse en una fuga al exportarla. Sobre Markdown no hay nada que
+    // romper, así que lo peor que puede pasar es que redacte de más.
+    return redactSensitive(`${partes.join("\n\n")}\n`, "strict");
+}
+//# sourceMappingURL=exportacion.js.map

package/dist/core/audit/exportacion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exportacion.js","sourceRoot":"","sources":["../../../src/core/audit/exportacion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAY/D,MAAM,UAAU,SAAS,CAAC,SAAoB,EAAE,QAAiB,EAAW;IAC3E,IAAI,QAAQ,EAAE,CAAC;QACd,OAAO;YACN,OAAO,EAAE,KAAK;YACd,MAAM,EACL,qHAAmH;SACpH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO;YACN,OAAO,EAAE,KAAK;YACd,MAAM,EACL,kCAAkC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,6BAA6B,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI;gBAC7H,iHAAiH;SAClH,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO;YACN,OAAO,EAAE,KAAK;YACd,MAAM,EACL,mHAAiH;SAClH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAAA,CACzB;AAED,uEAAuE;AACvE,SAAS,KAAK,CAAC,KAAc,EAAU;IACtC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,KAAG,CAAC;IACtE,OAAO,MAAM,CAAC,KAAK,CAAC;SAClB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;AAAA,CAC3B;AAED,SAAS,KAAK,CAAC,SAAmB,EAAE,KAAiB,EAAU;IAC9D,OAAO;QACN,KAAK,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;QAC9B,KAAK,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;QAC/C,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACtD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb;AAED;;;;;GAKG;AACH,SAAS,OAAO,CACf,MAAc,EACd,IAAY,EACZ,SAAmB,EACnB,KAAiB,EACjB,WAAmB,EACnB,OAAgB;AAChB;;;;;;;;;GASG;AACH,OAAgB,EACP;IACT,MAAM,MAAM,GACX,KAAK,CAAC,MAAM,GAAG,CAAC;QACf,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;QACzB,CAAC,CAAC,OAAO,CAAC,OAAO;YAChB,CAAC,CAAC,KAAK,WAAW,mGAAiG;YACnH,CAAC,CAAC,sDAAsD,WAAW,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;IAC1G,OAAO,MAAM,MAAM,QAAQ,IAAI,QAAQ,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,uCAAsC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAAA,CACjH;AAED,+EAA+E;AAC/E,SAAS,KAAK,CAAC,EAAU,EAAU;IAClC,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AAAA,CACpD;AAID,SAAS,MAAM,CAAC,CAAkB,EAAE,IAAY,EAAW;IAC1D,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;AAAA,CAC9B;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC7B,QAA2B,EAC3B,SAAoB,EACpB,QAAiB,EACjB,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EACvB;IACT,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE7D,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM;QAClC,CAAC,CAAC,qCAAkC,SAAS,CAAC,WAAW,6CAA6C;QACtG,CAAC,CAAC,4BAA4B,SAAS,CAAC,WAAW,uBAAuB;YACzE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,sBAAsB,SAAS,CAAC,eAAe,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACvF,8EAA6E,CAAC;IAEhF,MAAM,MAAM,GAAa;QACxB,kDAAgD;QAChD;YACC,mBAAmB,KAAK,CAAC,KAAK,CAAC,EAAE;YACjC,6BAA6B,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,EAAE;YAClG,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE;YAC3G,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAM,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAG,EAAE;SACvH,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,8BAA8B,UAAU,EAAE;QAE1C,OAAO,CACN,sBAAsB,EACtB,2HAAwH,EACxH,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,eAAc,EAAE,MAAK,EAAE,MAAM,CAAC,EACjE,QAAQ;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAgB,CAAC;YAC7B,OAAO;gBACN,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;gBACpB,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;gBAClD,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;gBACnD,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;gBACb,oDAAkD;aAClD,CAAC;QAAA,CACF,CAAC,EACH,8BAA4B,EAC5B,OAAO,CACP;QAED,OAAO,CACN,iDAAgD,EAChD,uIAAoI,EACpI,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,EAC3C,QAAQ;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAgB,CAAC;YAC7B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAAA,CACxG,CAAC;QACH,wDAAwD;QACxD,EAAE;QACF,wEAAwE;QACxE,4EAAwE;QACxE,wEAAwE;QACxE,yEAAwE;QACxE,2DAA2D;QAC3D,EAAE;QACF,6DAA4D;QAC5D,wEAAsE;QACtE,yEAAwE;QACxE,4EAAwE;QACxE,yEAAwE;QACxE,iEAAgE;QAChE,0EAA0E;QAC1E,EAAE;QACF,2EAAyE;QACzE,4EAAwE;QACxE,oEAAmE;QACnE,EAAE;QACF,oEAAkE;QAClE,wEAAoE;QACpE,kDAA+C;QAC/C,EAAE;QACF,+DAA+D;QAC/D,oEAAoE;QACpE,+DAA+D;QAC/D,uEAAuE;QACvE,yEAAyE;QACzE,EAAE;QACF,uEAAuE;QACvE,+DAA8D;QAC9D,EAAE;QACF,oEAAmE;QACnE,uEAAsE;QACtE,yEAAwE;QACxE,YAAY;QACZ,kEAAkE,EAClE,OAAO,EACP,wFAAwF;YACvF,wFAAuF;YACvF,6FAA4F;YAC5F,mFAAmF;YACnF,4EAA2E;YAC3E,uFAAuF;YACvF,4DAA2D;YAC3D,yFAAyF;YACzF,mDAAiD,CAClD;QAED,OAAO,CACN,mDAAmD,EACnD,+JAA6J,EAC7J,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,KAAK,CAAC,EAC1E,QAAQ;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAgB,CAAC;YAC7B,OAAO;gBACN,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACX,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBACf,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;gBAChB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBACf,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC;aACrB,CAAC;QAAA,CACF,CAAC,EACH,8BAA4B,EAC5B,OAAO,CACP;QAED,OAAO,CACN,wBAAwB,EACxB,wHAAqH,EACrH,CAAC,OAAO,EAAE,SAAS,EAAE,SAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,EACpD,QAAQ;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAgB,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,OAAO;gBACN,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACX,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI;gBAClC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBACf,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;gBAC7C,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;aAChB,CAAC;QAAA,CACF,CAAC,EACH,gCAA8B,EAC9B,OAAO,CACP;QAED,OAAO,CACN,2CAA0C,EAC1C,qIAA6H,EAC7H,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,WAAU,EAAE,MAAM,CAAC,EACzD,QAAQ;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAgB,CAAC;YAC7B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAAA,CACjG,CAAC,EACH,oCAAmC,EACnC,OAAO,CACP;QAED,OAAO,CACN,4BAA4B,EAC5B,+FAA0F,EAC1F,CAAC,OAAO,EAAE,SAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,CAAC,EACtE,QAAQ;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,MAAgB,CAAC;YAC7B,OAAO;gBACN,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACX,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBACf,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClB,CAAC,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC;gBACpE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClB,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;aAChB,CAAC;QAAA,CACF,CAAC,EACH,mCAAkC,EAClC,OAAO,CACP;QAED;YACC,2BAA0B;YAC1B,EAAE;YACF,+FAA8F;YAC9F,EAAE;YACF,oGAAkG;YAClG,oFAAmF;YACnF,sFAAsF;YACtF,2FAAyF;YACzF,EAAE;YACF,gGAA8F;YAC9F,sCAAsC;SACtC,CAAC,IAAI,CAAC,IAAI,CAAC;QAEZ;YACC,kCAAiC;YACjC,EAAE;YACF,mHAAiH;YACjH,mHAA+G;YAC/G,iIAA6H;YAC7H,6GAA0G;SAC1G,CAAC,IAAI,CAAC,IAAI,CAAC;KACZ,CAAC;IAEF,0EAAyE;IACzE,8EAA6E;IAC7E,0EAAyE;IACzE,wEAAwE;IACxE,mEAAiE;IACjE,OAAO,eAAe,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAAA,CAC7D","sourcesContent":["/**\n * El libro de sesión convertido en un documento que un DPO puede archivar.\n *\n * El libro (`libro.ts`) es JSONL encadenado: perfecto para verificar, ilegible\n * para quien tiene que responder a una inspección. Un delegado de protección de\n * datos hace dos preguntas concretas y ninguna se contesta leyendo hashes:\n *\n *   · ¿QUÉ FICHEROS se trataron? (art. 30 RGPD, registro de actividades)\n *   · ¿QUÉ SALIÓ DE LA MÁQUINA y hacia dónde? (art. 44 y siguientes)\n *\n * Sale Markdown y no JSON a propósito: el requisito es \"un fichero que se pueda\n * releer sin nuestro CLI\", y un JSONL con hashes no lo cumple aunque\n * técnicamente se pueda abrir. Texto plano, tablas, y las limitaciones escritas\n * dentro del propio documento.\n *\n * Dos cosas que conviene no deshacer:\n *\n * 1. **Minimización.** Aquí no se reconstruye nada que el libro no guarde ya. El\n *    libro guarda del fichero su hash antes y después, nunca el texto, así que\n *    este informe tampoco puede tenerlo. Y por si acaso se vuelve a pasar\n *    `redactSensitive` sobre el documento entero: es el artefacto que SALE de la\n *    máquina y se archiva, y una entrada escrita antes de que existiera un patrón\n *    de redacción no puede convertirse en una fuga al exportarla.\n * 2. **Tres estados, no dos.** \"No hubo transferencias\" y \"no se pudo\n *    determinar\" no son lo mismo, y un informe que saliera vacío en los dos casos\n *    haría pasar por limpia una sesión cuya cadena está rota. La ausencia de un\n *    registro solo prueba algo si el registro es completo y verificable: si la\n *    cadena no verifica, si el libro está vacío o si la lectura se topó con el\n *    tope, este informe dice que no lo sabe en vez de afirmar que no pasó nada.\n */\n\nimport { redactSensitive } from \"../memory-engine/security.ts\";\nimport type { EntradaDelLibro, Veredicto } from \"./libro.ts\";\n\n/**\n * ¿Podemos afirmar que algo NO ocurrió?\n *\n * Es el tipo que impide colapsar los tres estados en dos. Solo con\n * `{ sabemos: true }` tiene sentido escribir \"no hubo transferencias\"; en los\n * demás casos el informe dice qué le falta para saberlo.\n */\nexport type Certeza = { sabemos: true } | { sabemos: false; porque: string };\n\nexport function certezaDe(veredicto: Veredicto, truncado: boolean): Certeza {\n\tif (truncado) {\n\t\treturn {\n\t\t\tsabemos: false,\n\t\t\tporque:\n\t\t\t\t\"la lectura del libro alcanzó su tope de entradas, así que hay registros anteriores que este informe no ha mirado.\",\n\t\t};\n\t}\n\tif (!veredicto.valido) {\n\t\treturn {\n\t\t\tsabemos: false,\n\t\t\tporque:\n\t\t\t\t`la cadena de hashes NO verifica${veredicto.alteradaEn ? ` (falla en la entrada del ${fecha(veredicto.alteradaEn)})` : \"\"}. ` +\n\t\t\t\t\"Sobre un libro alterado, la ausencia de un registro no prueba que el hecho no ocurriera: puede haberse borrado.\",\n\t\t};\n\t}\n\tif (veredicto.comprobadas === 0) {\n\t\treturn {\n\t\t\tsabemos: false,\n\t\t\tporque:\n\t\t\t\t\"el libro está vacío. No hay registro de actividad, que no es lo mismo que un registro de que no hubo actividad.\",\n\t\t};\n\t}\n\treturn { sabemos: true };\n}\n\n/** Escapa lo que va dentro de una celda para que no rompa la tabla. */\nfunction celda(valor: unknown): string {\n\tif (valor === null || valor === undefined || valor === \"\") return \"—\";\n\treturn String(valor)\n\t\t.replace(/\\|/g, \"\\\\|\")\n\t\t.replace(/[\\r\\n]+/g, \" \");\n}\n\nfunction tabla(cabeceras: string[], filas: string[][]): string {\n\treturn [\n\t\t`| ${cabeceras.join(\" | \")} |`,\n\t\t`| ${cabeceras.map(() => \"---\").join(\" | \")} |`,\n\t\t...filas.map((f) => `| ${f.map(celda).join(\" | \")} |`),\n\t].join(\"\\n\");\n}\n\n/**\n * Una sección con su tercer estado.\n *\n * `nadaOcurrio` es la frase afirmativa (\"No hubo transferencias\"); solo se\n * imprime cuando la certeza lo permite. Si no, se imprime por qué no se sabe.\n */\nfunction seccion(\n\ttitulo: string,\n\tbase: string,\n\tcabeceras: string[],\n\tfilas: string[][],\n\tnadaOcurrio: string,\n\tcerteza: Certeza,\n\t/**\n\t * Hasta dónde llega la observación de esta sección. Se rinde SIEMPRE.\n\t *\n\t * Antes el alcance viajaba dentro de `nadaOcurrio`, que solo se imprime\n\t * cuando la tabla está vacía. Es decir: la advertencia de «hay caminos que no\n\t * miro» desaparecía justo cuando había datos, y el DPO leía una tabla de\n\t * transferencias con pinta de completa y ninguna salvedad. La salvedad\n\t * importa MÁS con filas que sin ellas: sin filas se está afirmando una\n\t * ausencia, con filas se está insinuando una lista exhaustiva.\n\t */\n\talcance?: string,\n): string {\n\tconst cuerpo =\n\t\tfilas.length > 0\n\t\t\t? tabla(cabeceras, filas)\n\t\t\t: certeza.sabemos\n\t\t\t\t? `**${nadaOcurrio}.** El libro está completo y su cadena verifica, así que esta ausencia es un dato, no un hueco.`\n\t\t\t\t: `**No se pudo determinar.** No se puede afirmar que ${nadaOcurrio.toLowerCase()}: ${certeza.porque}`;\n\treturn `## ${titulo}\\n\\n_${base}_\\n\\n${cuerpo}${alcance ? `\\n\\n> **Alcance de esta sección.** ${alcance}` : \"\"}`;\n}\n\n/** Fecha y hora sin la parte de milisegundos, que a un DPO no le dice nada. */\nfunction fecha(ts: string): string {\n\treturn ts.replace(\"T\", \" \").replace(/\\.\\d+Z$/, \"Z\");\n}\n\ntype Suceso = Record<string, unknown>;\n\nfunction esTipo(e: EntradaDelLibro, tipo: string): boolean {\n\treturn e.suceso.tipo === tipo;\n}\n\n/**\n * Rinde el informe.\n *\n * `entradas` debe venir de más antigua a más reciente (`libro.leer` las da al\n * revés). `truncado` es true si la lectura se topó con su límite, porque\n * entonces no se puede afirmar ninguna ausencia.\n */\nexport function informeParaDpo(\n\tentradas: EntradaDelLibro[],\n\tveredicto: Veredicto,\n\ttruncado: boolean,\n\tahora = new Date().toISOString(),\n): string {\n\tconst certeza = certezaDe(veredicto, truncado);\n\tconst sesiones = [...new Set(entradas.map((e) => e.sesion))];\n\n\tconst integridad = veredicto.valido\n\t\t? `**Cadena de hashes ÍNTEGRA** — ${veredicto.comprobadas} entrada(s) reverificadas de punta a punta.`\n\t\t: `**CADENA ALTERADA** tras ${veredicto.comprobadas} entrada(s) correctas` +\n\t\t\t(veredicto.alteradaEn ? `, en la del ${fecha(veredicto.alteradaEn)}` : \"\") +\n\t\t\t(veredicto.ficheroAlterado ? ` (fichero \\`sesion/${veredicto.ficheroAlterado}\\`)` : \"\") +\n\t\t\t\". Las entradas anteriores a esa siguen siendo fiables; a partir de ahí, no.\";\n\n\tconst partes: string[] = [\n\t\t\"# Registro de actividades de tratamiento — Ada\",\n\t\t[\n\t\t\t`- **Generado:** ${fecha(ahora)}`,\n\t\t\t`- **Entradas del libro:** ${entradas.length}${truncado ? \" (lectura truncada por el tope)\" : \"\"}`,\n\t\t\t`- **Sesiones cubiertas:** ${sesiones.length > 0 ? sesiones.map((s) => `\\`${s}\\``).join(\", \") : \"ninguna\"}`,\n\t\t\t`- **Periodo:** ${entradas.length > 0 ? `${fecha(entradas[0].ts)} → ${fecha(entradas[entradas.length - 1].ts)}` : \"—\"}`,\n\t\t].join(\"\\n\"),\n\t\t`## Prueba de integridad\\n\\n${integridad}`,\n\n\t\tseccion(\n\t\t\t\"1. Ficheros tratados\",\n\t\t\t\"Art. 30 RGPD — registro de actividades de tratamiento. Del fichero consta su HASH antes y después, nunca su contenido.\",\n\t\t\t[\"Fecha\", \"Fichero\", \"Hash antes\", \"Hash después\", \"Vía\", \"Base\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"fichero\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\tString(s.ruta ?? \"\"),\n\t\t\t\t\t\ts.antes === null ? \"(no existía)\" : celda(s.antes),\n\t\t\t\t\t\ts.despues === null ? \"(borrado)\" : celda(s.despues),\n\t\t\t\t\t\tcelda(s.tool),\n\t\t\t\t\t\t\"ejecución solicitada por el usuario en la sesión\",\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se trató ningún fichero\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"2. Transferencias de datos fuera de la máquina\",\n\t\t\t\"Art. 44 y ss. RGPD — destinatarios. Consta el DOMINIO de destino; nunca la ruta ni los parámetros, que es donde viajan los tokens.\",\n\t\t\t[\"Fecha\", \"Destino\", \"Resultado\", \"Motivo\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"red\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [fecha(e.ts), String(s.dominio ?? \"\"), s.permitido ? \"permitida\" : \"BLOQUEADA\", celda(s.motivo)];\n\t\t\t\t}),\n\t\t\t// La frase dice su ALCANCE, y no es un matiz de estilo.\n\t\t\t//\n\t\t\t// El `fetchImpl` vigilado que produce estos sucesos lo reciben el fetch\n\t\t\t// genérico, los scrapers y los proveedores de búsqueda — las tools web.\n\t\t\t// NO lo reciben (comprobado con `grep -c anotarRed`, cero en los tres):\n\t\t\t// el cliente MCP (`core/mcp/client.ts`, que sí acepta `fetchImpl` y hoy\n\t\t\t// no se le pasa), el broker de blobs y la API de Telegram.\n\t\t\t//\n\t\t\t// Un DPO estricto diría que hablar con un MCP remoto ES una\n\t\t\t// transferencia, y tendría razón. Escribir \"No hubo transferencias\" a\n\t\t\t// secas sería afirmar una ausencia que este registro no puede sostener:\n\t\t\t// «no lo he mirado» vendido como «no hay», en el documento donde eso se\n\t\t\t// paga más caro. Mientras la cobertura no sea completa, la frase nombra\n\t\t\t// lo que sí cubre y quien lea el informe puede juzgar el resto.\n\t\t\t// La frase sigue diciendo su ALCANCE, y sigue sin ser un matiz de estilo.\n\t\t\t//\n\t\t\t// Cubierto: el fetch genérico, los scrapers, los proveedores de búsqueda\n\t\t\t// y —desde `core/web/registro-red.ts`— el cliente MCP, que es el que un\n\t\t\t// DPO preguntaría primero porque habla con servidores de terceros.\n\t\t\t//\n\t\t\t// Fuera todavía, MEDIDO recorriendo cada `fetch(` del código y no\n\t\t\t// copiado del comentario anterior —que decía «el broker de ficheros\n\t\t\t// grandes y Telegram» y no era la lista real—:\n\t\t\t//\n\t\t\t//   modes/interactive/interactive-mode.ts:1326  aviso a pi.dev\n\t\t\t//   extensions/llama/huggingface.ts:76          descarga de modelos\n\t\t\t//   extensions/llama/client.ts:171,216          servidor llama\n\t\t\t//   core/credenciales/cliente.ts:62,79          broker de credenciales\n\t\t\t//   cli/telemetria-command.ts                   colector OTLP (--enviar)\n\t\t\t//\n\t\t\t// (`computer/motor/{bridge,cdp}.ts` y `utils/management-http.ts` van a\n\t\t\t// 127.0.0.1: no salen de la máquina y no son transferencias.)\n\t\t\t//\n\t\t\t// Mientras queden caminos sin cubrir, la salvedad nombra lo que sí\n\t\t\t// sostiene, y se rinde TAMBIÉN cuando la tabla tiene filas: con datos\n\t\t\t// se está insinuando una lista exhaustiva, que es peor que declarar una\n\t\t\t// ausencia.\n\t\t\t\"No hubo transferencias por los caminos que este registro observa\",\n\t\t\tcerteza,\n\t\t\t\"esta tabla cubre las herramientas web (fetch, scrapers y buscadores) y los servidores \" +\n\t\t\t\t\"MCP. Quedan FUERA, medido recorriendo cada llamada a `fetch` del código: el aviso de \" +\n\t\t\t\t\"instalación a `pi.dev` (activado por defecto; se apaga con `PI_OFFLINE`, `PI_TELEMETRY=0` \" +\n\t\t\t\t\"o `enableInstallTelemetry: false`), las descargas de modelos de Hugging Face, el \" +\n\t\t\t\t\"servidor llama, el broker de credenciales y el envío al colector OTLP de \" +\n\t\t\t\t\"`ada-cli telemetria --enviar` (que manda forma y nunca contenido, pero sale igual de \" +\n\t\t\t\t\"esta máquina). Sobre esos caminos este informe no afirma \" +\n\t\t\t\t\"nada, ni que hubo transferencias ni que no las hubo. Una lista que parece exhaustiva y \" +\n\t\t\t\t\"no lo es engaña más que una ausencia declarada.\",\n\t\t),\n\n\t\tseccion(\n\t\t\t\"3. Modelos invocados (encargados del tratamiento)\",\n\t\t\t\"Art. 28 RGPD — cada llamada a un modelo remoto es un tratamiento por cuenta de un tercero. Consta el proveedor y el volumen, nunca el contenido del prompt.\",\n\t\t\t[\"Fecha\", \"Proveedor\", \"Modelo\", \"Tokens entrada\", \"Tokens salida\", \"Fin\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"modelo\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\tcelda(s.proveedor),\n\t\t\t\t\t\tcelda(s.modelo),\n\t\t\t\t\t\tcelda(s.entrada),\n\t\t\t\t\t\tcelda(s.salida),\n\t\t\t\t\t\tcelda(s.motivoParada),\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se invocó ningún modelo\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"4. Comandos ejecutados\",\n\t\t\t\"Trazabilidad de la actuación automatizada. `origen` distingue lo que decidió el agente de lo que tecleó la persona.\",\n\t\t\t[\"Fecha\", \"Comando\", \"Código\", \"Origen\", \"Encierro\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"comando\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\tconst argv = Array.isArray(s.argv) ? s.argv.join(\" \") : \"\";\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\t`\\`${celda(argv.slice(0, 120))}\\``,\n\t\t\t\t\t\tcelda(s.codigo),\n\t\t\t\t\t\ts.origen === \"usuario\" ? \"usuario\" : \"agente\",\n\t\t\t\t\t\tcelda(s.sandbox),\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se ejecutó ningún comando\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"5. Herramientas y decisiones de política\",\n\t\t\t\"Art. 12 AI Act — qué se permitió y con qué base. `Base` es la regla de la política de aprobación que dejó pasar la llamada.\",\n\t\t\t[\"Fecha\", \"Herramienta\", \"Resultado\", \"Decisión\", \"Base\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"tool\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [fecha(e.ts), celda(s.nombre), s.ok ? \"ok\" : \"ERROR\", celda(s.decision), celda(s.motivo)];\n\t\t\t\t}),\n\t\t\t\"No se ejecutó ninguna herramienta\",\n\t\t\tcerteza,\n\t\t),\n\n\t\tseccion(\n\t\t\t\"6. Credenciales utilizadas\",\n\t\t\t\"Quién usó qué cuenta y cuándo. Consta el identificador de la credencial, jamás su valor.\",\n\t\t\t[\"Fecha\", \"Acción\", \"Proveedor\", \"Credencial\", \"Resultado\", \"Cliente\"],\n\t\t\tentradas\n\t\t\t\t.filter((e) => esTipo(e, \"credencial\"))\n\t\t\t\t.map((e) => {\n\t\t\t\t\tconst s = e.suceso as Suceso;\n\t\t\t\t\treturn [\n\t\t\t\t\t\tfecha(e.ts),\n\t\t\t\t\t\tcelda(s.accion),\n\t\t\t\t\t\tcelda(s.proveedor),\n\t\t\t\t\t\ts.credencialId === null ? \"(ninguna activa)\" : celda(s.credencialId),\n\t\t\t\t\t\tcelda(s.resultado),\n\t\t\t\t\t\tcelda(s.cliente),\n\t\t\t\t\t];\n\t\t\t\t}),\n\t\t\t\"No se utilizó ninguna credencial\",\n\t\t\tcerteza,\n\t\t),\n\n\t\t[\n\t\t\t\"## Minimización de datos\",\n\t\t\t\"\",\n\t\t\t\"Este documento contiene la FORMA de lo que ocurrió, no su contenido. En concreto NO incluye:\",\n\t\t\t\"\",\n\t\t\t\"- el contenido de ningún fichero del usuario (solo el hash SHA-256 truncado de antes y después);\",\n\t\t\t\"- el texto de ningún prompt ni respuesta del modelo (solo el recuento de tokens);\",\n\t\t\t\"- ninguna credencial, clave ni token (solo el identificador de la credencial usada);\",\n\t\t\t\"- ninguna ruta ni parámetro de las URL a las que se salió (solo el dominio de destino).\",\n\t\t\t\"\",\n\t\t\t\"Un registro de cumplimiento que copiara los datos tratados sería un segundo almacén de justo\",\n\t\t\t\"aquello que el RGPD manda minimizar.\",\n\t\t].join(\"\\n\"),\n\n\t\t[\n\t\t\t\"## Qué NO prueba este documento\",\n\t\t\t\"\",\n\t\t\t\"- La cadena de hashes prueba **integridad interna** (que el libro no se editó ni reordenó), no **procedencia**:\",\n\t\t\t\"  no acredita quién lo generó ni en qué máquina. Para no-repudio hace falta firma con clave gestionada (HSM).\",\n\t\t\t\"- Borrar el fichero de una sesión completa no lo detecta la cadena; sí detecta cualquier modificación dentro de una sesión.\",\n\t\t\t\"- El informe refleja lo que el agente registró. No es una auditoría independiente del código resultante.\",\n\t\t].join(\"\\n\"),\n\t];\n\n\t// Segunda pasada de redacción sobre el documento ya rendido. El libro ya\n\t// redacta al escribir, pero este es el artefacto que SALE de la máquina y se\n\t// archiva: una entrada anotada antes de que existiera un patrón no puede\n\t// convertirse en una fuga al exportarla. Sobre Markdown no hay nada que\n\t// romper, así que lo peor que puede pasar es que redacte de más.\n\treturn redactSensitive(`${partes.join(\"\\n\\n\")}\\n`, \"strict\");\n}\n"]}