@hoilab/ada-cli 0.85.0 → 0.85.3

package/dist/core/memoria/servidor/servidor.js

@@ -0,0 +1,195 @@
+var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExtension) || function (path, preserveJsx) {
+    if (typeof path === "string" && /^\.\.?\//.test(path)) {
+        return path.replace(/\.(tsx)$|((?:\.d)?)((?:\.[^./]+?)?)\.([cm]?)ts$/i, function (m, tsx, d, ext, cm) {
+            return tsx ? preserveJsx ? ".jsx" : ".js" : d && (!ext || !cm) ? m : (d + ext + "." + cm.toLowerCase() + "js");
+        });
+    }
+    return path;
+};
+import { existsSync } from "node:fs";
+import { createInterface } from "node:readline";
+import { AlmacenJson } from "./almacen-json.js";
+/**
+ * Servidor MCP standalone de memoria: proceso JSON-RPC 2.0 sobre stdio que
+ * expone el almacén a CUALQUIER agente (CLI, Desktop, externo), no solo al
+ * que lo embebe. Hallazgo ME3 de la auditoría omp: mnemopi lo resuelve con
+ * `mcp-server.ts` + `mnemopi_shared_*`; aquí la superficie es
+ * `memoria_shared_*`.
+ *
+ * El núcleo (`procesarMensaje`) es puro respecto al transporte: recibe un
+ * mensaje ya parseado y devuelve la respuesta (o `null` para notificaciones,
+ * que no se responden). `iniciarServidorStdio` solo enchufa stdin/stdout
+ * alrededor; así el roundtrip se puede probar sin spawnear un proceso.
+ *
+ * Los nombres de tool comparten prefijo fijo (`memoria_shared_`) y sus
+ * esquemas no dependen del estado: clientes pueden cachear tools/list.
+ */
+const VERSION_PROTOCOLO = "2025-06-18";
+const VERSION_SERVIDOR = "0.1.0";
+export const PREFIJO_TOOLS = "memoria_shared_";
+export const HERRAMIENTAS = [
+    {
+        name: `${PREFIJO_TOOLS}remember`,
+        description: "Guarda un recuerdo en el almacén de memoria compartido. Devuelve el id asignado o el motivo del rechazo.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                contenido: { type: "string", description: "Texto del recuerdo (no vacío)." },
+                fuente: { type: "string", enum: ["usuario", "agente", "sistema"] },
+                ttlMs: { type: "number", description: "Tiempo de vida en milisegundos." },
+            },
+            required: ["contenido"],
+        },
+    },
+    {
+        name: `${PREFIJO_TOOLS}recall`,
+        description: "Recupera recuerdos relevantes para una consulta.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                consulta: { type: "string" },
+                limite: { type: "number", description: "Máximo de recuerdos (10 por defecto)." },
+            },
+            required: ["consulta"],
+        },
+    },
+];
+export function crearContexto(opts) {
+    return {
+        almacen: opts.almacen,
+        infoServidor: { name: opts.nombre ?? "ada-memoria", version: opts.version ?? VERSION_SERVIDOR },
+    };
+}
+/**
+ * Carga el almacén de memoria del slice ME1/ME2 (`../almacen.ts`,
+ * `MemoriaHibrida`) si existe y expone la forma esperada; si no, cae al
+ * fallback JSON local. El import dinámico es imprescindible aquí: el módulo
+ * es propiedad de otro directorio y puede no existir todavía (o la extensión
+ * cambia entre fuente `.ts` y dist `.js`), y un import estático rompería la
+ * build de `servidor/` de forma acoplada.
+ */
+export async function cargarAlmacen(directorio) {
+    const candidatos = ["../almacen.ts", "../almacen.js"].filter((s) => existsSync(new URL(s, import.meta.url)));
+    for (const especificador of candidatos) {
+        try {
+            const mod = (await import(__rewriteRelativeImportExtension(especificador)));
+            if (typeof mod?.MemoriaHibrida === "function")
+                return new mod.MemoriaHibrida({ directorio });
+        }
+        catch {
+            // Siguiente candidato; al final cae al fallback JSON.
+        }
+    }
+    return new AlmacenJson(directorio);
+}
+function respuestaOk(id, result) {
+    return { jsonrpc: "2.0", id, result };
+}
+function respuestaError(id, code, message) {
+    return { jsonrpc: "2.0", id, error: { code, message } };
+}
+/**
+ * Procesa un mensaje JSON-RPC 2.0 y devuelve la respuesta, o `null` si es una
+ * notificación (sin `id`). Errores estándar: -32601 método desconocido,
+ * -32602 parámetros inválidos, -32603 fallo interno.
+ */
+export async function procesarMensaje(mensaje, ctx) {
+    const peticion = mensaje;
+    if (typeof peticion?.method !== "string") {
+        return respuestaError(peticion?.id ?? null, -32600, "Petición inválida: falta method");
+    }
+    // Notificación (sin id): no se responde, ni siquiera con error.
+    if (peticion.id === undefined)
+        return null;
+    switch (peticion.method) {
+        case "initialize":
+            return respuestaOk(peticion.id, {
+                protocolVersion: VERSION_PROTOCOLO,
+                capabilities: { tools: {} },
+                serverInfo: ctx.infoServidor,
+            });
+        case "ping":
+            return respuestaOk(peticion.id, {});
+        case "tools/list":
+            return respuestaOk(peticion.id, { tools: HERRAMIENTAS });
+        case "tools/call": {
+            const params = peticion.params ?? {};
+            const nombre = params.name;
+            if (typeof nombre !== "string" || !HERRAMIENTAS.some((h) => h.name === nombre)) {
+                return respuestaError(peticion.id, -32602, `Tool desconocida: ${String(nombre)}`);
+            }
+            try {
+                const args = (params.arguments ?? {});
+                const resultado = await ejecutarTool(nombre, args, ctx);
+                // Formato MCP: contenido textual; isError marca fallo de la tool.
+                if (resultado.isError) {
+                    return respuestaOk(peticion.id, {
+                        content: [{ type: "text", text: resultado.texto }],
+                        isError: true,
+                    });
+                }
+                return respuestaOk(peticion.id, { content: [{ type: "text", text: resultado.texto }] });
+            }
+            catch (error) {
+                return respuestaError(peticion.id, -32603, error instanceof Error ? error.message : String(error));
+            }
+        }
+        default:
+            return respuestaError(peticion.id, -32601, `Método desconocido: ${peticion.method}`);
+    }
+}
+async function ejecutarTool(nombre, args, ctx) {
+    switch (nombre) {
+        case `${PREFIJO_TOOLS}remember`: {
+            const contenido = args.contenido;
+            if (typeof contenido !== "string" || !contenido.trim()) {
+                return { texto: "Parámetro 'contenido' requerido (string no vacío).", isError: true };
+            }
+            const opciones = {};
+            if (typeof args.fuente === "string")
+                opciones.fuente = args.fuente;
+            if (typeof args.ttlMs === "number")
+                opciones.ttlMs = args.ttlMs;
+            const r = ctx.almacen.escribir(contenido, Object.keys(opciones).length > 0 ? opciones : undefined);
+            if (!r.ok)
+                return { texto: `Rechazado: ${r.motivo}`, isError: true };
+            return { texto: JSON.stringify({ id: r.id }) };
+        }
+        case `${PREFIJO_TOOLS}recall`: {
+            const consulta = args.consulta;
+            if (typeof consulta !== "string" || !consulta.trim()) {
+                return { texto: "Parámetro 'consulta' requerido (string no vacío).", isError: true };
+            }
+            const limite = typeof args.limite === "number" ? args.limite : undefined;
+            const recuerdos = ctx.almacen.recordar(consulta, limite);
+            return { texto: JSON.stringify(recuerdos) };
+        }
+        default:
+            return { texto: `Tool desconocida: ${nombre}`, isError: true };
+    }
+}
+/**
+ * Bucle stdio: línea = mensaje JSON. Las respuestas salen como líneas NDJSON
+ * por stdout; los errores de parseo se responden con -32700 conservando el
+ * orden (nunca se mezclan respuestas de dos mensajes).
+ */
+export async function iniciarServidorStdio(ctx) {
+    const rl = createInterface({ input: process.stdin, terminal: false });
+    for await (const linea of rl) {
+        const recortada = linea.trim();
+        if (!recortada)
+            continue;
+        let salida;
+        try {
+            const mensaje = JSON.parse(recortada);
+            const respuesta = await procesarMensaje(mensaje, ctx);
+            salida = respuesta ? `${JSON.stringify(respuesta)}\n` : "";
+        }
+        catch {
+            salida = `${JSON.stringify(respuestaError(null, -32700, "JSON inválido"))}\n`;
+        }
+        if (salida)
+            process.stdout.write(salida);
+    }
+}
+//# sourceMappingURL=servidor.js.map

package/dist/core/memoria/servidor/servidor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"servidor.js","sourceRoot":"","sources":["../../../../src/core/memoria/servidor/servidor.ts"],"names":[],"mappings":";;;;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD;;;;;;;;;;;;;;GAcG;AAEH,MAAM,iBAAiB,GAAG,YAAY,CAAC;AACvC,MAAM,gBAAgB,GAAG,OAAO,CAAC;AACjC,MAAM,CAAC,MAAM,aAAa,GAAG,iBAA0B,CAAC;AAQxD,MAAM,CAAC,MAAM,YAAY,GAAqB;IAC7C;QACC,IAAI,EAAE,GAAG,aAAa,UAAU;QAChC,WAAW,EACV,0GAA0G;QAC3G,WAAW,EAAE;YACZ,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACX,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,gCAAgC,EAAE;gBAC5E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE;gBAClE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iCAAiC,EAAE;aACzE;YACD,QAAQ,EAAE,CAAC,WAAW,CAAC;SACvB;KACD;IACD;QACC,IAAI,EAAE,GAAG,aAAa,QAAQ;QAC9B,WAAW,EAAE,kDAAkD;QAC/D,WAAW,EAAE;YACZ,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACX,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,uCAAuC,EAAE;aAChF;YACD,QAAQ,EAAE,CAAC,UAAU,CAAC;SACtB;KACD;CACD,CAAC;AAQF,MAAM,UAAU,aAAa,CAAC,IAAoE;IACjG,OAAO;QACN,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,YAAY,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,gBAAgB,EAAE;KAC/F,CAAC;AACH,CAAC;AAID;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,UAAmB;IACtD,MAAM,UAAU,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7G,KAAK,MAAM,aAAa,IAAI,UAAU,EAAE,CAAC;QACxC,IAAI,CAAC;YACJ,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,kCAAC,aAAa,EAAC,CAAqC,CAAC;YAC9E,IAAI,OAAO,GAAG,EAAE,cAAc,KAAK,UAAU;gBAAE,OAAO,IAAI,GAAG,CAAC,cAAc,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9F,CAAC;QAAC,MAAM,CAAC;YACR,sDAAsD;QACvD,CAAC;IACF,CAAC;IACD,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC;AASD,SAAS,WAAW,CAAC,EAAW,EAAE,MAAe;IAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,cAAc,CAAC,EAAW,EAAE,IAAY,EAAE,OAAe;IACjE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;AACzD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACpC,OAAgB,EAChB,GAAqB;IAErB,MAAM,QAAQ,GAAG,OAA0B,CAAC;IAC5C,IAAI,OAAO,QAAQ,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO,cAAc,CAAC,QAAQ,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,iCAAiC,CAAC,CAAC;IACxF,CAAC;IACD,gEAAgE;IAChE,IAAI,QAAQ,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAE3C,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACzB,KAAK,YAAY;YAChB,OAAO,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE;gBAC/B,eAAe,EAAE,iBAAiB;gBAClC,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;gBAC3B,UAAU,EAAE,GAAG,CAAC,YAAY;aAC5B,CAAC,CAAC;QACJ,KAAK,MAAM;YACV,OAAO,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACrC,KAAK,YAAY;YAChB,OAAO,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;QAC1D,KAAK,YAAY,CAAC,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;YAC3B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;gBAChF,OAAO,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,qBAAqB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnF,CAAC;YACD,IAAI,CAAC;gBACJ,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAA4B,CAAC;gBACjE,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;gBACxD,kEAAkE;gBAClE,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBACvB,OAAO,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE;wBAC/B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;wBAClD,OAAO,EAAE,IAAI;qBACb,CAAC,CAAC;gBACJ,CAAC;gBACD,OAAO,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACzF,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,OAAO,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACpG,CAAC;QACF,CAAC;QACD;YACC,OAAO,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,uBAAuB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACvF,CAAC;AACF,CAAC;AAED,KAAK,UAAU,YAAY,CAC1B,MAAc,EACd,IAA6B,EAC7B,GAAqB;IAErB,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,GAAG,aAAa,UAAU,CAAC,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;YACjC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBACxD,OAAO,EAAE,KAAK,EAAE,oDAAoD,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YACvF,CAAC;YACD,MAAM,QAAQ,GAA4B,EAAE,CAAC;YAC7C,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ;gBAAE,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YACnE,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;gBAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YAChE,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,CAC7B,SAAS,EACT,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,QAAsD,CAAC,CAAC,CAAC,SAAS,CACtG,CAAC;YACF,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YACrE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAChD,CAAC;QACD,KAAK,GAAG,aAAa,QAAQ,CAAC,CAAC,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtD,OAAO,EAAE,KAAK,EAAE,mDAAmD,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YACtF,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACzE,MAAM,SAAS,GAAe,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACrE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,CAAC;QACD;YACC,OAAO,EAAE,KAAK,EAAE,qBAAqB,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjE,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,GAAqB;IAC/D,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,EAAE,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACJ,MAAM,OAAO,GAAY,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACR,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC;QAC/E,CAAC;QACD,IAAI,MAAM;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;AACF,CAAC"}

package/dist/core/memoria/servidor/tipos.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Contrato mínimo que el servidor MCP de memoria y el DR backup exigen a un
+ * almacén de recuerdos.
+ *
+ * Es deliberadamente un subconjunto de la interfaz de `MemoriaHibrida`
+ * (`../almacen.ts`): el servidor importa ese almacén si existe y, si no,
+ * cae al fallback JSON local (`almacen-json.ts`) que implementa este mismo
+ * contrato. Así la superficie MCP no se acopla a los internos del almacén
+ * híbrido ni a su ciclo de vida.
+ */
+/** Un recuerdo devuelto por una consulta. */
+export interface Recuerdo {
+    id: string;
+    contenido: string;
+    puntuacion?: number;
+}
+/** Opciones de escritura (espejo de `MemoriaHibrida.escribir`). */
+export interface OpcionesEscritura {
+    fuente?: "usuario" | "agente" | "sistema";
+    ttlMs?: number;
+}
+export type ResultadoEscritura = {
+    ok: true;
+    id: string;
+} | {
+    ok: false;
+    motivo: string;
+};
+/**
+ * El almacén visto por el servidor MCP y por el DR.
+ *
+ * `listar` y `reemplazarTodo` son las dos operaciones extra que necesita el
+ * respaldo de recuperación ante desastres: volcar todo y sustituir todo. Son
+ * opcionales porque un almacén puede exponer solo lectura/escritura; sin
+ * ellas, ese almacén no es respaldable vía esta capa (el DR lo rechaza con
+ * un motivo claro en vez de inventarse un vaciado parcial).
+ */
+export interface AlmacenMemoria {
+    escribir(contenido: string, opciones?: OpcionesEscritura): ResultadoEscritura;
+    recordar(consulta: string, limite?: number): Recuerdo[];
+    listar?(): Recuerdo[];
+    reemplazarTodo?(recuerdos: Recuerdo[]): void;
+}
+//# sourceMappingURL=tipos.d.ts.map

package/dist/core/memoria/servidor/tipos.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tipos.d.ts","sourceRoot":"","sources":["../../../../src/core/memoria/servidor/tipos.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,6CAA6C;AAC7C,MAAM,WAAW,QAAQ;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,mEAAmE;AACnE,MAAM,WAAW,iBAAiB;IACjC,MAAM,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,KAAK,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,MAAM,kBAAkB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1F;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,CAAC;IAC9E,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,EAAE,CAAC;IACxD,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;IACtB,cAAc,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;CAC7C"}

package/dist/core/memoria/servidor/tipos.js

@@ -0,0 +1,12 @@
+/**
+ * Contrato mínimo que el servidor MCP de memoria y el DR backup exigen a un
+ * almacén de recuerdos.
+ *
+ * Es deliberadamente un subconjunto de la interfaz de `MemoriaHibrida`
+ * (`../almacen.ts`): el servidor importa ese almacén si existe y, si no,
+ * cae al fallback JSON local (`almacen-json.ts`) que implementa este mismo
+ * contrato. Así la superficie MCP no se acopla a los internos del almacén
+ * híbrido ni a su ciclo de vida.
+ */
+export {};
+//# sourceMappingURL=tipos.js.map

package/dist/core/memoria/servidor/tipos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tipos.js","sourceRoot":"","sources":["../../../../src/core/memoria/servidor/tipos.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}

package/dist/core/memoria/tipos.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Tipos compartidos de la memoria vectorial híbrida (ME1/ME2).
+ *
+ * Ciclo de vida (AUDITORIA-OMP.md ME2): toda memoria nace con sello temporal,
+ * se refresca al usarse, decae con la edad y se purga cuando expira o queda
+ * sustituida. La lectura SIEMPRE filtra expirados y sustituidos — la purga es
+ * solo la recolección física posterior.
+ */
+/** Quién originó la memoria — decide su peso en el ranking. */
+export type FuenteMemoria = "usuario" | "agente" | "sistema";
+export declare const PESO_POR_FUENTE: Record<FuenteMemoria, number>;
+/** Un registro de memoria con ciclo de vida completo. */
+export interface RegistroMemoria {
+    id: string;
+    contenido: string;
+    /** Embedding local hash-based (sin red), normalizado. */
+    embedding: number[];
+    creadoEn: number;
+    /** Última vez que se refrescó — base del decaimiento. */
+    refrescadoEn: number;
+    /** Marca temporal tras la cual el registro está expirado (valid_until). */
+    expiraEn: number;
+    /** Si existe, este registro quedó sustituido por otro (superseded_by). */
+    sustituidoPor?: string;
+    fuente: FuenteMemoria;
+}
+/** Resultado de una escritura (siempre tras pasar por redacción PR6). */
+export type EscrituraMemoria = {
+    ok: true;
+    id: string;
+    redacciones: Redaccion[];
+} | {
+    ok: false;
+    motivo: string;
+};
+/** Un secreto detectado y tapado antes de tocar disco o vector. */
+export interface Redaccion {
+    patron: string;
+    veces: number;
+}
+/** Resultado de recall híbrido: mezcla vectorial + léxico (BM25) + frescura. */
+export interface ResultadoRecall {
+    id: string;
+    contenido: string;
+    puntuacion: number;
+    /** Componentes expuestos para diagnóstico/tests — el orden usa `puntuacion`. */
+    componentes: {
+        vector: number;
+        bm25: number;
+        frescura: number;
+        fuente: number;
+    };
+}
+/** Opciones de construcción del almacén. */
+export interface OpcionesMemoria {
+    /** Si se da, persiste JSON atómicamente en `<directorio>/memoria-hibrida.json`. */
+    directorio?: string;
+    /** Reloj inyectable para tests de ciclo de vida. Por defecto Date.now. */
+    ahora?: () => number;
+    /** TTL por defecto de una memoria nueva (ms). */
+    ttlPorDefectoMs?: number;
+}
+//# sourceMappingURL=tipos.d.ts.map

package/dist/core/memoria/tipos.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tipos.d.ts","sourceRoot":"","sources":["../../../src/core/memoria/tipos.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7D,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,aAAa,EAAE,MAAM,CAIzD,CAAC;AAEF,yDAAyD;AACzD,MAAM,WAAW,eAAe;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,yDAAyD;IACzD,YAAY,EAAE,MAAM,CAAC;IACrB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,aAAa,CAAC;CACtB;AAED,yEAAyE;AACzE,MAAM,MAAM,gBAAgB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,SAAS,EAAE,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAElH,mEAAmE;AACnE,MAAM,WAAW,SAAS;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACd;AAED,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,WAAW,EAAE;QACZ,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;KACf,CAAC;CACF;AAED,4CAA4C;AAC5C,MAAM,WAAW,eAAe;IAC/B,mFAAmF;IACnF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;IACrB,iDAAiD;IACjD,eAAe,CAAC,EAAE,MAAM,CAAC;CACzB"}

package/dist/core/memoria/tipos.js

@@ -0,0 +1,14 @@
+/**
+ * Tipos compartidos de la memoria vectorial híbrida (ME1/ME2).
+ *
+ * Ciclo de vida (AUDITORIA-OMP.md ME2): toda memoria nace con sello temporal,
+ * se refresca al usarse, decae con la edad y se purga cuando expira o queda
+ * sustituida. La lectura SIEMPRE filtra expirados y sustituidos — la purga es
+ * solo la recolección física posterior.
+ */
+export const PESO_POR_FUENTE = {
+    usuario: 1,
+    agente: 0.7,
+    sistema: 0.4,
+};
+//# sourceMappingURL=tipos.js.map

package/dist/core/memoria/tipos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tipos.js","sourceRoot":"","sources":["../../../src/core/memoria/tipos.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,MAAM,CAAC,MAAM,eAAe,GAAkC;IAC7D,OAAO,EAAE,CAAC;IACV,MAAM,EAAE,GAAG;IACX,OAAO,EAAE,GAAG;CACZ,CAAC"}

package/dist/core/memory-engine/audit-export.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit-export.d.ts","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,WAAW,gBAAgB;IAChC,qDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6CAA6C;IAC7C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,MAAM,EAAE,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC5C,wCAAuC;IACvC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACpE;AAED,MAAM,WAAW,mBAAmB;IACnC,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;;OAQG;IACH,KAAK,EAAE,oBAAoB,CAAC;IAC5B,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACvD,6DAA2D;IAC3D,WAAW,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CACtC,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,MAAM,EACd,GAAG,GAAE,MAAM,MAAuC,GAChD,OAAO,CAAC,mBAAmB,CAAC,CA+E9B","sourcesContent":["/**\n * Bundle de evidencia — auditoría que se queda con el cliente.\n *\n * Es la dirección OPUESTA a subir transcripciones a una nube: un cliente\n * regulado produce, en local y por sí mismo, un artefacto verificable de qué\n * hizo el agente y qué se verificó. Cero red.\n *\n * No inventa nada: junta tres fuentes que ya existen y añade el resultado de la\n * verificación de la cadena hash.\n *\n * ponytail: la cadena hash prueba consistencia interna, NO procedencia. Si un\n * cliente necesita no-repudio, eso es una conversación de HSM/firma — el\n * manifiesto lo dice explícitamente en vez de insinuar que lo cubre.\n */\n\nimport { mkdir, readdir, readFile, writeFile } from \"node:fs/promises\";\nimport { join } from \"node:path\";\nimport type { VeredictoDelRegistro } from \"./audit-indice.ts\";\n\nexport interface AuditBundleInput {\n\t/** Raíz del engine (`<agentDir>/memory-engine`). */\n\trootDir: string;\n\t/** Directorio de runs de workflow (`<agentDir>/workflows/runs`). */\n\trunsDir?: string;\n\t/** Fichero del grafo, si existe. */\n\tgraphPath?: string;\n\t/** Solo entradas con `ts >= since` (ISO). */\n\tsince?: string;\n\t/** Verificador de la cadena (inyectable para tests). */\n\tverify: () => Promise<VeredictoDelRegistro>;\n\t/** Lector de entradas de auditoría. */\n\tentries: (limit: number) => Promise<Array<Record<string, unknown>>>;\n}\n\nexport interface AuditBundleManifest {\n\tversion: 1;\n\tgeneratedAt: string;\n\tsince?: string;\n\t/**\n\t * El veredicto ENTERO, no un resumen.\n\t *\n\t * Antes este campo estaba declarado como `{valid, tamperedAt, entriesChecked}`\n\t * y el veredicto pasaba por ese hueco perdiendo lo demás sin dar un solo\n\t * error: el manifiesto decía `\"chain\": {\"valid\": true}` sobre un registro al\n\t * que le faltaban ficheros enteros. Un tipo intermedio que recorta campos es\n\t * peor que uno que se queja, porque el recorte no se ve en ningún sitio.\n\t */\n\tchain: VeredictoDelRegistro;\n\tcounts: { auditEntries: number; workflowRuns: number };\n\t/** Lo que este bundle NO prueba. Explícito a propósito. */\n\tlimitations: string[];\n}\n\n/**\n * Escribe el bundle en `outDir`. Devuelve el manifiesto.\n * `generatedAt` se inyecta para que el test sea determinista.\n */\nexport async function exportAuditBundle(\n\tinput: AuditBundleInput,\n\toutDir: string,\n\tnow: () => string = () => new Date().toISOString(),\n): Promise<AuditBundleManifest> {\n\tawait mkdir(outDir, { recursive: true });\n\n\tconst chain = await input.verify();\n\n\tconst all = await input.entries(100000);\n\tconst audit = input.since\n\t\t? all.filter((e) => typeof e.ts === \"string\" && (e.ts as string) >= (input.since as string))\n\t\t: all;\n\tawait writeFile(join(outDir, \"audit.jsonl\"), audit.map((e) => JSON.stringify(e)).join(\"\\n\"), \"utf-8\");\n\n\t// Runs de workflow: el journal ya guarda script, args, fases y resultPath.\n\tconst runs: Array<Record<string, unknown>> = [];\n\tif (input.runsDir) {\n\t\ttry {\n\t\t\tfor (const file of (await readdir(input.runsDir)).filter((f) => f.endsWith(\".json\"))) {\n\t\t\t\ttry {\n\t\t\t\t\tconst state = JSON.parse(await readFile(join(input.runsDir, file), \"utf-8\")) as Record<string, unknown>;\n\t\t\t\t\tif (input.since && typeof state.startedAt === \"string\" && state.startedAt < input.since) continue;\n\t\t\t\t\truns.push({\n\t\t\t\t\t\trunId: state.runId,\n\t\t\t\t\t\tname: state.name,\n\t\t\t\t\t\tstatus: state.status,\n\t\t\t\t\t\tstartedAt: state.startedAt,\n\t\t\t\t\t\tupdatedAt: state.updatedAt,\n\t\t\t\t\t\tagentCount: state.agentCount,\n\t\t\t\t\t\ttokenUsage: state.tokenUsage,\n\t\t\t\t\t\tphases: state.phases,\n\t\t\t\t\t\tresultPath: state.resultPath,\n\t\t\t\t\t\targs: state.args,\n\t\t\t\t\t});\n\t\t\t\t} catch {\n\t\t\t\t\t// un run ilegible no invalida el bundle\n\t\t\t\t}\n\t\t\t}\n\t\t} catch {\n\t\t\t// sin runs todavía\n\t\t}\n\t}\n\tawait writeFile(join(outDir, \"workflow-runs.json\"), JSON.stringify(runs, null, 2), \"utf-8\");\n\n\t// Grafo: la traza de qué se verificó y con qué evidencia.\n\tif (input.graphPath) {\n\t\ttry {\n\t\t\tawait writeFile(join(outDir, \"graph.json\"), await readFile(input.graphPath, \"utf-8\"), \"utf-8\");\n\t\t} catch {\n\t\t\t// sin grafo\n\t\t}\n\t}\n\n\tconst manifest: AuditBundleManifest = {\n\t\tversion: 1,\n\t\tgeneratedAt: now(),\n\t\tsince: input.since,\n\t\tchain,\n\t\tcounts: { auditEntries: audit.length, workflowRuns: runs.length },\n\t\tlimitations: [\n\t\t\t...(chain.borrados?.length\n\t\t\t\t? [\n\t\t\t\t\t\t`FALTAN ${chain.borrados.length} fichero(s) que el índice recuerda, con ${chain.borrados.reduce((n, f) => n + f.entradas, 0)} entrada(s): ${chain.borrados.map((f) => f.fichero).join(\", \")}.`,\n\t\t\t\t\t]\n\t\t\t\t: []),\n\t\t\t...(chain.incompletos?.length\n\t\t\t\t? [\n\t\t\t\t\t\t`${chain.incompletos.length} fichero(s) han perdido entradas por la cola: ${chain.incompletos.map((f) => `${f.fichero} (faltan ${f.faltan})`).join(\", \")}.`,\n\t\t\t\t\t]\n\t\t\t\t: []),\n\t\t\t...(chain.sinAncla?.length\n\t\t\t\t? [\n\t\t\t\t\t\t`${chain.sinAncla.length} fichero(s) sin ancla en el índice (escritos antes de que existiera): su desaparición no se podría detectar.`,\n\t\t\t\t\t]\n\t\t\t\t: []),\n\t\t\t\"La cadena hash prueba INTEGRIDAD INTERNA del log (que no se editó ni reordenó), no PROCEDENCIA: no acredita quién lo generó ni en qué máquina.\",\n\t\t\t\"Para no-repudio hace falta firma con clave gestionada (HSM); este bundle no la incluye.\",\n\t\t\t\"El bundle refleja lo que el agente registró. No es una auditoría independiente del código resultante.\",\n\t\t],\n\t};\n\tawait writeFile(join(outDir, \"manifest.json\"), JSON.stringify(manifest, null, 2), \"utf-8\");\n\treturn manifest;\n}\n"]}
+{"version":3,"file":"audit-export.d.ts","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,WAAW,gBAAgB;IAChC,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6CAA6C;IAC7C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,MAAM,EAAE,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC5C,uCAAuC;IACvC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACpE;AAED,MAAM,WAAW,mBAAmB;IACnC,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;;OAQG;IACH,KAAK,EAAE,oBAAoB,CAAC;IAC5B,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACvD,2DAA2D;IAC3D,WAAW,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CACtC,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,MAAM,EACd,GAAG,GAAE,MAAM,MAAuC,GAChD,OAAO,CAAC,mBAAmB,CAAC,CA+E9B"}

package/dist/core/memory-engine/audit-export.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit-export.js","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAqCjC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACtC,KAAuB,EACvB,MAAc,EACd,GAAG,GAAiB,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EACnB;IAC/B,MAAM,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;IAEnC,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK;QACxB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAK,CAAC,CAAC,EAAa,IAAK,KAAK,CAAC,KAAgB,CAAC;QAC5F,CAAC,CAAC,GAAG,CAAC;IACP,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAEtG,2EAA2E;IAC3E,MAAM,IAAI,GAAmC,EAAE,CAAC;IAChD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnB,IAAI,CAAC;YACJ,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACtF,IAAI,CAAC;oBACJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAA4B,CAAC;oBACxG,IAAI,KAAK,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK;wBAAE,SAAS;oBAClG,IAAI,CAAC,IAAI,CAAC;wBACT,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,SAAS,EAAE,KAAK,CAAC,SAAS;wBAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;wBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;qBAChB,CAAC,CAAC;gBACJ,CAAC;gBAAC,MAAM,CAAC;oBACR,wCAAwC;gBACzC,CAAC;YACF,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,oBAAmB;QACpB,CAAC;IACF,CAAC;IACD,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAE5F,6DAA0D;IAC1D,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACrB,IAAI,CAAC;YACJ,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAChG,CAAC;QAAC,MAAM,CAAC;YACR,YAAY;QACb,CAAC;IACF,CAAC;IAED,MAAM,QAAQ,GAAwB;QACrC,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,GAAG,EAAE;QAClB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK;QACL,MAAM,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;QACjE,WAAW,EAAE;YACZ,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM;gBACzB,CAAC,CAAC;oBACA,UAAU,KAAK,CAAC,QAAQ,CAAC,MAAM,4CAA2C,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,gBAAgB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC9L;gBACF,CAAC,CAAC,EAAE,CAAC;YACN,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM;gBAC5B,CAAC,CAAC;oBACA,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,iDAAiD,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC3J;gBACF,CAAC,CAAC,EAAE,CAAC;YACN,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM;gBACzB,CAAC,CAAC;oBACA,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,iHAA8G;iBACtI;gBACF,CAAC,CAAC,EAAE,CAAC;YACN,sJAAgJ;YAChJ,yFAAyF;YACzF,0GAAuG;SACvG;KACD,CAAC;IACF,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3F,OAAO,QAAQ,CAAC;AAAA,CAChB","sourcesContent":["/**\n * Bundle de evidencia — auditoría que se queda con el cliente.\n *\n * Es la dirección OPUESTA a subir transcripciones a una nube: un cliente\n * regulado produce, en local y por sí mismo, un artefacto verificable de qué\n * hizo el agente y qué se verificó. Cero red.\n *\n * No inventa nada: junta tres fuentes que ya existen y añade el resultado de la\n * verificación de la cadena hash.\n *\n * ponytail: la cadena hash prueba consistencia interna, NO procedencia. Si un\n * cliente necesita no-repudio, eso es una conversación de HSM/firma — el\n * manifiesto lo dice explícitamente en vez de insinuar que lo cubre.\n */\n\nimport { mkdir, readdir, readFile, writeFile } from \"node:fs/promises\";\nimport { join } from \"node:path\";\nimport type { VeredictoDelRegistro } from \"./audit-indice.ts\";\n\nexport interface AuditBundleInput {\n\t/** Raíz del engine (`<agentDir>/memory-engine`). */\n\trootDir: string;\n\t/** Directorio de runs de workflow (`<agentDir>/workflows/runs`). */\n\trunsDir?: string;\n\t/** Fichero del grafo, si existe. */\n\tgraphPath?: string;\n\t/** Solo entradas con `ts >= since` (ISO). */\n\tsince?: string;\n\t/** Verificador de la cadena (inyectable para tests). */\n\tverify: () => Promise<VeredictoDelRegistro>;\n\t/** Lector de entradas de auditoría. */\n\tentries: (limit: number) => Promise<Array<Record<string, unknown>>>;\n}\n\nexport interface AuditBundleManifest {\n\tversion: 1;\n\tgeneratedAt: string;\n\tsince?: string;\n\t/**\n\t * El veredicto ENTERO, no un resumen.\n\t *\n\t * Antes este campo estaba declarado como `{valid, tamperedAt, entriesChecked}`\n\t * y el veredicto pasaba por ese hueco perdiendo lo demás sin dar un solo\n\t * error: el manifiesto decía `\"chain\": {\"valid\": true}` sobre un registro al\n\t * que le faltaban ficheros enteros. Un tipo intermedio que recorta campos es\n\t * peor que uno que se queja, porque el recorte no se ve en ningún sitio.\n\t */\n\tchain: VeredictoDelRegistro;\n\tcounts: { auditEntries: number; workflowRuns: number };\n\t/** Lo que este bundle NO prueba. Explícito a propósito. */\n\tlimitations: string[];\n}\n\n/**\n * Escribe el bundle en `outDir`. Devuelve el manifiesto.\n * `generatedAt` se inyecta para que el test sea determinista.\n */\nexport async function exportAuditBundle(\n\tinput: AuditBundleInput,\n\toutDir: string,\n\tnow: () => string = () => new Date().toISOString(),\n): Promise<AuditBundleManifest> {\n\tawait mkdir(outDir, { recursive: true });\n\n\tconst chain = await input.verify();\n\n\tconst all = await input.entries(100000);\n\tconst audit = input.since\n\t\t? all.filter((e) => typeof e.ts === \"string\" && (e.ts as string) >= (input.since as string))\n\t\t: all;\n\tawait writeFile(join(outDir, \"audit.jsonl\"), audit.map((e) => JSON.stringify(e)).join(\"\\n\"), \"utf-8\");\n\n\t// Runs de workflow: el journal ya guarda script, args, fases y resultPath.\n\tconst runs: Array<Record<string, unknown>> = [];\n\tif (input.runsDir) {\n\t\ttry {\n\t\t\tfor (const file of (await readdir(input.runsDir)).filter((f) => f.endsWith(\".json\"))) {\n\t\t\t\ttry {\n\t\t\t\t\tconst state = JSON.parse(await readFile(join(input.runsDir, file), \"utf-8\")) as Record<string, unknown>;\n\t\t\t\t\tif (input.since && typeof state.startedAt === \"string\" && state.startedAt < input.since) continue;\n\t\t\t\t\truns.push({\n\t\t\t\t\t\trunId: state.runId,\n\t\t\t\t\t\tname: state.name,\n\t\t\t\t\t\tstatus: state.status,\n\t\t\t\t\t\tstartedAt: state.startedAt,\n\t\t\t\t\t\tupdatedAt: state.updatedAt,\n\t\t\t\t\t\tagentCount: state.agentCount,\n\t\t\t\t\t\ttokenUsage: state.tokenUsage,\n\t\t\t\t\t\tphases: state.phases,\n\t\t\t\t\t\tresultPath: state.resultPath,\n\t\t\t\t\t\targs: state.args,\n\t\t\t\t\t});\n\t\t\t\t} catch {\n\t\t\t\t\t// un run ilegible no invalida el bundle\n\t\t\t\t}\n\t\t\t}\n\t\t} catch {\n\t\t\t// sin runs todavía\n\t\t}\n\t}\n\tawait writeFile(join(outDir, \"workflow-runs.json\"), JSON.stringify(runs, null, 2), \"utf-8\");\n\n\t// Grafo: la traza de qué se verificó y con qué evidencia.\n\tif (input.graphPath) {\n\t\ttry {\n\t\t\tawait writeFile(join(outDir, \"graph.json\"), await readFile(input.graphPath, \"utf-8\"), \"utf-8\");\n\t\t} catch {\n\t\t\t// sin grafo\n\t\t}\n\t}\n\n\tconst manifest: AuditBundleManifest = {\n\t\tversion: 1,\n\t\tgeneratedAt: now(),\n\t\tsince: input.since,\n\t\tchain,\n\t\tcounts: { auditEntries: audit.length, workflowRuns: runs.length },\n\t\tlimitations: [\n\t\t\t...(chain.borrados?.length\n\t\t\t\t? [\n\t\t\t\t\t\t`FALTAN ${chain.borrados.length} fichero(s) que el índice recuerda, con ${chain.borrados.reduce((n, f) => n + f.entradas, 0)} entrada(s): ${chain.borrados.map((f) => f.fichero).join(\", \")}.`,\n\t\t\t\t\t]\n\t\t\t\t: []),\n\t\t\t...(chain.incompletos?.length\n\t\t\t\t? [\n\t\t\t\t\t\t`${chain.incompletos.length} fichero(s) han perdido entradas por la cola: ${chain.incompletos.map((f) => `${f.fichero} (faltan ${f.faltan})`).join(\", \")}.`,\n\t\t\t\t\t]\n\t\t\t\t: []),\n\t\t\t...(chain.sinAncla?.length\n\t\t\t\t? [\n\t\t\t\t\t\t`${chain.sinAncla.length} fichero(s) sin ancla en el índice (escritos antes de que existiera): su desaparición no se podría detectar.`,\n\t\t\t\t\t]\n\t\t\t\t: []),\n\t\t\t\"La cadena hash prueba INTEGRIDAD INTERNA del log (que no se editó ni reordenó), no PROCEDENCIA: no acredita quién lo generó ni en qué máquina.\",\n\t\t\t\"Para no-repudio hace falta firma con clave gestionada (HSM); este bundle no la incluye.\",\n\t\t\t\"El bundle refleja lo que el agente registró. No es una auditoría independiente del código resultante.\",\n\t\t],\n\t};\n\tawait writeFile(join(outDir, \"manifest.json\"), JSON.stringify(manifest, null, 2), \"utf-8\");\n\treturn manifest;\n}\n"]}
+{"version":3,"file":"audit-export.js","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAqCjC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACtC,KAAuB,EACvB,MAAc,EACd,MAAoB,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IAElD,MAAM,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;IAEnC,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK;QACxB,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAK,CAAC,CAAC,EAAa,IAAK,KAAK,CAAC,KAAgB,CAAC;QAC5F,CAAC,CAAC,GAAG,CAAC;IACP,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAEtG,2EAA2E;IAC3E,MAAM,IAAI,GAAmC,EAAE,CAAC;IAChD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnB,IAAI,CAAC;YACJ,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACtF,IAAI,CAAC;oBACJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAA4B,CAAC;oBACxG,IAAI,KAAK,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK;wBAAE,SAAS;oBAClG,IAAI,CAAC,IAAI,CAAC;wBACT,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,SAAS,EAAE,KAAK,CAAC,SAAS;wBAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;wBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;qBAChB,CAAC,CAAC;gBACJ,CAAC;gBAAC,MAAM,CAAC;oBACR,wCAAwC;gBACzC,CAAC;YACF,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,mBAAmB;QACpB,CAAC;IACF,CAAC;IACD,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAE5F,0DAA0D;IAC1D,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACrB,IAAI,CAAC;YACJ,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAChG,CAAC;QAAC,MAAM,CAAC;YACR,YAAY;QACb,CAAC;IACF,CAAC;IAED,MAAM,QAAQ,GAAwB;QACrC,OAAO,EAAE,CAAC;QACV,WAAW,EAAE,GAAG,EAAE;QAClB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK;QACL,MAAM,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;QACjE,WAAW,EAAE;YACZ,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM;gBACzB,CAAC,CAAC;oBACA,UAAU,KAAK,CAAC,QAAQ,CAAC,MAAM,2CAA2C,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,gBAAgB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC9L;gBACF,CAAC,CAAC,EAAE,CAAC;YACN,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM;gBAC5B,CAAC,CAAC;oBACA,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,iDAAiD,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBAC3J;gBACF,CAAC,CAAC,EAAE,CAAC;YACN,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM;gBACzB,CAAC,CAAC;oBACA,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,8GAA8G;iBACtI;gBACF,CAAC,CAAC,EAAE,CAAC;YACN,gJAAgJ;YAChJ,yFAAyF;YACzF,uGAAuG;SACvG;KACD,CAAC;IACF,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3F,OAAO,QAAQ,CAAC;AACjB,CAAC"}

package/dist/core/memory-engine/audit-indice.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit-indice.d.ts","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-indice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AAKH,mEAAmE;AACnE,eAAO,MAAM,SAAS,UAAU,CAAC;AAEjC;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,iBAAiB,CAAC;AAK/C,wFAAkF;AAClF,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;AAEjE;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,GAAG,iBAAiB,GAAG,UAAU,CAAC;AAEvG,MAAM,WAAW,oBAAoB;IACpC,MAAM,EAAE,iBAAiB,CAAC;IAC1B;;;;;OAKG;IACH,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,kDAAiD;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0EAAwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,0FAAsF;IACtF,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnD,4EAA2E;IAC3E,WAAW,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtE;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,4EAA4E;AAC5E,KAAK,WAAW,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,MAAM,CAAC;AAUvF;;;;;;GAMG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAI9F;AAgBD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAuJxG","sourcesContent":["/**\n * El índice del audit del motor de memoria: lo que DEBERÍA existir.\n *\n * EL AGUJERO, medido antes de escribir nada, sobre un directorio temporal con\n * cinco entradas y la implementación de `audit.ts` tal como estaba:\n *\n *   1) las 5 entradas intactas      : {\"valid\":true,\"entriesChecked\":5}\n *   2) editada la del medio         : {\"valid\":false,\"entriesChecked\":2}\n *   3) fichero BORRADO entero       : {\"valid\":true,\"entriesChecked\":0}   <- éxito\n *   4) TRUNCADO (-2 últimas)        : {\"valid\":true,\"entriesChecked\":3}   <- éxito\n *   5) QUITADA una del medio        : {\"valid\":false,\"entriesChecked\":2}\n *\n * Y las dos que sacan la forma completa:\n *\n *   B) directorio `audit/` borrado  : {\"valid\":false,\"entriesChecked\":0}\n *   C) instalación nueva            : {\"valid\":false,\"entriesChecked\":0}   <- lo mismo\n *\n * O sea: no había tres estados, había dos, y ninguno caía donde debía. Un\n * borrado se leía como éxito y una instalación virgen se leía como\n * manipulación — un detector que acusa a toda instalación limpia deja de\n * leerse, y con él se va también la señal de la manipulación real.\n *\n * LA RAZÓN DE FONDO, y por eso esto es un módulo aparte y no un `if` más en\n * `verify`: la cadena de hashes NO PUEDE, por construcción, hablar de lo que ya\n * no está. `readdir(audit/)` solo sabe contestar «lo que hay». Para contestar\n * «lo que debería haber» hace falta un registro APARTE, que es exactamente lo\n * que `audit/libro.ts` resolvió con su índice de dos directorios.\n *\n * LA DIFERENCIA CON `libro.ts`, que es la que decide el diseño: allí el ancla\n * es un ENLACE DURO por fichero, y basta porque el ataque que importa es `rm`.\n * Aquí no basta. Un enlace duro comparte inodo, así que `truncate` recorta los\n * bytes de los DOS nombres a la vez y el caso 4 seguiría pasando entero. Y el\n * caso 4 tiene una variante peor, la que de verdad ocurre: truncar y dejar que\n * el proceso siga: `load()` lee la última entrada superviviente, retoma `seq` y\n * `lastHash` desde ahí y encadena por encima del hueco. Quedan `seq` 1,2,3,4\n * correlativos y cadena perfecta, con dos entradas desaparecidas y ni una sola\n * señal.\n *\n * Por eso el ancla de aquí es por ENTRADA y no por fichero: un fichero\n * `<nombre>.ancla` en `audit-indice/`, append-only, con el hash de cada entrada\n * escrita, uno por línea. Verificar es entonces una resta de conjuntos: los\n * hashes que el índice recuerda y que ya no aparecen en el log son entradas que\n * han desaparecido, se las hayan llevado borrando el fichero, recortándole la\n * cola o quitándolas del medio.\n *\n * DOS DECISIONES QUE CONVIENE NO DESHACER SIN PENSARLAS:\n *\n * 1. **Se ancla DESPUÉS de escribir la entrada, nunca antes.** Al revés —\n *    escribir el ancla primero— un proceso que muera entre las dos escrituras\n *    dejaría un hash anclado cuya entrada no llegó nunca, y la siguiente\n *    verificación acusaría de manipulación a un simple corte de luz. Se prefiere\n *    el fallo del otro lado: durante esa ventana de microsegundos la última\n *    entrada está sin anclar y su desaparición no se detectaría. Un falso\n *    negativo estrechísimo es mejor que un falso positivo en cada caída.\n * 2. **Lo que sobra no acusa.** Entradas del log que no estén en el índice NO\n *    son un hallazgo: son logs escritos antes de que el índice existiera, o la\n *    ventana del punto anterior. Solo cuenta lo que el índice recuerda y ya no\n *    está. Sin esta asimetría, el día de la actualización toda instalación\n *    existente gritaría «manipulado».\n *\n * HASTA DÓNDE LLEGA, dicho sin adornos: quien borre los DOS directorios deja un\n * registro vacío indistinguible de una instalación nueva. Contra eso no hay\n * ancla local que valga —cualquier ancla en el mismo disco y con los mismos\n * permisos se borra igual—; hace falta un ancla externa. Lo que esto elimina es\n * que un solo `rm` o un solo `truncate` pasen desapercibidos.\n */\n\nimport { appendFile, mkdir, readdir, readFile } from \"node:fs/promises\";\nimport { join } from \"node:path\";\n\n/** Donde vive el log: `<rootDir>/audit/audit-YYYY-MM-DD.jsonl`. */\nexport const DIR_AUDIT = \"audit\";\n\n/**\n * El índice: `<rootDir>/audit-indice/<nombre del log>.ancla`.\n *\n * Va FUERA de `audit/` a propósito. Dentro, el `rm -rf audit/` que este\n * mecanismo existe para detectar se llevaría por delante también la prueba.\n */\nexport const DIR_INDICE_AUDIT = \"audit-indice\";\n\nconst RE_LOG = /^audit-.*\\.jsonl$/;\nconst SUFIJO_ANCLA = \".ancla\";\n\n/** Los tres estados. «Vacío» NO es «íntegro»: ver la cabecera de este fichero. */\nexport type EstadoDelRegistro = \"integro\" | \"alterado\" | \"vacio\";\n\n/**\n * Por qué está alterado, que no es lo mismo que el hecho de que lo esté.\n *\n * Un detector que diera el mismo veredicto a tres causas distintas no\n * distinguiría ninguna, y el mensaje acabaría acusando de lo que no es.\n *\n * `ilegible` es el que no acusa de nada: es «no lo he podido mirar», y va\n * separado de los demás porque para quien responde a una auditoría no es lo\n * mismo que «lo he mirado y no cuadra».\n */\nexport type CausaDeAlteracion = \"editada\" | \"enlace-roto\" | \"borrado\" | \"faltan-entradas\" | \"ilegible\";\n\nexport interface VeredictoDelRegistro {\n\testado: EstadoDelRegistro;\n\t/**\n\t * Compat con quien ya lee este veredicto: el modo interactivo, la ruta\n\t * `/api/memory/audit` del escritorio y `audit-export.ts`. Es `estado ===\n\t * \"integro\" || estado === \"vacio\"` — una instalación virgen no está\n\t * manipulada, y quien quiera distinguirlas tiene `estado`.\n\t */\n\tvalid: boolean;\n\tentriesChecked: number;\n\t/** Sello de tiempo de la primera entrada que no cuadra. */\n\ttamperedAt?: string;\n\tcausa?: CausaDeAlteracion;\n\t/** Por qué no verifica, en una frase estable. */\n\tmotivo?: string;\n\t/** Dónde mirar. Sin esto el aviso de manipulación se queda en susto. */\n\tficheroAlterado?: string;\n\t/** Ficheros que el índice recuerda y que ya no están, con cuántas entradas tenían. */\n\tborrados?: { fichero: string; entradas: number }[];\n\t/** Ficheros que siguen ahí pero a los que les faltan entradas ancladas. */\n\tincompletos?: { fichero: string; entradas: number; faltan: number }[];\n\t/**\n\t * Ficheros del log sin ancla en el índice: logs anteriores al índice.\n\t *\n\t * NO es una acusación y por eso va aparte: meterlo en `estado: \"alterado\"`\n\t * habría hecho que toda instalación ya existente gritara «manipulado» el día\n\t * de la actualización.\n\t */\n\tsinAncla?: string[];\n}\n\n/** Carga a hashear de una entrada, tal y como `audit.ts` la reconstruye. */\ntype Rehasheador = (prevHash: string | null, carga: Record<string, unknown>) => string;\n\n/** Lo mínimo que la verificación necesita saber de una entrada. */\ninterface EntradaLeida {\n\tts?: string;\n\thash?: string;\n\tprevHash?: string | null;\n\t[campo: string]: unknown;\n}\n\n/**\n * Anota en el índice el hash de una entrada recién escrita.\n *\n * Append-only y una línea por entrada: sobrescribir un ancla con «la última»\n * la volvería inútil justo en el caso que importa, porque tras un truncado el\n * proceso siguiente la sobrescribiría con un número MENOR y borraría la prueba.\n */\nexport async function anclarEntrada(raiz: string, fichero: string, hash: string): Promise<void> {\n\tconst dir = join(raiz, DIR_INDICE_AUDIT);\n\tawait mkdir(dir, { recursive: true });\n\tawait appendFile(join(dir, fichero + SUFIJO_ANCLA), `${hash}\\n`, \"utf-8\");\n}\n\n/** `null` = no se ha podido mirar, que no es lo mismo que «no hay nada». */\nasync function listar(dir: string, filtro: RegExp): Promise<string[] | null> {\n\ttry {\n\t\treturn (await readdir(dir)).filter((f) => filtro.test(f)).sort();\n\t} catch (error) {\n\t\tif ((error as NodeJS.ErrnoException).code === \"ENOENT\") return [];\n\t\treturn null;\n\t}\n}\n\nfunction veredictoIlegible(motivo: string, comprobadas = 0): VeredictoDelRegistro {\n\treturn { estado: \"alterado\", valid: false, entriesChecked: comprobadas, causa: \"ilegible\", motivo };\n}\n\n/**\n * Verifica el registro entero y contesta TRES estados.\n *\n * Reparto de tareas, que es lo que hace que esto no sea un parche:\n *\n *   · la cadena de hashes dice si lo que HAY está intacto y en orden;\n *   · el índice dice si lo que hay es TODO lo que hubo.\n *\n * Ninguna de las dos puede contestar la pregunta de la otra.\n *\n * `rehash` se inyecta en vez de importarse para no crear un ciclo con\n * `audit.ts`, que es quien tiene la única canonicalización buena — la misma que\n * usa al escribir, reconstruida con un rest para que las dos caras no puedan\n * divergir.\n */\nexport async function verificarRegistro(raiz: string, rehash: Rehasheador): Promise<VeredictoDelRegistro> {\n\tconst dirAudit = join(raiz, DIR_AUDIT);\n\tconst dirIndice = join(raiz, DIR_INDICE_AUDIT);\n\n\tconst logs = await listar(dirAudit, RE_LOG);\n\tif (logs === null)\n\t\treturn veredictoIlegible(\"no se ha podido leer el directorio del registro: no es «está bien», es «no lo sé»\");\n\tconst anclas = await listar(dirIndice, new RegExp(`^audit-.*\\\\.jsonl\\\\${SUFIJO_ANCLA}$`));\n\tif (anclas === null)\n\t\treturn veredictoIlegible(\"no se ha podido leer el índice del registro: no es «está bien», es «no lo sé»\");\n\n\t// Lo que el índice recuerda, por fichero.\n\tconst recordados = new Map<string, string[]>();\n\tfor (const ancla of anclas) {\n\t\tconst nombre = ancla.slice(0, -SUFIJO_ANCLA.length);\n\t\ttry {\n\t\t\tconst hashes = (await readFile(join(dirIndice, ancla), \"utf-8\")).split(\"\\n\").filter(Boolean);\n\t\t\tif (hashes.length > 0) recordados.set(nombre, hashes);\n\t\t} catch {\n\t\t\treturn veredictoIlegible(`no se ha podido leer el ancla de ${nombre}: no es «está bien», es «no lo sé»`);\n\t\t}\n\t}\n\n\t// Un registro que nunca se escribió NO es un registro íntegro. Este es el\n\t// caso C: sin esto, la instalación virgen daba el mismo veredicto que el\n\t// directorio borrado del caso B.\n\tif (logs.length === 0 && recordados.size === 0) {\n\t\treturn { estado: \"vacio\", valid: true, entriesChecked: 0 };\n\t}\n\n\tconst presentes = new Set(logs);\n\tconst borrados: { fichero: string; entradas: number }[] = [];\n\tconst incompletos: { fichero: string; entradas: number; faltan: number }[] = [];\n\tconst sinAncla: string[] = [];\n\n\t// Los ficheros que el índice recuerda y ya NO están. Se cuentan antes de\n\t// recorrer la cadena porque son la EXPLICACIÓN de los enlaces rotos que\n\t// vengan después: sin esto, un fichero borrado se denunciaría como «enlace\n\t// roto» en el fichero siguiente, acusando de mover entradas a quien borró un\n\t// día entero.\n\tfor (const [nombre, hashes] of recordados) {\n\t\tif (!presentes.has(nombre)) borrados.push({ fichero: nombre, entradas: hashes.length });\n\t}\n\n\tlet prevHash: string | null = null;\n\tlet comprobadas = 0;\n\t// La cadena del audit de memoria es GLOBAL entre ficheros —`append` nunca\n\t// reinicia `prevHash` al cambiar de día—, así que se arrastra de un fichero\n\t// al siguiente. Es justo al revés que en `libro.ts`, donde cada fichero es\n\t// una sesión y empieza en `null`.\n\tfor (const nombre of logs) {\n\t\tconst anclados = recordados.get(nombre);\n\t\tif (!anclados) sinAncla.push(nombre);\n\t\tlet crudo: string;\n\t\ttry {\n\t\t\tcrudo = await readFile(join(dirAudit, nombre), \"utf-8\");\n\t\t} catch {\n\t\t\treturn {\n\t\t\t\t...veredictoIlegible(`no se ha podido leer ${nombre}: no es «está bien», es «no lo sé»`, comprobadas),\n\t\t\t\tficheroAlterado: nombre,\n\t\t\t};\n\t\t}\n\t\tconst vistos = new Set<string>();\n\t\tfor (const linea of crudo.split(\"\\n\").filter(Boolean)) {\n\t\t\tlet entrada: EntradaLeida;\n\t\t\ttry {\n\t\t\t\tentrada = JSON.parse(linea) as EntradaLeida;\n\t\t\t} catch {\n\t\t\t\treturn {\n\t\t\t\t\testado: \"alterado\",\n\t\t\t\t\tvalid: false,\n\t\t\t\t\tentriesChecked: comprobadas,\n\t\t\t\t\tcausa: \"editada\",\n\t\t\t\t\tmotivo: \"hay una línea que no es JSON válido\",\n\t\t\t\t\tficheroAlterado: nombre,\n\t\t\t\t\t...(borrados.length ? { borrados } : {}),\n\t\t\t\t};\n\t\t\t}\n\t\t\tconst { hash, prevHash: declarado, ...carga } = entrada;\n\t\t\t// Dos preguntas distintas que antes iban juntas y contestaban lo mismo:\n\t\t\t//\n\t\t\t//   · ¿el hash cuadra con SU PROPIO contenido? -> la han editado.\n\t\t\t//   · ¿su `prevHash` apunta a la anterior?     -> faltan entradas o\n\t\t\t//     están cambiadas de orden.\n\t\t\tif (typeof hash !== \"string\" || hash !== rehash(declarado ?? null, carga)) {\n\t\t\t\treturn {\n\t\t\t\t\testado: \"alterado\",\n\t\t\t\t\tvalid: false,\n\t\t\t\t\tentriesChecked: comprobadas,\n\t\t\t\t\ttamperedAt: entrada.ts,\n\t\t\t\t\tcausa: \"editada\",\n\t\t\t\t\tmotivo: \"el hash de una entrada no cuadra con su contenido: la han editado\",\n\t\t\t\t\tficheroAlterado: nombre,\n\t\t\t\t\t...(borrados.length ? { borrados } : {}),\n\t\t\t\t};\n\t\t\t}\n\t\t\tif ((declarado ?? null) !== prevHash) {\n\t\t\t\t// Un enlace roto DESPUÉS de una ausencia ya conocida no es un\n\t\t\t\t// hallazgo nuevo: es su consecuencia. Se sigue leyendo para poder\n\t\t\t\t// contar lo que queda, y la causa se decide al final.\n\t\t\t\tif (borrados.length === 0 && incompletos.length === 0) {\n\t\t\t\t\treturn {\n\t\t\t\t\t\testado: \"alterado\",\n\t\t\t\t\t\tvalid: false,\n\t\t\t\t\t\tentriesChecked: comprobadas,\n\t\t\t\t\t\ttamperedAt: entrada.ts,\n\t\t\t\t\t\tcausa: \"enlace-roto\",\n\t\t\t\t\t\tmotivo:\n\t\t\t\t\t\t\t\"el enlace de una entrada no apunta a la anterior: faltan entradas o están cambiadas de orden\",\n\t\t\t\t\t\tficheroAlterado: nombre,\n\t\t\t\t\t};\n\t\t\t\t}\n\t\t\t}\n\t\t\tvistos.add(hash);\n\t\t\tprevHash = hash;\n\t\t\tcomprobadas++;\n\t\t}\n\t\t// La resta que la cadena no puede hacer: lo que el índice recuerda y el\n\t\t// fichero ya no enseña. Cubre el truncado, el truncado-y-seguir-\n\t\t// escribiendo, y la entrada quitada del medio.\n\t\tif (anclados) {\n\t\t\tconst faltan = anclados.filter((h) => !vistos.has(h)).length;\n\t\t\tif (faltan > 0) incompletos.push({ fichero: nombre, entradas: anclados.length, faltan });\n\t\t}\n\t}\n\n\tif (borrados.length > 0 || incompletos.length > 0) {\n\t\tconst soloBorrados = incompletos.length === 0;\n\t\treturn {\n\t\t\testado: \"alterado\",\n\t\t\tvalid: false,\n\t\t\tentriesChecked: comprobadas,\n\t\t\tcausa: soloBorrados ? \"borrado\" : \"faltan-entradas\",\n\t\t\tmotivo: soloBorrados\n\t\t\t\t? \"el índice recuerda ficheros que ya no están: los han borrado\"\n\t\t\t\t: \"faltan entradas que el índice recuerda haber escrito: las han quitado del registro\",\n\t\t\t...(borrados.length ? { borrados } : {}),\n\t\t\t...(incompletos.length ? { incompletos } : {}),\n\t\t\t...(sinAncla.length ? { sinAncla } : {}),\n\t\t};\n\t}\n\n\t// Un registro con ancla y sin entradas todavía sigue siendo un registro\n\t// vacío: `estado: \"vacio\"` y no `\"integro\"`, para que la respuesta no\n\t// dependa de si el índice llegó a crearse antes de la primera entrada.\n\treturn {\n\t\testado: comprobadas === 0 ? \"vacio\" : \"integro\",\n\t\tvalid: true,\n\t\tentriesChecked: comprobadas,\n\t\t...(sinAncla.length ? { sinAncla } : {}),\n\t};\n}\n"]}
+{"version":3,"file":"audit-indice.d.ts","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-indice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AAKH,mEAAmE;AACnE,eAAO,MAAM,SAAS,UAAU,CAAC;AAEjC;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,iBAAiB,CAAC;AAK/C,kFAAkF;AAClF,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;AAEjE;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,GAAG,iBAAiB,GAAG,UAAU,CAAC;AAEvG,MAAM,WAAW,oBAAoB;IACpC,MAAM,EAAE,iBAAiB,CAAC;IAC1B;;;;;OAKG;IACH,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,iBAAiB,CAAC;IAC1B,iDAAiD;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sFAAsF;IACtF,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnD,2EAA2E;IAC3E,WAAW,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtE;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,4EAA4E;AAC5E,KAAK,WAAW,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,MAAM,CAAC;AAUvF;;;;;;GAMG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAI9F;AAgBD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAuJxG"}

package/dist/core/memory-engine/audit-indice.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit-indice.js","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-indice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AAEH,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,SAAS,GAAG,OAAO,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAE/C,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,YAAY,GAAG,QAAQ,CAAC;AA2D9B;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY,EAAiB;IAC/F,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACzC,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,CAAC,EAAE,GAAG,IAAI,IAAI,EAAE,OAAO,CAAC,CAAC;AAAA,CAC1E;AAED,8EAA4E;AAC5E,KAAK,UAAU,MAAM,CAAC,GAAW,EAAE,MAAc,EAA4B;IAC5E,IAAI,CAAC;QACJ,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACb,CAAC;AAAA,CACD;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,WAAW,GAAG,CAAC,EAAwB;IACjF,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAAA,CACpG;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,MAAmB,EAAiC;IACzG,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAE/C,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAChB,OAAO,iBAAiB,CAAC,yFAAmF,CAAC,CAAC;IAC/G,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,SAAS,EAAE,IAAI,MAAM,CAAC,sBAAsB,YAAY,GAAG,CAAC,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,IAAI;QAClB,OAAO,iBAAiB,CAAC,sFAA+E,CAAC,CAAC;IAE3G,2CAA0C;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,iBAAiB,CAAC,oCAAoC,MAAM,0CAAoC,CAAC,CAAC;QAC1G,CAAC;IACF,CAAC;IAED,4EAA0E;IAC1E,0EAAyE;IACzE,iCAAiC;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAA4C,EAAE,CAAC;IAC7D,MAAM,WAAW,GAA4D,EAAE,CAAC;IAChF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,2EAAyE;IACzE,yEAAwE;IACxE,8EAA2E;IAC3E,+EAA6E;IAC7E,eAAc;IACd,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,4EAA0E;IAC1E,gFAA4E;IAC5E,4EAA2E;IAC3E,mCAAkC;IAClC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC;YACJ,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO;gBACN,GAAG,iBAAiB,CAAC,wBAAwB,MAAM,0CAAoC,EAAE,WAAW,CAAC;gBACrG,eAAe,EAAE,MAAM;aACvB,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,OAAqB,CAAC;YAC1B,IAAI,CAAC;gBACJ,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAiB,CAAC;YAC7C,CAAC;YAAC,MAAM,CAAC;gBACR,OAAO;oBACN,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,KAAK;oBACZ,cAAc,EAAE,WAAW;oBAC3B,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,uCAAqC;oBAC7C,eAAe,EAAE,MAAM;oBACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACxC,CAAC;YACH,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;YACxD,wEAAwE;YACxE,EAAE;YACF,oEAAkE;YAClE,sEAAoE;YACpE,iCAAgC;YAChC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC3E,OAAO;oBACN,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,KAAK;oBACZ,cAAc,EAAE,WAAW;oBAC3B,UAAU,EAAE,OAAO,CAAC,EAAE;oBACtB,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,mEAAmE;oBAC3E,eAAe,EAAE,MAAM;oBACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACxC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACtC,+DAA8D;gBAC9D,kEAAkE;gBAClE,sDAAsD;gBACtD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvD,OAAO;wBACN,MAAM,EAAE,UAAU;wBAClB,KAAK,EAAE,KAAK;wBACZ,cAAc,EAAE,WAAW;wBAC3B,UAAU,EAAE,OAAO,CAAC,EAAE;wBACtB,KAAK,EAAE,aAAa;wBACpB,MAAM,EACL,+FAA8F;wBAC/F,eAAe,EAAE,MAAM;qBACvB,CAAC;gBACH,CAAC;YACF,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,QAAQ,GAAG,IAAI,CAAC;YAChB,WAAW,EAAE,CAAC;QACf,CAAC;QACD,yEAAwE;QACxE,kEAAiE;QACjE,+CAA+C;QAC/C,IAAI,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7D,IAAI,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;IACF,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;QAC9C,OAAO;YACN,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,WAAW;YAC3B,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB;YACnD,MAAM,EAAE,YAAY;gBACnB,CAAC,CAAC,gEAA8D;gBAChE,CAAC,CAAC,qFAAoF;YACvF,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC,CAAC;IACH,CAAC;IAED,yEAAwE;IACxE,uEAAsE;IACtE,yEAAuE;IACvE,OAAO;QACN,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAC/C,KAAK,EAAE,IAAI;QACX,cAAc,EAAE,WAAW;QAC3B,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AAAA,CACF","sourcesContent":["/**\n * El índice del audit del motor de memoria: lo que DEBERÍA existir.\n *\n * EL AGUJERO, medido antes de escribir nada, sobre un directorio temporal con\n * cinco entradas y la implementación de `audit.ts` tal como estaba:\n *\n *   1) las 5 entradas intactas      : {\"valid\":true,\"entriesChecked\":5}\n *   2) editada la del medio         : {\"valid\":false,\"entriesChecked\":2}\n *   3) fichero BORRADO entero       : {\"valid\":true,\"entriesChecked\":0}   <- éxito\n *   4) TRUNCADO (-2 últimas)        : {\"valid\":true,\"entriesChecked\":3}   <- éxito\n *   5) QUITADA una del medio        : {\"valid\":false,\"entriesChecked\":2}\n *\n * Y las dos que sacan la forma completa:\n *\n *   B) directorio `audit/` borrado  : {\"valid\":false,\"entriesChecked\":0}\n *   C) instalación nueva            : {\"valid\":false,\"entriesChecked\":0}   <- lo mismo\n *\n * O sea: no había tres estados, había dos, y ninguno caía donde debía. Un\n * borrado se leía como éxito y una instalación virgen se leía como\n * manipulación — un detector que acusa a toda instalación limpia deja de\n * leerse, y con él se va también la señal de la manipulación real.\n *\n * LA RAZÓN DE FONDO, y por eso esto es un módulo aparte y no un `if` más en\n * `verify`: la cadena de hashes NO PUEDE, por construcción, hablar de lo que ya\n * no está. `readdir(audit/)` solo sabe contestar «lo que hay». Para contestar\n * «lo que debería haber» hace falta un registro APARTE, que es exactamente lo\n * que `audit/libro.ts` resolvió con su índice de dos directorios.\n *\n * LA DIFERENCIA CON `libro.ts`, que es la que decide el diseño: allí el ancla\n * es un ENLACE DURO por fichero, y basta porque el ataque que importa es `rm`.\n * Aquí no basta. Un enlace duro comparte inodo, así que `truncate` recorta los\n * bytes de los DOS nombres a la vez y el caso 4 seguiría pasando entero. Y el\n * caso 4 tiene una variante peor, la que de verdad ocurre: truncar y dejar que\n * el proceso siga: `load()` lee la última entrada superviviente, retoma `seq` y\n * `lastHash` desde ahí y encadena por encima del hueco. Quedan `seq` 1,2,3,4\n * correlativos y cadena perfecta, con dos entradas desaparecidas y ni una sola\n * señal.\n *\n * Por eso el ancla de aquí es por ENTRADA y no por fichero: un fichero\n * `<nombre>.ancla` en `audit-indice/`, append-only, con el hash de cada entrada\n * escrita, uno por línea. Verificar es entonces una resta de conjuntos: los\n * hashes que el índice recuerda y que ya no aparecen en el log son entradas que\n * han desaparecido, se las hayan llevado borrando el fichero, recortándole la\n * cola o quitándolas del medio.\n *\n * DOS DECISIONES QUE CONVIENE NO DESHACER SIN PENSARLAS:\n *\n * 1. **Se ancla DESPUÉS de escribir la entrada, nunca antes.** Al revés —\n *    escribir el ancla primero— un proceso que muera entre las dos escrituras\n *    dejaría un hash anclado cuya entrada no llegó nunca, y la siguiente\n *    verificación acusaría de manipulación a un simple corte de luz. Se prefiere\n *    el fallo del otro lado: durante esa ventana de microsegundos la última\n *    entrada está sin anclar y su desaparición no se detectaría. Un falso\n *    negativo estrechísimo es mejor que un falso positivo en cada caída.\n * 2. **Lo que sobra no acusa.** Entradas del log que no estén en el índice NO\n *    son un hallazgo: son logs escritos antes de que el índice existiera, o la\n *    ventana del punto anterior. Solo cuenta lo que el índice recuerda y ya no\n *    está. Sin esta asimetría, el día de la actualización toda instalación\n *    existente gritaría «manipulado».\n *\n * HASTA DÓNDE LLEGA, dicho sin adornos: quien borre los DOS directorios deja un\n * registro vacío indistinguible de una instalación nueva. Contra eso no hay\n * ancla local que valga —cualquier ancla en el mismo disco y con los mismos\n * permisos se borra igual—; hace falta un ancla externa. Lo que esto elimina es\n * que un solo `rm` o un solo `truncate` pasen desapercibidos.\n */\n\nimport { appendFile, mkdir, readdir, readFile } from \"node:fs/promises\";\nimport { join } from \"node:path\";\n\n/** Donde vive el log: `<rootDir>/audit/audit-YYYY-MM-DD.jsonl`. */\nexport const DIR_AUDIT = \"audit\";\n\n/**\n * El índice: `<rootDir>/audit-indice/<nombre del log>.ancla`.\n *\n * Va FUERA de `audit/` a propósito. Dentro, el `rm -rf audit/` que este\n * mecanismo existe para detectar se llevaría por delante también la prueba.\n */\nexport const DIR_INDICE_AUDIT = \"audit-indice\";\n\nconst RE_LOG = /^audit-.*\\.jsonl$/;\nconst SUFIJO_ANCLA = \".ancla\";\n\n/** Los tres estados. «Vacío» NO es «íntegro»: ver la cabecera de este fichero. */\nexport type EstadoDelRegistro = \"integro\" | \"alterado\" | \"vacio\";\n\n/**\n * Por qué está alterado, que no es lo mismo que el hecho de que lo esté.\n *\n * Un detector que diera el mismo veredicto a tres causas distintas no\n * distinguiría ninguna, y el mensaje acabaría acusando de lo que no es.\n *\n * `ilegible` es el que no acusa de nada: es «no lo he podido mirar», y va\n * separado de los demás porque para quien responde a una auditoría no es lo\n * mismo que «lo he mirado y no cuadra».\n */\nexport type CausaDeAlteracion = \"editada\" | \"enlace-roto\" | \"borrado\" | \"faltan-entradas\" | \"ilegible\";\n\nexport interface VeredictoDelRegistro {\n\testado: EstadoDelRegistro;\n\t/**\n\t * Compat con quien ya lee este veredicto: el modo interactivo, la ruta\n\t * `/api/memory/audit` del escritorio y `audit-export.ts`. Es `estado ===\n\t * \"integro\" || estado === \"vacio\"` — una instalación virgen no está\n\t * manipulada, y quien quiera distinguirlas tiene `estado`.\n\t */\n\tvalid: boolean;\n\tentriesChecked: number;\n\t/** Sello de tiempo de la primera entrada que no cuadra. */\n\ttamperedAt?: string;\n\tcausa?: CausaDeAlteracion;\n\t/** Por qué no verifica, en una frase estable. */\n\tmotivo?: string;\n\t/** Dónde mirar. Sin esto el aviso de manipulación se queda en susto. */\n\tficheroAlterado?: string;\n\t/** Ficheros que el índice recuerda y que ya no están, con cuántas entradas tenían. */\n\tborrados?: { fichero: string; entradas: number }[];\n\t/** Ficheros que siguen ahí pero a los que les faltan entradas ancladas. */\n\tincompletos?: { fichero: string; entradas: number; faltan: number }[];\n\t/**\n\t * Ficheros del log sin ancla en el índice: logs anteriores al índice.\n\t *\n\t * NO es una acusación y por eso va aparte: meterlo en `estado: \"alterado\"`\n\t * habría hecho que toda instalación ya existente gritara «manipulado» el día\n\t * de la actualización.\n\t */\n\tsinAncla?: string[];\n}\n\n/** Carga a hashear de una entrada, tal y como `audit.ts` la reconstruye. */\ntype Rehasheador = (prevHash: string | null, carga: Record<string, unknown>) => string;\n\n/** Lo mínimo que la verificación necesita saber de una entrada. */\ninterface EntradaLeida {\n\tts?: string;\n\thash?: string;\n\tprevHash?: string | null;\n\t[campo: string]: unknown;\n}\n\n/**\n * Anota en el índice el hash de una entrada recién escrita.\n *\n * Append-only y una línea por entrada: sobrescribir un ancla con «la última»\n * la volvería inútil justo en el caso que importa, porque tras un truncado el\n * proceso siguiente la sobrescribiría con un número MENOR y borraría la prueba.\n */\nexport async function anclarEntrada(raiz: string, fichero: string, hash: string): Promise<void> {\n\tconst dir = join(raiz, DIR_INDICE_AUDIT);\n\tawait mkdir(dir, { recursive: true });\n\tawait appendFile(join(dir, fichero + SUFIJO_ANCLA), `${hash}\\n`, \"utf-8\");\n}\n\n/** `null` = no se ha podido mirar, que no es lo mismo que «no hay nada». */\nasync function listar(dir: string, filtro: RegExp): Promise<string[] | null> {\n\ttry {\n\t\treturn (await readdir(dir)).filter((f) => filtro.test(f)).sort();\n\t} catch (error) {\n\t\tif ((error as NodeJS.ErrnoException).code === \"ENOENT\") return [];\n\t\treturn null;\n\t}\n}\n\nfunction veredictoIlegible(motivo: string, comprobadas = 0): VeredictoDelRegistro {\n\treturn { estado: \"alterado\", valid: false, entriesChecked: comprobadas, causa: \"ilegible\", motivo };\n}\n\n/**\n * Verifica el registro entero y contesta TRES estados.\n *\n * Reparto de tareas, que es lo que hace que esto no sea un parche:\n *\n *   · la cadena de hashes dice si lo que HAY está intacto y en orden;\n *   · el índice dice si lo que hay es TODO lo que hubo.\n *\n * Ninguna de las dos puede contestar la pregunta de la otra.\n *\n * `rehash` se inyecta en vez de importarse para no crear un ciclo con\n * `audit.ts`, que es quien tiene la única canonicalización buena — la misma que\n * usa al escribir, reconstruida con un rest para que las dos caras no puedan\n * divergir.\n */\nexport async function verificarRegistro(raiz: string, rehash: Rehasheador): Promise<VeredictoDelRegistro> {\n\tconst dirAudit = join(raiz, DIR_AUDIT);\n\tconst dirIndice = join(raiz, DIR_INDICE_AUDIT);\n\n\tconst logs = await listar(dirAudit, RE_LOG);\n\tif (logs === null)\n\t\treturn veredictoIlegible(\"no se ha podido leer el directorio del registro: no es «está bien», es «no lo sé»\");\n\tconst anclas = await listar(dirIndice, new RegExp(`^audit-.*\\\\.jsonl\\\\${SUFIJO_ANCLA}$`));\n\tif (anclas === null)\n\t\treturn veredictoIlegible(\"no se ha podido leer el índice del registro: no es «está bien», es «no lo sé»\");\n\n\t// Lo que el índice recuerda, por fichero.\n\tconst recordados = new Map<string, string[]>();\n\tfor (const ancla of anclas) {\n\t\tconst nombre = ancla.slice(0, -SUFIJO_ANCLA.length);\n\t\ttry {\n\t\t\tconst hashes = (await readFile(join(dirIndice, ancla), \"utf-8\")).split(\"\\n\").filter(Boolean);\n\t\t\tif (hashes.length > 0) recordados.set(nombre, hashes);\n\t\t} catch {\n\t\t\treturn veredictoIlegible(`no se ha podido leer el ancla de ${nombre}: no es «está bien», es «no lo sé»`);\n\t\t}\n\t}\n\n\t// Un registro que nunca se escribió NO es un registro íntegro. Este es el\n\t// caso C: sin esto, la instalación virgen daba el mismo veredicto que el\n\t// directorio borrado del caso B.\n\tif (logs.length === 0 && recordados.size === 0) {\n\t\treturn { estado: \"vacio\", valid: true, entriesChecked: 0 };\n\t}\n\n\tconst presentes = new Set(logs);\n\tconst borrados: { fichero: string; entradas: number }[] = [];\n\tconst incompletos: { fichero: string; entradas: number; faltan: number }[] = [];\n\tconst sinAncla: string[] = [];\n\n\t// Los ficheros que el índice recuerda y ya NO están. Se cuentan antes de\n\t// recorrer la cadena porque son la EXPLICACIÓN de los enlaces rotos que\n\t// vengan después: sin esto, un fichero borrado se denunciaría como «enlace\n\t// roto» en el fichero siguiente, acusando de mover entradas a quien borró un\n\t// día entero.\n\tfor (const [nombre, hashes] of recordados) {\n\t\tif (!presentes.has(nombre)) borrados.push({ fichero: nombre, entradas: hashes.length });\n\t}\n\n\tlet prevHash: string | null = null;\n\tlet comprobadas = 0;\n\t// La cadena del audit de memoria es GLOBAL entre ficheros —`append` nunca\n\t// reinicia `prevHash` al cambiar de día—, así que se arrastra de un fichero\n\t// al siguiente. Es justo al revés que en `libro.ts`, donde cada fichero es\n\t// una sesión y empieza en `null`.\n\tfor (const nombre of logs) {\n\t\tconst anclados = recordados.get(nombre);\n\t\tif (!anclados) sinAncla.push(nombre);\n\t\tlet crudo: string;\n\t\ttry {\n\t\t\tcrudo = await readFile(join(dirAudit, nombre), \"utf-8\");\n\t\t} catch {\n\t\t\treturn {\n\t\t\t\t...veredictoIlegible(`no se ha podido leer ${nombre}: no es «está bien», es «no lo sé»`, comprobadas),\n\t\t\t\tficheroAlterado: nombre,\n\t\t\t};\n\t\t}\n\t\tconst vistos = new Set<string>();\n\t\tfor (const linea of crudo.split(\"\\n\").filter(Boolean)) {\n\t\t\tlet entrada: EntradaLeida;\n\t\t\ttry {\n\t\t\t\tentrada = JSON.parse(linea) as EntradaLeida;\n\t\t\t} catch {\n\t\t\t\treturn {\n\t\t\t\t\testado: \"alterado\",\n\t\t\t\t\tvalid: false,\n\t\t\t\t\tentriesChecked: comprobadas,\n\t\t\t\t\tcausa: \"editada\",\n\t\t\t\t\tmotivo: \"hay una línea que no es JSON válido\",\n\t\t\t\t\tficheroAlterado: nombre,\n\t\t\t\t\t...(borrados.length ? { borrados } : {}),\n\t\t\t\t};\n\t\t\t}\n\t\t\tconst { hash, prevHash: declarado, ...carga } = entrada;\n\t\t\t// Dos preguntas distintas que antes iban juntas y contestaban lo mismo:\n\t\t\t//\n\t\t\t//   · ¿el hash cuadra con SU PROPIO contenido? -> la han editado.\n\t\t\t//   · ¿su `prevHash` apunta a la anterior?     -> faltan entradas o\n\t\t\t//     están cambiadas de orden.\n\t\t\tif (typeof hash !== \"string\" || hash !== rehash(declarado ?? null, carga)) {\n\t\t\t\treturn {\n\t\t\t\t\testado: \"alterado\",\n\t\t\t\t\tvalid: false,\n\t\t\t\t\tentriesChecked: comprobadas,\n\t\t\t\t\ttamperedAt: entrada.ts,\n\t\t\t\t\tcausa: \"editada\",\n\t\t\t\t\tmotivo: \"el hash de una entrada no cuadra con su contenido: la han editado\",\n\t\t\t\t\tficheroAlterado: nombre,\n\t\t\t\t\t...(borrados.length ? { borrados } : {}),\n\t\t\t\t};\n\t\t\t}\n\t\t\tif ((declarado ?? null) !== prevHash) {\n\t\t\t\t// Un enlace roto DESPUÉS de una ausencia ya conocida no es un\n\t\t\t\t// hallazgo nuevo: es su consecuencia. Se sigue leyendo para poder\n\t\t\t\t// contar lo que queda, y la causa se decide al final.\n\t\t\t\tif (borrados.length === 0 && incompletos.length === 0) {\n\t\t\t\t\treturn {\n\t\t\t\t\t\testado: \"alterado\",\n\t\t\t\t\t\tvalid: false,\n\t\t\t\t\t\tentriesChecked: comprobadas,\n\t\t\t\t\t\ttamperedAt: entrada.ts,\n\t\t\t\t\t\tcausa: \"enlace-roto\",\n\t\t\t\t\t\tmotivo:\n\t\t\t\t\t\t\t\"el enlace de una entrada no apunta a la anterior: faltan entradas o están cambiadas de orden\",\n\t\t\t\t\t\tficheroAlterado: nombre,\n\t\t\t\t\t};\n\t\t\t\t}\n\t\t\t}\n\t\t\tvistos.add(hash);\n\t\t\tprevHash = hash;\n\t\t\tcomprobadas++;\n\t\t}\n\t\t// La resta que la cadena no puede hacer: lo que el índice recuerda y el\n\t\t// fichero ya no enseña. Cubre el truncado, el truncado-y-seguir-\n\t\t// escribiendo, y la entrada quitada del medio.\n\t\tif (anclados) {\n\t\t\tconst faltan = anclados.filter((h) => !vistos.has(h)).length;\n\t\t\tif (faltan > 0) incompletos.push({ fichero: nombre, entradas: anclados.length, faltan });\n\t\t}\n\t}\n\n\tif (borrados.length > 0 || incompletos.length > 0) {\n\t\tconst soloBorrados = incompletos.length === 0;\n\t\treturn {\n\t\t\testado: \"alterado\",\n\t\t\tvalid: false,\n\t\t\tentriesChecked: comprobadas,\n\t\t\tcausa: soloBorrados ? \"borrado\" : \"faltan-entradas\",\n\t\t\tmotivo: soloBorrados\n\t\t\t\t? \"el índice recuerda ficheros que ya no están: los han borrado\"\n\t\t\t\t: \"faltan entradas que el índice recuerda haber escrito: las han quitado del registro\",\n\t\t\t...(borrados.length ? { borrados } : {}),\n\t\t\t...(incompletos.length ? { incompletos } : {}),\n\t\t\t...(sinAncla.length ? { sinAncla } : {}),\n\t\t};\n\t}\n\n\t// Un registro con ancla y sin entradas todavía sigue siendo un registro\n\t// vacío: `estado: \"vacio\"` y no `\"integro\"`, para que la respuesta no\n\t// dependa de si el índice llegó a crearse antes de la primera entrada.\n\treturn {\n\t\testado: comprobadas === 0 ? \"vacio\" : \"integro\",\n\t\tvalid: true,\n\t\tentriesChecked: comprobadas,\n\t\t...(sinAncla.length ? { sinAncla } : {}),\n\t};\n}\n"]}
+{"version":3,"file":"audit-indice.js","sourceRoot":"","sources":["../../../src/core/memory-engine/audit-indice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AAEH,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,mEAAmE;AACnE,MAAM,CAAC,MAAM,SAAS,GAAG,OAAO,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAE/C,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,YAAY,GAAG,QAAQ,CAAC;AA2D9B;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY;IAC9E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACzC,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,CAAC,EAAE,GAAG,IAAI,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC;AAED,4EAA4E;AAC5E,KAAK,UAAU,MAAM,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,CAAC;QACJ,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,WAAW,GAAG,CAAC;IACzD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACrG,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,MAAmB;IACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAE/C,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAChB,OAAO,iBAAiB,CAAC,mFAAmF,CAAC,CAAC;IAC/G,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,SAAS,EAAE,IAAI,MAAM,CAAC,sBAAsB,YAAY,GAAG,CAAC,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,IAAI;QAClB,OAAO,iBAAiB,CAAC,+EAA+E,CAAC,CAAC;IAE3G,0CAA0C;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC7F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,iBAAiB,CAAC,oCAAoC,MAAM,oCAAoC,CAAC,CAAC;QAC1G,CAAC;IACF,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,iCAAiC;IACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAA4C,EAAE,CAAC;IAC7D,MAAM,WAAW,GAA4D,EAAE,CAAC;IAChF,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,yEAAyE;IACzE,wEAAwE;IACxE,2EAA2E;IAC3E,6EAA6E;IAC7E,cAAc;IACd,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,kCAAkC;IAClC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC;YACJ,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO;gBACN,GAAG,iBAAiB,CAAC,wBAAwB,MAAM,oCAAoC,EAAE,WAAW,CAAC;gBACrG,eAAe,EAAE,MAAM;aACvB,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,OAAqB,CAAC;YAC1B,IAAI,CAAC;gBACJ,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAiB,CAAC;YAC7C,CAAC;YAAC,MAAM,CAAC;gBACR,OAAO;oBACN,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,KAAK;oBACZ,cAAc,EAAE,WAAW;oBAC3B,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,qCAAqC;oBAC7C,eAAe,EAAE,MAAM;oBACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACxC,CAAC;YACH,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;YACxD,wEAAwE;YACxE,EAAE;YACF,kEAAkE;YAClE,oEAAoE;YACpE,gCAAgC;YAChC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC3E,OAAO;oBACN,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,KAAK;oBACZ,cAAc,EAAE,WAAW;oBAC3B,UAAU,EAAE,OAAO,CAAC,EAAE;oBACtB,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,mEAAmE;oBAC3E,eAAe,EAAE,MAAM;oBACvB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACxC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACtC,8DAA8D;gBAC9D,kEAAkE;gBAClE,sDAAsD;gBACtD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvD,OAAO;wBACN,MAAM,EAAE,UAAU;wBAClB,KAAK,EAAE,KAAK;wBACZ,cAAc,EAAE,WAAW;wBAC3B,UAAU,EAAE,OAAO,CAAC,EAAE;wBACtB,KAAK,EAAE,aAAa;wBACpB,MAAM,EACL,8FAA8F;wBAC/F,eAAe,EAAE,MAAM;qBACvB,CAAC;gBACH,CAAC;YACF,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,QAAQ,GAAG,IAAI,CAAC;YAChB,WAAW,EAAE,CAAC;QACf,CAAC;QACD,wEAAwE;QACxE,iEAAiE;QACjE,+CAA+C;QAC/C,IAAI,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7D,IAAI,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;IACF,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC;QAC9C,OAAO;YACN,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,KAAK;YACZ,cAAc,EAAE,WAAW;YAC3B,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB;YACnD,MAAM,EAAE,YAAY;gBACnB,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,oFAAoF;YACvF,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,uEAAuE;IACvE,OAAO;QACN,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAC/C,KAAK,EAAE,IAAI;QACX,cAAc,EAAE,WAAW;QAC3B,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACH,CAAC"}

package/dist/core/memory-engine/audit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../../src/core/memory-engine/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAGrC,OAAO,EAA4B,KAAK,oBAAoB,EAAqB,MAAM,mBAAmB,CAAC;AAE3G,MAAM,WAAW,UAAU;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EACH,KAAK,GACL,SAAS,GACT,QAAQ,GACR,UAAU,GACV,aAAa,GACb,QAAQ,GACR,SAAS,GACT,OAAO,GACP,QAAQ,GACR,UAAU,GACV,WAAW,CAAC;IACf,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,SAAS,GAAG,KAAK,CAAC;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAOD,qBAAa,QAAQ;IACpB,OAAO,CAAC,GAAG,CAAS;IACpB,iFAA+E;IAC/E,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,GAAG,CAAK;IAChB,OAAO,CAAC,QAAQ,CAAuB;IAEvC,YAAY,OAAO,EAAE,MAAM,EAG1B;IAED,OAAO,CAAC,OAAO;IAIf,4EAA4E;IACtE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CA0B1B;IAEK,MAAM,CACX,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,IAAI,GAAG,MAAM,GAAG,UAAU,CAAC,GAAG;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,GACzF,OAAO,CAAC,IAAI,CAAC,CA4Bf;IAED,uDAAuD;IACjD,IAAI,CAAC,KAAK,SAAK,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CA0B5D;IAED;;;;;;;;;;;;;OAaG;IACG,MAAM,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAE5C;IAED,IAAI,OAAO,IAAI,MAAM,CAEpB;CACD;AAED,OAAO,EAAE,UAAU,EAAE,CAAC","sourcesContent":["/**\n * Audit log for the Ada Memory Engine — append-only JSONL with a hash chain.\n *\n * Every memory write, rejection, consolidation and (optionally) search is\n * recorded with: timestamp, actor, target, outcome and reason. Each entry\n * carries the hash of the previous entry, so tampering with any record is\n * detectable by re-verifying the chain (enterprise security auditing).\n */\n\nimport { createHash } from \"node:crypto\";\nimport { existsSync } from \"node:fs\";\nimport { appendFile, mkdir, readFile } from \"node:fs/promises\";\nimport { basename, join } from \"node:path\";\nimport { anclarEntrada, DIR_AUDIT, type VeredictoDelRegistro, verificarRegistro } from \"./audit-indice.ts\";\n\nexport interface AuditEntry {\n\tseq: number;\n\tts: string; // ISO\n\taction:\n\t\t| \"add\"\n\t\t| \"replace\"\n\t\t| \"remove\"\n\t\t| \"rejected\"\n\t\t| \"consolidate\"\n\t\t| \"search\"\n\t\t| \"migrate\"\n\t\t| \"flush\"\n\t\t| \"review\"\n\t\t| \"detected\"\n\t\t| \"vault-use\";\n\tsource: \"agent\" | \"user\" | \"auto\" | \"cli\" | \"desktop\" | \"api\";\n\ttarget: string; // global | user | project | failure | session\n\tscope: string; // project hash or \"global\"\n\tsessionId?: string;\n\tok: boolean;\n\tcategories?: string[];\n\treason?: string;\n\thash: string;\n\tprevHash: string | null;\n}\n\nfunction hashEntry(prevHash: string | null, payload: Record<string, unknown>): string {\n\tconst canonical = JSON.stringify({ prevHash, ...payload });\n\treturn createHash(\"sha256\").update(canonical).digest(\"hex\");\n}\n\nexport class AuditLog {\n\tprivate dir: string;\n\t/** La raíz, porque el índice vive FUERA de `audit/`. Ver `audit-indice.ts`. */\n\tprivate raiz: string;\n\tprivate seq = 0;\n\tprivate lastHash: string | null = null;\n\n\tconstructor(rootDir: string) {\n\t\tthis.raiz = rootDir;\n\t\tthis.dir = join(rootDir, DIR_AUDIT);\n\t}\n\n\tprivate fileFor(date: string): string {\n\t\treturn join(this.dir, `audit-${date}.jsonl`);\n\t}\n\n\t/** Load the latest sequence number + hash from the newest existing file. */\n\tasync load(): Promise<void> {\n\t\ttry {\n\t\t\tawait mkdir(this.dir, { recursive: true });\n\t\t} catch {\n\t\t\treturn;\n\t\t}\n\t\t// Find the most recent audit file.\n\t\tlet latest: string | null = null;\n\t\ttry {\n\t\t\tconst { readdir } = await import(\"node:fs/promises\");\n\t\t\tconst files = (await readdir(this.dir)).filter((f) => /^audit-\\d{4}-\\d{2}-\\d{2}\\.jsonl$/.test(f)).sort();\n\t\t\tlatest = files.length > 0 ? files[files.length - 1] : null;\n\t\t} catch {\n\t\t\treturn;\n\t\t}\n\t\tif (!latest) return;\n\t\ttry {\n\t\t\tconst raw = await readFile(join(this.dir, latest), \"utf-8\");\n\t\t\tconst lines = raw.split(\"\\n\").filter(Boolean);\n\t\t\tif (lines.length === 0) return;\n\t\t\tconst last = JSON.parse(lines[lines.length - 1]) as AuditEntry;\n\t\t\tthis.seq = typeof last.seq === \"number\" ? last.seq : 0;\n\t\t\tthis.lastHash = typeof last.hash === \"string\" ? last.hash : null;\n\t\t} catch {\n\t\t\t// Corrupt tail: restart sequence (previous records remain intact).\n\t\t}\n\t}\n\n\tasync append(\n\t\tentry: Omit<AuditEntry, \"seq\" | \"ts\" | \"hash\" | \"prevHash\"> & { ts?: string; seq?: number },\n\t): Promise<void> {\n\t\ttry {\n\t\t\tconst date = new Date().toISOString().slice(0, 10);\n\t\t\tconst file = this.fileFor(date);\n\t\t\tawait mkdir(this.dir, { recursive: true });\n\t\t\tconst payload = {\n\t\t\t\tseq: entry.seq ?? ++this.seq,\n\t\t\t\tts: entry.ts ?? new Date().toISOString(),\n\t\t\t\taction: entry.action,\n\t\t\t\tsource: entry.source,\n\t\t\t\ttarget: entry.target,\n\t\t\t\tscope: entry.scope,\n\t\t\t\tok: entry.ok,\n\t\t\t\tcategories: entry.categories,\n\t\t\t\treason: entry.reason,\n\t\t\t\tsessionId: entry.sessionId,\n\t\t\t};\n\t\t\tconst hash = hashEntry(this.lastHash, payload);\n\t\t\tconst full: AuditEntry = { ...payload, hash, prevHash: this.lastHash };\n\t\t\tthis.lastHash = hash;\n\t\t\tawait appendFile(file, `${JSON.stringify(full)}\\n`, \"utf-8\");\n\t\t\t// DESPUÉS de la entrada, nunca antes: al revés, una caída entre las dos\n\t\t\t// escrituras dejaría un hash anclado sin entrada y `verify` acusaría de\n\t\t\t// manipulación a un corte de luz. Ver `audit-indice.ts`.\n\t\t\tawait anclarEntrada(this.raiz, basename(file), hash);\n\t\t} catch {\n\t\t\t// Audit must never break the conversation.\n\t\t}\n\t}\n\n\t/** Read the most recent entries across audit files. */\n\tasync read(limit = 50, since?: string): Promise<AuditEntry[]> {\n\t\ttry {\n\t\t\tconst { readdir } = await import(\"node:fs/promises\");\n\t\t\tconst files = (await readdir(this.dir))\n\t\t\t\t.filter((f) => /^audit-.*\\.jsonl$/.test(f))\n\t\t\t\t.sort()\n\t\t\t\t.reverse();\n\t\t\tconst out: AuditEntry[] = [];\n\t\t\tfor (const file of files) {\n\t\t\t\ttry {\n\t\t\t\t\tconst raw = await readFile(join(this.dir, file), \"utf-8\");\n\t\t\t\t\tconst lines = raw.split(\"\\n\").filter(Boolean);\n\t\t\t\t\tfor (const line of lines.reverse()) {\n\t\t\t\t\t\ttry {\n\t\t\t\t\t\t\tconst entry = JSON.parse(line) as AuditEntry;\n\t\t\t\t\t\t\tif (since && entry.ts < since) continue;\n\t\t\t\t\t\t\tout.push(entry);\n\t\t\t\t\t\t\tif (out.length >= limit) return out;\n\t\t\t\t\t\t} catch {}\n\t\t\t\t\t}\n\t\t\t\t} catch {}\n\t\t\t}\n\t\t\treturn out;\n\t\t} catch {\n\t\t\treturn [];\n\t\t}\n\t}\n\n\t/**\n\t * Verifica el registro y contesta TRES estados: íntegro, alterado y vacío.\n\t *\n\t * El recorrido de la cadena vive ahora en `audit-indice.ts` junto a lo que le\n\t * faltaba —el registro de lo que DEBERÍA existir—, porque separarlos era el\n\t * agujero: la cadena de hashes prueba integridad DENTRO de lo que hay y no\n\t * puede, por construcción, hablar de lo que ya no está. Aquí se queda solo la\n\t * canonicalización, que es lo único que tiene que compartir con `append` y no\n\t * puede divergir de ella.\n\t *\n\t * Medido: con esto, borrar el fichero pasa de `{valid:true, entriesChecked:0}`\n\t * a `{estado:\"alterado\"}` nombrando lo que falta, y una instalación nueva pasa\n\t * de `{valid:false}` —acusar a toda instalación limpia— a `{estado:\"vacio\"}`.\n\t */\n\tasync verify(): Promise<VeredictoDelRegistro> {\n\t\treturn verificarRegistro(this.raiz, hashEntry);\n\t}\n\n\tget lastSeq(): number {\n\t\treturn this.seq;\n\t}\n}\n\nexport { existsSync };\n"]}
+{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../../src/core/memory-engine/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAGrC,OAAO,EAA4B,KAAK,oBAAoB,EAAqB,MAAM,mBAAmB,CAAC;AAE3G,MAAM,WAAW,UAAU;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EACH,KAAK,GACL,SAAS,GACT,QAAQ,GACR,UAAU,GACV,aAAa,GACb,QAAQ,GACR,SAAS,GACT,OAAO,GACP,QAAQ,GACR,UAAU,GACV,WAAW,CAAC;IACf,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,SAAS,GAAG,KAAK,CAAC;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAOD,qBAAa,QAAQ;IACpB,OAAO,CAAC,GAAG,CAAS;IACpB,+EAA+E;IAC/E,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,GAAG,CAAK;IAChB,OAAO,CAAC,QAAQ,CAAuB;gBAE3B,OAAO,EAAE,MAAM;IAK3B,OAAO,CAAC,OAAO;IAIf,4EAA4E;IACtE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IA4BrB,MAAM,CACX,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,IAAI,GAAG,MAAM,GAAG,UAAU,CAAC,GAAG;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,GACzF,OAAO,CAAC,IAAI,CAAC;IA8BhB,uDAAuD;IACjD,IAAI,CAAC,KAAK,SAAK,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IA4B7D;;;;;;;;;;;;;OAaG;IACG,MAAM,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAI7C,IAAI,OAAO,IAAI,MAAM,CAEpB;CACD;AAED,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/dist/core/memory-engine/audit.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit.js","sourceRoot":"","sources":["../../../src/core/memory-engine/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,SAAS,EAA6B,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA4B3G,SAAS,SAAS,CAAC,QAAuB,EAAE,OAAgC,EAAU;IACrF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAAA,CAC5D;AAED,MAAM,OAAO,QAAQ;IACZ,GAAG,CAAS;IACpB,iFAA+E;IACvE,IAAI,CAAS;IACb,GAAG,GAAG,CAAC,CAAC;IACR,QAAQ,GAAkB,IAAI,CAAC;IAEvC,YAAY,OAAe,EAAE;QAC5B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC;QACpB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAAA,CACpC;IAEO,OAAO,CAAC,IAAY,EAAU;QACrC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,IAAI,QAAQ,CAAC,CAAC;IAAA,CAC7C;IAED,4EAA4E;IAC5E,KAAK,CAAC,IAAI,GAAkB;QAC3B,IAAI,CAAC;YACJ,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACR,OAAO;QACR,CAAC;QACD,mCAAmC;QACnC,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,CAAC;YACJ,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kCAAkC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzG,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACR,OAAO;QACR,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,CAAC;YACJ,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAe,CAAC;YAC/D,IAAI,CAAC,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,QAAQ,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACR,mEAAmE;QACpE,CAAC;IAAA,CACD;IAED,KAAK,CAAC,MAAM,CACX,KAA2F,EAC3E;QAChB,IAAI,CAAC;YACJ,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,OAAO,GAAG;gBACf,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,GAAG;gBAC5B,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,SAAS,EAAE,KAAK,CAAC,SAAS;aAC1B,CAAC;YACF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAe,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;YACrB,MAAM,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC7D,2EAAwE;YACxE,0EAAwE;YACxE,0DAAyD;YACzD,MAAM,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACR,2CAA2C;QAC5C,CAAC;IAAA,CACD;IAED,uDAAuD;IACvD,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,EAAE,KAAc,EAAyB;QAC7D,IAAI,CAAC;YACJ,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;iBAC1C,IAAI,EAAE;iBACN,OAAO,EAAE,CAAC;YACZ,MAAM,GAAG,GAAiB,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBACJ,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;oBAC1D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;wBACpC,IAAI,CAAC;4BACJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAe,CAAC;4BAC7C,IAAI,KAAK,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK;gCAAE,SAAS;4BACxC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BAChB,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;gCAAE,OAAO,GAAG,CAAC;wBACrC,CAAC;wBAAC,MAAM,CAAC,CAAA,CAAC;oBACX,CAAC;gBACF,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;YACX,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,EAAE,CAAC;QACX,CAAC;IAAA,CACD;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,MAAM,GAAkC;QAC7C,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAAA,CAC/C;IAED,IAAI,OAAO,GAAW;QACrB,OAAO,IAAI,CAAC,GAAG,CAAC;IAAA,CAChB;CACD;AAED,OAAO,EAAE,UAAU,EAAE,CAAC","sourcesContent":["/**\n * Audit log for the Ada Memory Engine — append-only JSONL with a hash chain.\n *\n * Every memory write, rejection, consolidation and (optionally) search is\n * recorded with: timestamp, actor, target, outcome and reason. Each entry\n * carries the hash of the previous entry, so tampering with any record is\n * detectable by re-verifying the chain (enterprise security auditing).\n */\n\nimport { createHash } from \"node:crypto\";\nimport { existsSync } from \"node:fs\";\nimport { appendFile, mkdir, readFile } from \"node:fs/promises\";\nimport { basename, join } from \"node:path\";\nimport { anclarEntrada, DIR_AUDIT, type VeredictoDelRegistro, verificarRegistro } from \"./audit-indice.ts\";\n\nexport interface AuditEntry {\n\tseq: number;\n\tts: string; // ISO\n\taction:\n\t\t| \"add\"\n\t\t| \"replace\"\n\t\t| \"remove\"\n\t\t| \"rejected\"\n\t\t| \"consolidate\"\n\t\t| \"search\"\n\t\t| \"migrate\"\n\t\t| \"flush\"\n\t\t| \"review\"\n\t\t| \"detected\"\n\t\t| \"vault-use\";\n\tsource: \"agent\" | \"user\" | \"auto\" | \"cli\" | \"desktop\" | \"api\";\n\ttarget: string; // global | user | project | failure | session\n\tscope: string; // project hash or \"global\"\n\tsessionId?: string;\n\tok: boolean;\n\tcategories?: string[];\n\treason?: string;\n\thash: string;\n\tprevHash: string | null;\n}\n\nfunction hashEntry(prevHash: string | null, payload: Record<string, unknown>): string {\n\tconst canonical = JSON.stringify({ prevHash, ...payload });\n\treturn createHash(\"sha256\").update(canonical).digest(\"hex\");\n}\n\nexport class AuditLog {\n\tprivate dir: string;\n\t/** La raíz, porque el índice vive FUERA de `audit/`. Ver `audit-indice.ts`. */\n\tprivate raiz: string;\n\tprivate seq = 0;\n\tprivate lastHash: string | null = null;\n\n\tconstructor(rootDir: string) {\n\t\tthis.raiz = rootDir;\n\t\tthis.dir = join(rootDir, DIR_AUDIT);\n\t}\n\n\tprivate fileFor(date: string): string {\n\t\treturn join(this.dir, `audit-${date}.jsonl`);\n\t}\n\n\t/** Load the latest sequence number + hash from the newest existing file. */\n\tasync load(): Promise<void> {\n\t\ttry {\n\t\t\tawait mkdir(this.dir, { recursive: true });\n\t\t} catch {\n\t\t\treturn;\n\t\t}\n\t\t// Find the most recent audit file.\n\t\tlet latest: string | null = null;\n\t\ttry {\n\t\t\tconst { readdir } = await import(\"node:fs/promises\");\n\t\t\tconst files = (await readdir(this.dir)).filter((f) => /^audit-\\d{4}-\\d{2}-\\d{2}\\.jsonl$/.test(f)).sort();\n\t\t\tlatest = files.length > 0 ? files[files.length - 1] : null;\n\t\t} catch {\n\t\t\treturn;\n\t\t}\n\t\tif (!latest) return;\n\t\ttry {\n\t\t\tconst raw = await readFile(join(this.dir, latest), \"utf-8\");\n\t\t\tconst lines = raw.split(\"\\n\").filter(Boolean);\n\t\t\tif (lines.length === 0) return;\n\t\t\tconst last = JSON.parse(lines[lines.length - 1]) as AuditEntry;\n\t\t\tthis.seq = typeof last.seq === \"number\" ? last.seq : 0;\n\t\t\tthis.lastHash = typeof last.hash === \"string\" ? last.hash : null;\n\t\t} catch {\n\t\t\t// Corrupt tail: restart sequence (previous records remain intact).\n\t\t}\n\t}\n\n\tasync append(\n\t\tentry: Omit<AuditEntry, \"seq\" | \"ts\" | \"hash\" | \"prevHash\"> & { ts?: string; seq?: number },\n\t): Promise<void> {\n\t\ttry {\n\t\t\tconst date = new Date().toISOString().slice(0, 10);\n\t\t\tconst file = this.fileFor(date);\n\t\t\tawait mkdir(this.dir, { recursive: true });\n\t\t\tconst payload = {\n\t\t\t\tseq: entry.seq ?? ++this.seq,\n\t\t\t\tts: entry.ts ?? new Date().toISOString(),\n\t\t\t\taction: entry.action,\n\t\t\t\tsource: entry.source,\n\t\t\t\ttarget: entry.target,\n\t\t\t\tscope: entry.scope,\n\t\t\t\tok: entry.ok,\n\t\t\t\tcategories: entry.categories,\n\t\t\t\treason: entry.reason,\n\t\t\t\tsessionId: entry.sessionId,\n\t\t\t};\n\t\t\tconst hash = hashEntry(this.lastHash, payload);\n\t\t\tconst full: AuditEntry = { ...payload, hash, prevHash: this.lastHash };\n\t\t\tthis.lastHash = hash;\n\t\t\tawait appendFile(file, `${JSON.stringify(full)}\\n`, \"utf-8\");\n\t\t\t// DESPUÉS de la entrada, nunca antes: al revés, una caída entre las dos\n\t\t\t// escrituras dejaría un hash anclado sin entrada y `verify` acusaría de\n\t\t\t// manipulación a un corte de luz. Ver `audit-indice.ts`.\n\t\t\tawait anclarEntrada(this.raiz, basename(file), hash);\n\t\t} catch {\n\t\t\t// Audit must never break the conversation.\n\t\t}\n\t}\n\n\t/** Read the most recent entries across audit files. */\n\tasync read(limit = 50, since?: string): Promise<AuditEntry[]> {\n\t\ttry {\n\t\t\tconst { readdir } = await import(\"node:fs/promises\");\n\t\t\tconst files = (await readdir(this.dir))\n\t\t\t\t.filter((f) => /^audit-.*\\.jsonl$/.test(f))\n\t\t\t\t.sort()\n\t\t\t\t.reverse();\n\t\t\tconst out: AuditEntry[] = [];\n\t\t\tfor (const file of files) {\n\t\t\t\ttry {\n\t\t\t\t\tconst raw = await readFile(join(this.dir, file), \"utf-8\");\n\t\t\t\t\tconst lines = raw.split(\"\\n\").filter(Boolean);\n\t\t\t\t\tfor (const line of lines.reverse()) {\n\t\t\t\t\t\ttry {\n\t\t\t\t\t\t\tconst entry = JSON.parse(line) as AuditEntry;\n\t\t\t\t\t\t\tif (since && entry.ts < since) continue;\n\t\t\t\t\t\t\tout.push(entry);\n\t\t\t\t\t\t\tif (out.length >= limit) return out;\n\t\t\t\t\t\t} catch {}\n\t\t\t\t\t}\n\t\t\t\t} catch {}\n\t\t\t}\n\t\t\treturn out;\n\t\t} catch {\n\t\t\treturn [];\n\t\t}\n\t}\n\n\t/**\n\t * Verifica el registro y contesta TRES estados: íntegro, alterado y vacío.\n\t *\n\t * El recorrido de la cadena vive ahora en `audit-indice.ts` junto a lo que le\n\t * faltaba —el registro de lo que DEBERÍA existir—, porque separarlos era el\n\t * agujero: la cadena de hashes prueba integridad DENTRO de lo que hay y no\n\t * puede, por construcción, hablar de lo que ya no está. Aquí se queda solo la\n\t * canonicalización, que es lo único que tiene que compartir con `append` y no\n\t * puede divergir de ella.\n\t *\n\t * Medido: con esto, borrar el fichero pasa de `{valid:true, entriesChecked:0}`\n\t * a `{estado:\"alterado\"}` nombrando lo que falta, y una instalación nueva pasa\n\t * de `{valid:false}` —acusar a toda instalación limpia— a `{estado:\"vacio\"}`.\n\t */\n\tasync verify(): Promise<VeredictoDelRegistro> {\n\t\treturn verificarRegistro(this.raiz, hashEntry);\n\t}\n\n\tget lastSeq(): number {\n\t\treturn this.seq;\n\t}\n}\n\nexport { existsSync };\n"]}
+{"version":3,"file":"audit.js","sourceRoot":"","sources":["../../../src/core/memory-engine/audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,SAAS,EAA6B,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA4B3G,SAAS,SAAS,CAAC,QAAuB,EAAE,OAAgC;IAC3E,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,OAAO,QAAQ;IACZ,GAAG,CAAS;IACpB,+EAA+E;IACvE,IAAI,CAAS;IACb,GAAG,GAAG,CAAC,CAAC;IACR,QAAQ,GAAkB,IAAI,CAAC;IAEvC,YAAY,OAAe;QAC1B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC;QACpB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;IAEO,OAAO,CAAC,IAAY;QAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,IAAI,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED,4EAA4E;IAC5E,KAAK,CAAC,IAAI;QACT,IAAI,CAAC;YACJ,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACR,OAAO;QACR,CAAC;QACD,mCAAmC;QACnC,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,CAAC;YACJ,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kCAAkC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzG,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACR,OAAO;QACR,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,CAAC;YACJ,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAe,CAAC;YAC/D,IAAI,CAAC,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,QAAQ,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACR,mEAAmE;QACpE,CAAC;IACF,CAAC;IAED,KAAK,CAAC,MAAM,CACX,KAA2F;QAE3F,IAAI,CAAC;YACJ,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,OAAO,GAAG;gBACf,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,GAAG;gBAC5B,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,SAAS,EAAE,KAAK,CAAC,SAAS;aAC1B,CAAC;YACF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAe,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;YACrB,MAAM,UAAU,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC7D,wEAAwE;YACxE,wEAAwE;YACxE,yDAAyD;YACzD,MAAM,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACR,2CAA2C;QAC5C,CAAC;IACF,CAAC;IAED,uDAAuD;IACvD,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,EAAE,KAAc;QACpC,IAAI,CAAC;YACJ,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;iBAC1C,IAAI,EAAE;iBACN,OAAO,EAAE,CAAC;YACZ,MAAM,GAAG,GAAiB,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBACJ,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;oBAC1D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;wBACpC,IAAI,CAAC;4BACJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAe,CAAC;4BAC7C,IAAI,KAAK,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK;gCAAE,SAAS;4BACxC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BAChB,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;gCAAE,OAAO,GAAG,CAAC;wBACrC,CAAC;wBAAC,MAAM,CAAC,CAAA,CAAC;oBACX,CAAC;gBACF,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;YACX,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,EAAE,CAAC;QACX,CAAC;IACF,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,MAAM;QACX,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,GAAG,CAAC;IACjB,CAAC;CACD;AAED,OAAO,EAAE,UAAU,EAAE,CAAC"}