No Certificate, No Execution: Certified Traces as a Foundation for Trustworthy AI Agents

Xiao-Yang Liu Yanglet, Xiaodong Wang, Agostino Capponi

We argue that trustworthy AI agents, especially in high-stakes and policy-governed domains, should make execution conditional on certified traces rather than rely only on stronger…