CAIN-42 CAIN StudioEvidence library · family
Receipt
68 tested rules in the 'receipt' family, 68 held.
Last reviewed 2026-10-01
68 of 68 held niche Evidence, receipts & proofs
What this family tests
Every rule the CAIN-42 test suites recorded under the family receipt, across 5 evidence bundles. Each rule links to its own page with the recorded result and an in-browser check of the file it came from.
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E28-I63 | a deleted, reordered or altered receipt breaks the chain | E28 | held |
| E28-I64 | a public-safe receipt commits to identities without revealing them | E28 | held |
| E28-I65 | supersession and revocation are new receipts; status reflects them | E28 | held |
| E28-I66 | a refused action also produces a signed receipt | E28 | held |
| E36-RECEIPT-buyer | a transaction receipt without buyer is refused | E36 | held |
| E36-RECEIPT-seller | a transaction receipt without seller is refused | E36 | held |
| E36-RECEIPT-agent | a transaction receipt without agent is refused | E36 | held |
| E36-RECEIPT-service | a transaction receipt without service is refused | E36 | held |
| E36-RECEIPT-contract | a transaction receipt without contract is refused | E36 | held |
| E36-RECEIPT-authorization | a transaction receipt without authorization is refused | E36 | held |
| E36-RECEIPT-action | a transaction receipt without action is refused | E36 | held |
| E36-RECEIPT-e8_commit | a transaction receipt without e8_commit is refused | E36 | held |
| E36-RECEIPT-execution | a transaction receipt without execution is refused | E36 | held |
| E36-RECEIPT-proof | a transaction receipt without proof is refused | E36 | held |
| E36-RECEIPT-outcome | a transaction receipt without outcome is refused | E36 | held |
| E36-RECEIPT-settlement | a transaction receipt without settlement is refused | E36 | held |
| E36-RECEIPT-fees | a transaction receipt without fees is refused | E36 | held |
| E36-RECEIPT-disputed | a transaction receipt without disputed is refused | E36 | held |
| E36-RECEIPT-verification_state | a transaction receipt without verification_state is refused | E36 | held |
| receipt | every 'receipt' invariant in this bundle (10 of 10 held) | E38 | held |
| E41-RECEIPT-principal | a receipt requires principal | E41 | held |
| E41-RECEIPT-machine_identity | a receipt requires machine_identity | E41 | held |
| E41-RECEIPT-counterparty | a receipt requires counterparty | E41 | held |
| E41-RECEIPT-delegation_chain | a receipt requires delegation_chain | E41 | held |
| E41-RECEIPT-capability | a receipt requires capability | E41 | held |
| E41-RECEIPT-contract | a receipt requires contract | E41 | held |
| E41-RECEIPT-policy | a receipt requires policy | E41 | held |
| E41-RECEIPT-authority | a receipt requires authority | E41 | held |
| E41-RECEIPT-risk | a receipt requires risk | E41 | held |
| E41-RECEIPT-execution_environment | a receipt requires execution_environment | E41 | held |
| E41-RECEIPT-execution_epoch | a receipt requires execution_epoch | E41 | held |
| E41-RECEIPT-action | a receipt requires action | E41 | held |
| E41-RECEIPT-decision | a receipt requires decision | E41 | held |
| E41-RECEIPT-authorization | a receipt requires authorization | E41 | held |
| E41-RECEIPT-execution_result | a receipt requires execution_result | E41 | held |
| E41-RECEIPT-evidence | a receipt requires evidence | E41 | held |
| E41-RECEIPT-revocation_state | a receipt requires revocation_state | E41 | held |
| E41-RECEIPT-verification_state | a receipt requires verification_state | E41 | held |
| E41-REC2-principal | receipt field principal is required | E41 | held |
| E41-REC2-machine_identity | receipt field machine_identity is required | E41 | held |
| E41-REC2-counterparty | receipt field counterparty is required | E41 | held |
| E41-REC2-delegation_chain | receipt field delegation_chain is required | E41 | held |
| E41-REC2-capability | receipt field capability is required | E41 | held |
| E41-REC2-contract | receipt field contract is required | E41 | held |
| E41-REC2-policy | receipt field policy is required | E41 | held |
| E41-REC2-authority | receipt field authority is required | E41 | held |
| E41-REC2-risk | receipt field risk is required | E41 | held |
| E41-REC2-execution_environment | receipt field execution_environment is required | E41 | held |
| E41-REC2-execution_epoch | receipt field execution_epoch is required | E41 | held |
| E41-REC2-action | receipt field action is required | E41 | held |
| E41-REC2-decision | receipt field decision is required | E41 | held |
| E41-REC2-authorization | receipt field authorization is required | E41 | held |
| E41-REC2-execution_result | receipt field execution_result is required | E41 | held |
| E41-REC2-evidence | receipt field evidence is required | E41 | held |
| E41-REC2-revocation_state | receipt field revocation_state is required | E41 | held |
| E41-REC2-verification_state | receipt field verification_state is required | E41 | held |
| E42-RECEIPTFIELD-who | a canonical receipt requires who | E42 | held |
| E42-RECEIPTFIELD-what | a canonical receipt requires what | E42 | held |
| E42-RECEIPTFIELD-why | a canonical receipt requires why | E42 | held |
| E42-RECEIPTFIELD-policy | a canonical receipt requires policy | E42 | held |
| E42-RECEIPTFIELD-authority | a canonical receipt requires authority | E42 | held |
| E42-RECEIPTFIELD-capability | a canonical receipt requires capability | E42 | held |
| E42-RECEIPTFIELD-environment | a canonical receipt requires environment | E42 | held |
| E42-RECEIPTFIELD-at | a canonical receipt requires at | E42 | held |
| E42-RECEIPTFIELD-version | a canonical receipt requires version | E42 | held |
| E42-RECEIPTFIELD-risk | a canonical receipt requires risk | E42 | held |
| E42-RECEIPTFIELD-evidence | a canonical receipt requires evidence | E42 | held |
| E42-RECEIPTFIELD-result | a canonical receipt requires result | E42 | held |
Other families in this niche
domain · moat · packet · envelope · research · certificate · supply_chain · state_machine · agency_graph · envelope_binding · telemetry · integrity · graph · proof · radar · risk · event_kind · action_binding · proof_carrying_action · ip · failure_class · status · environment_query · attestation
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem