Mnemosyne: Agentic Transaction Processing for Validating and Repairing AI-generated Workflows
This work introduces Agentic Transaction Processing (ATP), which treats generated actions as untrusted proposals until deterministic admission accepts them under an executable constraint set C, and proves four safety properties and establishes bounded reactive repair.