@hoilab/ada-cli 0.84.22 → 0.85.1

package/dist/core/audit/exportacion.js

@@ -0,0 +1,267 @@
+/**
+ * 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)
+        //   cli/update-cli.ts                           auto-actualización
+        //   core/blobs/uploaders.ts                     espejo público de blobs
+        // (`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, el envío al colector OTLP de " +
+            "`ada-cli telemetria --enviar` (que manda forma y nunca contenido, pero sale igual de " +
+            "esta máquina) y la auto-actualización (`ada-cli update`, descarga del binario del " +
+            "canal de releases con SHA-256 verificado). 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;IAChE,IAAI,QAAQ,EAAE,CAAC;QACd,OAAO;YACN,OAAO,EAAE,KAAK;YACd,MAAM,EACL,mHAAmH;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,iHAAiH;SAClH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,uEAAuE;AACvE,SAAS,KAAK,CAAC,KAAc;IAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,GAAG,CAAC;IACtE,OAAO,MAAM,CAAC,KAAK,CAAC;SAClB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,KAAK,CAAC,SAAmB,EAAE,KAAiB;IACpD,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;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,OAAO,CACf,MAAc,EACd,IAAY,EACZ,SAAmB,EACnB,KAAiB,EACjB,WAAmB,EACnB,OAAgB;AAChB;;;;;;;;;GASG;AACH,OAAgB;IAEhB,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,iGAAiG;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,sCAAsC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAClH,CAAC;AAED,+EAA+E;AAC/E,SAAS,KAAK,CAAC,EAAU;IACxB,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AACrD,CAAC;AAID,SAAS,MAAM,CAAC,CAAkB,EAAE,IAAY;IAC/C,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;AAC/B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC7B,QAA2B,EAC3B,SAAoB,EACpB,QAAiB,EACjB,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IAEhC,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,kCAAkC,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,6EAA6E,CAAC;IAEhF,MAAM,MAAM,GAAa;QACxB,gDAAgD;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,MAAM,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;SACvH,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,8BAA8B,UAAU,EAAE;QAE1C,OAAO,CACN,sBAAsB,EACtB,wHAAwH,EACxH,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,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;YACV,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,cAAc,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,kDAAkD;aAClD,CAAC;QACH,CAAC,CAAC,EACH,4BAA4B,EAC5B,OAAO,CACP;QAED,OAAO,CACN,gDAAgD,EAChD,oIAAoI,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;YACV,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;QACzG,CAAC,CAAC;QACH,wDAAwD;QACxD,EAAE;QACF,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,2DAA2D;QAC3D,EAAE;QACF,4DAA4D;QAC5D,sEAAsE;QACtE,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,gEAAgE;QAChE,0EAA0E;QAC1E,EAAE;QACF,yEAAyE;QACzE,wEAAwE;QACxE,mEAAmE;QACnE,EAAE;QACF,kEAAkE;QAClE,oEAAoE;QACpE,+CAA+C;QAC/C,EAAE;QACF,+DAA+D;QAC/D,oEAAoE;QACpE,+DAA+D;QAC/D,uEAAuE;QACvE,yEAAyE;QACzE,mEAAmE;QACnE,wEAAwE;QACxE,uEAAuE;QACvE,8DAA8D;QAC9D,EAAE;QACF,mEAAmE;QACnE,sEAAsE;QACtE,wEAAwE;QACxE,YAAY;QACZ,kEAAkE,EAClE,OAAO,EACP,wFAAwF;YACvF,uFAAuF;YACvF,4FAA4F;YAC5F,mFAAmF;YACnF,0EAA0E;YAC1E,uFAAuF;YACvF,oFAAoF;YACpF,uFAAuF;YACvF,yFAAyF;YACzF,iDAAiD,CAClD;QAED,OAAO,CACN,mDAAmD,EACnD,6JAA6J,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;YACV,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;QACH,CAAC,CAAC,EACH,4BAA4B,EAC5B,OAAO,CACP;QAED,OAAO,CACN,wBAAwB,EACxB,qHAAqH,EACrH,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,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;YACV,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;QACH,CAAC,CAAC,EACH,8BAA8B,EAC9B,OAAO,CACP;QAED,OAAO,CACN,0CAA0C,EAC1C,6HAA6H,EAC7H,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,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;YACV,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;QAClG,CAAC,CAAC,EACH,mCAAmC,EACnC,OAAO,CACP;QAED,OAAO,CACN,4BAA4B,EAC5B,0FAA0F,EAC1F,CAAC,OAAO,EAAE,QAAQ,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;YACV,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;QACH,CAAC,CAAC,EACH,kCAAkC,EAClC,OAAO,CACP;QAED;YACC,0BAA0B;YAC1B,EAAE;YACF,8FAA8F;YAC9F,EAAE;YACF,kGAAkG;YAClG,mFAAmF;YACnF,sFAAsF;YACtF,yFAAyF;YACzF,EAAE;YACF,8FAA8F;YAC9F,sCAAsC;SACtC,CAAC,IAAI,CAAC,IAAI,CAAC;QAEZ;YACC,iCAAiC;YACjC,EAAE;YACF,iHAAiH;YACjH,+GAA+G;YAC/G,6HAA6H;YAC7H,0GAA0G;SAC1G,CAAC,IAAI,CAAC,IAAI,CAAC;KACZ,CAAC;IAEF,yEAAyE;IACzE,6EAA6E;IAC7E,yEAAyE;IACzE,wEAAwE;IACxE,iEAAiE;IACjE,OAAO,eAAe,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC9D,CAAC"}

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

@@ -0,0 +1,325 @@
+/**
+ * Libro de sesión — qué HIZO el agente, en una cadena de hashes verificable.
+ *
+ * `memory-engine/audit.ts` ya tenía el mecanismo: JSONL append-only donde cada
+ * entrada lleva el hash de la anterior, de modo que alterar un registro se
+ * detecta reverificando la cadena. Lo que no tenía era ALCANCE: solo lo usaba
+ * el motor de memoria, así que auditábamos escrituras de memoria y no
+ * ejecuciones de tool, llamadas al modelo, ficheros tocados ni comandos.
+ *
+ * Este módulo aplica el mismo mecanismo a lo que un DPO pregunta de verdad, que
+ * es el registro del artículo 12 del AI Act y el 30 del RGPD.
+ *
+ * Dos decisiones de diseño que conviene no deshacer sin pensarlo:
+ *
+ * 1. **Minimización por defecto.** El libro guarda la FORMA de lo que pasó, no
+ *    su contenido: del fichero, su hash antes y después, nunca el texto. Un
+ *    registro de cumplimiento que copiara los datos sería un segundo almacén de
+ *    justo aquello que el RGPD quiere minimizar.
+ * 2. **Una sola canonicalización.** `memory-engine/audit.ts` construye la carga
+ *    a hashear dos veces, en `append` y en `verify`, con dos listas de campos
+ *    escritas a mano. Añadir un campo a una y olvidar la otra rompe la
+ *    verificación en silencio y solo para las entradas nuevas. Aquí la
+ *    verificación reconstruye la carga con un rest (`{hash, prevHash, ...resto}`),
+ *    así que un campo nuevo entra solo y las dos caras no pueden divergir.
+ */
+/** Lo que se le puede pedir al libro que anote. */
+export type SucesoDeSesion = {
+    tipo: "tool";
+    nombre: string;
+    ok: boolean;
+    decision?: string;
+    motivo?: string;
+} | {
+    tipo: "modelo";
+    proveedor: string;
+    modelo: string;
+    entrada: number;
+    salida: number;
+    coste?: number;
+    /** `stop`, `toolUse`, `error`, `aborted`… Un fallo del modelo también es auditable. */
+    motivoParada?: string;
+} | {
+    tipo: "comando";
+    argv: string[];
+    codigo: number;
+    sandbox?: "permitido" | "bloqueado";
+    violaciones?: string[];
+    /**
+     * Quién escribió el comando: el agente (por defecto, si se omite), el
+     * usuario desde la terminal integrada del escritorio, o una extensión
+     * a través de `pi.exec`.
+     *
+     * La terminal ejecuta lo que el usuario teclea SIN pasar por la
+     * política de aprobación — es su shell, no la del agente — así que este
+     * campo es lo único que evita que un registro de cumplimiento confunda
+     * "lo que decidió el agente" con "lo que tecleó la persona". Omitirlo
+     * en vez de dar por defecto "agente" habría dejado pasar en silencio
+     * una terminal que se le olvida anotarse.
+     *
+     * `extension` es el tercer estado, y hasta hoy faltaba: `pi.exec` no
+     * pasaba por la política NI dejaba rastro, así que una extensión leía
+     * el vault y el libro no lo sabía. Atribuirlo al "agente" habría sido
+     * peor que no anotarlo: quien audite tiene que poder distinguir lo que
+     * decidió el modelo de lo que hizo código de terceros cargado en el
+     * proceso.
+     */
+    origen?: "agente" | "usuario" | "extension";
+    /** Ruta de la extensión, cuando `origen` es `extension`. Sin ella el aviso no es accionable. */
+    extension?: string;
+} | {
+    /**
+     * Una purga por retención, anotada como HECHO en vez de dejada como
+     * hueco. Sin esto, cumplir el art. 5.1.e del RGPD hacía que
+     * `verificar` acusara de manipulación; y borrar también el índice
+     * hacía desaparecer la purga sin rastro. Ver `audit/retencion.ts`.
+     */
+    tipo: "purga";
+    fichero: string;
+    entradas: number;
+    desde: string;
+    hasta: string;
+    hashDeCierre: string;
+    politica: string;
+} | {
+    tipo: "fichero";
+    ruta: string;
+    antes: string | null;
+    despues: string | null;
+    tool: string;
+} | {
+    tipo: "red";
+    dominio: string;
+    permitido: boolean;
+    motivo?: string;
+} | {
+    /** El broker de credenciales (core/credenciales/) es lo que oh-my-pi no
+     * tiene: un registro de quién usó qué cuenta y cuándo. `accion` distingue
+     * PEDIR una credencial de REPORTAR cómo fue usarla. */
+    tipo: "credencial";
+    accion: "resuelta" | "uso";
+    proveedor: string;
+    /** `null` en "resuelta" = no había ninguna credencial activa (no es que fallara el libro). */
+    credencialId: string | null;
+    /** "ok" | "sin-credencial-activa" | una `ClaseDeError` de errores/proveedor.ts. */
+    resultado: string;
+    cliente?: string;
+};
+export interface EntradaDelLibro {
+    seq: number;
+    ts: string;
+    sesion: string;
+    suceso: Record<string, unknown>;
+    hash: string;
+    prevHash: string | null;
+}
+export interface Veredicto {
+    valido: boolean;
+    comprobadas: number;
+    /** Sello de tiempo de la primera entrada que no cuadra. */
+    alteradaEn?: string;
+    /**
+     * Fichero donde está esa entrada.
+     *
+     * Sin esto el veredicto decía «alterada en la del 03:09:55» sobre un
+     * directorio con 26 ficheros de sesión: cierto, verificable y no accionable.
+     * Quien recibe un aviso de manipulación necesita saber DÓNDE mirar, o el
+     * aviso se queda en susto.
+     */
+    ficheroAlterado?: string;
+    /**
+     * Por qué no verifica, en una frase estable.
+     *
+     * Existe para no confundir «lo he mirado y no cuadra» con «no lo he podido
+     * mirar»: un fichero ilegible y un hash que no coincide daban el mismo
+     * veredicto y el mismo mensaje, y son dos cosas distintas para quien
+     * responde a una auditoría.
+     */
+    motivo?: string;
+    /**
+     * Lo que FALTA: ficheros que el índice recuerda y que ya no están en
+     * `sesion/`, con cuántas entradas tenía cada uno.
+     *
+     * Es el tercer estado, y es el que faltaba. Antes de esto la cadena
+     * distinguía «íntegra» de «alterada» y nada más, así que borrar el fichero
+     * entero —lo que haría un agente tapando sus pasos— salía como
+     * `{valido: true, comprobadas: 0}`: un fallo que se lee como éxito en la
+     * pieza que se vende como prueba. Medido ejecutando el CLI: con tres
+     * comandos anotados decía «cadena íntegra: 3 entradas», y tras un `rm`
+     * decía «el libro está vacío» y salía con código 0.
+     */
+    faltan?: {
+        fichero: string;
+        entradas: number;
+    }[];
+    /**
+     * Ficheros que ya no están y cuya ausencia el libro EXPLICA con una lápida
+     * de purga. No cuentan como manipulación: son el art. 5.1.e cumplido.
+     */
+    purgados?: {
+        fichero: string;
+        entradas: number;
+        politica: string;
+    }[];
+    /**
+     * Sitios donde la cadena vuelve a empezar dentro de un mismo fichero.
+     *
+     * Ni íntegro ni alterado: el TERCER estado. Un reinicio del proceso lo
+     * produce, y quien quite entradas del medio y escriba una cadena nueva
+     * produce exactamente lo mismo. Desde el fichero no se distinguen, así que se
+     * dice dónde está y se deja que lo juzgue quien audita, en vez de acusar o de
+     * absolver por nuestra cuenta.
+     */
+    reinicios?: {
+        fichero: string;
+        ts: string;
+        entradasAntes: number;
+    }[];
+    /**
+     * Ficheros presentes en `sesion/` sin ancla en el índice.
+     *
+     * NO cuenta como manipulación y por eso va aparte de `faltan`: son los
+     * libros escritos antes de que el índice existiera, y también lo que queda
+     * en un sistema de ficheros sin enlaces duros. Meterlo en `valido: false`
+     * habría hecho que toda instalación ya existente gritara «manipulado» el
+     * día de la actualización — un detector que grita siempre no vale, y
+     * además volvería indistinguible la manipulación real.
+     */
+    sinAncla?: string[];
+}
+export declare class LibroDeSesion {
+    private readonly dir;
+    /** El índice: un enlace duro por fichero de sesión. Ver `DIR_INDICE`. */
+    private readonly dirIndice;
+    private readonly sesion;
+    private seq;
+    private ultimoHash;
+    /** Fijado en la primera escritura por `reservarFichero`; no cambia despues. */
+    private rutaFichero;
+    constructor(raiz: string, sesionId: string);
+    /**
+     * Un fichero por sesión, no uno por día.
+     *
+     * Compartir fichero entre sesiones parecía más ordenado y hacía el libro
+     * INVERIFICABLE, cosa que solo se vio ejecutando: cada proceso arranca su
+     * `seq` en 1 y su hash anterior en `null`, así que tres sesiones seguidas
+     * dejaban tres cadenas encadenadas dentro del mismo fichero y `verificar`
+     * fallaba en la primera entrada de la segunda.
+     *
+     * Arreglarlo cargando el último hash al abrir no habría bastado: el CLI y el
+     * escritorio corren a la vez, y dos procesos que leyeran el mismo hash
+     * anterior escribirían dos entradas con el mismo `prevHash`.
+     *
+     * El límite que esto dejaba, y que era el agujero: borrar el fichero de una
+     * sesión entera no lo detecta la cadena, que solo ve la modificación DENTRO
+     * de una sesión. Se documentaba aquí mientras el veredicto seguía diciendo
+     * `valido: true` — o sea, un fallo que se leía como éxito en la pieza que se
+     * vende como prueba. Lo cierra el índice de `reservarFichero`.
+     *
+     * «Un fichero, un escritor» es la PRECONDICIÓN de todo lo anterior, y por eso
+     * `reservarFichero` la impone en vez de confiar en ella. Se rompía por dos
+     * caminos distintos, los dos encontrados sobre el libro real de esta máquina:
+     *
+     *   1. Dos escritores en un fichero. El escritorio usa el id fijo `desktop`,
+     *      así que cada encarnación del proceso —cada recompilación de Next—
+     *      abría el MISMO fichero creyéndose la primera y escribía otra entrada
+     *      con `seq 1` y `prevHash null`. Encontrado en
+     *      `sesion-2026-08-24-desktop.jsonl`: dos entradas, las dos `seq 1`.
+     *   2. Un escritor que cruza la medianoche. El nombre salía de la fecha de
+     *      CADA entrada, así que a las 00:00 la sesión saltaba a un fichero nuevo
+     *      cuya primera entrada llevaba el `prevHash` del fichero anterior —
+     *      mientras `verificar` arranca cada fichero esperando `null`.
+     *
+     * Los dos daban `CADENA ALTERADA` sobre un libro que nadie había tocado. Y el
+     * daño no es el ruido: es que una alteración de verdad queda indistinguible
+     * del caso benigno, y un medidor que grita siempre deja de leerse.
+     */
+    private nombreBase;
+    /**
+     * Reserva el fichero de ESTA instancia, una sola vez, y no lo suelta.
+     *
+     * Fijarlo en la primera escritura mata el caso 2 de golpe: la sesión se queda
+     * en su fichero aunque cambie el día.
+     *
+     * Para el caso 1 se reclama el nombre con `wx` —crear-o-fallar—, que es
+     * atómico en el sistema de ficheros. Quien lo gana lo tiene; quien lo pierde
+     * prueba el siguiente. Así el «un escritor por fichero» deja de ser un
+     * acuerdo entre quienes llaman y pasa a ser cierto por construcción, incluso
+     * entre procesos distintos que no se conocen.
+     *
+     * Se prefiere partir en dos ficheros antes que leer la cola del ajeno y
+     * continuarlo: dos procesos que leyeran el mismo último hash escribirían dos
+     * entradas con el mismo `prevHash`, que es otra vez una cadena rota sin nadie
+     * manipulando nada. Dos ficheros íntegros son mejor que uno dudoso, y
+     * `verificar` ya los trata por separado.
+     *
+     * EL ANCLA. El nombre se reclama en el ÍNDICE y el fichero de `sesion/` es un
+     * ENLACE DURO al del índice, no una copia. Tres propiedades que hacen falta
+     * las tres:
+     *
+     *   1. `rm -rf sesion/` —el movimiento del agente que quiere tapar sus
+     *      pasos— borra un NOMBRE, no el fichero: los bytes siguen ahí bajo el
+     *      otro nombre, así que `verificar` no solo detecta la desaparición sino
+     *      que puede seguir leyendo lo que se quiso esconder.
+     *   2. El ancla no puede desincronizarse del libro, porque no es un
+     *      resumen que haya que mantener al día: es el mismo inodo. Un índice
+     *      con su propio contador tendría que escribirse en cada anotación, y
+     *      dos procesos escribiendo el mismo índice es la carrera que ya nos
+     *      dejó el libro inverificable una vez.
+     *   3. El nombre se reclama en el índice y no en `sesion/`, así que un
+     *      nombre gastado no se puede reutilizar aunque su fichero de sesión
+     *      haya desaparecido. Sin esto, borrar y reescribir con una entrada
+     *      dejaba el libro con el mismo aspecto que uno legítimo de una entrada.
+     *
+     * Hasta dónde llega, dicho sin adornos: quien borre los DOS directorios deja
+     * un libro vacío indistinguible de una instalación nueva. Contra eso está la
+     * otra mitad del trabajo —la política, que deniega la carpeta al agente
+     * incluso en `yolo`— y no un tercer ancla, porque un ancla que viva en el
+     * mismo disco y con los mismos permisos siempre se puede borrar igual. Lo que
+     * esto elimina es que un solo `rm` pase desapercibido.
+     */
+    /**
+     * El fichero que esta sesión está escribiendo, o `null` si aún no ha escrito.
+     *
+     * La purga lo necesita para no llevarse el suelo de un libro vivo, y tiene que
+     * saberlo por IDENTIDAD, no por fecha: fiarlo a «su última entrada es de hoy»
+     * deja el caso raro —un reloj movido, una sesión larga— rompiendo la cadena en
+     * memoria sin avisar.
+     */
+    get ficheroEnCurso(): string | null;
+    private reservarFichero;
+    /**
+     * Anota un suceso. Nunca lanza: un fallo del libro no puede tumbar la
+     * conversación, igual que en el audit del motor de memoria.
+     */
+    anotar(suceso: SucesoDeSesion): Promise<void>;
+    private escribir;
+    private listar;
+    /**
+     * Los ficheros del libro vistos desde los DOS directorios.
+     *
+     * Esta es la comparación que antes no existía: `readdir(sesion/)` solo puede
+     * contestar «lo que hay», nunca «lo que debería haber», y por eso un borrado
+     * salía como un libro vacío.
+     */
+    private inventario;
+    /** Las últimas entradas, de la más reciente hacia atrás. */
+    leer(limite?: number): Promise<EntradaDelLibro[]>;
+    /**
+     * Reverifica la cadena entera y contesta TRES estados, no dos.
+     *
+     * «Íntegra», «alterada» y «FALTA algo que debería estar». El tercero es el
+     * que faltaba: la cadena de hashes detecta la modificación DENTRO de un
+     * fichero y no puede, por construcción, notar la desaparición del fichero —
+     * para eso hace falta saber qué debería haber, que es lo que aporta el índice
+     * (ver `reservarFichero`).
+     *
+     * De la cadena rota devuelve en la PRIMERA entrada que no cuadra, y
+     * `comprobadas` cuenta las que sí cuadraban antes de ella — así el número
+     * dice dónde empieza la manipulación, no cuántas hay en total. Lo que ya se
+     * hubiera detectado como ausente viaja con esa respuesta: no se pierde por
+     * salir antes.
+     */
+    verificar(): Promise<Veredicto>;
+}
+//# sourceMappingURL=libro.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"libro.d.ts","sourceRoot":"","sources":["../../../src/core/audit/libro.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAUH,mDAAmD;AACnD,MAAM,MAAM,cAAc,GACvB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACjF;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,uFAAuF;IACvF,YAAY,CAAC,EAAE,MAAM,CAAC;CACrB,GACD;IACA,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,WAAW,GAAG,WAAW,CAAC;IACpC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC;IAC5C,gGAAgG;IAChG,SAAS,CAAC,EAAE,MAAM,CAAC;CAClB,GACD;IACA;;;;;OAKG;IACH,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAChB,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACrE;IACA;;2DAEuD;IACvD,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,UAAU,GAAG,KAAK,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,8FAA8F;IAC9F,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,mFAAmF;IACnF,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC;AAEL,MAAM,WAAW,eAAe;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,WAAW,SAAS;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjD;;;OAGG;IACH,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrE;;;;;;;;OAQG;IACH,SAAS,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrE;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAoDD,qBAAa,aAAa;IACzB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;IAC7B,yEAAyE;IACzE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,GAAG,CAAK;IAChB,OAAO,CAAC,UAAU,CAAuB;IACzC,+EAA+E;IAC/E,OAAO,CAAC,WAAW,CAAuB;gBAE9B,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;IAM1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoCG;IACH,OAAO,CAAC,UAAU;IAKlB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA0CG;IACH;;;;;;;OAOG;IACH,IAAI,cAAc,IAAI,MAAM,GAAG,IAAI,CAElC;IAED,OAAO,CAAC,eAAe;IAoCvB;;;OAGG;IACH,MAAM,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;IAgC7C,OAAO,CAAC,QAAQ;YAmBF,MAAM;IAQpB;;;;;;OAMG;YACW,UAAU;IAmCxB,4DAA4D;IACtD,IAAI,CAAC,MAAM,SAAK,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;IAuBnD;;;;;;;;;;;;;;OAcG;IACG,SAAS,IAAI,OAAO,CAAC,SAAS,CAAC;CA8IrC"}