Boundary, action, check, preservation.

Assign a subject and allowed actions. Before an irreversible step, verify authority and inputs; afterward preserve the outcome for independent reading.

How a receipt works

Agent method

If the result is unclear, retain the unknown state and reconcile the original operation without blind retry.

Boundary, action, check, preservation.

Agent method

Receipt path

1 · Prepare the subject

2 · Receive a receipt

3 · Preserve the package

4 · Verify independently