{ "passed": 629, "rows": [ { "description": "intelligence is not authority", "detail": "{'scenarios': 60, 'not_held': []}", "family": "law", "id": "E34-L1", "ok": true }, { "description": "identity is not authority", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-L2", "ok": true }, { "description": "capability is not authority", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-L3", "ok": true }, { "description": "memory is not authority", "detail": "{'scenarios': 60, 'not_held': []}", "family": "law", "id": "E34-L4", "ok": true }, { "description": "reputation is not authority", "detail": "{'scenarios': 39, 'not_held': []}", "family": "law", "id": "E34-L5", "ok": true }, { "description": "confidence is not authority", "detail": "{'scenarios': 103, 'not_held': []}", "family": "law", "id": "E34-L6", "ok": true }, { "description": "consensus is not authority", "detail": "{'scenarios': 48, 'not_held': []}", "family": "law", "id": "E34-L7", "ok": true }, { "description": "prediction is not authority", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-L8", "ok": true }, { "description": "simulation is not authority", "detail": "{'scenarios': 8, 'not_held': []}", "family": "law", "id": "E34-L9", "ok": true }, { "description": "optimization is not authority", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-L10", "ok": true }, { "description": "reward is not authority", "detail": "{'scenarios': 60, 'not_held': []}", "family": "law", "id": "E34-L11", "ok": true }, { "description": "economic value is not authority", "detail": "{'scenarios': 48, 'not_held': []}", "family": "law", "id": "E34-L12", "ok": true }, { "description": "model size is not authority", "detail": "{'scenarios': 68, 'not_held': []}", "family": "law", "id": "E34-L13", "ok": true }, { "description": "compute is not authority", "detail": "{'scenarios': 68, 'not_held': []}", "family": "law", "id": "E34-L14", "ok": true }, { "description": "self-improvement is not authority", "detail": "{'scenarios': 42, 'not_held': []}", "family": "law", "id": "E34-L15", "ok": true }, { "description": "proof is not authority", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-L16", "ok": true }, { "description": "a valid proof does not create permission", "detail": "{'scenarios': 15, 'not_held': []}", "family": "law", "id": "E34-L17", "ok": true }, { "description": "a governance receipt does not create authority", "detail": "{'scenarios': 12, 'not_held': []}", "family": "law", "id": "E34-L18", "ok": true }, { "description": "a model cannot authorize itself", "detail": "{'scenarios': 16, 'not_held': []}", "family": "law", "id": "E34-L19", "ok": true }, { "description": "an agent cannot authorize itself", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-L20", "ok": true }, { "description": "a child agent cannot grant itself more authority than its parent", "detail": "{'scenarios': 88, 'not_held': []}", "family": "law", "id": "E34-L21", "ok": true }, { "description": "a collective cannot create authority by voting", "detail": "{'scenarios': 48, 'not_held': []}", "family": "law", "id": "E34-L22", "ok": true }, { "description": "a market cannot create authority by price", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-L23", "ok": true }, { "description": "a reputation system cannot create authority", "detail": "{'scenarios': 39, 'not_held': []}", "family": "law", "id": "E34-L24", "ok": true }, { "description": "a revoked authorization cannot resurrect", "detail": "{'scenarios': 12, 'not_held': []}", "family": "law", "id": "E34-L25", "ok": true }, { "description": "unknown never silently becomes allow", "detail": "{'scenarios': 16, 'not_held': []}", "family": "law", "id": "E34-L26", "ok": true }, { "description": "no enforcement, no claim of control", "detail": "{'scenarios': 68, 'not_held': []}", "family": "law", "id": "E34-L27", "ok": true }, { "description": "no E8 commit, no claim of governed execution", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-L28", "ok": true }, { "description": "no evidence, no verified outcome", "detail": "{'scenarios': 8, 'not_held': []}", "family": "law", "id": "E34-L29", "ok": true }, { "description": "no proof, no verified governance", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-L30", "ok": true }, { "description": "the envelope binds proof_id for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-proof_id", "ok": true }, { "description": "the envelope binds proof_version for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-proof_version", "ok": true }, { "description": "the envelope binds action_id for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-action_id", "ok": true }, { "description": "the envelope binds operation_id for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-operation_id", "ok": true }, { "description": "the envelope binds transaction_id for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-transaction_id", "ok": true }, { "description": "the envelope binds agent_identity for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-agent_identity", "ok": true }, { "description": "the envelope binds agent_passport_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-agent_passport_digest", "ok": true }, { "description": "the envelope binds identity_state for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-identity_state", "ok": true }, { "description": "the envelope binds capability_state for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-capability_state", "ok": true }, { "description": "the envelope binds delegation_chain for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-delegation_chain", "ok": true }, { "description": "the envelope binds authority_state for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-authority_state", "ok": true }, { "description": "the envelope binds authority_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-authority_digest", "ok": true }, { "description": "the envelope binds policy_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-policy_digest", "ok": true }, { "description": "the envelope binds policy_version for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-policy_version", "ok": true }, { "description": "the envelope binds context_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-context_digest", "ok": true }, { "description": "the envelope binds evidence_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-evidence_digest", "ok": true }, { "description": "the envelope binds risk_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-risk_digest", "ok": true }, { "description": "the envelope binds decision_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-decision_digest", "ok": true }, { "description": "the envelope binds trajectory_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-trajectory_digest", "ok": true }, { "description": "the envelope binds world_state_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-world_state_digest", "ok": true }, { "description": "the envelope binds model_runtime_identity for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-model_runtime_identity", "ok": true }, { "description": "the envelope binds model_runtime_version for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-model_runtime_version", "ok": true }, { "description": "the envelope binds execution_environment for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-execution_environment", "ok": true }, { "description": "the envelope binds capability_used for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-capability_used", "ok": true }, { "description": "the envelope binds resource_target for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-resource_target", "ok": true }, { "description": "the envelope binds requested_effect for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-requested_effect", "ok": true }, { "description": "the envelope binds authorization_id for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-authorization_id", "ok": true }, { "description": "the envelope binds authorization_scope for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-authorization_scope", "ok": true }, { "description": "the envelope binds authorization_expiry for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-authorization_expiry", "ok": true }, { "description": "the envelope binds authorization_nonce for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-authorization_nonce", "ok": true }, { "description": "the envelope binds e8_commit_id for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-e8_commit_id", "ok": true }, { "description": "the envelope binds enforcement_boundary for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-enforcement_boundary", "ok": true }, { "description": "the envelope binds enforcement_result for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-enforcement_result", "ok": true }, { "description": "the envelope binds execution_result for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-execution_result", "ok": true }, { "description": "the envelope binds outcome_evidence for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-outcome_evidence", "ok": true }, { "description": "the envelope binds revocation_state for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-revocation_state", "ok": true }, { "description": "the envelope binds conformance_state for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-conformance_state", "ok": true }, { "description": "the envelope binds governance_coverage for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-governance_coverage", "ok": true }, { "description": "the envelope binds proof_status for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-proof_status", "ok": true }, { "description": "the envelope binds timestamp for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-timestamp", "ok": true }, { "description": "the envelope binds sequence for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-sequence", "ok": true }, { "description": "the envelope binds previous_proof_hash for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-previous_proof_hash", "ok": true }, { "description": "the envelope binds evidence_references for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-evidence_references", "ok": true }, { "description": "the envelope binds verifier_metadata for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-verifier_metadata", "ok": true }, { "description": "the envelope binds governance_contract_digest for every executed operation", "detail": "3", "family": "envelope", "id": "E34-ENVELOPE-governance_contract_digest", "ok": true }, { "description": "VERIFIED_GOVERNED is a reachable proof status, never a score", "detail": "'VERIFIED_GOVERNED'", "family": "status", "id": "E34-STATUS-VERIFIED_GOVERNED", "ok": true }, { "description": "PARTIALLY_GOVERNED is a reachable proof status, never a score", "detail": "'PARTIALLY_GOVERNED'", "family": "status", "id": "E34-STATUS-PARTIALLY_GOVERNED", "ok": true }, { "description": "ENFORCED_WITH_INCOMPLETE_PROOF is a reachable proof status, never a score", "detail": "'ENFORCED_WITH_INCOMPLETE_PROOF'", "family": "status", "id": "E34-STATUS-ENFORCED_WITH_INCOMPLETE_PROOF", "ok": true }, { "description": "OBSERVED_ONLY is a reachable proof status, never a score", "detail": "'OBSERVED_ONLY'", "family": "status", "id": "E34-STATUS-OBSERVED_ONLY", "ok": true }, { "description": "MONITORED_ONLY is a reachable proof status, never a score", "detail": "'MONITORED_ONLY'", "family": "status", "id": "E34-STATUS-MONITORED_ONLY", "ok": true }, { "description": "SIMULATED is a reachable proof status, never a score", "detail": "'SIMULATED'", "family": "status", "id": "E34-STATUS-SIMULATED", "ok": true }, { "description": "DEMO_ONLY is a reachable proof status, never a score", "detail": "'DEMO_ONLY'", "family": "status", "id": "E34-STATUS-DEMO_ONLY", "ok": true }, { "description": "UNCONTROLLED is a reachable proof status, never a score", "detail": "'UNCONTROLLED'", "family": "status", "id": "E34-STATUS-UNCONTROLLED", "ok": true }, { "description": "UNKNOWN is a reachable proof status, never a score", "detail": "'UNKNOWN'", "family": "status", "id": "E34-STATUS-UNKNOWN", "ok": true }, { "description": "REJECTED is a reachable proof status, never a score", "detail": "'REJECTED'", "family": "status", "id": "E34-STATUS-REJECTED", "ok": true }, { "description": "REVOKED is a reachable proof status, never a score", "detail": "'REVOKED'", "family": "status", "id": "E34-STATUS-REVOKED", "ok": true }, { "description": "EXPIRED is a reachable proof status, never a score", "detail": "'EXPIRED'", "family": "status", "id": "E34-STATUS-EXPIRED", "ok": true }, { "description": "INVALID_PROOF is a reachable proof status, never a score", "detail": "'INVALID_PROOF'", "family": "status", "id": "E34-STATUS-INVALID_PROOF", "ok": true }, { "description": "SUPERSEDED is a reachable proof status, never a score", "detail": "'SUPERSEDED'", "family": "status", "id": "E34-STATUS-SUPERSEDED", "ok": true }, { "description": "the proof-carrying action chain includes INTENT", "detail": "'INTENT'", "family": "proof_carrying_action", "id": "E34-PCA-INTENT", "ok": true }, { "description": "the proof-carrying action chain includes IDENTITY", "detail": "'IDENTITY'", "family": "proof_carrying_action", "id": "E34-PCA-IDENTITY", "ok": true }, { "description": "the proof-carrying action chain includes CAPABILITY", "detail": "'CAPABILITY'", "family": "proof_carrying_action", "id": "E34-PCA-CAPABILITY", "ok": true }, { "description": "the proof-carrying action chain includes DELEGATION", "detail": "'DELEGATION'", "family": "proof_carrying_action", "id": "E34-PCA-DELEGATION", "ok": true }, { "description": "the proof-carrying action chain includes AUTHORITY", "detail": "'AUTHORITY'", "family": "proof_carrying_action", "id": "E34-PCA-AUTHORITY", "ok": true }, { "description": "the proof-carrying action chain includes POLICY", "detail": "'POLICY'", "family": "proof_carrying_action", "id": "E34-PCA-POLICY", "ok": true }, { "description": "the proof-carrying action chain includes CONTEXT", "detail": "'CONTEXT'", "family": "proof_carrying_action", "id": "E34-PCA-CONTEXT", "ok": true }, { "description": "the proof-carrying action chain includes EVIDENCE", "detail": "'EVIDENCE'", "family": "proof_carrying_action", "id": "E34-PCA-EVIDENCE", "ok": true }, { "description": "the proof-carrying action chain includes RISK", "detail": "'RISK'", "family": "proof_carrying_action", "id": "E34-PCA-RISK", "ok": true }, { "description": "the proof-carrying action chain includes DECISION", "detail": "'DECISION'", "family": "proof_carrying_action", "id": "E34-PCA-DECISION", "ok": true }, { "description": "the proof-carrying action chain includes AUTHORIZATION", "detail": "'AUTHORIZATION'", "family": "proof_carrying_action", "id": "E34-PCA-AUTHORIZATION", "ok": true }, { "description": "the proof-carrying action chain includes E8_COMMIT", "detail": "'E8_COMMIT'", "family": "proof_carrying_action", "id": "E34-PCA-E8_COMMIT", "ok": true }, { "description": "the proof-carrying action chain includes ENFORCEMENT", "detail": "'ENFORCEMENT'", "family": "proof_carrying_action", "id": "E34-PCA-ENFORCEMENT", "ok": true }, { "description": "the proof-carrying action chain includes EXECUTION", "detail": "'EXECUTION'", "family": "proof_carrying_action", "id": "E34-PCA-EXECUTION", "ok": true }, { "description": "the proof-carrying action chain includes OUTCOME", "detail": "'OUTCOME'", "family": "proof_carrying_action", "id": "E34-PCA-OUTCOME", "ok": true }, { "description": "the proof-carrying action chain includes PROOF", "detail": "'PROOF'", "family": "proof_carrying_action", "id": "E34-PCA-PROOF", "ok": true }, { "description": "enforcement distinguishes DECISION_MADE", "detail": "'DECISION_MADE'", "family": "enforcement_proof", "id": "E34-ENFORCE-DECISION_MADE", "ok": true }, { "description": "enforcement distinguishes AUTHORIZATION_ISSUED", "detail": "'AUTHORIZATION_ISSUED'", "family": "enforcement_proof", "id": "E34-ENFORCE-AUTHORIZATION_ISSUED", "ok": true }, { "description": "enforcement distinguishes ACTION_COMMITTED", "detail": "'ACTION_COMMITTED'", "family": "enforcement_proof", "id": "E34-ENFORCE-ACTION_COMMITTED", "ok": true }, { "description": "enforcement distinguishes ACTION_ENFORCED", "detail": "'ACTION_ENFORCED'", "family": "enforcement_proof", "id": "E34-ENFORCE-ACTION_ENFORCED", "ok": true }, { "description": "enforcement distinguishes ACTION_EXECUTED", "detail": "'ACTION_EXECUTED'", "family": "enforcement_proof", "id": "E34-ENFORCE-ACTION_EXECUTED", "ok": true }, { "description": "enforcement distinguishes OUTCOME_OBSERVED", "detail": "'OUTCOME_OBSERVED'", "family": "enforcement_proof", "id": "E34-ENFORCE-OUTCOME_OBSERVED", "ok": true }, { "description": "the identity proof primitive exists and binds fields", "detail": "'identity'", "family": "primitive", "id": "E34-PRIM-identity", "ok": true }, { "description": "the capability proof primitive exists and binds fields", "detail": "'capability'", "family": "primitive", "id": "E34-PRIM-capability", "ok": true }, { "description": "the delegation proof primitive exists and binds fields", "detail": "'delegation'", "family": "primitive", "id": "E34-PRIM-delegation", "ok": true }, { "description": "the authority proof primitive exists and binds fields", "detail": "'authority'", "family": "primitive", "id": "E34-PRIM-authority", "ok": true }, { "description": "the policy proof primitive exists and binds fields", "detail": "'policy'", "family": "primitive", "id": "E34-PRIM-policy", "ok": true }, { "description": "the risk proof primitive exists and binds fields", "detail": "'risk'", "family": "primitive", "id": "E34-PRIM-risk", "ok": true }, { "description": "the evidence proof primitive exists and binds fields", "detail": "'evidence'", "family": "primitive", "id": "E34-PRIM-evidence", "ok": true }, { "description": "the decision proof primitive exists and binds fields", "detail": "'decision'", "family": "primitive", "id": "E34-PRIM-decision", "ok": true }, { "description": "the commit proof primitive exists and binds fields", "detail": "'commit'", "family": "primitive", "id": "E34-PRIM-commit", "ok": true }, { "description": "the enforcement proof primitive exists and binds fields", "detail": "'enforcement'", "family": "primitive", "id": "E34-PRIM-enforcement", "ok": true }, { "description": "the outcome proof primitive exists and binds fields", "detail": "'outcome'", "family": "primitive", "id": "E34-PRIM-outcome", "ok": true }, { "description": "coverage class ENFORCED exists and is never auto-universal", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-COVCLASS-ENFORCED", "ok": true }, { "description": "coverage class MONITORED exists and is never auto-universal", "detail": "'MONITORED'", "family": "coverage", "id": "E34-COVCLASS-MONITORED", "ok": true }, { "description": "coverage class OBSERVED exists and is never auto-universal", "detail": "'OBSERVED'", "family": "coverage", "id": "E34-COVCLASS-OBSERVED", "ok": true }, { "description": "coverage class PARTIALLY_ENFORCED exists and is never auto-universal", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-COVCLASS-PARTIALLY_ENFORCED", "ok": true }, { "description": "coverage class BYPASSABLE exists and is never auto-universal", "detail": "'BYPASSABLE'", "family": "coverage", "id": "E34-COVCLASS-BYPASSABLE", "ok": true }, { "description": "coverage class UNCONTROLLED exists and is never auto-universal", "detail": "'UNCONTROLLED'", "family": "coverage", "id": "E34-COVCLASS-UNCONTROLLED", "ok": true }, { "description": "coverage class UNKNOWN exists and is never auto-universal", "detail": "'UNKNOWN'", "family": "coverage", "id": "E34-COVCLASS-UNKNOWN", "ok": true }, { "description": "surface mcp states its real class and basis", "detail": "'mcp'", "family": "coverage", "id": "E34-SURFACE-mcp", "ok": true }, { "description": "surface a2a states its real class and basis", "detail": "'a2a'", "family": "coverage", "id": "E34-SURFACE-a2a", "ok": true }, { "description": "surface http states its real class and basis", "detail": "'http'", "family": "coverage", "id": "E34-SURFACE-http", "ok": true }, { "description": "surface rest states its real class and basis", "detail": "'rest'", "family": "coverage", "id": "E34-SURFACE-rest", "ok": true }, { "description": "surface grpc states its real class and basis", "detail": "'grpc'", "family": "coverage", "id": "E34-SURFACE-grpc", "ok": true }, { "description": "surface websocket states its real class and basis", "detail": "'websocket'", "family": "coverage", "id": "E34-SURFACE-websocket", "ok": true }, { "description": "surface event_bus states its real class and basis", "detail": "'event_bus'", "family": "coverage", "id": "E34-SURFACE-event_bus", "ok": true }, { "description": "surface cli states its real class and basis", "detail": "'cli'", "family": "coverage", "id": "E34-SURFACE-cli", "ok": true }, { "description": "surface shell states its real class and basis", "detail": "'shell'", "family": "coverage", "id": "E34-SURFACE-shell", "ok": true }, { "description": "surface filesystem states its real class and basis", "detail": "'filesystem'", "family": "coverage", "id": "E34-SURFACE-filesystem", "ok": true }, { "description": "surface browser states its real class and basis", "detail": "'browser'", "family": "coverage", "id": "E34-SURFACE-browser", "ok": true }, { "description": "surface computer_use states its real class and basis", "detail": "'computer_use'", "family": "coverage", "id": "E34-SURFACE-computer_use", "ok": true }, { "description": "surface databases states its real class and basis", "detail": "'databases'", "family": "coverage", "id": "E34-SURFACE-databases", "ok": true }, { "description": "surface cloud_apis states its real class and basis", "detail": "'cloud_apis'", "family": "coverage", "id": "E34-SURFACE-cloud_apis", "ok": true }, { "description": "surface credentials states its real class and basis", "detail": "'credentials'", "family": "coverage", "id": "E34-SURFACE-credentials", "ok": true }, { "description": "surface secrets states its real class and basis", "detail": "'secrets'", "family": "coverage", "id": "E34-SURFACE-secrets", "ok": true }, { "description": "surface deployment states its real class and basis", "detail": "'deployment'", "family": "coverage", "id": "E34-SURFACE-deployment", "ok": true }, { "description": "surface ci_cd states its real class and basis", "detail": "'ci_cd'", "family": "coverage", "id": "E34-SURFACE-ci_cd", "ok": true }, { "description": "surface containers states its real class and basis", "detail": "'containers'", "family": "coverage", "id": "E34-SURFACE-containers", "ok": true }, { "description": "surface subagents states its real class and basis", "detail": "'subagents'", "family": "coverage", "id": "E34-SURFACE-subagents", "ok": true }, { "description": "surface delegation states its real class and basis", "detail": "'delegation'", "family": "coverage", "id": "E34-SURFACE-delegation", "ok": true }, { "description": "surface scheduled_jobs states its real class and basis", "detail": "'scheduled_jobs'", "family": "coverage", "id": "E34-SURFACE-scheduled_jobs", "ok": true }, { "description": "surface autonomous_loops states its real class and basis", "detail": "'autonomous_loops'", "family": "coverage", "id": "E34-SURFACE-autonomous_loops", "ok": true }, { "description": "surface memory_mutation states its real class and basis", "detail": "'memory_mutation'", "family": "coverage", "id": "E34-SURFACE-memory_mutation", "ok": true }, { "description": "surface policy_mutation states its real class and basis", "detail": "'policy_mutation'", "family": "coverage", "id": "E34-SURFACE-policy_mutation", "ok": true }, { "description": "surface model_replacement states its real class and basis", "detail": "'model_replacement'", "family": "coverage", "id": "E34-SURFACE-model_replacement", "ok": true }, { "description": "surface skill_installation states its real class and basis", "detail": "'skill_installation'", "family": "coverage", "id": "E34-SURFACE-skill_installation", "ok": true }, { "description": "surface plugin_installation states its real class and basis", "detail": "'plugin_installation'", "family": "coverage", "id": "E34-SURFACE-plugin_installation", "ok": true }, { "description": "surface capability_acquisition states its real class and basis", "detail": "'capability_acquisition'", "family": "coverage", "id": "E34-SURFACE-capability_acquisition", "ok": true }, { "description": "surface financial_transactions states its real class and basis", "detail": "'financial_transactions'", "family": "coverage", "id": "E34-SURFACE-financial_transactions", "ok": true }, { "description": "surface machine_contracts states its real class and basis", "detail": "'machine_contracts'", "family": "coverage", "id": "E34-SURFACE-machine_contracts", "ok": true }, { "description": "surface physical_actuators states its real class and basis", "detail": "'physical_actuators'", "family": "coverage", "id": "E34-SURFACE-physical_actuators", "ok": true }, { "description": "surface vehicle_robot_boundaries states its real class and basis", "detail": "'vehicle_robot_boundaries'", "family": "coverage", "id": "E34-SURFACE-vehicle_robot_boundaries", "ok": true }, { "description": "surface research_experiments states its real class and basis", "detail": "'research_experiments'", "family": "coverage", "id": "E34-SURFACE-research_experiments", "ok": true }, { "description": "surface self_improvement states its real class and basis", "detail": "'self_improvement'", "family": "coverage", "id": "E34-SURFACE-self_improvement", "ok": true }, { "description": "surface code_modification states its real class and basis", "detail": "'code_modification'", "family": "coverage", "id": "E34-SURFACE-code_modification", "ok": true }, { "description": "profile agent is defined", "detail": "'agent'", "family": "conformance", "id": "E34-PROFILE-agent", "ok": true }, { "description": "profile model_runtime is defined", "detail": "'model_runtime'", "family": "conformance", "id": "E34-PROFILE-model_runtime", "ok": true }, { "description": "profile tool is defined", "detail": "'tool'", "family": "conformance", "id": "E34-PROFILE-tool", "ok": true }, { "description": "profile mcp_server is defined", "detail": "'mcp_server'", "family": "conformance", "id": "E34-PROFILE-mcp_server", "ok": true }, { "description": "profile a2a_agent is defined", "detail": "'a2a_agent'", "family": "conformance", "id": "E34-PROFILE-a2a_agent", "ok": true }, { "description": "profile gateway is defined", "detail": "'gateway'", "family": "conformance", "id": "E34-PROFILE-gateway", "ok": true }, { "description": "profile sidecar is defined", "detail": "'sidecar'", "family": "conformance", "id": "E34-PROFILE-sidecar", "ok": true }, { "description": "profile organization is defined", "detail": "'organization'", "family": "conformance", "id": "E34-PROFILE-organization", "ok": true }, { "description": "profile transaction is defined", "detail": "'transaction'", "family": "conformance", "id": "E34-PROFILE-transaction", "ok": true }, { "description": "profile physical_system is defined", "detail": "'physical_system'", "family": "conformance", "id": "E34-PROFILE-physical_system", "ok": true }, { "description": "profile computer_use_runtime is defined", "detail": "'computer_use_runtime'", "family": "conformance", "id": "E34-PROFILE-computer_use_runtime", "ok": true }, { "description": "profile research_agent is defined", "detail": "'research_agent'", "family": "conformance", "id": "E34-PROFILE-research_agent", "ok": true }, { "description": "profile self_improving_agent is defined", "detail": "'self_improving_agent'", "family": "conformance", "id": "E34-PROFILE-self_improving_agent", "ok": true }, { "description": "level G0 means UNKNOWN", "detail": "'UNKNOWN'", "family": "conformance", "id": "E34-LEVEL-G0", "ok": true }, { "description": "level G1 means OBSERVED", "detail": "'OBSERVED'", "family": "conformance", "id": "E34-LEVEL-G1", "ok": true }, { "description": "level G2 means IDENTIFIED", "detail": "'IDENTIFIED'", "family": "conformance", "id": "E34-LEVEL-G2", "ok": true }, { "description": "level G3 means AUTHORIZED", "detail": "'AUTHORIZED'", "family": "conformance", "id": "E34-LEVEL-G3", "ok": true }, { "description": "level G4 means ENFORCED", "detail": "'ENFORCED'", "family": "conformance", "id": "E34-LEVEL-G4", "ok": true }, { "description": "level G5 means PROOF-CARRYING", "detail": "'PROOF-CARRYING'", "family": "conformance", "id": "E34-LEVEL-G5", "ok": true }, { "description": "level G6 means INDEPENDENTLY VERIFIABLE", "detail": "'INDEPENDENTLY VERIFIABLE'", "family": "conformance", "id": "E34-LEVEL-G6", "ok": true }, { "description": "level G7 means FEDERATED GOVERNANCE", "detail": "'FEDERATED GOVERNANCE'", "family": "conformance", "id": "E34-LEVEL-G7", "ok": true }, { "description": "a governability certificate without subject is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:subject'", "family": "certificate", "id": "E34-CERTFIELD-subject", "ok": true }, { "description": "a governability certificate without identity is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:identity'", "family": "certificate", "id": "E34-CERTFIELD-identity", "ok": true }, { "description": "a governability certificate without version is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:version'", "family": "certificate", "id": "E34-CERTFIELD-version", "ok": true }, { "description": "a governability certificate without protocols is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:protocols'", "family": "certificate", "id": "E34-CERTFIELD-protocols", "ok": true }, { "description": "a governability certificate without governance_profile is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:governance_profile'", "family": "certificate", "id": "E34-CERTFIELD-governance_profile", "ok": true }, { "description": "a governability certificate without proof_profile is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:proof_profile'", "family": "certificate", "id": "E34-CERTFIELD-proof_profile", "ok": true }, { "description": "a governability certificate without evidence_root is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:evidence_root'", "family": "certificate", "id": "E34-CERTFIELD-evidence_root", "ok": true }, { "description": "a governability certificate without verifier_version is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:verifier_version'", "family": "certificate", "id": "E34-CERTFIELD-verifier_version", "ok": true }, { "description": "a governability certificate without test_suite_version is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:test_suite_version'", "family": "certificate", "id": "E34-CERTFIELD-test_suite_version", "ok": true }, { "description": "a governability certificate without conformance_level is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:conformance_level'", "family": "certificate", "id": "E34-CERTFIELD-conformance_level", "ok": true }, { "description": "a governability certificate without expiration is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:expiration'", "family": "certificate", "id": "E34-CERTFIELD-expiration", "ok": true }, { "description": "a governability certificate without revocation_endpoint is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:revocation_endpoint'", "family": "certificate", "id": "E34-CERTFIELD-revocation_endpoint", "ok": true }, { "description": "a governability certificate without limitations is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:limitations'", "family": "certificate", "id": "E34-CERTFIELD-limitations", "ok": true }, { "description": "a governability certificate without unknown_fields is refused", "detail": "'ProofAgencyError:CERT_FIELD_MISSING:unknown_fields'", "family": "certificate", "id": "E34-CERTFIELD-unknown_fields", "ok": true }, { "description": "certificate claim identity_verified is in scope", "detail": "'identity_verified'", "family": "certificate", "id": "E34-CERTCLAIM-identity_verified", "ok": true }, { "description": "certificate claim authorization_verified is in scope", "detail": "'authorization_verified'", "family": "certificate", "id": "E34-CERTCLAIM-authorization_verified", "ok": true }, { "description": "certificate claim execution_boundary_verified is in scope", "detail": "'execution_boundary_verified'", "family": "certificate", "id": "E34-CERTCLAIM-execution_boundary_verified", "ok": true }, { "description": "certificate claim proof_generated is in scope", "detail": "'proof_generated'", "family": "certificate", "id": "E34-CERTCLAIM-proof_generated", "ok": true }, { "description": "certificate claim evidence_verified is in scope", "detail": "'evidence_verified'", "family": "certificate", "id": "E34-CERTCLAIM-evidence_verified", "ok": true }, { "description": "certificate claim conformance_passed is in scope", "detail": "'conformance_passed'", "family": "certificate", "id": "E34-CERTCLAIM-conformance_passed", "ok": true }, { "description": "certificate claim revocation_tested is in scope", "detail": "'revocation_tested'", "family": "certificate", "id": "E34-CERTCLAIM-revocation_tested", "ok": true }, { "description": "certificate claim recovery_tested is in scope", "detail": "'recovery_tested'", "family": "certificate", "id": "E34-CERTCLAIM-recovery_tested", "ok": true }, { "description": "certificate claim protocol_adapter_tested is in scope", "detail": "'protocol_adapter_tested'", "family": "certificate", "id": "E34-CERTCLAIM-protocol_adapter_tested", "ok": true }, { "description": "a contract limit scope is required", "detail": "'scope'", "family": "contract", "id": "E34-CONTRACTLIM-scope", "ok": true }, { "description": "a contract limit time is required", "detail": "'time'", "family": "contract", "id": "E34-CONTRACTLIM-time", "ok": true }, { "description": "a contract limit budget is required", "detail": "'budget'", "family": "contract", "id": "E34-CONTRACTLIM-budget", "ok": true }, { "description": "a contract limit capability is required", "detail": "'capability'", "family": "contract", "id": "E34-CONTRACTLIM-capability", "ok": true }, { "description": "a contract limit geographic is required", "detail": "'geographic'", "family": "contract", "id": "E34-CONTRACTLIM-geographic", "ok": true }, { "description": "a contract limit organizational is required", "detail": "'organizational'", "family": "contract", "id": "E34-CONTRACTLIM-organizational", "ok": true }, { "description": "a contract limit resource is required", "detail": "'resource'", "family": "contract", "id": "E34-CONTRACTLIM-resource", "ok": true }, { "description": "a contract limit transaction is required", "detail": "'transaction'", "family": "contract", "id": "E34-CONTRACTLIM-transaction", "ok": true }, { "description": "a contract limit trajectory is required", "detail": "'trajectory'", "family": "contract", "id": "E34-CONTRACTLIM-trajectory", "ok": true }, { "description": "a contract limit model_runtime is required", "detail": "'model_runtime'", "family": "contract", "id": "E34-CONTRACTLIM-model_runtime", "ok": true }, { "description": "a contract limit evidence is required", "detail": "'evidence'", "family": "contract", "id": "E34-CONTRACTLIM-evidence", "ok": true }, { "description": "a contract limit human_approval is required", "detail": "'human_approval'", "family": "contract", "id": "E34-CONTRACTLIM-human_approval", "ok": true }, { "description": "a contract limit multi_party_approval is required", "detail": "'multi_party_approval'", "family": "contract", "id": "E34-CONTRACTLIM-multi_party_approval", "ok": true }, { "description": "contract lifecycle includes DISCOVER", "detail": "'DISCOVER'", "family": "contract", "id": "E34-CONTRACTSTAGE-DISCOVER", "ok": true }, { "description": "contract lifecycle includes IDENTIFY", "detail": "'IDENTIFY'", "family": "contract", "id": "E34-CONTRACTSTAGE-IDENTIFY", "ok": true }, { "description": "contract lifecycle includes ATTEST", "detail": "'ATTEST'", "family": "contract", "id": "E34-CONTRACTSTAGE-ATTEST", "ok": true }, { "description": "contract lifecycle includes NEGOTIATE", "detail": "'NEGOTIATE'", "family": "contract", "id": "E34-CONTRACTSTAGE-NEGOTIATE", "ok": true }, { "description": "contract lifecycle includes CONSTRAIN", "detail": "'CONSTRAIN'", "family": "contract", "id": "E34-CONTRACTSTAGE-CONSTRAIN", "ok": true }, { "description": "contract lifecycle includes AUTHORIZE", "detail": "'AUTHORIZE'", "family": "contract", "id": "E34-CONTRACTSTAGE-AUTHORIZE", "ok": true }, { "description": "contract lifecycle includes EXECUTE", "detail": "'EXECUTE'", "family": "contract", "id": "E34-CONTRACTSTAGE-EXECUTE", "ok": true }, { "description": "contract lifecycle includes PROVE", "detail": "'PROVE'", "family": "contract", "id": "E34-CONTRACTSTAGE-PROVE", "ok": true }, { "description": "contract lifecycle includes VERIFY", "detail": "'VERIFY'", "family": "contract", "id": "E34-CONTRACTSTAGE-VERIFY", "ok": true }, { "description": "contract lifecycle includes SETTLE", "detail": "'SETTLE'", "family": "contract", "id": "E34-CONTRACTSTAGE-SETTLE", "ok": true }, { "description": "contract lifecycle includes REASSESS", "detail": "'REASSESS'", "family": "contract", "id": "E34-CONTRACTSTAGE-REASSESS", "ok": true }, { "description": "contract lifecycle includes RENEW_OR_REVOKE", "detail": "'RENEW_OR_REVOKE'", "family": "contract", "id": "E34-CONTRACTSTAGE-RENEW_OR_REVOKE", "ok": true }, { "description": "a governability manifest needs identity", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:identity'", "family": "governability", "id": "E34-MANIFEST-identity", "ok": true }, { "description": "a governability manifest needs runtime", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:runtime'", "family": "governability", "id": "E34-MANIFEST-runtime", "ok": true }, { "description": "a governability manifest needs model", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:model'", "family": "governability", "id": "E34-MANIFEST-model", "ok": true }, { "description": "a governability manifest needs capabilities", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:capabilities'", "family": "governability", "id": "E34-MANIFEST-capabilities", "ok": true }, { "description": "a governability manifest needs protocols", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:protocols'", "family": "governability", "id": "E34-MANIFEST-protocols", "ok": true }, { "description": "a governability manifest needs governance_boundaries", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:governance_boundaries'", "family": "governability", "id": "E34-MANIFEST-governance_boundaries", "ok": true }, { "description": "a governability manifest needs enforcement_paths", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:enforcement_paths'", "family": "governability", "id": "E34-MANIFEST-enforcement_paths", "ok": true }, { "description": "a governability manifest needs evidence_capabilities", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:evidence_capabilities'", "family": "governability", "id": "E34-MANIFEST-evidence_capabilities", "ok": true }, { "description": "a governability manifest needs proof_capabilities", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:proof_capabilities'", "family": "governability", "id": "E34-MANIFEST-proof_capabilities", "ok": true }, { "description": "a governability manifest needs policy_capabilities", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:policy_capabilities'", "family": "governability", "id": "E34-MANIFEST-policy_capabilities", "ok": true }, { "description": "a governability manifest needs delegation_rules", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:delegation_rules'", "family": "governability", "id": "E34-MANIFEST-delegation_rules", "ok": true }, { "description": "a governability manifest needs revocation", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:revocation'", "family": "governability", "id": "E34-MANIFEST-revocation", "ok": true }, { "description": "a governability manifest needs limitations", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:limitations'", "family": "governability", "id": "E34-MANIFEST-limitations", "ok": true }, { "description": "a governability manifest needs unknown_states", "detail": "'ProofAgencyError:MANIFEST_FIELD_MISSING:unknown_states'", "family": "governability", "id": "E34-MANIFEST-unknown_states", "ok": true }, { "description": "protocol mcp is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-mcp", "ok": true }, { "description": "protocol a2a is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-a2a", "ok": true }, { "description": "protocol http is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-http", "ok": true }, { "description": "protocol rest is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-rest", "ok": true }, { "description": "protocol grpc is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-grpc", "ok": true }, { "description": "protocol websocket is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-websocket", "ok": true }, { "description": "protocol event_bus is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-event_bus", "ok": true }, { "description": "protocol cli is classified SUPPORTED with a basis", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-cli", "ok": true }, { "description": "protocol local_ipc is classified PARTIALLY_SUPPORTED with a basis", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-local_ipc", "ok": true }, { "description": "protocol cloud_api is classified PARTIALLY_SUPPORTED with a basis", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-cloud_api", "ok": true }, { "description": "protocol browser is classified PARTIALLY_SUPPORTED with a basis", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-browser", "ok": true }, { "description": "protocol computer_use is classified PARTIALLY_SUPPORTED with a basis", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-computer_use", "ok": true }, { "description": "protocol physical is classified UNSUPPORTED with a basis", "detail": "'UNSUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL-physical", "ok": true }, { "description": "protocol unknown_transport is classified UNKNOWN with a basis", "detail": "'UNKNOWN'", "family": "interchange", "id": "E34-PROTOCOL-unknown_transport", "ok": true }, { "description": "handshake step IDENTITY is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'IDENTITY'", "family": "handshake", "id": "E34-HANDSHAKE-IDENTITY", "ok": true }, { "description": "handshake step CAPABILITY is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'CAPABILITY'", "family": "handshake", "id": "E34-HANDSHAKE-CAPABILITY", "ok": true }, { "description": "handshake step DELEGATION is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'DELEGATION'", "family": "handshake", "id": "E34-HANDSHAKE-DELEGATION", "ok": true }, { "description": "handshake step AUTHORITY is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'AUTHORITY'", "family": "handshake", "id": "E34-HANDSHAKE-AUTHORITY", "ok": true }, { "description": "handshake step POLICY is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'POLICY'", "family": "handshake", "id": "E34-HANDSHAKE-POLICY", "ok": true }, { "description": "handshake step EVIDENCE is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'EVIDENCE'", "family": "handshake", "id": "E34-HANDSHAKE-EVIDENCE", "ok": true }, { "description": "handshake step ENFORCEMENT is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'ENFORCEMENT'", "family": "handshake", "id": "E34-HANDSHAKE-ENFORCEMENT", "ok": true }, { "description": "handshake step PROOF is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'PROOF'", "family": "handshake", "id": "E34-HANDSHAKE-PROOF", "ok": true }, { "description": "handshake step REVOCATION is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'REVOCATION'", "family": "handshake", "id": "E34-HANDSHAKE-REVOCATION", "ok": true }, { "description": "handshake step RECOVERY is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'RECOVERY'", "family": "handshake", "id": "E34-HANDSHAKE-RECOVERY", "ok": true }, { "description": "handshake step CONFORMANCE is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'CONFORMANCE'", "family": "handshake", "id": "E34-HANDSHAKE-CONFORMANCE", "ok": true }, { "description": "handshake step ECONOMY is required; unknown yields GOVERNANCE_UNKNOWN", "detail": "'ECONOMY'", "family": "handshake", "id": "E34-HANDSHAKE-ECONOMY", "ok": true }, { "description": "the immune system detects proof_forgery", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-proof_forgery", "ok": true }, { "description": "the immune system detects proof_chain_discontinuity", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-proof_chain_discontinuity", "ok": true }, { "description": "the immune system detects authority_laundering", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-authority_laundering", "ok": true }, { "description": "the immune system detects capability_laundering", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-capability_laundering", "ok": true }, { "description": "the immune system detects identity_cloning", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-identity_cloning", "ok": true }, { "description": "the immune system detects delegation_amplification", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-delegation_amplification", "ok": true }, { "description": "the immune system detects governance_bypass", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-governance_bypass", "ok": true }, { "description": "the immune system detects collective_compromise", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-collective_compromise", "ok": true }, { "description": "the immune system detects transaction_fraud", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-transaction_fraud", "ok": true }, { "description": "the immune system detects economic_manipulation", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-economic_manipulation", "ok": true }, { "description": "the immune system detects model_substitution", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-model_substitution", "ok": true }, { "description": "the immune system detects runtime_substitution", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-runtime_substitution", "ok": true }, { "description": "the immune system detects policy_poisoning", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-policy_poisoning", "ok": true }, { "description": "the immune system detects memory_poisoning", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-memory_poisoning", "ok": true }, { "description": "the immune system detects verifier_compromise", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-verifier_compromise", "ok": true }, { "description": "the immune system detects repeated_denial_pattern", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-repeated_denial_pattern", "ok": true }, { "description": "the immune system detects certificate_forgery", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-certificate_forgery", "ok": true }, { "description": "the immune system detects conformance_gaming", "detail": "{'scenarios': 5, 'not_held': []}", "family": "immune_v3", "id": "E34-IMMUNESIG-conformance_gaming", "ok": true }, { "description": "immune step DETECT is part of the response", "detail": "'DETECT'", "family": "immune_v3", "id": "E34-IMMUNESTEP-DETECT", "ok": true }, { "description": "immune step CLASSIFY is part of the response", "detail": "'CLASSIFY'", "family": "immune_v3", "id": "E34-IMMUNESTEP-CLASSIFY", "ok": true }, { "description": "immune step CONTAIN is part of the response", "detail": "'CONTAIN'", "family": "immune_v3", "id": "E34-IMMUNESTEP-CONTAIN", "ok": true }, { "description": "immune step REVOKE is part of the response", "detail": "'REVOKE'", "family": "immune_v3", "id": "E34-IMMUNESTEP-REVOKE", "ok": true }, { "description": "immune step QUARANTINE is part of the response", "detail": "'QUARANTINE'", "family": "immune_v3", "id": "E34-IMMUNESTEP-QUARANTINE", "ok": true }, { "description": "immune step PRESERVE_EVIDENCE is part of the response", "detail": "'PRESERVE_EVIDENCE'", "family": "immune_v3", "id": "E34-IMMUNESTEP-PRESERVE_EVIDENCE", "ok": true }, { "description": "immune step RECOVER is part of the response", "detail": "'RECOVER'", "family": "immune_v3", "id": "E34-IMMUNESTEP-RECOVER", "ok": true }, { "description": "immune step LEARN is part of the response", "detail": "'LEARN'", "family": "immune_v3", "id": "E34-IMMUNESTEP-LEARN", "ok": true }, { "description": "immune step GENERATE_TEST is part of the response", "detail": "'GENERATE_TEST'", "family": "immune_v3", "id": "E34-IMMUNESTEP-GENERATE_TEST", "ok": true }, { "description": "immune step HARDEN is part of the response", "detail": "'HARDEN'", "family": "immune_v3", "id": "E34-IMMUNESTEP-HARDEN", "ok": true }, { "description": "immune step VERIFY is part of the response", "detail": "'VERIFY'", "family": "immune_v3", "id": "E34-IMMUNESTEP-VERIFY", "ok": true }, { "description": "failure-to-proof stage INCIDENT exists", "detail": "'INCIDENT'", "family": "failure_to_proof", "id": "E34-F2P-INCIDENT", "ok": true }, { "description": "failure-to-proof stage ROOT_CAUSE exists", "detail": "'ROOT_CAUSE'", "family": "failure_to_proof", "id": "E34-F2P-ROOT_CAUSE", "ok": true }, { "description": "failure-to-proof stage NEW_INVARIANT exists", "detail": "'NEW_INVARIANT'", "family": "failure_to_proof", "id": "E34-F2P-NEW_INVARIANT", "ok": true }, { "description": "failure-to-proof stage NEW_ATTACK exists", "detail": "'NEW_ATTACK'", "family": "failure_to_proof", "id": "E34-F2P-NEW_ATTACK", "ok": true }, { "description": "failure-to-proof stage NEW_TEST exists", "detail": "'NEW_TEST'", "family": "failure_to_proof", "id": "E34-F2P-NEW_TEST", "ok": true }, { "description": "failure-to-proof stage NEW_VERIFIER_CHECK exists", "detail": "'NEW_VERIFIER_CHECK'", "family": "failure_to_proof", "id": "E34-F2P-NEW_VERIFIER_CHECK", "ok": true }, { "description": "failure-to-proof stage NEW_EVIDENCE exists", "detail": "'NEW_EVIDENCE'", "family": "failure_to_proof", "id": "E34-F2P-NEW_EVIDENCE", "ok": true }, { "description": "failure-to-proof stage NEW_PRODUCT_CONTROL exists", "detail": "'NEW_PRODUCT_CONTROL'", "family": "failure_to_proof", "id": "E34-F2P-NEW_PRODUCT_CONTROL", "ok": true }, { "description": "data-plane kind identity is chained", "detail": "'identity'", "family": "dataplane", "id": "E34-DP-identity", "ok": true }, { "description": "data-plane kind capability is chained", "detail": "'capability'", "family": "dataplane", "id": "E34-DP-capability", "ok": true }, { "description": "data-plane kind authority is chained", "detail": "'authority'", "family": "dataplane", "id": "E34-DP-authority", "ok": true }, { "description": "data-plane kind policy is chained", "detail": "'policy'", "family": "dataplane", "id": "E34-DP-policy", "ok": true }, { "description": "data-plane kind action is chained", "detail": "'action'", "family": "dataplane", "id": "E34-DP-action", "ok": true }, { "description": "data-plane kind decision is chained", "detail": "'decision'", "family": "dataplane", "id": "E34-DP-decision", "ok": true }, { "description": "data-plane kind authorization is chained", "detail": "'authorization'", "family": "dataplane", "id": "E34-DP-authorization", "ok": true }, { "description": "data-plane kind execution is chained", "detail": "'execution'", "family": "dataplane", "id": "E34-DP-execution", "ok": true }, { "description": "data-plane kind outcome is chained", "detail": "'outcome'", "family": "dataplane", "id": "E34-DP-outcome", "ok": true }, { "description": "data-plane kind incident is chained", "detail": "'incident'", "family": "dataplane", "id": "E34-DP-incident", "ok": true }, { "description": "data-plane kind recovery is chained", "detail": "'recovery'", "family": "dataplane", "id": "E34-DP-recovery", "ok": true }, { "description": "data-plane kind transaction is chained", "detail": "'transaction'", "family": "dataplane", "id": "E34-DP-transaction", "ok": true }, { "description": "data-plane kind delegation is chained", "detail": "'delegation'", "family": "dataplane", "id": "E34-DP-delegation", "ok": true }, { "description": "data-plane kind proof is chained", "detail": "'proof'", "family": "dataplane", "id": "E34-DP-proof", "ok": true }, { "description": "data-plane kind conformance is chained", "detail": "'conformance'", "family": "dataplane", "id": "E34-DP-conformance", "ok": true }, { "description": "reputation dimension identity_continuity carries no authority", "detail": "'identity_continuity'", "family": "reputation", "id": "E34-REP-identity_continuity", "ok": true }, { "description": "reputation dimension governance_conformance carries no authority", "detail": "'governance_conformance'", "family": "reputation", "id": "E34-REP-governance_conformance", "ok": true }, { "description": "reputation dimension enforcement_reliability carries no authority", "detail": "'enforcement_reliability'", "family": "reputation", "id": "E34-REP-enforcement_reliability", "ok": true }, { "description": "reputation dimension proof_integrity carries no authority", "detail": "'proof_integrity'", "family": "reputation", "id": "E34-REP-proof_integrity", "ok": true }, { "description": "reputation dimension incident_history carries no authority", "detail": "'incident_history'", "family": "reputation", "id": "E34-REP-incident_history", "ok": true }, { "description": "reputation dimension recovery_quality carries no authority", "detail": "'recovery_quality'", "family": "reputation", "id": "E34-REP-recovery_quality", "ok": true }, { "description": "reputation dimension delegation_discipline carries no authority", "detail": "'delegation_discipline'", "family": "reputation", "id": "E34-REP-delegation_discipline", "ok": true }, { "description": "reputation dimension capability_stability carries no authority", "detail": "'capability_stability'", "family": "reputation", "id": "E34-REP-capability_stability", "ok": true }, { "description": "reputation dimension transaction_reliability carries no authority", "detail": "'transaction_reliability'", "family": "reputation", "id": "E34-REP-transaction_reliability", "ok": true }, { "description": "reputation dimension evidence_quality carries no authority", "detail": "'evidence_quality'", "family": "reputation", "id": "E34-REP-evidence_quality", "ok": true }, { "description": "reputation dimension policy_compliance carries no authority", "detail": "'policy_compliance'", "family": "reputation", "id": "E34-REP-policy_compliance", "ok": true }, { "description": "reputation dimension disclosure_quality carries no authority", "detail": "'disclosure_quality'", "family": "reputation", "id": "E34-REP-disclosure_quality", "ok": true }, { "description": "reputation dimension verification_history carries no authority", "detail": "'verification_history'", "family": "reputation", "id": "E34-REP-verification_history", "ok": true }, { "description": "governability index dimension enforcement_coverage is reported separately", "detail": "'enforcement_coverage'", "family": "governability", "id": "E34-INDEX-enforcement_coverage", "ok": true }, { "description": "governability index dimension identity_coverage is reported separately", "detail": "'identity_coverage'", "family": "governability", "id": "E34-INDEX-identity_coverage", "ok": true }, { "description": "governability index dimension authority_coverage is reported separately", "detail": "'authority_coverage'", "family": "governability", "id": "E34-INDEX-authority_coverage", "ok": true }, { "description": "governability index dimension evidence_coverage is reported separately", "detail": "'evidence_coverage'", "family": "governability", "id": "E34-INDEX-evidence_coverage", "ok": true }, { "description": "governability index dimension proof_coverage is reported separately", "detail": "'proof_coverage'", "family": "governability", "id": "E34-INDEX-proof_coverage", "ok": true }, { "description": "governability index dimension revocation_coverage is reported separately", "detail": "'revocation_coverage'", "family": "governability", "id": "E34-INDEX-revocation_coverage", "ok": true }, { "description": "governability index dimension delegation_coverage is reported separately", "detail": "'delegation_coverage'", "family": "governability", "id": "E34-INDEX-delegation_coverage", "ok": true }, { "description": "governability index dimension protocol_coverage is reported separately", "detail": "'protocol_coverage'", "family": "governability", "id": "E34-INDEX-protocol_coverage", "ok": true }, { "description": "governability index dimension recovery_coverage is reported separately", "detail": "'recovery_coverage'", "family": "governability", "id": "E34-INDEX-recovery_coverage", "ok": true }, { "description": "governability index dimension independent_verification is reported separately", "detail": "'independent_verification'", "family": "governability", "id": "E34-INDEX-independent_verification", "ok": true }, { "description": "governability index dimension conformance is reported separately", "detail": "'conformance'", "family": "governability", "id": "E34-INDEX-conformance", "ok": true }, { "description": "governability index dimension residual_unknown_surface is reported separately", "detail": "'residual_unknown_surface'", "family": "governability", "id": "E34-INDEX-residual_unknown_surface", "ok": true }, { "description": "the truth guard knows the phrase 'fully autonomous'", "detail": "'fully autonomous'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-fully_autonomous", "ok": true }, { "description": "the truth guard knows the phrase 'fully secure'", "detail": "'fully secure'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-fully_secure", "ok": true }, { "description": "the truth guard knows the phrase 'guaranteed'", "detail": "'guaranteed'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-guaranteed", "ok": true }, { "description": "the truth guard knows the phrase 'controls all agents'", "detail": "'controls all agents'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-controls_all_agents", "ok": true }, { "description": "the truth guard knows the phrase 'controls the internet'", "detail": "'controls the internet'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-controls_the_internet", "ok": true }, { "description": "the truth guard knows the phrase 'certified'", "detail": "'certified'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-certified", "ok": true }, { "description": "the truth guard knows the phrase 'enterprise-ready'", "detail": "'enterprise-ready'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-enterprise-ready", "ok": true }, { "description": "the truth guard knows the phrase 'independently audited'", "detail": "'independently audited'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-independently_audited", "ok": true }, { "description": "the truth guard knows the phrase 'hardware-attested'", "detail": "'hardware-attested'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-hardware-attested", "ok": true }, { "description": "the truth guard knows the phrase 'universal'", "detail": "'universal'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-universal", "ok": true }, { "description": "the truth guard knows the phrase 'production-ready'", "detail": "'production-ready'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-production-ready", "ok": true }, { "description": "the truth guard knows the phrase 'in production'", "detail": "'in production'", "family": "truth_guard", "id": "E34-TRUTHPHRASE-in_production", "ok": true }, { "description": "moat governance_kernel is technical only, not a market moat", "detail": "'governance_kernel'", "family": "moat", "id": "E34-MOAT-governance_kernel", "ok": true }, { "description": "moat enforcement_integrations is technical only, not a market moat", "detail": "'enforcement_integrations'", "family": "moat", "id": "E34-MOAT-enforcement_integrations", "ok": true }, { "description": "moat proof_format is technical only, not a market moat", "detail": "'proof_format'", "family": "moat", "id": "E34-MOAT-proof_format", "ok": true }, { "description": "moat proof_verifier is technical only, not a market moat", "detail": "'proof_verifier'", "family": "moat", "id": "E34-MOAT-proof_verifier", "ok": true }, { "description": "moat conformance_ecosystem is technical only, not a market moat", "detail": "'conformance_ecosystem'", "family": "moat", "id": "E34-MOAT-conformance_ecosystem", "ok": true }, { "description": "moat agent_identity is technical only, not a market moat", "detail": "'agent_identity'", "family": "moat", "id": "E34-MOAT-agent_identity", "ok": true }, { "description": "moat identity_continuity is technical only, not a market moat", "detail": "'identity_continuity'", "family": "moat", "id": "E34-MOAT-identity_continuity", "ok": true }, { "description": "moat delegation_provenance is technical only, not a market moat", "detail": "'delegation_provenance'", "family": "moat", "id": "E34-MOAT-delegation_provenance", "ok": true }, { "description": "moat governance_receipts is technical only, not a market moat", "detail": "'governance_receipts'", "family": "moat", "id": "E34-MOAT-governance_receipts", "ok": true }, { "description": "moat transaction_graph is technical only, not a market moat", "detail": "'transaction_graph'", "family": "moat", "id": "E34-MOAT-transaction_graph", "ok": true }, { "description": "moat incident_graph is technical only, not a market moat", "detail": "'incident_graph'", "family": "moat", "id": "E34-MOAT-incident_graph", "ok": true }, { "description": "moat governance_coverage_data is technical only, not a market moat", "detail": "'governance_coverage_data'", "family": "moat", "id": "E34-MOAT-governance_coverage_data", "ok": true }, { "description": "moat machine_reputation is technical only, not a market moat", "detail": "'machine_reputation'", "family": "moat", "id": "E34-MOAT-machine_reputation", "ok": true }, { "description": "moat federation is technical only, not a market moat", "detail": "'federation'", "family": "moat", "id": "E34-MOAT-federation", "ok": true }, { "description": "moat developer_sdk is technical only, not a market moat", "detail": "'developer_sdk'", "family": "moat", "id": "E34-MOAT-developer_sdk", "ok": true }, { "description": "moat enterprise_integrations is technical only, not a market moat", "detail": "'enterprise_integrations'", "family": "moat", "id": "E34-MOAT-enterprise_integrations", "ok": true }, { "description": "moat governance_marketplace is technical only, not a market moat", "detail": "'governance_marketplace'", "family": "moat", "id": "E34-MOAT-governance_marketplace", "ok": true }, { "description": "moat research_corpus is technical only, not a market moat", "detail": "'research_corpus'", "family": "moat", "id": "E34-MOAT-research_corpus", "ok": true }, { "description": "moat adversarial_corpus is technical only, not a market moat", "detail": "'adversarial_corpus'", "family": "moat", "id": "E34-MOAT-adversarial_corpus", "ok": true }, { "description": "moat failure_to_proof_corpus is technical only, not a market moat", "detail": "'failure_to_proof_corpus'", "family": "moat", "id": "E34-MOAT-failure_to_proof_corpus", "ok": true }, { "description": "moat interoperability is technical only, not a market moat", "detail": "'interoperability'", "family": "moat", "id": "E34-MOAT-interoperability", "ok": true }, { "description": "moat governance_certificates is technical only, not a market moat", "detail": "'governance_certificates'", "family": "moat", "id": "E34-MOAT-governance_certificates", "ok": true }, { "description": "moat proof_exchange is technical only, not a market moat", "detail": "'proof_exchange'", "family": "moat", "id": "E34-MOAT-proof_exchange", "ok": true }, { "description": "moat governance_profiles is technical only, not a market moat", "detail": "'governance_profiles'", "family": "moat", "id": "E34-MOAT-governance_profiles", "ok": true }, { "description": "moat public_verification_infrastructure is technical only, not a market moat", "detail": "'public_verification_infrastructure'", "family": "moat", "id": "E34-MOAT-public_verification_infrastructure", "ok": true }, { "description": "moat edge_deployment is technical only, not a market moat", "detail": "'edge_deployment'", "family": "moat", "id": "E34-MOAT-edge_deployment", "ok": true }, { "description": "moat governance_cloud is technical only, not a market moat", "detail": "'governance_cloud'", "family": "moat", "id": "E34-MOAT-governance_cloud", "ok": true }, { "description": "moat evolution_engine is technical only, not a market moat", "detail": "'evolution_engine'", "family": "moat", "id": "E34-MOAT-evolution_engine", "ok": true }, { "description": "moat machine_economy_controls is technical only, not a market moat", "detail": "'machine_economy_controls'", "family": "moat", "id": "E34-MOAT-machine_economy_controls", "ok": true }, { "description": "moat historical_governance_replay is technical only, not a market moat", "detail": "'historical_governance_replay'", "family": "moat", "id": "E34-MOAT-historical_governance_replay", "ok": true }, { "description": "CAIN Gateway maps to real code or says it is not deployed", "detail": "'PARTIAL: MCPGate hosted; broader gateway in-process'", "family": "product", "id": "E34-PRODUCT-CAIN_Gateway", "ok": true }, { "description": "CAIN Sidecar maps to real code or says it is not deployed", "detail": "'TESTED locally'", "family": "product", "id": "E34-PRODUCT-CAIN_Sidecar", "ok": true }, { "description": "CAIN Passport maps to real code or says it is not deployed", "detail": "'TESTED library'", "family": "product", "id": "E34-PRODUCT-CAIN_Passport", "ok": true }, { "description": "CAIN Proof maps to real code or says it is not deployed", "detail": "'TESTED library'", "family": "product", "id": "E34-PRODUCT-CAIN_Proof", "ok": true }, { "description": "CAIN Verify maps to real code or says it is not deployed", "detail": "'TESTED; no independent user yet'", "family": "product", "id": "E34-PRODUCT-CAIN_Verify", "ok": true }, { "description": "CAIN Conformance maps to real code or says it is not deployed", "detail": "'TESTED; internal profile, not certification'", "family": "product", "id": "E34-PRODUCT-CAIN_Conformance", "ok": true }, { "description": "CAIN Trust maps to real code or says it is not deployed", "detail": "'TESTED in-process'", "family": "product", "id": "E34-PRODUCT-CAIN_Trust", "ok": true }, { "description": "CAIN Incident maps to real code or says it is not deployed", "detail": "'TESTED library'", "family": "product", "id": "E34-PRODUCT-CAIN_Incident", "ok": true }, { "description": "CAIN Transactions maps to real code or says it is not deployed", "detail": "'TESTED; synthetic units'", "family": "product", "id": "E34-PRODUCT-CAIN_Transactions", "ok": true }, { "description": "CAIN Edge maps to real code or says it is not deployed", "detail": "'TESTED library; no device'", "family": "product", "id": "E34-PRODUCT-CAIN_Edge", "ok": true }, { "description": "CAIN Research maps to real code or says it is not deployed", "detail": "'TESTED library'", "family": "product", "id": "E34-PRODUCT-CAIN_Research", "ok": true }, { "description": "CAIN Evolution maps to real code or says it is not deployed", "detail": "'TESTED; simulated learning'", "family": "product", "id": "E34-PRODUCT-CAIN_Evolution", "ok": true }, { "description": "CAIN Governance Cloud maps to real code or says it is not deployed", "detail": "'NOT DEPLOYED'", "family": "product", "id": "E34-PRODUCT-CAIN_Governance_Cloud", "ok": true }, { "description": "CAIN Proof Exchange maps to real code or says it is not deployed", "detail": "'TESTED library'", "family": "product", "id": "E34-PRODUCT-CAIN_Proof_Exchange", "ok": true }, { "description": "SDK target python states its real status", "detail": "'TESTED (cain45.l5.proof_agency + operating_sdk)'", "family": "sdk", "id": "E34-SDK-python", "ok": true }, { "description": "SDK target typescript states its real status", "detail": "'verifier only (cain-verify.ts)'", "family": "sdk", "id": "E34-SDK-typescript", "ok": true }, { "description": "SDK target go states its real status", "detail": "'NOT IMPLEMENTED'", "family": "sdk", "id": "E34-SDK-go", "ok": true }, { "description": "SDK target rest states its real status", "detail": "'NOT IMPLEMENTED'", "family": "sdk", "id": "E34-SDK-rest", "ok": true }, { "description": "SDK target grpc states its real status", "detail": "'NOT IMPLEMENTED'", "family": "sdk", "id": "E34-SDK-grpc", "ok": true }, { "description": "gateway surface MCP states its real status", "detail": "'TESTED (MCPGate + E33/E34 in-process)'", "family": "gateway", "id": "E34-GATEWAY-MCP", "ok": true }, { "description": "gateway surface A2A states its real status", "detail": "'TESTED (E25 adapter, in-process)'", "family": "gateway", "id": "E34-GATEWAY-A2A", "ok": true }, { "description": "gateway surface HTTP/API states its real status", "detail": "'TESTED (E25 adapter, in-process)'", "family": "gateway", "id": "E34-GATEWAY-HTTP/API", "ok": true }, { "description": "gateway surface browser/computer-use states its real status", "detail": "'PARTIAL (reference model)'", "family": "gateway", "id": "E34-GATEWAY-browser/computer-use", "ok": true }, { "description": "gateway surface cloud states its real status", "detail": "'PARTIAL (reference adapter)'", "family": "gateway", "id": "E34-GATEWAY-cloud", "ok": true }, { "description": "gateway surface code states its real status", "detail": "'PARTIAL (whitelisted runner)'", "family": "gateway", "id": "E34-GATEWAY-code", "ok": true }, { "description": "gateway surface database states its real status", "detail": "'TESTED (E25 adapter, in-process)'", "family": "gateway", "id": "E34-GATEWAY-database", "ok": true }, { "description": "gateway surface financial states its real status", "detail": "'PARTIAL (E29 synthetic units)'", "family": "gateway", "id": "E34-GATEWAY-financial", "ok": true }, { "description": "gateway surface physical states its real status", "detail": "'NOT GOVERNED (refused)'", "family": "gateway", "id": "E34-GATEWAY-physical", "ok": true }, { "description": "cloud service identity is architecture only (NOT DEPLOYED)", "detail": "'identity'", "family": "governance_cloud", "id": "E34-CLOUD-identity", "ok": true }, { "description": "cloud service trust is architecture only (NOT DEPLOYED)", "detail": "'trust'", "family": "governance_cloud", "id": "E34-CLOUD-trust", "ok": true }, { "description": "cloud service policy is architecture only (NOT DEPLOYED)", "detail": "'policy'", "family": "governance_cloud", "id": "E34-CLOUD-policy", "ok": true }, { "description": "cloud service evidence is architecture only (NOT DEPLOYED)", "detail": "'evidence'", "family": "governance_cloud", "id": "E34-CLOUD-evidence", "ok": true }, { "description": "cloud service proof is architecture only (NOT DEPLOYED)", "detail": "'proof'", "family": "governance_cloud", "id": "E34-CLOUD-proof", "ok": true }, { "description": "cloud service conformance is architecture only (NOT DEPLOYED)", "detail": "'conformance'", "family": "governance_cloud", "id": "E34-CLOUD-conformance", "ok": true }, { "description": "cloud service incident is architecture only (NOT DEPLOYED)", "detail": "'incident'", "family": "governance_cloud", "id": "E34-CLOUD-incident", "ok": true }, { "description": "cloud service analytics is architecture only (NOT DEPLOYED)", "detail": "'analytics'", "family": "governance_cloud", "id": "E34-CLOUD-analytics", "ok": true }, { "description": "cloud service learning is architecture only (NOT DEPLOYED)", "detail": "'learning'", "family": "governance_cloud", "id": "E34-CLOUD-learning", "ok": true }, { "description": "cloud service federation is architecture only (NOT DEPLOYED)", "detail": "'federation'", "family": "governance_cloud", "id": "E34-CLOUD-federation", "ok": true }, { "description": "cloud service marketplace is architecture only (NOT DEPLOYED)", "detail": "'marketplace'", "family": "governance_cloud", "id": "E34-CLOUD-marketplace", "ok": true }, { "description": "cloud service research is architecture only (NOT DEPLOYED)", "detail": "'research'", "family": "governance_cloud", "id": "E34-CLOUD-research", "ok": true }, { "description": "every envelope scenario holds", "detail": "{'scenarios': 747, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-envelope", "ok": true }, { "description": "every status scenario holds", "detail": "{'scenarios': 103, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-status", "ok": true }, { "description": "every receipt_chain scenario holds", "detail": "{'scenarios': 86, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-receipt_chain", "ok": true }, { "description": "every delegation_proof scenario holds", "detail": "{'scenarios': 88, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-delegation_proof", "ok": true }, { "description": "every coverage scenario holds", "detail": "{'scenarios': 156, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-coverage", "ok": true }, { "description": "every conformance scenario holds", "detail": "{'scenarios': 123, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-conformance", "ok": true }, { "description": "every certificate scenario holds", "detail": "{'scenarios': 70, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-certificate", "ok": true }, { "description": "every contract scenario holds", "detail": "{'scenarios': 51, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-contract", "ok": true }, { "description": "every disclosure scenario holds", "detail": "{'scenarios': 88, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-disclosure", "ok": true }, { "description": "every federation scenario holds", "detail": "{'scenarios': 52, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-federation", "ok": true }, { "description": "every edge scenario holds", "detail": "{'scenarios': 64, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-edge", "ok": true }, { "description": "every transaction scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-transaction", "ok": true }, { "description": "every computer_use scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-computer_use", "ok": true }, { "description": "every evolution scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-evolution", "ok": true }, { "description": "every supply_chain scenario holds", "detail": "{'scenarios': 68, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-supply_chain", "ok": true }, { "description": "every recovery scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-recovery", "ok": true }, { "description": "every reputation scenario holds", "detail": "{'scenarios': 39, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-reputation", "ok": true }, { "description": "every governability scenario holds", "detail": "{'scenarios': 36, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-governability", "ok": true }, { "description": "every tenancy scenario holds", "detail": "{'scenarios': 48, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-tenancy", "ok": true }, { "description": "every handshake scenario holds", "detail": "{'scenarios': 48, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-handshake", "ok": true }, { "description": "every interchange scenario holds", "detail": "{'scenarios': 42, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-interchange", "ok": true }, { "description": "every immune_v3 scenario holds", "detail": "{'scenarios': 102, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-immune_v3", "ok": true }, { "description": "every failure_to_proof scenario holds", "detail": "{'scenarios': 42, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-failure_to_proof", "ok": true }, { "description": "every replay scenario holds", "detail": "{'scenarios': 45, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-replay", "ok": true }, { "description": "every time_machine scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-time_machine", "ok": true }, { "description": "every dataplane scenario holds", "detail": "{'scenarios': 60, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-dataplane", "ok": true }, { "description": "every truth_guard scenario holds", "detail": "{'scenarios': 80, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-truth_guard", "ok": true }, { "description": "every moat scenario holds", "detail": "{'scenarios': 60, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-moat", "ok": true }, { "description": "every law scenario holds", "detail": "{'scenarios': 120, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-law", "ok": true }, { "description": "every primitive scenario holds", "detail": "{'scenarios': 55, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-primitive", "ok": true }, { "description": "every enforcement scenario holds", "detail": "{'scenarios': 68, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-enforcement", "ok": true }, { "description": "every proof_exchange scenario holds", "detail": "{'scenarios': 35, 'not_held': []}", "family": "bench_category", "id": "E34-CAT-proof_exchange", "ok": true }, { "description": "every certificate/blanket_refused scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-certificate-blanket_refused", "ok": true }, { "description": "every certificate/certificate_expires scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-certificate-certificate_expires", "ok": true }, { "description": "every certificate/field_required scenario holds", "detail": "{'scenarios': 14, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-certificate-field_required", "ok": true }, { "description": "every certificate/scoped_claim scenario holds", "detail": "{'scenarios': 36, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-certificate-scoped_claim", "ok": true }, { "description": "every computer_use/model_claim_is_not_evidence scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-computer_use-model_claim_is_not_evidence", "ok": true }, { "description": "every conformance/g7_needs_federation scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-conformance-g7_needs_federation", "ok": true }, { "description": "every conformance/level_ladder scenario holds", "detail": "{'scenarios': 91, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-conformance-level_ladder", "ok": true }, { "description": "every conformance/level_meaning scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-conformance-level_meaning", "ok": true }, { "description": "every contract/cannot_exceed_grants scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-contract-cannot_exceed_grants", "ok": true }, { "description": "every contract/contract_expires scenario holds", "detail": "{'scenarios': 6, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-contract-contract_expires", "ok": true }, { "description": "every contract/contract_valid scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-contract-contract_valid", "ok": true }, { "description": "every contract/limit_required scenario holds", "detail": "{'scenarios': 13, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-contract-limit_required", "ok": true }, { "description": "every coverage/no_universal_claim scenario holds", "detail": "{'scenarios': 24, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-coverage-no_universal_claim", "ok": true }, { "description": "every coverage/surface_basis scenario holds", "detail": "{'scenarios': 108, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-coverage-surface_basis", "ok": true }, { "description": "every coverage/uncontrolled_disclosed scenario holds", "detail": "{'scenarios': 24, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-coverage-uncontrolled_disclosed", "ok": true }, { "description": "every dataplane/event_chain_tamper scenario holds", "detail": "{'scenarios': 15, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-dataplane-event_chain_tamper", "ok": true }, { "description": "every dataplane/event_kind scenario holds", "detail": "{'scenarios': 45, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-dataplane-event_kind", "ok": true }, { "description": "every delegation_proof/attenuation scenario holds", "detail": "{'scenarios': 28, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-delegation_proof-attenuation", "ok": true }, { "description": "every delegation_proof/attenuation_ok scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-delegation_proof-attenuation_ok", "ok": true }, { "description": "every delegation_proof/chain_shape scenario holds", "detail": "{'scenarios': 24, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-delegation_proof-chain_shape", "ok": true }, { "description": "every delegation_proof/chain_tamper scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-delegation_proof-chain_tamper", "ok": true }, { "description": "every disclosure/hides_undisclosed scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-disclosure-hides_undisclosed", "ok": true }, { "description": "every disclosure/inclusion_proof scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-disclosure-inclusion_proof", "ok": true }, { "description": "every disclosure/root_signature scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-disclosure-root_signature", "ok": true }, { "description": "every disclosure/tampered_disclosure scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-disclosure-tampered_disclosure", "ok": true }, { "description": "every disclosure/tampered_salt scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-disclosure-tampered_salt", "ok": true }, { "description": "every edge/bundle_rollback scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-edge-bundle_rollback", "ok": true }, { "description": "every edge/edge_decides scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-edge-edge_decides", "ok": true }, { "description": "every edge/emergency_revoke scenario holds", "detail": "{'scenarios': 10, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-edge-emergency_revoke", "ok": true }, { "description": "every edge/partition_no_widen scenario holds", "detail": "{'scenarios': 10, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-edge-partition_no_widen", "ok": true }, { "description": "every edge/partition_reduces scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-edge-partition_reduces", "ok": true }, { "description": "every enforcement/enforcement_order scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-enforcement-enforcement_order", "ok": true }, { "description": "every enforcement/enforcement_stage scenario holds", "detail": "{'scenarios': 48, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-enforcement-enforcement_stage", "ok": true }, { "description": "every envelope/bulk_field_fuzz scenario holds", "detail": "{'scenarios': 320, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-bulk_field_fuzz", "ok": true }, { "description": "every envelope/extra_field scenario holds", "detail": "{'scenarios': 49, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-extra_field", "ok": true }, { "description": "every envelope/field_tamper scenario holds", "detail": "{'scenarios': 210, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-field_tamper", "ok": true }, { "description": "every envelope/hash scenario holds", "detail": "{'scenarios': 49, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-hash", "ok": true }, { "description": "every envelope/null_vs_unknown scenario holds", "detail": "{'scenarios': 60, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-null_vs_unknown", "ok": true }, { "description": "every envelope/required_component scenario holds", "detail": "{'scenarios': 10, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-required_component", "ok": true }, { "description": "every envelope/signature scenario holds", "detail": "{'scenarios': 49, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-envelope-signature", "ok": true }, { "description": "every evolution/evolution_proof scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-evolution-evolution_proof", "ok": true }, { "description": "every failure_to_proof/stage_present scenario holds", "detail": "{'scenarios': 32, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-failure_to_proof-stage_present", "ok": true }, { "description": "every failure_to_proof/unknown_not_invented scenario holds", "detail": "{'scenarios': 10, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-failure_to_proof-unknown_not_invented", "ok": true }, { "description": "every federation/recognized_as_evidence scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-federation-recognized_as_evidence", "ok": true }, { "description": "every federation/revocation_propagates scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-federation-revocation_propagates", "ok": true }, { "description": "every federation/untrusted_domain scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-federation-untrusted_domain", "ok": true }, { "description": "every governability/index_multidimensional scenario holds", "detail": "{'scenarios': 36, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-governability-index_multidimensional", "ok": true }, { "description": "every handshake/established_no_authority scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-handshake-established_no_authority", "ok": true }, { "description": "every handshake/unknown_step scenario holds", "detail": "{'scenarios': 36, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-handshake-unknown_step", "ok": true }, { "description": "every immune_v3/signal_response scenario holds", "detail": "{'scenarios': 90, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-immune_v3-signal_response", "ok": true }, { "description": "every immune_v3/unknown_signal scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-immune_v3-unknown_signal", "ok": true }, { "description": "every interchange/protocol_support scenario holds", "detail": "{'scenarios': 42, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-interchange-protocol_support", "ok": true }, { "description": "every law/law_no_authority scenario holds", "detail": "{'scenarios': 120, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-law-law_no_authority", "ok": true }, { "description": "every moat/no_market_moat scenario holds", "detail": "{'scenarios': 60, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-moat-no_market_moat", "ok": true }, { "description": "every primitive/primitive_binds_layer scenario holds", "detail": "{'scenarios': 55, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-primitive-primitive_binds_layer", "ok": true }, { "description": "every proof_exchange/exchange_verifies scenario holds", "detail": "{'scenarios': 15, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-proof_exchange-exchange_verifies", "ok": true }, { "description": "every proof_exchange/proof_not_authority scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-proof_exchange-proof_not_authority", "ok": true }, { "description": "every receipt_chain/chain_break scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-receipt_chain-chain_break", "ok": true }, { "description": "every receipt_chain/no_authority scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-receipt_chain-no_authority", "ok": true }, { "description": "every receipt_chain/receipt_tamper scenario holds", "detail": "{'scenarios': 54, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-receipt_chain-receipt_tamper", "ok": true }, { "description": "every recovery/incomplete_recovery scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-recovery-incomplete_recovery", "ok": true }, { "description": "every recovery/recovery_proof scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-recovery-recovery_proof", "ok": true }, { "description": "every replay/replay_diff scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-replay-replay_diff", "ok": true }, { "description": "every replay/replay_same scenario holds", "detail": "{'scenarios': 25, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-replay-replay_same", "ok": true }, { "description": "every reputation/reputation_vector scenario holds", "detail": "{'scenarios': 39, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-reputation-reputation_vector", "ok": true }, { "description": "every status/demo_only scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-demo_only", "ok": true }, { "description": "every status/expired scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-expired", "ok": true }, { "description": "every status/no_single_score scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-no_single_score", "ok": true }, { "description": "every status/observed_only scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-observed_only", "ok": true }, { "description": "every status/simulation_is_not_production scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-simulation_is_not_production", "ok": true }, { "description": "every status/status scenario holds", "detail": "{'scenarios': 1, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-status", "ok": true }, { "description": "every status/status_priority scenario holds", "detail": "{'scenarios': 42, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-status_priority", "ok": true }, { "description": "every status/uncontrolled_channel scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-uncontrolled_channel", "ok": true }, { "description": "every status/unknown_core scenario holds", "detail": "{'scenarios': 8, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-status-unknown_core", "ok": true }, { "description": "every supply_chain/component_kind scenario holds", "detail": "{'scenarios': 36, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-supply_chain-component_kind", "ok": true }, { "description": "every supply_chain/model_substitution scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-supply_chain-model_substitution", "ok": true }, { "description": "every supply_chain/unsigned_component scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-supply_chain-unsigned_component", "ok": true }, { "description": "every tenancy/cross_tenant_denied scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-tenancy-cross_tenant_denied", "ok": true }, { "description": "every tenancy/isolated_key scenario holds", "detail": "{'scenarios': 12, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-tenancy-isolated_key", "ok": true }, { "description": "every tenancy/rbac_denied scenario holds", "detail": "{'scenarios': 16, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-tenancy-rbac_denied", "ok": true }, { "description": "every time_machine/known_at_time scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-time_machine-known_at_time", "ok": true }, { "description": "every transaction/transaction_units scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-transaction-transaction_units", "ok": true }, { "description": "every truth_guard/negated_ok scenario holds", "detail": "{'scenarios': 20, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-truth_guard-negated_ok", "ok": true }, { "description": "every truth_guard/unsupported_claim scenario holds", "detail": "{'scenarios': 60, 'not_held': []}", "family": "bench_family", "id": "E34-BENCHFAM-truth_guard-unsupported_claim", "ok": true }, { "description": "surface mcp carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-mcp", "ok": true }, { "description": "surface a2a carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-a2a", "ok": true }, { "description": "surface http carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-http", "ok": true }, { "description": "surface rest carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-rest", "ok": true }, { "description": "surface grpc carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-grpc", "ok": true }, { "description": "surface websocket carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-websocket", "ok": true }, { "description": "surface event_bus carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-event_bus", "ok": true }, { "description": "surface cli carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-cli", "ok": true }, { "description": "surface shell carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-shell", "ok": true }, { "description": "surface filesystem carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-filesystem", "ok": true }, { "description": "surface browser carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-browser", "ok": true }, { "description": "surface computer_use carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-computer_use", "ok": true }, { "description": "surface databases carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-databases", "ok": true }, { "description": "surface cloud_apis carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-cloud_apis", "ok": true }, { "description": "surface credentials carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-credentials", "ok": true }, { "description": "surface secrets carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-secrets", "ok": true }, { "description": "surface deployment carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-deployment", "ok": true }, { "description": "surface ci_cd carries a stated enforcement basis", "detail": "'UNCONTROLLED'", "family": "coverage", "id": "E34-SURFBASIS-ci_cd", "ok": true }, { "description": "surface containers carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-containers", "ok": true }, { "description": "surface subagents carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-subagents", "ok": true }, { "description": "surface delegation carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-delegation", "ok": true }, { "description": "surface scheduled_jobs carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-scheduled_jobs", "ok": true }, { "description": "surface autonomous_loops carries a stated enforcement basis", "detail": "'MONITORED'", "family": "coverage", "id": "E34-SURFBASIS-autonomous_loops", "ok": true }, { "description": "surface memory_mutation carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-memory_mutation", "ok": true }, { "description": "surface policy_mutation carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-policy_mutation", "ok": true }, { "description": "surface model_replacement carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-model_replacement", "ok": true }, { "description": "surface skill_installation carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-skill_installation", "ok": true }, { "description": "surface plugin_installation carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-plugin_installation", "ok": true }, { "description": "surface capability_acquisition carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-capability_acquisition", "ok": true }, { "description": "surface financial_transactions carries a stated enforcement basis", "detail": "'PARTIALLY_ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-financial_transactions", "ok": true }, { "description": "surface machine_contracts carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-machine_contracts", "ok": true }, { "description": "surface physical_actuators carries a stated enforcement basis", "detail": "'UNCONTROLLED'", "family": "coverage", "id": "E34-SURFBASIS-physical_actuators", "ok": true }, { "description": "surface vehicle_robot_boundaries carries a stated enforcement basis", "detail": "'UNCONTROLLED'", "family": "coverage", "id": "E34-SURFBASIS-vehicle_robot_boundaries", "ok": true }, { "description": "surface research_experiments carries a stated enforcement basis", "detail": "'MONITORED'", "family": "coverage", "id": "E34-SURFBASIS-research_experiments", "ok": true }, { "description": "surface self_improvement carries a stated enforcement basis", "detail": "'ENFORCED'", "family": "coverage", "id": "E34-SURFBASIS-self_improvement", "ok": true }, { "description": "surface code_modification carries a stated enforcement basis", "detail": "'UNKNOWN'", "family": "coverage", "id": "E34-SURFBASIS-code_modification", "ok": true }, { "description": "law E34-L1 is mapped to at least one held bench scenario", "detail": "{'scenarios': 60, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L1", "ok": true }, { "description": "law E34-L2 is mapped to at least one held bench scenario", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L2", "ok": true }, { "description": "law E34-L3 is mapped to at least one held bench scenario", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L3", "ok": true }, { "description": "law E34-L4 is mapped to at least one held bench scenario", "detail": "{'scenarios': 60, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L4", "ok": true }, { "description": "law E34-L5 is mapped to at least one held bench scenario", "detail": "{'scenarios': 39, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L5", "ok": true }, { "description": "law E34-L6 is mapped to at least one held bench scenario", "detail": "{'scenarios': 103, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L6", "ok": true }, { "description": "law E34-L7 is mapped to at least one held bench scenario", "detail": "{'scenarios': 48, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L7", "ok": true }, { "description": "law E34-L8 is mapped to at least one held bench scenario", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L8", "ok": true }, { "description": "law E34-L9 is mapped to at least one held bench scenario", "detail": "{'scenarios': 8, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L9", "ok": true }, { "description": "law E34-L10 is mapped to at least one held bench scenario", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L10", "ok": true }, { "description": "law E34-L11 is mapped to at least one held bench scenario", "detail": "{'scenarios': 60, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L11", "ok": true }, { "description": "law E34-L12 is mapped to at least one held bench scenario", "detail": "{'scenarios': 48, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L12", "ok": true }, { "description": "law E34-L13 is mapped to at least one held bench scenario", "detail": "{'scenarios': 68, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L13", "ok": true }, { "description": "law E34-L14 is mapped to at least one held bench scenario", "detail": "{'scenarios': 68, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L14", "ok": true }, { "description": "law E34-L15 is mapped to at least one held bench scenario", "detail": "{'scenarios': 42, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L15", "ok": true }, { "description": "law E34-L16 is mapped to at least one held bench scenario", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L16", "ok": true }, { "description": "law E34-L17 is mapped to at least one held bench scenario", "detail": "{'scenarios': 15, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L17", "ok": true }, { "description": "law E34-L18 is mapped to at least one held bench scenario", "detail": "{'scenarios': 12, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L18", "ok": true }, { "description": "law E34-L19 is mapped to at least one held bench scenario", "detail": "{'scenarios': 16, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L19", "ok": true }, { "description": "law E34-L20 is mapped to at least one held bench scenario", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L20", "ok": true }, { "description": "law E34-L21 is mapped to at least one held bench scenario", "detail": "{'scenarios': 88, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L21", "ok": true }, { "description": "law E34-L22 is mapped to at least one held bench scenario", "detail": "{'scenarios': 48, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L22", "ok": true }, { "description": "law E34-L23 is mapped to at least one held bench scenario", "detail": "{'scenarios': 20, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L23", "ok": true }, { "description": "law E34-L24 is mapped to at least one held bench scenario", "detail": "{'scenarios': 39, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L24", "ok": true }, { "description": "law E34-L25 is mapped to at least one held bench scenario", "detail": "{'scenarios': 12, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L25", "ok": true }, { "description": "law E34-L26 is mapped to at least one held bench scenario", "detail": "{'scenarios': 16, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L26", "ok": true }, { "description": "law E34-L27 is mapped to at least one held bench scenario", "detail": "{'scenarios': 68, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L27", "ok": true }, { "description": "law E34-L28 is mapped to at least one held bench scenario", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L28", "ok": true }, { "description": "law E34-L29 is mapped to at least one held bench scenario", "detail": "{'scenarios': 8, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L29", "ok": true }, { "description": "law E34-L30 is mapped to at least one held bench scenario", "detail": "{'scenarios': 1, 'not_held': []}", "family": "law", "id": "E34-LAW2-E34-L30", "ok": true }, { "description": "protocol mcp never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-mcp", "ok": true }, { "description": "protocol a2a never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-a2a", "ok": true }, { "description": "protocol http never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-http", "ok": true }, { "description": "protocol rest never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-rest", "ok": true }, { "description": "protocol grpc never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-grpc", "ok": true }, { "description": "protocol websocket never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-websocket", "ok": true }, { "description": "protocol event_bus never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-event_bus", "ok": true }, { "description": "protocol cli never carries authority across a domain", "detail": "'SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-cli", "ok": true }, { "description": "protocol local_ipc never carries authority across a domain", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-local_ipc", "ok": true }, { "description": "protocol cloud_api never carries authority across a domain", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-cloud_api", "ok": true }, { "description": "protocol browser never carries authority across a domain", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-browser", "ok": true }, { "description": "protocol computer_use never carries authority across a domain", "detail": "'PARTIALLY_SUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-computer_use", "ok": true }, { "description": "protocol physical never carries authority across a domain", "detail": "'UNSUPPORTED'", "family": "interchange", "id": "E34-PROTOCOL2-physical", "ok": true }, { "description": "protocol unknown_transport never carries authority across a domain", "detail": "'UNKNOWN'", "family": "interchange", "id": "E34-PROTOCOL2-unknown_transport", "ok": true } ], "total": 629 }