Auditoría encadenada por hash
- Cada evento sellado con SHA-256 encadenado
- record_hash enlaza con prev_hash
- seq monotónico por cadena de tenant
- Génesis desde hoy en adelante — honesto, sin falsear el pasado
Trust Ledger y procedencia
El rastro de auditoría que puedes entregar a un auditor.
Cada ejecución gobernada queda en un Trust Ledger encadenado por hash y a prueba de manipulaciones — con recibos firmados que puedes verificar sin conexión y un grafo de procedencia de 10 saltos, desde la persona que lo pidió hasta el resultado entregado. Pasa de gobernado a demostrable.
Alineado con EU AI Act · ISO 42001 · trazabilidad de NIST AI RMF
audit/verify
ok: true
verifyChain ▸ SHA-256 encadenado · recibos firmados
El problema
Un registro que se puede editar no es evidencia.
La mayoría de las plataformas de IA escribe un registro de auditoría — pero un registro en el que alguien con privilegios puede insertar, editar, eliminar o reordenar en silencio no demuestra nada ante un regulador. Cuando la pregunta es “¿puedes demostrar que esta decisión ocurrió, con esta entrada, y que fue aprobada?”, una tabla mutable es un riesgo. Cortex sella la respuesta en una cadena que se rompe de forma visible en cuanto algo cambia.
La respuesta directa
Cómo auditar un agente de IA
Para auditar un agente de IA necesitas tres cosas en cada ejecución: un registro completo de lo ocurrido, la prueba de que ese registro no ha sido alterado y el linaje desde la instrucción hasta el resultado. Cortex ofrece las tres — cada ejecución gobernada se sella en un Trust Ledger encadenado por hash; verifyChain recalcula cada eslabón e informa del número de secuencia exacto si algo se insertó, editó, eliminó o reordenó; y un grafo de procedencia de 10 saltos conecta a la persona, el agente, la política, el modelo, las herramientas y la aprobación detrás de cada resultado, con recibos firmados que un tercero puede verificar sin conexión.
Cómo funciona
Cuatro mecanismos, un registro demostrable.
El Trust Ledger se apoya en @cortex/provenance — un núcleo de cadena de hashes puro y testeable, con cero IO — conectado al colector de auditoría existente para que toda la flota de agentes quede sellada sin coste adicional.
Endpoint de verificación
- GET /audit/verify sobre cualquier rango
- Devuelve { ok, brokenAtSeq, head }
- /audit/head expone seq + hash
- Recalcula toda la cadena en el servidor
Recibos firmados
- Recibo compacto por resultado: ejecución, acción, aprobación
- Verificable sin conexión por un tercero
- HMAC-SHA256 hoy; claves publicables Ed25519 a continuación
- Claves aportadas por el operador — fail-closed en producción
Grafo de procedencia
- 10 saltos: humano → agente → skill → prompt → política
- → modelo → herramienta → artefacto → resultado → aprobación
- GET /lineage/:correlationId
- Procedencia del dato: hecho → documento · página · bbox
A prueba de manipulaciones por construcción
Cambia un byte y la cadena se rompe — de forma visible, en la secuencia exacta.
El hash de cada entrada se calcula sobre sus campos canonicalizados más el hash de la entrada anterior. verifyChain recalcula cada eslabón y los compara. Inserción, edición, eliminación o reordenamiento — cualquier mutación aparece como ok:false con el número de secuencia roto, no como una diferencia silenciosa enterrada en un log.
- Inserción / edición / eliminación / reordenamiento: verifyChain los detecta todos
- El veredicto es preciso: { ok:false, brokenAtSeq, reason }
- El JSON canónico (claves ordenadas) hace que el hash sea determinista y recomprobable
- La guarda de anexado sella bajo concurrencia con FOR UPDATE
verifyChain
Inserciónok:false · brokenAtSeq
Ediciónok:false · brokenAtSeq
Eliminaciónok:false · brokenAtSeq
Reordenamientook:false · brokenAtSeq
Cadena intactaok:true
provenance ▸ recalcula cada record_hash y lo compara con el enlace prev_hash
Ventana de cita
Los ingresos reportados fueron de$4.13Ben el T4.
10-K · NORTHWIND 2025
value_hash 0x7c4e…a9como se reportóconfianza 0.98
fact-provenance ▸ value_hash · source_uri · page · bbox · asReported
Procedencia de cada dato
Cada dato enlaza con su documento de origen, su página y su recuadro.
No basta con citar un documento. Cortex fija cada dato mostrado al recuadro exacto de la página exacta del documento de origen — con un hash del valor, un indicador de “tal como fue reportado” y una puntuación de confianza. Haz clic en una cifra, mira de dónde viene y verifica que no se parafraseó hasta convertirse en otra cosa.
- Hecho → source_uri · page · bbox
- value_hash demuestra que la cifra no se alteró tras la extracción
- El indicador asReported distingue los valores literales de los derivados
- Integrado en el RAG para que las citas de búsqueda lleven su procedencia
De la ejecución al recibo
Cómo una ejecución se vuelve demostrable.
Sin servicios nuevos ni cambios de comportamiento — el sellado y el linaje se emiten en los mismos puntos de control por los que ya pasa toda ejecución gobernada.
- 01
Sellado en la escritura
La ruta de eventos existente carga la cola de la cadena, calcula prev_hash y record_hash, firma el registro y lo añade. Un solo escritor, así toda la flota obtiene detección de manipulaciones de forma transparente.
- 02
Emitir el recibo
En executed o compensated, Action Fabric emite un recibo de resultado firmado sobre el hash del payload, el seq del ledger y el hash del ledger — una prueba compacta que un tercero puede validar sin conexión.
- 03
Ensamblar el linaje
Al completarse la ejecución, el runtime emite nodos y aristas de linaje identificados por correlationId, cosiendo la cadena de 10 saltos — de forma asíncrona vía outbox, para que nunca bloquee la ejecución.
10 saltosGrafo de procedencia en cada resultado
256SHA-256 encadenado que sella cada registro
95%Cobertura de citas en respuestas fundamentadas
100Puntuación de calidad de ejecución verificada en vivo
Demuéstralo — no te limites a afirmarlo
Los veredictos que verás en la demo.
No son promesas de diapositiva — son las respuestas literales de la API que devuelve el Trust Ledger cuando lo pones a prueba.
audit/verify
brokenAtSeq: 103
verifyChain ▸ SHA-256 encadenado · recibos firmados
audit/verify · respuestas
Rango intactoverificado
Rango alteradohashOk:false
Verificar recibofirmado
Recibo falsovalid:false
head { seq, hash } ▸ listo para anclaje externo
Funciona con el resto del entorno de ejecución
El registro sustenta todos los demás controles.
La procedencia es la ventaja defensiva porque atraviesa todo — identidad, acciones, ontología y supervisión escriben en el mismo registro sellado.
Control Tower
Observa cómo el distintivo de verificación cambia a verde o rojo en vivo, y pausa la flota en cuanto una cadena se rompa.
Action Fabric
Cada acción ejecutada y compensada emite un recibo firmado en el ledger como evidencia.
Ontología
La procedencia a nivel de dato fija los hechos a objetos tipados, propiedades y sus declaraciones de origen.
Agent IAM
Las identidades humana y de agente en los saltos 1 y 2 de cada cadena de linaje se aplican en el momento de la emisión.
Supervisión
Las decisiones de aprobación son el salto 10 — selladas y firmadas junto al resultado que controlan.
Trust Center
Asocia el ledger sellado, los recibos y el linaje con EU AI Act, ISO 42001 y NIST AI RMF.
Encuadre de cumplimiento
Diseñado para los marcos que tus auditores ya citan.
El registro sellado, los recibos firmados y el grafo de linaje se corresponden directamente con los controles de registro, trazabilidad y documentación de la gestión de IA de los regímenes ante los que reportas. Alineado con — sin afirmar nunca una certificación que no posees.
EU AI Act · registroISO 42001 · registros de IANIST AI RMF · MeasureSOC 2 · auditoríaISO 27001 · integridadFINRA · conservación de registros
“La primera vez que un examinador nos pidió demostrar una decisión, abrimos la vista de linaje, mostramos los 10 saltos y verificamos el recibo en su propio portátil. La conversación terminó en cinco minutos.”
Deja de registrar. Empieza a demostrar.
Dale a cada decisión de IA un recibo, una cadena que nadie puede editar en silencio y un linaje que puedes entregar directamente a un auditor.