@misc{indiciae33b31df32384, title = {Proof-Carrying Contracts: Commitments AI Agents Cannot Break}, author = {Carlo Ciliberto and Alessandro Rudi and Enrico Tassi}, year = {2026}, url = {https://arxiv.org/abs/2610.28484}, note = {Source identifier: 2610.28484} }