Intent-Bound Commit Certificates: A Formal Transaction Protocol for Safe Autonomous AI Tool Execution. JAMS 2026, Page 1-15.