MemTX: Un Protocollo Transazionale per la Memoria Affidabile degli Agenti

MemTX, un protocollo di recente sviluppo, affronta il problema della memoria condivisa inaffidabile nei sistemi di agenti LLM. I framework di memoria esistenti trattano ogni scrittura accettata come una verità immediata, il che può portare ad azioni irreversibili a causa di dati obsoleti o corrotti. Questo protocollo innovativo impiega un sistema di credenza-impegno transazionale, garantendo che ogni record sia accompagnato da prove, permessi, provenienza e validità. Le scritture avvengono all'interno di transazioni isolate tramite snapshot e vengono elaborate attraverso una pipeline di convalida e commit. Le chiamate a strumenti irreversibili dipendono dallo stato di credenza corrente e la revoca di una credenza avvia una riparazione strutturata a cascata dei record correlati e degli effetti degli strumenti. Due invarianti chiave—gating di sicurezza dell'azione e completezza della riparazione a cascata—sono verificati tramite test basati su proprietà. Questa ricerca è disponibile su arXiv, ID 2607.23929.