CAIN-42 CAIN StudioEvidence library · family
Certificate
42 tested rules in the 'certificate' family, 42 held.
Last reviewed 2026-10-01
42 of 42 held niche Evidence, receipts & proofs
What this family tests
Every rule the CAIN-42 test suites recorded under the family certificate, 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 |
|---|---|---|---|
| I-CERT-verify | certificate verifies | E27 | held |
| I-CERT-scoped | certificate is scoped | E27 | held |
| E33-CERT-identity_verified | certificate claim identity_verified is scoped and never authority | E33 | held |
| E33-CERT-authorization_verified | certificate claim authorization_verified is scoped and never authority | E33 | held |
| E33-CERT-execution_boundary_verified | certificate claim execution_boundary_verified is scoped and never authority | E33 | held |
| E33-CERT-proof_generated | certificate claim proof_generated is scoped and never authority | E33 | held |
| E33-CERT-evidence_verified | certificate claim evidence_verified is scoped and never authority | E33 | held |
| E33-CERT-conformance_passed | certificate claim conformance_passed is scoped and never authority | E33 | held |
| E33-CERT-revocation_tested | certificate claim revocation_tested is scoped and never authority | E33 | held |
| E33-CERT-recovery_tested | certificate claim recovery_tested is scoped and never authority | E33 | held |
| E33-CERT-protocol_adapter_tested | certificate claim protocol_adapter_tested is scoped and never authority | E33 | held |
| E33-CERTBAN-safe_ai | blanket claim safe_ai is refused | E33 | held |
| E33-CERTBAN-fully_autonomous | blanket claim fully_autonomous is refused | E33 | held |
| E33-CERTBAN-guaranteed_safe | blanket claim guaranteed_safe is refused | E33 | held |
| E33-CERTBAN-aligned | blanket claim aligned is refused | E33 | held |
| E33-CERTBAN-certified | blanket claim certified is refused | E33 | held |
| E33-CERTBAN-secure | blanket claim secure is refused | E33 | held |
| E34-CERTFIELD-subject | a governability certificate without subject is refused | E34 | held |
| E34-CERTFIELD-identity | a governability certificate without identity is refused | E34 | held |
| E34-CERTFIELD-version | a governability certificate without version is refused | E34 | held |
| E34-CERTFIELD-protocols | a governability certificate without protocols is refused | E34 | held |
| E34-CERTFIELD-governance_profile | a governability certificate without governance_profile is refused | E34 | held |
| E34-CERTFIELD-proof_profile | a governability certificate without proof_profile is refused | E34 | held |
| E34-CERTFIELD-evidence_root | a governability certificate without evidence_root is refused | E34 | held |
| E34-CERTFIELD-verifier_version | a governability certificate without verifier_version is refused | E34 | held |
| E34-CERTFIELD-test_suite_version | a governability certificate without test_suite_version is refused | E34 | held |
| E34-CERTFIELD-conformance_level | a governability certificate without conformance_level is refused | E34 | held |
| E34-CERTFIELD-expiration | a governability certificate without expiration is refused | E34 | held |
| E34-CERTFIELD-revocation_endpoint | a governability certificate without revocation_endpoint is refused | E34 | held |
| E34-CERTFIELD-limitations | a governability certificate without limitations is refused | E34 | held |
| E34-CERTFIELD-unknown_fields | a governability certificate without unknown_fields is refused | E34 | held |
| E34-CERTCLAIM-identity_verified | certificate claim identity_verified is in scope | E34 | held |
| E34-CERTCLAIM-authorization_verified | certificate claim authorization_verified is in scope | E34 | held |
| E34-CERTCLAIM-execution_boundary_verified | certificate claim execution_boundary_verified is in scope | E34 | held |
| E34-CERTCLAIM-proof_generated | certificate claim proof_generated is in scope | E34 | held |
| E34-CERTCLAIM-evidence_verified | certificate claim evidence_verified is in scope | E34 | held |
| E34-CERTCLAIM-conformance_passed | certificate claim conformance_passed is in scope | E34 | held |
| E34-CERTCLAIM-revocation_tested | certificate claim revocation_tested is in scope | E34 | held |
| E34-CERTCLAIM-recovery_tested | certificate claim recovery_tested is in scope | E34 | held |
| E34-CERTCLAIM-protocol_adapter_tested | certificate claim protocol_adapter_tested is in scope | E34 | held |
| certificate | every 'certificate' invariant in this bundle (1 of 1 held) | E37 | held |
| certificate | every 'certificate' invariant in this bundle (6 of 6 held) | E38 | held |
Other families in this niche
domain · moat · packet · receipt · envelope · research · 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