CAIN-42 CAIN StudioEvidence library · family
Property
50 tested rules in the 'property' family, 50 held.
Last reviewed 2026-10-01
50 of 50 held niche Benchmarks, coverage & performance
What this family tests
Every rule the CAIN-42 test suites recorded under the family property, across 1 evidence bundle. 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 |
|---|---|---|---|
| E29-P01 | the end-to-end procurement transaction completes every acceptance step | E29 | held |
| E29-P02 | every ledger TRANSFER is backed by an ALLOW receipt that reached E8 for the same transaction | E29 | held |
| E29-P03 | the ledger is hash-chained, signed and conserves value | E29 | held |
| E29-P04 | the stage records of the transaction verify as a signed hash chain | E29 | held |
| E29-P05 | the transaction envelope is issued at AUTHORIZE and re-issued at RECORD with the evidence root | E29 | held |
| E29-P06 | discovery never reports trust | E29 | held |
| E29-P07 | counterparty risk has thirteen dimensions and no score | E29 | held |
| E29-P08 | reputation has thirteen dimensions and no aggregate | E29 | held |
| E29-P09 | the governability index has fourteen dimensions and no score; its manifest is signed | E29 | held |
| E29-P10 | the transaction authority is a ceiling, never an execution grant | E29 | held |
| E29-P11 | a contract never grants authority | E29 | held |
| E29-P12 | negotiation yields a PROPOSED contract, never an authorization | E29 | held |
| E29-P13 | capability passports are TESTED only after a real in-scope ALLOW and an out-of-scope refusal | E29 | held |
| E29-P14 | directory records are signed by the domain issuer and name the current identity digest | E29 | held |
| E29-P15 | the escrow account ends at zero and the vendor received exactly the price | E29 | held |
| E29-P16 | every governed action of the transaction left a receipt in the E28 chain | E29 | held |
| E29-P17 | the evidence root is the Merkle root of the transaction's receipts | E29 | held |
| E29-P18 | the consequence vector was computed before authorization for the payment | E29 | held |
| E29-P19 | the escrow release was performed by the escrow identity, not the buyer or seller | E29 | held |
| E29-P20 | reputation updates cite evidence | E29 | held |
| E29-P21 | real currency codes are refused by the treasury | E29 | held |
| E29-P22 | agent names are validated | E29 | held |
| E29-P23 | graph intelligence returns signals only | E29 | held |
| E29-P24 | the router returns a destination and no authority, and never bypasses E8 | E29 | held |
| E29-P25 | the conformance network labels CAIN GOVERNED only when every criterion passes | E29 | held |
| E29-P26 | incident containment identifies descendants, delegations, counterparties and freezes accounts | E29 | held |
| E29-P27 | recovery yields a new identity, never the old one | E29 | held |
| E29-P28 | federated incident exchange quarantines the translated identity | E29 | held |
| E29-P29 | a forged incident notice is ignored | E29 | held |
| E29-P30 | anchor rotation needs the old anchor's signature | E29 | held |
| E29-P31 | federation expires | E29 | held |
| E29-P32 | the partition ceiling never exceeds the connected ceiling in any mode | E29 | held |
| E29-P33 | partition synchronization appends evidence and returns to CONNECTED | E29 | held |
| E29-P34 | firebreak capability isolation reaches the E25 boundary | E29 | held |
| E29-P35 | firebreak protocol isolation reaches the E25 adapter list | E29 | held |
| E29-P36 | a two-human restore lifts a capability isolation in E25 too | E29 | held |
| E29-P37 | an immune rule activated by two humans takes effect and is logged | E29 | held |
| E29-P38 | the failure-to-test compiler produces every artifact kind | E29 | held |
| E29-P39 | the software promotion gate promotes only with distinct roles, a human and an E8 deploy | E29 | held |
| E29-P40 | organization budgets are booked on every layer of the path | E29 | held |
| E29-P41 | the dispute engine resolves on verified evidence alone | E29 | held |
| E29-P42 | the E28 transparency log still verifies after the whole transaction | E29 | held |
| E29-P43 | graph node and edge kinds are closed sets | E29 | held |
| E29-P44 | the moat graph never labels an idea as a moat | E29 | held |
| E29-P45 | the competitive radar holds no unverified competitor facts | E29 | held |
| E29-P46 | no feature is labelled novel without passing the eight-step novelty gate | E29 | held |
| E29-P47 | every product candidate carries an evidence status, none PRODUCTION | E29 | held |
| E29-P48 | a completed transaction cannot be advanced further | E29 | held |
| E29-P49 | the payment's identity envelope was bound to the transaction request | E29 | held |
| E29-P50 | the delivery went through MCP and the buyer's check through HTTP, both via E8 | E29 | held |
Other families in this niche
bench_family · bench_category · coverage · telemetry · fabric_component · radar · swe · harness · regression · performance · corpus · end_to_end · completion · latency · f2t · false_completion · failure_to_test
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