The paper proposes a claim-anchored execution contract to address the issue of unverified claims in tool-agent auditing. The contract binds claims, evidence, and execution to ensure the integrity of tool usage. It exposes seven testable properties and achieves high attack-detection rates.