Same agent that wrote the receipt is the same agent whose work the receipt is meant to prove, so what stops that agent from recording a tool call as successful when it only got as far as being attempted? Whatever ran the call signs the receipt. That is the version I trust enough to stop checking by hand.