Actions with Receipts: Jointly Binding Claims, Evidence, and Execution for Replayable Tool-Agent Auditing

arXiv:2610.00327 · cs.CR, cs.AI, cs.CL, cs.LG · Submitted 2026-09-29 · Read on arXiv

cs.CR, cs.AI, cs.CL, cs.LG

Submitted: 2026-09-29

Updated: 2026-09-29

Terminology

• Trace — 78× in this paper · explained in 2 episodes
• Verifier — 66× in this paper · explained in 2 episodes
• Calibration — 32× in this paper · explained in 7 episodes
• Provenance — 29× in this paper · explained in 4 episodes
• Benchmark — 16× in this paper · explained in 2 episodes
• Verification — 15× in this paper · explained in 2 episodes
• Ablation — 8× in this paper · explained in 1 episode
• Consistency — 6× in this paper · explained in 3 episodes
• Robustness — 5× in this paper · explained in 5 episodes
• Aggregation — 3× in this paper · explained in 1 episode
• Data Provenance — 3× in this paper · explained in 2 episodes
• Frozen model — 3× in this paper · explained in 3 episodes
• Generative AI — 3× in this paper · explained in 2 episodes
• Annotator Agreement — 2× in this paper · explained in 1 episode
• Generalization — 2× in this paper · explained in 13 episodes
• Hallucination — 2× in this paper · explained in 3 episodes
• LLM judge — 2× in this paper · explained in 2 episodes
• Benchmarking — 1× in this paper · explained in 3 episodes
• Evaluation Dimensions — 1× in this paper · explained in 3 episodes
• Failure Taxonomy — 1× in this paper · explained in 2 episodes
• Iterative Refinement — 1× in this paper · explained in 3 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Structural Integrity — 1× in this paper · explained in 3 episodes
• Tokenization — 1× in this paper · explained in 2 episodes

Sources

• ToolSandbox: A Stateful, Conversational, Interactive Evaluation Benchmark for LLM Tool Use Capabilities
• RAGTruth: A Hallucination Corpus for Developing Trustworthy Retrieval-Augmented Language Models
• Toolformer: Language Models Can Teach Themselves to Use Tools
• OSWorld: Benchmarking Multimodal Agents for Open-Ended Tasks in Real Computer Environments
• $\tau$-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains
• ProcessBench: Identifying Process Errors in Mathematical Reasoning

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs