Arcveil
Receipt format v1

Verify. Check what an agent did — without seeing what it saw.

Every action an agent takes under a mandate produces a receipt. It proves the action stayed inside the mandate without revealing the mandate, the balances, or the reasoning. Five checks: two read the receipt itself, and three ask Arc mainnet — whether the mandate was live, whether the budget commitment was anchored, and whether the transaction really settled. Nothing here is staged.

FIG.1

Reads Arc 5042

FIG.2

Load a sample or paste a receipt. Five checks run here, in your browser — the only request made is a read of Arc itself.

What a receipt proves

  • The action came from an agent session the account holder authorised.
  • It passed every clause of the mandate — without the mandate being revealed.
  • It settled on chain, in a sequence with nothing quietly removed.

What it does not prove

  • That the decision was a good one. A receipt bounds behaviour, not judgement.
  • That the enclave itself is honest. v0.5 trusts its attestation; v1 replaces it with a zero-knowledge proof.
  • That nothing is visible on chain. Observers still see that something happened — not what, not how much.