How it works

A Digital Action Receipt is generated at the moment a digital system takes an action. The receipt is a neutral artifact: it records occurrence and supports integrity verification later, independent of how the originating system later represents or explains the action.

The design goal is simple: make “what happened?” answerable by reference — without turning logs into a courtroom. DARs do not claim correctness, intent, justification, or enforcement.

The core lifecycle

The same lifecycle applies across legacy systems, automated systems, and agentic systems. The differences are in integration patterns — not in what the receipt means.

1 · Digital action occurs
An action executes

An approval, access change, configuration update, authorization, or other action is performed inside an existing system.

2 · Moment of action
Receipt invocation

At execution time, the system invokes a receipt service in a non-blocking manner.

3 · Receipt issuance
Receipt generated

A receipt is generated and returned with a receipt identifier and integrity information.

4 · Later reference
Reference & verification

The receipt identifier is used later in audits, disputes, incident timelines, or reviews. Verification confirms integrity only.

// Illustrative only (non-prescriptive)

receipt = issueReceipt({
  actor: "system|service|agent|user",
  action: "access.approved",
  object: "resource:payments",
  ref: "internal-id-123"
})

// Later: include receipt.id in a ticket / report / dispute record.

Conceptual flow

These diagrams show conceptual flow only. They are intentionally non-visual and implementation-agnostic.

Core lifecycle
Digital Action
Receipt Generated
Receipt Identifier
Referenced Later
Integrity Verified
Agent-initiated action
AI / Automated Agent
Action Executed
Receipt Generated
These flows describe occurrence and referenceability only. They intentionally exclude reasoning, correctness, intent, enforcement, or explanation.

Integration patterns

“How it works” in the real world is usually about where the receipt identifier travels. Below are common patterns that keep operational systems unchanged while making actions referenceable.

Pattern A
Legacy workflow system

A line-of-business system performs actions; a receipt identifier is written into its existing case/ticket/comment field.

  • No new UI required.
  • Receipts become “anchors” in existing workflows.
  • Verification is external and integrity-only.
Pattern B
Automated system (jobs, CI/CD, infra automation)

An automation engine executes actions; the receipt identifier is attached to deployment records, change tickets, or incident timelines.

  • Useful for “what changed?” after incidents.
  • Coexists with existing logs/metrics (not a replacement).
  • Receipts remain neutral artifacts.
Pattern C
Agent-initiated actions

An agent performs actions on behalf of an organization; each action emits a receipt identifier that can be reviewed later without importing agent reasoning.

  • Captures occurrence at execution time.
  • Does not validate correctness or intent.
  • Supports human review through references.
Pattern D
Cross-system reference

A receipt identifier is the common pointer across multiple systems (ticketing, risk review, vendor records) without requiring shared internal access.

  • Reduces dependence on screenshots and narratives.
  • Allows multiple parties to reference the same artifact.
  • Verification can be performed independently.
A useful rule: the receipt identifier should travel where questions travel — tickets, cases, approvals, incident reports, and dispute records.

What a receipt provides

Receipts are intentionally minimal. They provide durable reference and integrity verification without inheriting the originating system’s narrative, UI, or enforcement model.

Receipt identifier

A stable reference string used in documentation, cases, and workflows.

Moment of action

A timestamp tied to the occurrence of the action (not to later reconstruction).

Integrity information

Information used to verify the receipt has not been altered.

Minimal action descriptor

A compact description sufficient for reference (not explanation).

Verification confirms integrity only: unaltered vs altered (or mismatch detected). It does not confirm correctness, intent, justification, or compliance. See Boundaries.

Optional extension: event-triggered receipts

Some environments require identifying a discrete trigger moment after observing signals/state over time. This extension keeps responsibilities separated: event triggering determines when, the receipt service generates the receipt.

Observe over time
Event-triggering system

Observes signals/state and determines when a receipt-worthy event has occurred.

Trigger moment
Trigger signal

At the trigger moment, emits a trigger signal to invoke receipt generation (separately).

This is intentionally separate from core DAR. It is an extension pattern, not the definition of a receipt.