halo-record es una biblioteca de código abierto que crea un registro de auditoría verificable para agentes de inteligencia artificial. Cada acción del agente —llamadas a herramientas, invocaciones de modelos, accesos a datos y aprobaciones— se convierte en un registro dentro de un log append-only encadenado mediante hashes SHA-256. Cualquier tercero puede comprobar la integridad del registro sin necesidad de confiar en quien lo generó, lo que convierte al sistema en una prueba criptográfica del comportamiento del agente.
El proyecto se distribuye bajo licencia Apache-2.0 y se compone de cuatro piezas: un grabador, un verificador, un cliente testigo y un servidor de informes. El paquete de referencia está escrito en Python puro, sin dependencias externas, y ocupa unas 4.300 líneas de código, auditables en una tarde. Existe además una implementación en TypeScript con el mismo formato de cadena y protocolo de testigo, de modo que los registros escritos en un lenguaje se pueden verificar con el verificador del otro.
El sistema incorpora un mecanismo de testigos externos para garantizar la completitud: una parte fuera del control del operador ancla periódicamente una huella de la cadena (un conteo y un hash de cabecera), lo que impide que el operador borre un día problemático y vuelva a sellar la cadena. Los argumentos sensibles que introduce el agente nunca se almacenan en crudo: se redactan mediante expresiones regulares sobre formatos habituales de secretos y datos personales antes de incorporarse al registro.
halo-record se posiciona como capa de evidencia para marcos de cumplimiento como SOC 2, AIUC-1, OWASP GenAI, AARM de la Cloud Security Alliance, el EU AI Act, ISO 42001 y NIST AI RMF, sin sustituir a los procesos de auditoría. Incluye un modo demo que genera un proveedor ficticio con dos clientes, testigos de las cadenas e informes HTML auto-verificables, y dispone de una CLI con comandos para verificar, informar, servir, anclar y demostrar la cadena. La empresa que lo sostiene ofrece además un servicio de testigo hospedado en acceso anticipado.
