CAIN-42 CAIN Studio

CAIN-42 evidence library

627 invariants

From CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency.

Last reviewed 2026-10-01

IDRuleNicheResult
E34-L1intelligence is not authorityPolicy, law & governanceheld
E34-L2identity is not authorityPolicy, law & governanceheld
E34-L3capability is not authorityPolicy, law & governanceheld
E34-L4memory is not authorityPolicy, law & governanceheld
E34-L5reputation is not authorityPolicy, law & governanceheld
E34-L6confidence is not authorityPolicy, law & governanceheld
E34-L7consensus is not authorityPolicy, law & governanceheld
E34-L8prediction is not authorityPolicy, law & governanceheld
E34-L9simulation is not authorityPolicy, law & governanceheld
E34-L10optimization is not authorityPolicy, law & governanceheld
E34-L11reward is not authorityPolicy, law & governanceheld
E34-L12economic value is not authorityPolicy, law & governanceheld
E34-L13model size is not authorityPolicy, law & governanceheld
E34-L14compute is not authorityPolicy, law & governanceheld
E34-L15self-improvement is not authorityPolicy, law & governanceheld
E34-L16proof is not authorityPolicy, law & governanceheld
E34-L17a valid proof does not create permissionPolicy, law & governanceheld
E34-L18a governance receipt does not create authorityPolicy, law & governanceheld
E34-L19a model cannot authorize itselfPolicy, law & governanceheld
E34-L20an agent cannot authorize itselfPolicy, law & governanceheld
E34-L21a child agent cannot grant itself more authority than its parentPolicy, law & governanceheld
E34-L22a collective cannot create authority by votingPolicy, law & governanceheld
E34-L23a market cannot create authority by pricePolicy, law & governanceheld
E34-L24a reputation system cannot create authorityPolicy, law & governanceheld
E34-L25a revoked authorization cannot resurrectPolicy, law & governanceheld
E34-L26unknown never silently becomes allowPolicy, law & governanceheld
E34-L27no enforcement, no claim of controlPolicy, law & governanceheld
E34-L28no E8 commit, no claim of governed executionPolicy, law & governanceheld
E34-L29no evidence, no verified outcomePolicy, law & governanceheld
E34-L30no proof, no verified governancePolicy, law & governanceheld
E34-ENVELOPE-proof_idthe envelope binds proof_id for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-proof_versionthe envelope binds proof_version for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-action_idthe envelope binds action_id for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-operation_idthe envelope binds operation_id for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-transaction_idthe envelope binds transaction_id for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-agent_identitythe envelope binds agent_identity for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-agent_passport_digestthe envelope binds agent_passport_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-identity_statethe envelope binds identity_state for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-capability_statethe envelope binds capability_state for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-delegation_chainthe envelope binds delegation_chain for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-authority_statethe envelope binds authority_state for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-authority_digestthe envelope binds authority_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-policy_digestthe envelope binds policy_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-policy_versionthe envelope binds policy_version for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-context_digestthe envelope binds context_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-evidence_digestthe envelope binds evidence_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-risk_digestthe envelope binds risk_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-decision_digestthe envelope binds decision_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-trajectory_digestthe envelope binds trajectory_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-world_state_digestthe envelope binds world_state_digest for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-model_runtime_identitythe envelope binds model_runtime_identity for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-model_runtime_versionthe envelope binds model_runtime_version for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-execution_environmentthe envelope binds execution_environment for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-capability_usedthe envelope binds capability_used for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-resource_targetthe envelope binds resource_target for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-requested_effectthe envelope binds requested_effect for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-authorization_idthe envelope binds authorization_id for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-authorization_scopethe envelope binds authorization_scope for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-authorization_expirythe envelope binds authorization_expiry for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-authorization_noncethe envelope binds authorization_nonce for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-e8_commit_idthe envelope binds e8_commit_id for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-enforcement_boundarythe envelope binds enforcement_boundary for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-enforcement_resultthe envelope binds enforcement_result for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-execution_resultthe envelope binds execution_result for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-outcome_evidencethe envelope binds outcome_evidence for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-revocation_statethe envelope binds revocation_state for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-conformance_statethe envelope binds conformance_state for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-governance_coveragethe envelope binds governance_coverage for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-proof_statusthe envelope binds proof_status for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-timestampthe envelope binds timestamp for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-sequencethe envelope binds sequence for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-previous_proof_hashthe envelope binds previous_proof_hash for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-evidence_referencesthe envelope binds evidence_references for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-verifier_metadatathe envelope binds verifier_metadata for every executed operationEvidence, receipts & proofsheld
E34-ENVELOPE-governance_contract_digestthe envelope binds governance_contract_digest for every executed operationEvidence, receipts & proofsheld
E34-STATUS-VERIFIED_GOVERNEDVERIFIED_GOVERNED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-PARTIALLY_GOVERNEDPARTIALLY_GOVERNED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-ENFORCED_WITH_INCOMPLETE_PROOFENFORCED_WITH_INCOMPLETE_PROOF is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-OBSERVED_ONLYOBSERVED_ONLY is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-MONITORED_ONLYMONITORED_ONLY is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-SIMULATEDSIMULATED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-DEMO_ONLYDEMO_ONLY is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-UNCONTROLLEDUNCONTROLLED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-UNKNOWNUNKNOWN is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-REJECTEDREJECTED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-REVOKEDREVOKED is a reachable proof status, never a scoreIdentity, authority & delegationheld
E34-STATUS-EXPIREDEXPIRED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-INVALID_PROOFINVALID_PROOF is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-STATUS-SUPERSEDEDSUPERSEDED is a reachable proof status, never a scoreEvidence, receipts & proofsheld
E34-PCA-INTENTthe proof-carrying action chain includes INTENTEvidence, receipts & proofsheld
E34-PCA-IDENTITYthe proof-carrying action chain includes IDENTITYEvidence, receipts & proofsheld
E34-PCA-CAPABILITYthe proof-carrying action chain includes CAPABILITYEvidence, receipts & proofsheld
E34-PCA-DELEGATIONthe proof-carrying action chain includes DELEGATIONEvidence, receipts & proofsheld
E34-PCA-AUTHORITYthe proof-carrying action chain includes AUTHORITYEvidence, receipts & proofsheld
E34-PCA-POLICYthe proof-carrying action chain includes POLICYEvidence, receipts & proofsheld
E34-PCA-CONTEXTthe proof-carrying action chain includes CONTEXTEvidence, receipts & proofsheld
E34-PCA-EVIDENCEthe proof-carrying action chain includes EVIDENCEEvidence, receipts & proofsheld
E34-PCA-RISKthe proof-carrying action chain includes RISKEvidence, receipts & proofsheld
E34-PCA-DECISIONthe proof-carrying action chain includes DECISIONEvidence, receipts & proofsheld
E34-PCA-AUTHORIZATIONthe proof-carrying action chain includes AUTHORIZATIONEvidence, receipts & proofsheld
E34-PCA-E8_COMMITthe proof-carrying action chain includes E8_COMMITEvidence, receipts & proofsheld
E34-PCA-ENFORCEMENTthe proof-carrying action chain includes ENFORCEMENTEvidence, receipts & proofsheld
E34-PCA-EXECUTIONthe proof-carrying action chain includes EXECUTIONEvidence, receipts & proofsheld
E34-PCA-OUTCOMEthe proof-carrying action chain includes OUTCOMEEvidence, receipts & proofsheld
E34-PCA-PROOFthe proof-carrying action chain includes PROOFEvidence, receipts & proofsheld
E34-ENFORCE-DECISION_MADEenforcement distinguishes DECISION_MADEEvidence, receipts & proofsheld
E34-ENFORCE-AUTHORIZATION_ISSUEDenforcement distinguishes AUTHORIZATION_ISSUEDEvidence, receipts & proofsheld
E34-ENFORCE-ACTION_COMMITTEDenforcement distinguishes ACTION_COMMITTEDEvidence, receipts & proofsheld
E34-ENFORCE-ACTION_ENFORCEDenforcement distinguishes ACTION_ENFORCEDEvidence, receipts & proofsheld
E34-ENFORCE-ACTION_EXECUTEDenforcement distinguishes ACTION_EXECUTEDEvidence, receipts & proofsheld
E34-ENFORCE-OUTCOME_OBSERVEDenforcement distinguishes OUTCOME_OBSERVEDEvidence, receipts & proofsheld
E34-PRIM-identitythe identity proof primitive exists and binds fieldsIdentity, authority & delegationheld
E34-PRIM-capabilitythe capability proof primitive exists and binds fieldsIdentity, authority & delegationheld
E34-PRIM-delegationthe delegation proof primitive exists and binds fieldsIdentity, authority & delegationheld
E34-PRIM-authoritythe authority proof primitive exists and binds fieldsIdentity, authority & delegationheld
E34-PRIM-policythe policy proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-PRIM-riskthe risk proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-PRIM-evidencethe evidence proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-PRIM-decisionthe decision proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-PRIM-committhe commit proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-PRIM-enforcementthe enforcement proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-PRIM-outcomethe outcome proof primitive exists and binds fieldsEvidence, receipts & proofsheld
E34-COVCLASS-ENFORCEDcoverage class ENFORCED exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-COVCLASS-MONITOREDcoverage class MONITORED exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-COVCLASS-OBSERVEDcoverage class OBSERVED exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-COVCLASS-PARTIALLY_ENFORCEDcoverage class PARTIALLY_ENFORCED exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-COVCLASS-BYPASSABLEcoverage class BYPASSABLE exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-COVCLASS-UNCONTROLLEDcoverage class UNCONTROLLED exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-COVCLASS-UNKNOWNcoverage class UNKNOWN exists and is never auto-universalBenchmarks, coverage & performanceheld
E34-SURFACE-mcpsurface mcp states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-a2asurface a2a states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-httpsurface http states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-restsurface rest states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-grpcsurface grpc states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-websocketsurface websocket states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-event_bussurface event_bus states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-clisurface cli states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-shellsurface shell states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-filesystemsurface filesystem states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-browsersurface browser states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-computer_usesurface computer_use states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-databasessurface databases states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-cloud_apissurface cloud_apis states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-credentialssurface credentials states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-secretssurface secrets states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-deploymentsurface deployment states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-ci_cdsurface ci_cd states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-containerssurface containers states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-subagentssurface subagents states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-delegationsurface delegation states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-scheduled_jobssurface scheduled_jobs states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-autonomous_loopssurface autonomous_loops states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-memory_mutationsurface memory_mutation states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-policy_mutationsurface policy_mutation states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-model_replacementsurface model_replacement states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-skill_installationsurface skill_installation states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-plugin_installationsurface plugin_installation states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-capability_acquisitionsurface capability_acquisition states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-financial_transactionssurface financial_transactions states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-machine_contractssurface machine_contracts states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-physical_actuatorssurface physical_actuators states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-vehicle_robot_boundariessurface vehicle_robot_boundaries states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-research_experimentssurface research_experiments states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-self_improvementsurface self_improvement states its real class and basisBenchmarks, coverage & performanceheld
E34-SURFACE-code_modificationsurface code_modification states its real class and basisBenchmarks, coverage & performanceheld
E34-PROFILE-agentprofile agent is definedPolicy, law & governanceheld
E34-PROFILE-model_runtimeprofile model_runtime is definedPolicy, law & governanceheld
E34-PROFILE-toolprofile tool is definedPolicy, law & governanceheld
E34-PROFILE-mcp_serverprofile mcp_server is definedPolicy, law & governanceheld
E34-PROFILE-a2a_agentprofile a2a_agent is definedPolicy, law & governanceheld
E34-PROFILE-gatewayprofile gateway is definedPolicy, law & governanceheld
E34-PROFILE-sidecarprofile sidecar is definedPolicy, law & governanceheld
E34-PROFILE-organizationprofile organization is definedPolicy, law & governanceheld
E34-PROFILE-transactionprofile transaction is definedPolicy, law & governanceheld
E34-PROFILE-physical_systemprofile physical_system is definedPolicy, law & governanceheld
E34-PROFILE-computer_use_runtimeprofile computer_use_runtime is definedPolicy, law & governanceheld
E34-PROFILE-research_agentprofile research_agent is definedPolicy, law & governanceheld
E34-PROFILE-self_improving_agentprofile self_improving_agent is definedPolicy, law & governanceheld
E34-LEVEL-G0level G0 means UNKNOWNPolicy, law & governanceheld
E34-LEVEL-G1level G1 means OBSERVEDPolicy, law & governanceheld
E34-LEVEL-G2level G2 means IDENTIFIEDPolicy, law & governanceheld
E34-LEVEL-G3level G3 means AUTHORIZEDPolicy, law & governanceheld
E34-LEVEL-G4level G4 means ENFORCEDPolicy, law & governanceheld
E34-LEVEL-G5level G5 means PROOF-CARRYINGPolicy, law & governanceheld
E34-LEVEL-G6level G6 means INDEPENDENTLY VERIFIABLEPolicy, law & governanceheld
E34-LEVEL-G7level G7 means FEDERATED GOVERNANCEPolicy, law & governanceheld
E34-CERTFIELD-subjecta governability certificate without subject is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-identitya governability certificate without identity is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-versiona governability certificate without version is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-protocolsa governability certificate without protocols is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-governance_profilea governability certificate without governance_profile is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-proof_profilea governability certificate without proof_profile is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-evidence_roota governability certificate without evidence_root is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-verifier_versiona governability certificate without verifier_version is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-test_suite_versiona governability certificate without test_suite_version is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-conformance_levela governability certificate without conformance_level is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-expirationa governability certificate without expiration is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-revocation_endpointa governability certificate without revocation_endpoint is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-limitationsa governability certificate without limitations is refusedEvidence, receipts & proofsheld
E34-CERTFIELD-unknown_fieldsa governability certificate without unknown_fields is refusedEvidence, receipts & proofsheld
E34-CERTCLAIM-identity_verifiedcertificate claim identity_verified is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-authorization_verifiedcertificate claim authorization_verified is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-execution_boundary_verifiedcertificate claim execution_boundary_verified is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-proof_generatedcertificate claim proof_generated is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-evidence_verifiedcertificate claim evidence_verified is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-conformance_passedcertificate claim conformance_passed is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-revocation_testedcertificate claim revocation_tested is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-recovery_testedcertificate claim recovery_tested is in scopeEvidence, receipts & proofsheld
E34-CERTCLAIM-protocol_adapter_testedcertificate claim protocol_adapter_tested is in scopeEvidence, receipts & proofsheld
E34-CONTRACTLIM-scopea contract limit scope is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-timea contract limit time is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-budgeta contract limit budget is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-capabilitya contract limit capability is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-geographica contract limit geographic is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-organizationala contract limit organizational is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-resourcea contract limit resource is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-transactiona contract limit transaction is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-trajectorya contract limit trajectory is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-model_runtimea contract limit model_runtime is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-evidencea contract limit evidence is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-human_approvala contract limit human_approval is requiredTransactions, markets & economicsheld
E34-CONTRACTLIM-multi_party_approvala contract limit multi_party_approval is requiredTransactions, markets & economicsheld
E34-CONTRACTSTAGE-DISCOVERcontract lifecycle includes DISCOVERTransactions, markets & economicsheld
E34-CONTRACTSTAGE-IDENTIFYcontract lifecycle includes IDENTIFYTransactions, markets & economicsheld
E34-CONTRACTSTAGE-ATTESTcontract lifecycle includes ATTESTTransactions, markets & economicsheld
E34-CONTRACTSTAGE-NEGOTIATEcontract lifecycle includes NEGOTIATETransactions, markets & economicsheld
E34-CONTRACTSTAGE-CONSTRAINcontract lifecycle includes CONSTRAINTransactions, markets & economicsheld
E34-CONTRACTSTAGE-AUTHORIZEcontract lifecycle includes AUTHORIZETransactions, markets & economicsheld
E34-CONTRACTSTAGE-EXECUTEcontract lifecycle includes EXECUTETransactions, markets & economicsheld
E34-CONTRACTSTAGE-PROVEcontract lifecycle includes PROVETransactions, markets & economicsheld
E34-CONTRACTSTAGE-VERIFYcontract lifecycle includes VERIFYTransactions, markets & economicsheld
E34-CONTRACTSTAGE-SETTLEcontract lifecycle includes SETTLETransactions, markets & economicsheld
E34-CONTRACTSTAGE-REASSESScontract lifecycle includes REASSESSTransactions, markets & economicsheld
E34-CONTRACTSTAGE-RENEW_OR_REVOKEcontract lifecycle includes RENEW_OR_REVOKETransactions, markets & economicsheld
E34-MANIFEST-identitya governability manifest needs identityTrust & reputationheld
E34-MANIFEST-runtimea governability manifest needs runtimeTrust & reputationheld
E34-MANIFEST-modela governability manifest needs modelTrust & reputationheld
E34-MANIFEST-capabilitiesa governability manifest needs capabilitiesTrust & reputationheld
E34-MANIFEST-protocolsa governability manifest needs protocolsTrust & reputationheld
E34-MANIFEST-governance_boundariesa governability manifest needs governance_boundariesTrust & reputationheld
E34-MANIFEST-enforcement_pathsa governability manifest needs enforcement_pathsTrust & reputationheld
E34-MANIFEST-evidence_capabilitiesa governability manifest needs evidence_capabilitiesTrust & reputationheld
E34-MANIFEST-proof_capabilitiesa governability manifest needs proof_capabilitiesTrust & reputationheld
E34-MANIFEST-policy_capabilitiesa governability manifest needs policy_capabilitiesTrust & reputationheld
E34-MANIFEST-delegation_rulesa governability manifest needs delegation_rulesTrust & reputationheld
E34-MANIFEST-revocationa governability manifest needs revocationTrust & reputationheld
E34-MANIFEST-limitationsa governability manifest needs limitationsTrust & reputationheld
E34-MANIFEST-unknown_statesa governability manifest needs unknown_statesTrust & reputationheld
E34-PROTOCOL-mcpprotocol mcp is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-a2aprotocol a2a is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-httpprotocol http is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-restprotocol rest is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-grpcprotocol grpc is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-websocketprotocol websocket is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-event_busprotocol event_bus is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-cliprotocol cli is classified SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-local_ipcprotocol local_ipc is classified PARTIALLY_SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-cloud_apiprotocol cloud_api is classified PARTIALLY_SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-browserprotocol browser is classified PARTIALLY_SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-computer_useprotocol computer_use is classified PARTIALLY_SUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-physicalprotocol physical is classified UNSUPPORTED with a basisTools, MCP, protocols & adaptersheld
E34-PROTOCOL-unknown_transportprotocol unknown_transport is classified UNKNOWN with a basisTools, MCP, protocols & adaptersheld
E34-HANDSHAKE-IDENTITYhandshake step IDENTITY is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-CAPABILITYhandshake step CAPABILITY is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-DELEGATIONhandshake step DELEGATION is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-AUTHORITYhandshake step AUTHORITY is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-POLICYhandshake step POLICY is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-EVIDENCEhandshake step EVIDENCE is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-ENFORCEMENThandshake step ENFORCEMENT is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-PROOFhandshake step PROOF is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-REVOCATIONhandshake step REVOCATION is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-RECOVERYhandshake step RECOVERY is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-CONFORMANCEhandshake step CONFORMANCE is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-HANDSHAKE-ECONOMYhandshake step ECONOMY is required; unknown yields GOVERNANCE_UNKNOWNIdentity, authority & delegationheld
E34-IMMUNESIG-proof_forgerythe immune system detects proof_forgeryAttacks, threats & containmentheld
E34-IMMUNESIG-proof_chain_discontinuitythe immune system detects proof_chain_discontinuityAttacks, threats & containmentheld
E34-IMMUNESIG-authority_launderingthe immune system detects authority_launderingAttacks, threats & containmentheld
E34-IMMUNESIG-capability_launderingthe immune system detects capability_launderingAttacks, threats & containmentheld
E34-IMMUNESIG-identity_cloningthe immune system detects identity_cloningAttacks, threats & containmentheld
E34-IMMUNESIG-delegation_amplificationthe immune system detects delegation_amplificationAttacks, threats & containmentheld
E34-IMMUNESIG-governance_bypassthe immune system detects governance_bypassAttacks, threats & containmentheld
E34-IMMUNESIG-collective_compromisethe immune system detects collective_compromiseAttacks, threats & containmentheld
E34-IMMUNESIG-transaction_fraudthe immune system detects transaction_fraudAttacks, threats & containmentheld
E34-IMMUNESIG-economic_manipulationthe immune system detects economic_manipulationAttacks, threats & containmentheld
E34-IMMUNESIG-model_substitutionthe immune system detects model_substitutionAttacks, threats & containmentheld
E34-IMMUNESIG-runtime_substitutionthe immune system detects runtime_substitutionAttacks, threats & containmentheld
E34-IMMUNESIG-policy_poisoningthe immune system detects policy_poisoningAttacks, threats & containmentheld
E34-IMMUNESIG-memory_poisoningthe immune system detects memory_poisoningAttacks, threats & containmentheld
E34-IMMUNESIG-verifier_compromisethe immune system detects verifier_compromiseAttacks, threats & containmentheld
E34-IMMUNESIG-repeated_denial_patternthe immune system detects repeated_denial_patternAttacks, threats & containmentheld
E34-IMMUNESIG-certificate_forgerythe immune system detects certificate_forgeryAttacks, threats & containmentheld
E34-IMMUNESIG-conformance_gamingthe immune system detects conformance_gamingAttacks, threats & containmentheld
E34-IMMUNESTEP-DETECTimmune step DETECT is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-CLASSIFYimmune step CLASSIFY is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-CONTAINimmune step CONTAIN is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-REVOKEimmune step REVOKE is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-QUARANTINEimmune step QUARANTINE is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-PRESERVE_EVIDENCEimmune step PRESERVE_EVIDENCE is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-RECOVERimmune step RECOVER is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-LEARNimmune step LEARN is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-GENERATE_TESTimmune step GENERATE_TEST is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-HARDENimmune step HARDEN is part of the responseAttacks, threats & containmentheld
E34-IMMUNESTEP-VERIFYimmune step VERIFY is part of the responseAttacks, threats & containmentheld
E34-F2P-INCIDENTfailure-to-proof stage INCIDENT existsEvidence, receipts & proofsheld
E34-F2P-ROOT_CAUSEfailure-to-proof stage ROOT_CAUSE existsEvidence, receipts & proofsheld
E34-F2P-NEW_INVARIANTfailure-to-proof stage NEW_INVARIANT existsEvidence, receipts & proofsheld
E34-F2P-NEW_ATTACKfailure-to-proof stage NEW_ATTACK existsEvidence, receipts & proofsheld
E34-F2P-NEW_TESTfailure-to-proof stage NEW_TEST existsEvidence, receipts & proofsheld
E34-F2P-NEW_VERIFIER_CHECKfailure-to-proof stage NEW_VERIFIER_CHECK existsEvidence, receipts & proofsheld
E34-F2P-NEW_EVIDENCEfailure-to-proof stage NEW_EVIDENCE existsEvidence, receipts & proofsheld
E34-F2P-NEW_PRODUCT_CONTROLfailure-to-proof stage NEW_PRODUCT_CONTROL existsEvidence, receipts & proofsheld
E34-DP-identitydata-plane kind identity is chainedMemory, data & privacyheld
E34-DP-capabilitydata-plane kind capability is chainedMemory, data & privacyheld
E34-DP-authoritydata-plane kind authority is chainedMemory, data & privacyheld
E34-DP-policydata-plane kind policy is chainedMemory, data & privacyheld
E34-DP-actiondata-plane kind action is chainedMemory, data & privacyheld
E34-DP-decisiondata-plane kind decision is chainedMemory, data & privacyheld
E34-DP-authorizationdata-plane kind authorization is chainedMemory, data & privacyheld
E34-DP-executiondata-plane kind execution is chainedMemory, data & privacyheld
E34-DP-outcomedata-plane kind outcome is chainedMemory, data & privacyheld
E34-DP-incidentdata-plane kind incident is chainedMemory, data & privacyheld
E34-DP-recoverydata-plane kind recovery is chainedMemory, data & privacyheld
E34-DP-transactiondata-plane kind transaction is chainedMemory, data & privacyheld
E34-DP-delegationdata-plane kind delegation is chainedMemory, data & privacyheld
E34-DP-proofdata-plane kind proof is chainedMemory, data & privacyheld
E34-DP-conformancedata-plane kind conformance is chainedMemory, data & privacyheld
E34-REP-identity_continuityreputation dimension identity_continuity carries no authorityTrust & reputationheld
E34-REP-governance_conformancereputation dimension governance_conformance carries no authorityTrust & reputationheld
E34-REP-enforcement_reliabilityreputation dimension enforcement_reliability carries no authorityTrust & reputationheld
E34-REP-proof_integrityreputation dimension proof_integrity carries no authorityTrust & reputationheld
E34-REP-incident_historyreputation dimension incident_history carries no authorityTrust & reputationheld
E34-REP-recovery_qualityreputation dimension recovery_quality carries no authorityTrust & reputationheld
E34-REP-delegation_disciplinereputation dimension delegation_discipline carries no authorityTrust & reputationheld
E34-REP-capability_stabilityreputation dimension capability_stability carries no authorityTrust & reputationheld
E34-REP-transaction_reliabilityreputation dimension transaction_reliability carries no authorityTrust & reputationheld
E34-REP-evidence_qualityreputation dimension evidence_quality carries no authorityTrust & reputationheld
E34-REP-policy_compliancereputation dimension policy_compliance carries no authorityTrust & reputationheld
E34-REP-disclosure_qualityreputation dimension disclosure_quality carries no authorityTrust & reputationheld
E34-REP-verification_historyreputation dimension verification_history carries no authorityTrust & reputationheld
E34-INDEX-enforcement_coveragegovernability index dimension enforcement_coverage is reported separatelyTrust & reputationheld
E34-INDEX-identity_coveragegovernability index dimension identity_coverage is reported separatelyTrust & reputationheld
E34-INDEX-authority_coveragegovernability index dimension authority_coverage is reported separatelyTrust & reputationheld
E34-INDEX-evidence_coveragegovernability index dimension evidence_coverage is reported separatelyTrust & reputationheld
E34-INDEX-proof_coveragegovernability index dimension proof_coverage is reported separatelyTrust & reputationheld
E34-INDEX-revocation_coveragegovernability index dimension revocation_coverage is reported separatelyTrust & reputationheld
E34-INDEX-delegation_coveragegovernability index dimension delegation_coverage is reported separatelyTrust & reputationheld
E34-INDEX-protocol_coveragegovernability index dimension protocol_coverage is reported separatelyTrust & reputationheld
E34-INDEX-recovery_coveragegovernability index dimension recovery_coverage is reported separatelyTrust & reputationheld
E34-INDEX-independent_verificationgovernability index dimension independent_verification is reported separatelyTrust & reputationheld
E34-INDEX-conformancegovernability index dimension conformance is reported separatelyTrust & reputationheld
E34-INDEX-residual_unknown_surfacegovernability index dimension residual_unknown_surface is reported separatelyTrust & reputationheld
E34-TRUTHPHRASE-fully_autonomousthe truth guard knows the phrase 'fully autonomous'Prediction, world models & simulationheld
E34-TRUTHPHRASE-fully_securethe truth guard knows the phrase 'fully secure'Prediction, world models & simulationheld
E34-TRUTHPHRASE-guaranteedthe truth guard knows the phrase 'guaranteed'Prediction, world models & simulationheld
E34-TRUTHPHRASE-controls_all_agentsthe truth guard knows the phrase 'controls all agents'Prediction, world models & simulationheld
E34-TRUTHPHRASE-controls_the_internetthe truth guard knows the phrase 'controls the internet'Prediction, world models & simulationheld
E34-TRUTHPHRASE-certifiedthe truth guard knows the phrase 'certified'Prediction, world models & simulationheld
E34-TRUTHPHRASE-enterprise-readythe truth guard knows the phrase 'enterprise-ready'Prediction, world models & simulationheld
E34-TRUTHPHRASE-independently_auditedthe truth guard knows the phrase 'independently audited'Prediction, world models & simulationheld
E34-TRUTHPHRASE-hardware-attestedthe truth guard knows the phrase 'hardware-attested'Prediction, world models & simulationheld
E34-TRUTHPHRASE-universalthe truth guard knows the phrase 'universal'Prediction, world models & simulationheld
E34-TRUTHPHRASE-production-readythe truth guard knows the phrase 'production-ready'Prediction, world models & simulationheld
E34-TRUTHPHRASE-in_productionthe truth guard knows the phrase 'in production'Prediction, world models & simulationheld
E34-MOAT-governance_kernelmoat governance_kernel is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-enforcement_integrationsmoat enforcement_integrations is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-proof_formatmoat proof_format is technical only, not a market moatEvidence, receipts & proofsheld
E34-MOAT-proof_verifiermoat proof_verifier is technical only, not a market moatEvidence, receipts & proofsheld
E34-MOAT-conformance_ecosystemmoat conformance_ecosystem is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-agent_identitymoat agent_identity is technical only, not a market moatIdentity, authority & delegationheld
E34-MOAT-identity_continuitymoat identity_continuity is technical only, not a market moatIdentity, authority & delegationheld
E34-MOAT-delegation_provenancemoat delegation_provenance is technical only, not a market moatIdentity, authority & delegationheld
E34-MOAT-governance_receiptsmoat governance_receipts is technical only, not a market moatEvidence, receipts & proofsheld
E34-MOAT-transaction_graphmoat transaction_graph is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-incident_graphmoat incident_graph is technical only, not a market moatAttacks, threats & containmentheld
E34-MOAT-governance_coverage_datamoat governance_coverage_data is technical only, not a market moatMemory, data & privacyheld
E34-MOAT-machine_reputationmoat machine_reputation is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-federationmoat federation is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-developer_sdkmoat developer_sdk is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-enterprise_integrationsmoat enterprise_integrations is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-governance_marketplacemoat governance_marketplace is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-research_corpusmoat research_corpus is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-adversarial_corpusmoat adversarial_corpus is technical only, not a market moatAttacks, threats & containmentheld
E34-MOAT-failure_to_proof_corpusmoat failure_to_proof_corpus is technical only, not a market moatEvidence, receipts & proofsheld
E34-MOAT-interoperabilitymoat interoperability is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-governance_certificatesmoat governance_certificates is technical only, not a market moatEvidence, receipts & proofsheld
E34-MOAT-proof_exchangemoat proof_exchange is technical only, not a market moatEvidence, receipts & proofsheld
E34-MOAT-governance_profilesmoat governance_profiles is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-public_verification_infrastructuremoat public_verification_infrastructure is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-edge_deploymentmoat edge_deployment is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-governance_cloudmoat governance_cloud is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-evolution_enginemoat evolution_engine is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-machine_economy_controlsmoat machine_economy_controls is technical only, not a market moatTransactions, markets & economicsheld
E34-MOAT-historical_governance_replaymoat historical_governance_replay is technical only, not a market moatTransactions, markets & economicsheld
E34-PRODUCT-CAIN_GatewayCAIN Gateway maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_SidecarCAIN Sidecar maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_PassportCAIN Passport maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_ProofCAIN Proof maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_VerifyCAIN Verify maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_ConformanceCAIN Conformance maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_TrustCAIN Trust maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_IncidentCAIN Incident maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_TransactionsCAIN Transactions maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_EdgeCAIN Edge maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_ResearchCAIN Research maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_EvolutionCAIN Evolution maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_Governance_CloudCAIN Governance Cloud maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-PRODUCT-CAIN_Proof_ExchangeCAIN Proof Exchange maps to real code or says it is not deployedSupply chain, registry & lifecycleheld
E34-SDK-pythonSDK target python states its real statusTools, MCP, protocols & adaptersheld
E34-SDK-typescriptSDK target typescript states its real statusTools, MCP, protocols & adaptersheld
E34-SDK-goSDK target go states its real statusTools, MCP, protocols & adaptersheld
E34-SDK-restSDK target rest states its real statusTools, MCP, protocols & adaptersheld
E34-SDK-grpcSDK target grpc states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-MCPgateway surface MCP states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-A2Agateway surface A2A states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-cloudgateway surface cloud states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-codegateway surface code states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-databasegateway surface database states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-financialgateway surface financial states its real statusTools, MCP, protocols & adaptersheld
E34-GATEWAY-physicalgateway surface physical states its real statusTools, MCP, protocols & adaptersheld
E34-CLOUD-identitycloud service identity is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-trustcloud service trust is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-policycloud service policy is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-evidencecloud service evidence is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-proofcloud service proof is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-conformancecloud service conformance is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-incidentcloud service incident is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-analyticscloud service analytics is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-learningcloud service learning is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-federationcloud service federation is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-marketplacecloud service marketplace is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CLOUD-researchcloud service research is architecture only (NOT DEPLOYED)Policy, law & governanceheld
E34-CAT-envelopeevery envelope scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-statusevery status scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-receipt_chainevery receipt_chain scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-delegation_proofevery delegation_proof scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-coverageevery coverage scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-conformanceevery conformance scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-certificateevery certificate scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-contractevery contract scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-disclosureevery disclosure scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-federationevery federation scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-edgeevery edge scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-transactionevery transaction scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-computer_useevery computer_use scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-evolutionevery evolution scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-supply_chainevery supply_chain scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-recoveryevery recovery scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-reputationevery reputation scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-governabilityevery governability scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-tenancyevery tenancy scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-handshakeevery handshake scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-interchangeevery interchange scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-immune_v3every immune_v3 scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-failure_to_proofevery failure_to_proof scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-replayevery replay scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-time_machineevery time_machine scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-dataplaneevery dataplane scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-truth_guardevery truth_guard scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-moatevery moat scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-lawevery law scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-primitiveevery primitive scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-enforcementevery enforcement scenario holdsBenchmarks, coverage & performanceheld
E34-CAT-proof_exchangeevery proof_exchange scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-certificate-blanket_refusedevery certificate/blanket_refused scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-certificate-certificate_expiresevery certificate/certificate_expires scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-certificate-field_requiredevery certificate/field_required scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-certificate-scoped_claimevery certificate/scoped_claim scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-computer_use-model_claim_is_not_evidenceevery computer_use/model_claim_is_not_evidence scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-conformance-g7_needs_federationevery conformance/g7_needs_federation scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-conformance-level_ladderevery conformance/level_ladder scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-conformance-level_meaningevery conformance/level_meaning scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-contract-cannot_exceed_grantsevery contract/cannot_exceed_grants scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-contract-contract_expiresevery contract/contract_expires scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-contract-contract_validevery contract/contract_valid scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-contract-limit_requiredevery contract/limit_required scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-coverage-no_universal_claimevery coverage/no_universal_claim scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-coverage-surface_basisevery coverage/surface_basis scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-coverage-uncontrolled_disclosedevery coverage/uncontrolled_disclosed scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-dataplane-event_chain_tamperevery dataplane/event_chain_tamper scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-dataplane-event_kindevery dataplane/event_kind scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-delegation_proof-attenuationevery delegation_proof/attenuation scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-delegation_proof-attenuation_okevery delegation_proof/attenuation_ok scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-delegation_proof-chain_shapeevery delegation_proof/chain_shape scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-delegation_proof-chain_tamperevery delegation_proof/chain_tamper scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-disclosure-hides_undisclosedevery disclosure/hides_undisclosed scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-disclosure-inclusion_proofevery disclosure/inclusion_proof scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-disclosure-root_signatureevery disclosure/root_signature scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-disclosure-tampered_disclosureevery disclosure/tampered_disclosure scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-disclosure-tampered_saltevery disclosure/tampered_salt scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-edge-bundle_rollbackevery edge/bundle_rollback scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-edge-edge_decidesevery edge/edge_decides scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-edge-emergency_revokeevery edge/emergency_revoke scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-edge-partition_no_widenevery edge/partition_no_widen scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-edge-partition_reducesevery edge/partition_reduces scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-enforcement-enforcement_orderevery enforcement/enforcement_order scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-enforcement-enforcement_stageevery enforcement/enforcement_stage scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-bulk_field_fuzzevery envelope/bulk_field_fuzz scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-extra_fieldevery envelope/extra_field scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-field_tamperevery envelope/field_tamper scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-hashevery envelope/hash scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-null_vs_unknownevery envelope/null_vs_unknown scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-required_componentevery envelope/required_component scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-envelope-signatureevery envelope/signature scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-evolution-evolution_proofevery evolution/evolution_proof scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-failure_to_proof-stage_presentevery failure_to_proof/stage_present scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-failure_to_proof-unknown_not_inventedevery failure_to_proof/unknown_not_invented scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-federation-recognized_as_evidenceevery federation/recognized_as_evidence scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-federation-revocation_propagatesevery federation/revocation_propagates scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-federation-untrusted_domainevery federation/untrusted_domain scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-governability-index_multidimensionalevery governability/index_multidimensional scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-handshake-established_no_authorityevery handshake/established_no_authority scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-handshake-unknown_stepevery handshake/unknown_step scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-immune_v3-signal_responseevery immune_v3/signal_response scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-immune_v3-unknown_signalevery immune_v3/unknown_signal scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-interchange-protocol_supportevery interchange/protocol_support scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-law-law_no_authorityevery law/law_no_authority scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-moat-no_market_moatevery moat/no_market_moat scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-primitive-primitive_binds_layerevery primitive/primitive_binds_layer scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-proof_exchange-exchange_verifiesevery proof_exchange/exchange_verifies scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-proof_exchange-proof_not_authorityevery proof_exchange/proof_not_authority scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-receipt_chain-chain_breakevery receipt_chain/chain_break scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-receipt_chain-no_authorityevery receipt_chain/no_authority scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-receipt_chain-receipt_tamperevery receipt_chain/receipt_tamper scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-recovery-incomplete_recoveryevery recovery/incomplete_recovery scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-recovery-recovery_proofevery recovery/recovery_proof scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-replay-replay_diffevery replay/replay_diff scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-replay-replay_sameevery replay/replay_same scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-reputation-reputation_vectorevery reputation/reputation_vector scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-demo_onlyevery status/demo_only scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-expiredevery status/expired scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-no_single_scoreevery status/no_single_score scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-observed_onlyevery status/observed_only scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-simulation_is_not_productionevery status/simulation_is_not_production scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-statusevery status/status scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-status_priorityevery status/status_priority scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-uncontrolled_channelevery status/uncontrolled_channel scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-status-unknown_coreevery status/unknown_core scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-supply_chain-component_kindevery supply_chain/component_kind scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-supply_chain-model_substitutionevery supply_chain/model_substitution scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-supply_chain-unsigned_componentevery supply_chain/unsigned_component scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-tenancy-cross_tenant_deniedevery tenancy/cross_tenant_denied scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-tenancy-isolated_keyevery tenancy/isolated_key scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-tenancy-rbac_deniedevery tenancy/rbac_denied scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-time_machine-known_at_timeevery time_machine/known_at_time scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-transaction-transaction_unitsevery transaction/transaction_units scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-truth_guard-negated_okevery truth_guard/negated_ok scenario holdsBenchmarks, coverage & performanceheld
E34-BENCHFAM-truth_guard-unsupported_claimevery truth_guard/unsupported_claim scenario holdsBenchmarks, coverage & performanceheld
E34-SURFBASIS-mcpsurface mcp carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-a2asurface a2a carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-httpsurface http carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-restsurface rest carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-grpcsurface grpc carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-websocketsurface websocket carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-event_bussurface event_bus carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-clisurface cli carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-shellsurface shell carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-filesystemsurface filesystem carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-browsersurface browser carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-computer_usesurface computer_use carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-databasessurface databases carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-cloud_apissurface cloud_apis carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-credentialssurface credentials carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-secretssurface secrets carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-deploymentsurface deployment carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-ci_cdsurface ci_cd carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-containerssurface containers carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-subagentssurface subagents carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-delegationsurface delegation carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-scheduled_jobssurface scheduled_jobs carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-autonomous_loopssurface autonomous_loops carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-memory_mutationsurface memory_mutation carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-policy_mutationsurface policy_mutation carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-model_replacementsurface model_replacement carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-skill_installationsurface skill_installation carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-plugin_installationsurface plugin_installation carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-capability_acquisitionsurface capability_acquisition carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-financial_transactionssurface financial_transactions carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-machine_contractssurface machine_contracts carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-physical_actuatorssurface physical_actuators carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-vehicle_robot_boundariessurface vehicle_robot_boundaries carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-research_experimentssurface research_experiments carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-self_improvementsurface self_improvement carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-SURFBASIS-code_modificationsurface code_modification carries a stated enforcement basisBenchmarks, coverage & performanceheld
E34-LAW2-E34-L1law E34-L1 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L2law E34-L2 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L3law E34-L3 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L4law E34-L4 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L5law E34-L5 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L6law E34-L6 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L7law E34-L7 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L8law E34-L8 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L9law E34-L9 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L10law E34-L10 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L11law E34-L11 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L12law E34-L12 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L13law E34-L13 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L14law E34-L14 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L15law E34-L15 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L16law E34-L16 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L17law E34-L17 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L18law E34-L18 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L19law E34-L19 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L20law E34-L20 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L21law E34-L21 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L22law E34-L22 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L23law E34-L23 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L24law E34-L24 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L25law E34-L25 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L26law E34-L26 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L27law E34-L27 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L28law E34-L28 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L29law E34-L29 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-LAW2-E34-L30law E34-L30 is mapped to at least one held bench scenarioPolicy, law & governanceheld
E34-PROTOCOL2-mcpprotocol mcp never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-a2aprotocol a2a never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-httpprotocol http never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-restprotocol rest never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-grpcprotocol grpc never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-websocketprotocol websocket never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-event_busprotocol event_bus never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-cliprotocol cli never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-local_ipcprotocol local_ipc never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-cloud_apiprotocol cloud_api never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-browserprotocol browser never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-computer_useprotocol computer_use never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-physicalprotocol physical never carries authority across a domainTools, MCP, protocols & adaptersheld
E34-PROTOCOL2-unknown_transportprotocol unknown_transport never carries authority across a domainTools, MCP, protocols & adaptersheld

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