Receipts
A receipt records a declared event, action or transition with enough identity and ordering context to support later reconstruction. It establishes what the system recorded about an operation; it does not automatically prove the real-world truth of every assertion inside that operation.