What a receipt binds
A receipt binds, in one signed object, the facts a human and a third party need to understand and dispute one agent action.
The action occurred
Bound to the signed action object and its human_summary — one plain-language sentence, ≤ 280 Unicode code points, that a person can read without tooling.
The authority chain
Bound to authority_chain — identifiers of the delegation grants the action relied on. In v0.1 this is descriptive: a verifier notes it but does not yet evaluate the underlying grant.
Out of scope. A receipt proves that an agent's action happened — signed, timestamped, one-sentence-readable — not that it was authorized. Full pre-action authorization — the permit and the grant behind it — is a companion concern, kept deliberately separate. See Agent Envelope →