Receipts and verification
Check reproducibility, commitments, and signer evidence without overstating what they prove.
Read a receipt in context
| Receipt fields | Purpose |
|---|---|
| profile, policy_hash, capability_hash, resource_schedule | Identify the admitted language and execution boundary. |
| source_hash, entrypoint, input_hash | Identify the code and input commitment. |
| prior_state_root, resulting_state_root | Describe the state transition commitments. |
| output, output_hash, reads, writes, events | Describe the result and recorded effects. |
| execution_units, execution_limit, termination, error_code | Explain accounting and completion status. |
| receipt_hash | Commit to the canonical receipt payload without its receipt_hash field. |
Three distinct checks
Replay requires the original source, input, state, context, capabilities, and policy—not only public hashes. Public records may intentionally omit private material. A reference CLI receipt-hash check should not be described as full execution replay or signature verification.
| Check | What it establishes | What it does not establish |
|---|---|---|
| Recompute the receipt hash | The provided payload matches its hash. | That the program was executed or the signer is trusted. |
| Replay with the pinned profile | The supplied inputs and state reproduce the expected result under that implementation. | That private inputs are true or a financial action occurred. |
| Verify a node attestation | A trusted key signed the specified job/receipt/worker evidence. | Universal correctness, downstream finality, or business authorization. |
Practical review checklist
Start from full identifiers. Match the package and policy, inspect termination and errors, check the relevant commitments, and verify the attestation against an independently trusted key where available. Keep package publication evidence separate from execution evidence. Finally apply business acceptance criteria to the result; deterministic computation can faithfully reproduce an incorrect algorithm.