Un Verifiable Execution Record è un registro strutturato di eventi di esecuzione, di solito firmato o comunque resistente alle manomissioni, che mostra cosa ha fatto un sistema automatizzato e come ogni azione ha modificato lo stato del sistema. Invece di registrare solo l'output finale, conserva la catena di comandi, le chiamate agli strumenti e le transizioni di stato risultanti.
Questo è importante nella sicurezza informatica perché i log tradizionali spesso mostrano che qualcosa è accaduto, ma non chi lo ha attivato, quale strumento è stato usato o se la cronologia è stata alterata in seguito. Negli ambienti di agenti AI e di automazione, un registro verificabile può aiutare gli investigatori a ricostruire gli incidenti, confermare la responsabilità e rilevare azioni non autorizzate. I difensori possono usarlo per tracce di audit, risposta agli incidenti e applicazione delle policy, mentre gli aggressori possono cercare di eluderlo usando percorsi non registrati, processi separati o canali al di fuori del perimetro di acquisizione. Un Verifiable Execution Record è più efficace se abbinato a controllo degli accessi, sandboxing e telemetria indipendente.