CAIN-42 CAIN StudioEvidence library · niche
Trust & reputation
How much each agent can be trusted, earned from evidence. 484 tested invariants.
Last reviewed 2026-10-01
484 of 484 held
Test families in this niche
trust_vector (204) · trust_dimension (72) · governability (41) · scorecard (28) · trust_object (27) · reputation (24) · experience_graph (22) · governability_vector (15) · machine_reputation (10) · behavior (9) · reassessment (2) · cross_domain (2) · relationship (2) · telemetry (1) · soc (1) · moat (1) · profile (1) · ip (1) · trust_state (1) · graph (1)
Where these come from
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 258
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 72
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 39
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 37
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 15
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 12
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 12
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 11
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 8
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 7
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 3
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 3
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 2
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 2
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 1
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 1
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 1
Rules 1–150 of 484
| ID | Rule | Bundle | Result |
|---|---|---|---|
| G94 | verifier does not trust CAIN implementation | E19 | held |
| I18 | trust propagation must remain bounded | E20 | held |
| I81 | reputation decays | E20 | held |
| I115 | the verifier does not trust CAIN implementation | E20 | held |
| META-I022 | unknown dependency cannot become trusted | E23 | held |
| META-I054 | governability is a 12-dimension vector, never one number | E23 | held |
| META-P010 | every compiled candidate satisfies the hard governability dimensions (all depth-2 candidates) | E23 | held |
| META-P011 | every refused candidate fails at least one hard governability dimension or integrity check (all depth-2 candidates) | E23 | held |
| META-S-dim-observability | governability dimension 'observability' drops when its property is violated | E23 | held |
| META-S-dim-reproducibility | governability dimension 'reproducibility' drops when its property is violated | E23 | held |
| META-S-dim-auditability | governability dimension 'auditability' drops when its property is violated | E23 | held |
| META-S-dim-uncertainty_visibility | governability dimension 'uncertainty_visibility' drops when its property is violated | E23 | held |
| NET-I041 | unknown trust remains unknown | E24 | held |
| NET-I049 | trust is a 14-dimension vector, never one score | E24 | held |
| NET-I056 | numeric trust translation is monotone and bounded | E24 | held |
| NET-O-trust-provider | trust-provider outage denies instead of trusting | E24 | held |
| NET-L06 | NET-L06 SUCCESS IS NOT TRUST | E24 | held |
| NET-L11 | NET-L11 FEDERATION IS NOT UNLIMITED TRUST | E24 | held |
| NET-L15 | NET-L15 UNKNOWN NEVER BECOMES TRUSTED | E24 | held |
| I-TRUST-low-control | low: control action ALLOWs | E25 | held |
| I-TRUST-low-identity | low: dim identity | E25 | held |
| I-TRUST-low-attestation | low: dim attestation | E25 | held |
| I-TRUST-low-provenance | low: dim provenance | E25 | held |
| I-TRUST-low-capability | low: dim capability | E25 | held |
| I-TRUST-low-runtime | low: dim runtime | E25 | held |
| I-TRUST-low-model | low: dim model | E25 | held |
| I-TRUST-low-behavior | low: dim behavior | E25 | held |
| I-TRUST-low-execution | low: dim execution | E25 | held |
| I-TRUST-low-evidence | low: dim evidence | E25 | held |
| I-TRUST-low-delegation | low: dim delegation | E25 | held |
| I-TRUST-low-organizational | low: dim organizational | E25 | held |
| I-TRUST-low-economic | low: dim economic | E25 | held |
| I-TRUST-low-communication | low: dim communication | E25 | held |
| I-TRUST-low-security | low: dim security | E25 | held |
| I-TRUST-low-policy | low: dim policy | E25 | held |
| I-TRUST-low-temporal | low: dim temporal | E25 | held |
| I-TRUST-low-cross_domain | low: dim cross_domain | E25 | held |
| I-TRUST-medium-control | medium: control action ALLOWs | E25 | held |
| I-TRUST-medium-identity | medium: dim identity | E25 | held |
| I-TRUST-medium-attestation | medium: dim attestation | E25 | held |
| I-TRUST-medium-provenance | medium: dim provenance | E25 | held |
| I-TRUST-medium-capability | medium: dim capability | E25 | held |
| I-TRUST-medium-runtime | medium: dim runtime | E25 | held |
| I-TRUST-medium-model | medium: dim model | E25 | held |
| I-TRUST-medium-behavior | medium: dim behavior | E25 | held |
| I-TRUST-medium-execution | medium: dim execution | E25 | held |
| I-TRUST-medium-evidence | medium: dim evidence | E25 | held |
| I-TRUST-medium-delegation | medium: dim delegation | E25 | held |
| I-TRUST-medium-organizational | medium: dim organizational | E25 | held |
| I-TRUST-medium-economic | medium: dim economic | E25 | held |
| I-TRUST-medium-communication | medium: dim communication | E25 | held |
| I-TRUST-medium-security | medium: dim security | E25 | held |
| I-TRUST-medium-policy | medium: dim policy | E25 | held |
| I-TRUST-medium-temporal | medium: dim temporal | E25 | held |
| I-TRUST-medium-cross_domain | medium: dim cross_domain | E25 | held |
| I-TRUST-high-control | high: control action ALLOWs | E25 | held |
| I-TRUST-high-identity | high: dim identity | E25 | held |
| I-TRUST-high-attestation | high: dim attestation | E25 | held |
| I-TRUST-high-provenance | high: dim provenance | E25 | held |
| I-TRUST-high-capability | high: dim capability | E25 | held |
| I-TRUST-high-runtime | high: dim runtime | E25 | held |
| I-TRUST-high-model | high: dim model | E25 | held |
| I-TRUST-high-behavior | high: dim behavior | E25 | held |
| I-TRUST-high-execution | high: dim execution | E25 | held |
| I-TRUST-high-evidence | high: dim evidence | E25 | held |
| I-TRUST-high-delegation | high: dim delegation | E25 | held |
| I-TRUST-high-organizational | high: dim organizational | E25 | held |
| I-TRUST-high-economic | high: dim economic | E25 | held |
| I-TRUST-high-communication | high: dim communication | E25 | held |
| I-TRUST-high-security | high: dim security | E25 | held |
| I-TRUST-high-policy | high: dim policy | E25 | held |
| I-TRUST-high-temporal | high: dim temporal | E25 | held |
| I-TRUST-high-cross_domain | high: dim cross_domain | E25 | held |
| I-TRUST-critical-control | critical: control action ALLOWs | E25 | held |
| I-TRUST-critical-identity | critical: dim identity | E25 | held |
| I-TRUST-critical-attestation | critical: dim attestation | E25 | held |
| I-TRUST-critical-provenance | critical: dim provenance | E25 | held |
| I-TRUST-critical-capability | critical: dim capability | E25 | held |
| I-TRUST-critical-runtime | critical: dim runtime | E25 | held |
| I-TRUST-critical-model | critical: dim model | E25 | held |
| I-TRUST-critical-behavior | critical: dim behavior | E25 | held |
| I-TRUST-critical-execution | critical: dim execution | E25 | held |
| I-TRUST-critical-evidence | critical: dim evidence | E25 | held |
| I-TRUST-critical-delegation | critical: dim delegation | E25 | held |
| I-TRUST-critical-organizational | critical: dim organizational | E25 | held |
| I-TRUST-critical-economic | critical: dim economic | E25 | held |
| I-TRUST-critical-communication | critical: dim communication | E25 | held |
| I-TRUST-critical-security | critical: dim security | E25 | held |
| I-TRUST-critical-policy | critical: dim policy | E25 | held |
| I-TRUST-critical-temporal | critical: dim temporal | E25 | held |
| I-TRUST-critical-cross_domain | critical: dim cross_domain | E25 | held |
| I-TRUST-control-low-identity | low/identity control | E26 | held |
| I-TRUST-below-low-identity | low/identity below floor fails | E26 | held |
| I-TRUST-unknown-low-identity | low/identity unknown fails | E26 | held |
| I-TRUST-control-low-attestation | low/attestation control | E26 | held |
| I-TRUST-inert-low-attestation | low/attestation inert | E26 | held |
| I-TRUST-unknown-inert-low-attestation | low/attestation unknown inert | E26 | held |
| I-TRUST-control-low-provenance | low/provenance control | E26 | held |
| I-TRUST-inert-low-provenance | low/provenance inert | E26 | held |
| I-TRUST-unknown-inert-low-provenance | low/provenance unknown inert | E26 | held |
| I-TRUST-control-low-capability | low/capability control | E26 | held |
| I-TRUST-inert-low-capability | low/capability inert | E26 | held |
| I-TRUST-unknown-inert-low-capability | low/capability unknown inert | E26 | held |
| I-TRUST-control-low-runtime | low/runtime control | E26 | held |
| I-TRUST-inert-low-runtime | low/runtime inert | E26 | held |
| I-TRUST-unknown-inert-low-runtime | low/runtime unknown inert | E26 | held |
| I-TRUST-control-low-model | low/model control | E26 | held |
| I-TRUST-inert-low-model | low/model inert | E26 | held |
| I-TRUST-unknown-inert-low-model | low/model unknown inert | E26 | held |
| I-TRUST-control-low-behavior | low/behavior control | E26 | held |
| I-TRUST-inert-low-behavior | low/behavior inert | E26 | held |
| I-TRUST-unknown-inert-low-behavior | low/behavior unknown inert | E26 | held |
| I-TRUST-control-low-execution | low/execution control | E26 | held |
| I-TRUST-inert-low-execution | low/execution inert | E26 | held |
| I-TRUST-unknown-inert-low-execution | low/execution unknown inert | E26 | held |
| I-TRUST-control-low-evidence | low/evidence control | E26 | held |
| I-TRUST-inert-low-evidence | low/evidence inert | E26 | held |
| I-TRUST-unknown-inert-low-evidence | low/evidence unknown inert | E26 | held |
| I-TRUST-control-low-delegation | low/delegation control | E26 | held |
| I-TRUST-inert-low-delegation | low/delegation inert | E26 | held |
| I-TRUST-unknown-inert-low-delegation | low/delegation unknown inert | E26 | held |
| I-TRUST-control-low-organizational | low/organizational control | E26 | held |
| I-TRUST-inert-low-organizational | low/organizational inert | E26 | held |
| I-TRUST-unknown-inert-low-organizational | low/organizational unknown inert | E26 | held |
| I-TRUST-control-low-economic | low/economic control | E26 | held |
| I-TRUST-inert-low-economic | low/economic inert | E26 | held |
| I-TRUST-unknown-inert-low-economic | low/economic unknown inert | E26 | held |
| I-TRUST-control-low-communication | low/communication control | E26 | held |
| I-TRUST-inert-low-communication | low/communication inert | E26 | held |
| I-TRUST-unknown-inert-low-communication | low/communication unknown inert | E26 | held |
| I-TRUST-control-low-security | low/security control | E26 | held |
| I-TRUST-inert-low-security | low/security inert | E26 | held |
| I-TRUST-unknown-inert-low-security | low/security unknown inert | E26 | held |
| I-TRUST-control-low-policy | low/policy control | E26 | held |
| I-TRUST-inert-low-policy | low/policy inert | E26 | held |
| I-TRUST-unknown-inert-low-policy | low/policy unknown inert | E26 | held |
| I-TRUST-control-low-temporal | low/temporal control | E26 | held |
| I-TRUST-inert-low-temporal | low/temporal inert | E26 | held |
| I-TRUST-unknown-inert-low-temporal | low/temporal unknown inert | E26 | held |
| I-TRUST-control-low-cross_domain | low/cross_domain control | E26 | held |
| I-TRUST-inert-low-cross_domain | low/cross_domain inert | E26 | held |
| I-TRUST-unknown-inert-low-cross_domain | low/cross_domain unknown inert | E26 | held |
| I-TRUST-control-medium-identity | medium/identity control | E26 | held |
| I-TRUST-below-medium-identity | medium/identity below floor fails | E26 | held |
| I-TRUST-unknown-medium-identity | medium/identity unknown fails | E26 | held |
| I-TRUST-control-medium-attestation | medium/attestation control | E26 | held |
| I-TRUST-below-medium-attestation | medium/attestation below floor fails | E26 | held |
| I-TRUST-unknown-medium-attestation | medium/attestation unknown fails | E26 | held |
| I-TRUST-control-medium-provenance | medium/provenance control | E26 | held |
| I-TRUST-inert-medium-provenance | medium/provenance inert | E26 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Policy, law & governance · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees
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