Keep a portable signed record of a declared agent step, linked to locally computed input and output hashes. HTTP, MCP and A2A access. Free preparation and verification; issuance costs 0.002 USDC on Base via x402. Raw documents stay local. Receipts record declarations; they do not independently prove execution or factual correctness.