Specification documents for the Anchored Receipts protocol family: 14 locked core signed, Merkle-anchored receipt formats for provenance, consent, retention, lineage, and compliance events, plus a growing set of agent-era receipt types (action, quality, guard, grounding, trace, redaction).
Spec licence: CC0 1.0 Universal (public domain). Use it, fork it, embed it.
Reference implementations: Apache 2.0, under dekimuhq on GitHub.
| Acronym | Wire type | Name | Spec status |
|---|---|---|---|
| APR | ar.provenance.v1 |
Agent Provenance Receipts | Full spec |
| ACR | ar.consent.v1 / ar.withdrawal.v1 / ar.modification.v1 |
Anchored Consent Receipts | Partial |
| ARR | ar.erasure.v1 / ar.expiry.v1 / ar.hold.v1 / ar.anonymization.v1 / ar.archive.v1 / ar.batch.v1 |
Anchored Retention Receipts | Placeholder |
| ALR | ar.lineage.v1 |
Anchored Lineage Receipts | Placeholder |
| ANR | ar.notice.v1 |
Anchored Notice Receipts | Placeholder |
| ASR | ar.subject_rights.v1 |
Anchored Subject-Rights Receipts | Placeholder |
| ABR | ar.breach.v1 |
Anchored Breach Receipts | Placeholder |
| AIR | ar.impact.v1 |
Anchored Impact Receipts | Placeholder |
| ATR | ar.transfer.v1 |
Anchored Transfer Receipts | Placeholder |
| APuR | ar.purpose.v1 |
Anchored Purpose Receipts | Placeholder |
| AER | ar.evaluation.v1 |
Anchored Evaluation Receipts | Placeholder |
| AAR | ar.attestation.v1 |
Anchored Attestation Receipts | Placeholder |
| ADR | ar.delegation.v1 |
Anchored Delegation Receipts | Placeholder |
| ATokR | ar.tokenization.v1 |
Anchored Tokenization Receipts | Placeholder |
Receipt formats for autonomous-agent and AI-pipeline events. They share the same ar.<noun>.v<N> wire form and envelope as the locked core.
| Acronym | Wire type | Name | Spec status |
|---|---|---|---|
| AActR | ar.action.v1 |
Anchored Action Receipts | Full spec |
| AQR | ar.quality.v1 |
Anchored Quality Receipts | Full spec |
| AGR | ar.guard.v1 |
Anchored Guard Verdicts | Full spec |
| AGrR | ar.grounding.v1 |
Anchored Grounding Receipts | Full spec |
| AgTR | ar.trace.v1 / ar.trace.v2 |
Anchored Agent-Trace Receipts | Full spec |
| APIIR | ar.redaction.v1 |
Anchored PII-Redaction Receipts | Full spec |
- Registry — canonical
claim_typediscriminator registry - Family Consistency — cross-family invariants (chip assignments, TSA upgrade paths, subject presence, package versions)
- Envelope — shared wire format (v1 + v2)
- AActR ↔ EU AI Act Art. 12/19/26 field mapping — field-level correspondence, not a conformity assessment
All members use canonical ar.<noun>.v<N> form (e.g., ar.provenance.v1, ar.consent.v1). The ar. namespace identifies the family at the wire level; member acronyms (APR, ACR, ARR, etc.) are documentation shorthand only.
New fields are additive and optional. Breaking changes require a new v<N+1> discriminator.
See CONTRIBUTING.md for how to propose spec changes, the DCO requirement, and the v1 stability rule.
See GOVERNANCE.md for decision-making, the Steward role, and the amendment process.
To report a vulnerability in the spec or any reference implementation, see SECURITY.md.
All specification documents in this repository are released under CC0 1.0 Universal. Reference implementations are licensed separately under Apache 2.0.
- Verify a receipt live: verify.dekimu.com
- MCP server (mint & verify receipts): dekimu-mcp
- Policy for agent actions: agents-txt
- Who builds this: Dekimu — EU-first compliance & agent-trust tooling.