{
 "passed": 166,
 "rows": [
  {
   "description": "no verified identity, no trust",
   "detail": "[]",
   "family": "law",
   "id": "E30-L1",
   "ok": true
  },
  {
   "description": "no authority, no authorization",
   "detail": "[]",
   "family": "law",
   "id": "E30-L2",
   "ok": true
  },
  {
   "description": "no authorization, no execution",
   "detail": "[]",
   "family": "law",
   "id": "E30-L3",
   "ok": true
  },
  {
   "description": "no enforcement, no claim of control",
   "detail": "[]",
   "family": "law",
   "id": "E30-L4",
   "ok": true
  },
  {
   "description": "no evidence, no trust upgrade",
   "detail": "[]",
   "family": "law",
   "id": "E30-L5",
   "ok": true
  },
  {
   "description": "unknown never becomes verified",
   "detail": "[]",
   "family": "law",
   "id": "E30-L6",
   "ok": true
  },
  {
   "description": "perception is not reality; confidence is not truth",
   "detail": "[]",
   "family": "law",
   "id": "E30-L7",
   "ok": true
  },
  {
   "description": "memory never mints authority",
   "detail": "[]",
   "family": "law",
   "id": "E30-L8",
   "ok": true
  },
  {
   "description": "reasoning is not authority; more compute is not more authority",
   "detail": "[]",
   "family": "law",
   "id": "E30-L9",
   "ok": true
  },
  {
   "description": "consensus is not authorization",
   "detail": "[]",
   "family": "law",
   "id": "E30-L10",
   "ok": true
  },
  {
   "description": "self-improvement never bypasses governance",
   "detail": "[]",
   "family": "law",
   "id": "E30-L11",
   "ok": true
  },
  {
   "description": "self-healing may propose a repair, never authorize its own deployment",
   "detail": "[]",
   "family": "law",
   "id": "E30-L12",
   "ok": true
  },
  {
   "description": "model output is not world action",
   "detail": "[]",
   "family": "law",
   "id": "E30-L13",
   "ok": true
  },
  {
   "description": "no agent promotes its own autonomy level",
   "detail": "[]",
   "family": "law",
   "id": "E30-L14",
   "ok": true
  },
  {
   "description": "REVOKED never goes straight to AUTHORIZED; UNKNOWN never becomes TRUSTED",
   "detail": "[]",
   "family": "law",
   "id": "E30-L15",
   "ok": true
  },
  {
   "description": "every consequential action consumes autonomy budget; replenishment is governed",
   "detail": "[]",
   "family": "law",
   "id": "E30-L16",
   "ok": true
  },
  {
   "description": "crossing a containment boundary needs a new authorization",
   "detail": "[]",
   "family": "law",
   "id": "E30-L17",
   "ok": true
  },
  {
   "description": "monitored is not enforced",
   "detail": "[]",
   "family": "law",
   "id": "E30-L18",
   "ok": true
  },
  {
   "description": "screenshots and visual observations are evidence, not authority",
   "detail": "[]",
   "family": "law",
   "id": "E30-L19",
   "ok": true
  },
  {
   "description": "knowledge is superseded or revoked, never silently deleted",
   "detail": "[]",
   "family": "law",
   "id": "E30-L20",
   "ok": true
  },
  {
   "description": "self-healing deploys only with two registered humans",
   "detail": "({'deployed': False, 'reasons': ['REPAIR_NEEDS_TWO_HUMANS'], 'authority': 'NONE'}, {'deployed': True, 'approved_by': ['alice', 'bob'], 'authority': 'NONE'})",
   "family": "law",
   "id": "E30-H1",
   "ok": true
  },
  {
   "description": "L1 is reached only with every evidence item it requires",
   "detail": "('registered',)",
   "family": "autonomy_level",
   "id": "E30-LVL-1",
   "ok": true
  },
  {
   "description": "L2 is reached only with every evidence item it requires",
   "detail": "('registered',)",
   "family": "autonomy_level",
   "id": "E30-LVL-2",
   "ok": true
  },
  {
   "description": "L3 is reached only with every evidence item it requires",
   "detail": "('registered',)",
   "family": "autonomy_level",
   "id": "E30-LVL-3",
   "ok": true
  },
  {
   "description": "L4 is reached only with every evidence item it requires",
   "detail": "('attested', 'lease')",
   "family": "autonomy_level",
   "id": "E30-LVL-4",
   "ok": true
  },
  {
   "description": "L5 is reached only with every evidence item it requires",
   "detail": "('attested', 'lease', 'clean_history')",
   "family": "autonomy_level",
   "id": "E30-LVL-5",
   "ok": true
  },
  {
   "description": "L6 is reached only with every evidence item it requires",
   "detail": "('attested', 'lease', 'clean_history', 'delegation_tested')",
   "family": "autonomy_level",
   "id": "E30-LVL-6",
   "ok": true
  },
  {
   "description": "L7 is reached only with every evidence item it requires",
   "detail": "('attested', 'lease', 'clean_history', 'economic_authority', 'capability_tested')",
   "family": "autonomy_level",
   "id": "E30-LVL-7",
   "ok": true
  },
  {
   "description": "L8 is reached only with every evidence item it requires",
   "detail": "('attested', 'lease', 'clean_history', 'rollback_tested', 'human_approval')",
   "family": "autonomy_level",
   "id": "E30-LVL-8",
   "ok": true
  },
  {
   "description": "L9 is reached only with every evidence item it requires",
   "detail": "('attested', 'lease', 'clean_history', 'rollback_tested', 'firewall_passed', 'two_humans')",
   "family": "autonomy_level",
   "id": "E30-LVL-9",
   "ok": true
  },
  {
   "description": "only the listed states reach REGISTERED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-REGISTERED",
   "ok": true
  },
  {
   "description": "only the listed states reach IDENTIFIED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-IDENTIFIED",
   "ok": true
  },
  {
   "description": "only the listed states reach ATTESTED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-ATTESTED",
   "ok": true
  },
  {
   "description": "only the listed states reach GOVERNED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-GOVERNED",
   "ok": true
  },
  {
   "description": "only the listed states reach AUTHORIZED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-AUTHORIZED",
   "ok": true
  },
  {
   "description": "only the listed states reach EXECUTING, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-EXECUTING",
   "ok": true
  },
  {
   "description": "only the listed states reach DEGRADED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-DEGRADED",
   "ok": true
  },
  {
   "description": "only the listed states reach QUARANTINED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-QUARANTINED",
   "ok": true
  },
  {
   "description": "only the listed states reach REVOKED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-REVOKED",
   "ok": true
  },
  {
   "description": "only the listed states reach RECOVERING, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-RECOVERING",
   "ok": true
  },
  {
   "description": "only the listed states reach RETIRED, by the listed actor",
   "detail": "[]",
   "family": "state_machine",
   "id": "E30-STATE-RETIRED",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'principal'",
   "detail": "principal",
   "family": "universal_action",
   "id": "E30-UMA-principal",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'identity'",
   "detail": "identity",
   "family": "universal_action",
   "id": "E30-UMA-identity",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'intent'",
   "detail": "intent",
   "family": "universal_action",
   "id": "E30-UMA-intent",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'context'",
   "detail": "context",
   "family": "universal_action",
   "id": "E30-UMA-context",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'observation'",
   "detail": "observation",
   "family": "universal_action",
   "id": "E30-UMA-observation",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'memory'",
   "detail": "memory",
   "family": "universal_action",
   "id": "E30-UMA-memory",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'model'",
   "detail": "model",
   "family": "universal_action",
   "id": "E30-UMA-model",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'runtime'",
   "detail": "runtime",
   "family": "universal_action",
   "id": "E30-UMA-runtime",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'capability'",
   "detail": "capability",
   "family": "universal_action",
   "id": "E30-UMA-capability",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'delegation'",
   "detail": "delegation",
   "family": "universal_action",
   "id": "E30-UMA-delegation",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'policy'",
   "detail": "policy",
   "family": "universal_action",
   "id": "E30-UMA-policy",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'authority'",
   "detail": "authority",
   "family": "universal_action",
   "id": "E30-UMA-authority",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'risk'",
   "detail": "risk",
   "family": "universal_action",
   "id": "E30-UMA-risk",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'consequence'",
   "detail": "consequence",
   "family": "universal_action",
   "id": "E30-UMA-consequence",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'transaction'",
   "detail": "transaction",
   "family": "universal_action",
   "id": "E30-UMA-transaction",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'environment'",
   "detail": "environment",
   "family": "universal_action",
   "id": "E30-UMA-environment",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'action'",
   "detail": "action",
   "family": "universal_action",
   "id": "E30-UMA-action",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'execution'",
   "detail": "execution",
   "family": "universal_action",
   "id": "E30-UMA-execution",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'outcome'",
   "detail": "outcome",
   "family": "universal_action",
   "id": "E30-UMA-outcome",
   "ok": true
  },
  {
   "description": "the UMA digest binds 'evidence'",
   "detail": "evidence",
   "family": "universal_action",
   "id": "E30-UMA-evidence",
   "ok": true
  },
  {
   "description": "'time_ms' is consumed, recorded and exhausts",
   "detail": "time_ms",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-time_ms",
   "ok": true
  },
  {
   "description": "'compute' is consumed, recorded and exhausts",
   "detail": "compute",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-compute",
   "ok": true
  },
  {
   "description": "'money' is consumed, recorded and exhausts",
   "detail": "money",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-money",
   "ok": true
  },
  {
   "description": "'tool_calls' is consumed, recorded and exhausts",
   "detail": "tool_calls",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-tool_calls",
   "ok": true
  },
  {
   "description": "'delegation' is consumed, recorded and exhausts",
   "detail": "delegation",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-delegation",
   "ok": true
  },
  {
   "description": "'memory_mutation' is consumed, recorded and exhausts",
   "detail": "memory_mutation",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-memory_mutation",
   "ok": true
  },
  {
   "description": "'network_access' is consumed, recorded and exhausts",
   "detail": "network_access",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-network_access",
   "ok": true
  },
  {
   "description": "'data_access' is consumed, recorded and exhausts",
   "detail": "data_access",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-data_access",
   "ok": true
  },
  {
   "description": "'physical_actions' is consumed, recorded and exhausts",
   "detail": "physical_actions",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-physical_actions",
   "ok": true
  },
  {
   "description": "'code_modification' is consumed, recorded and exhausts",
   "detail": "code_modification",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-code_modification",
   "ok": true
  },
  {
   "description": "'self_improvement' is consumed, recorded and exhausts",
   "detail": "self_improvement",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-self_improvement",
   "ok": true
  },
  {
   "description": "'transaction_value' is consumed, recorded and exhausts",
   "detail": "transaction_value",
   "family": "autonomy_budget",
   "id": "E30-BUDGET-transaction_value",
   "ok": true
  },
  {
   "description": "memory class 'observation' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-observation",
   "ok": true
  },
  {
   "description": "memory class 'evidence' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-evidence",
   "ok": true
  },
  {
   "description": "memory class 'hypothesis' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-hypothesis",
   "ok": true
  },
  {
   "description": "memory class 'instruction' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-instruction",
   "ok": true
  },
  {
   "description": "memory class 'preference' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-preference",
   "ok": true
  },
  {
   "description": "memory class 'policy' follows its write rule and never carries authority",
   "detail": "(['MEMORY_CLASS_RESERVED_FOR_GOVERNANCE'], [])",
   "family": "memory",
   "id": "E30-MEM-policy",
   "ok": true
  },
  {
   "description": "memory class 'authority' follows its write rule and never carries authority",
   "detail": "(['MEMORY_CLASS_RESERVED_FOR_GOVERNANCE'], [])",
   "family": "memory",
   "id": "E30-MEM-authority",
   "ok": true
  },
  {
   "description": "memory class 'historical_record' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-historical_record",
   "ok": true
  },
  {
   "description": "memory class 'unknown' follows its write rule and never carries authority",
   "detail": "[]",
   "family": "memory",
   "id": "E30-MEM-unknown",
   "ok": true
  },
  {
   "description": "coverage class 'ENFORCED' is a closed, reported category",
   "detail": "ENFORCED",
   "family": "coverage",
   "id": "E30-COV-ENFORCED",
   "ok": true
  },
  {
   "description": "coverage class 'MONITORED' is a closed, reported category",
   "detail": "MONITORED",
   "family": "coverage",
   "id": "E30-COV-MONITORED",
   "ok": true
  },
  {
   "description": "coverage class 'OBSERVED' is a closed, reported category",
   "detail": "OBSERVED",
   "family": "coverage",
   "id": "E30-COV-OBSERVED",
   "ok": true
  },
  {
   "description": "coverage class 'PARTIALLY_ENFORCED' is a closed, reported category",
   "detail": "PARTIALLY_ENFORCED",
   "family": "coverage",
   "id": "E30-COV-PARTIALLY_ENFORCED",
   "ok": true
  },
  {
   "description": "coverage class 'BYPASSABLE' is a closed, reported category",
   "detail": "BYPASSABLE",
   "family": "coverage",
   "id": "E30-COV-BYPASSABLE",
   "ok": true
  },
  {
   "description": "coverage class 'UNCONTROLLED' is a closed, reported category",
   "detail": "UNCONTROLLED",
   "family": "coverage",
   "id": "E30-COV-UNCONTROLLED",
   "ok": true
  },
  {
   "description": "coverage class 'UNKNOWN' is a closed, reported category",
   "detail": "UNKNOWN",
   "family": "coverage",
   "id": "E30-COV-UNKNOWN",
   "ok": true
  },
  {
   "description": "monitored paths are never counted as enforced",
   "detail": "ok",
   "family": "coverage",
   "id": "E30-COV-MONITORED",
   "ok": true
  },
  {
   "description": "a 'architecture' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-architecture",
   "ok": true
  },
  {
   "description": "a 'planner' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-planner",
   "ok": true
  },
  {
   "description": "a 'memory' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-memory",
   "ok": true
  },
  {
   "description": "a 'tool' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-tool",
   "ok": true
  },
  {
   "description": "a 'capability' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-capability",
   "ok": true
  },
  {
   "description": "a 'model' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-model",
   "ok": true
  },
  {
   "description": "a 'code' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-code",
   "ok": true
  },
  {
   "description": "a 'agent' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-agent",
   "ok": true
  },
  {
   "description": "a 'organization' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-organization",
   "ok": true
  },
  {
   "description": "a 'research_strategy' candidate passes only the full firewall and a human review",
   "detail": "[]",
   "family": "self_improvement",
   "id": "E30-CAND-research_strategy",
   "ok": true
  },
  {
   "description": "scorecard dimension 'capability_gain' is recorded separately (no single score)",
   "detail": "capability_gain",
   "family": "scorecard",
   "id": "E30-SCORE-capability_gain",
   "ok": true
  },
  {
   "description": "scorecard dimension 'reliability' is recorded separately (no single score)",
   "detail": "reliability",
   "family": "scorecard",
   "id": "E30-SCORE-reliability",
   "ok": true
  },
  {
   "description": "scorecard dimension 'security' is recorded separately (no single score)",
   "detail": "security",
   "family": "scorecard",
   "id": "E30-SCORE-security",
   "ok": true
  },
  {
   "description": "scorecard dimension 'authority_preservation' is recorded separately (no single score)",
   "detail": "authority_preservation",
   "family": "scorecard",
   "id": "E30-SCORE-authority_preservation",
   "ok": true
  },
  {
   "description": "scorecard dimension 'evidence_quality' is recorded separately (no single score)",
   "detail": "evidence_quality",
   "family": "scorecard",
   "id": "E30-SCORE-evidence_quality",
   "ok": true
  },
  {
   "description": "scorecard dimension 'regression_impact' is recorded separately (no single score)",
   "detail": "regression_impact",
   "family": "scorecard",
   "id": "E30-SCORE-regression_impact",
   "ok": true
  },
  {
   "description": "scorecard dimension 'resource_cost' is recorded separately (no single score)",
   "detail": "resource_cost",
   "family": "scorecard",
   "id": "E30-SCORE-resource_cost",
   "ok": true
  },
  {
   "description": "scorecard dimension 'interpretability' is recorded separately (no single score)",
   "detail": "interpretability",
   "family": "scorecard",
   "id": "E30-SCORE-interpretability",
   "ok": true
  },
  {
   "description": "scorecard dimension 'recovery' is recorded separately (no single score)",
   "detail": "recovery",
   "family": "scorecard",
   "id": "E30-SCORE-recovery",
   "ok": true
  },
  {
   "description": "scorecard dimension 'rollback' is recorded separately (no single score)",
   "detail": "rollback",
   "family": "scorecard",
   "id": "E30-SCORE-rollback",
   "ok": true
  },
  {
   "description": "scorecard dimension 'adversarial_resilience' is recorded separately (no single score)",
   "detail": "adversarial_resilience",
   "family": "scorecard",
   "id": "E30-SCORE-adversarial_resilience",
   "ok": true
  },
  {
   "description": "scorecard dimension 'governance_coverage' is recorded separately (no single score)",
   "detail": "governance_coverage",
   "family": "scorecard",
   "id": "E30-SCORE-governance_coverage",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'model' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-model",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'weights' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-weights",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'runtime' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-runtime",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'package' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-package",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'tool' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-tool",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'mcp_server' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-mcp_server",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'skill' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-skill",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'plugin' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-plugin",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'dataset' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-dataset",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'memory' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-memory",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'prompt' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-prompt",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'code' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-code",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'container' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-container",
   "ok": true
  },
  {
   "description": "a changed or known-malicious 'dependency' is detected",
   "detail": "[]",
   "family": "supply_chain",
   "id": "E30-BOM-dependency",
   "ok": true
  },
  {
   "description": "a 'policy_pack' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-policy_pack",
   "ok": true
  },
  {
   "description": "a 'adapter' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-adapter",
   "ok": true
  },
  {
   "description": "a 'conformance_test' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-conformance_test",
   "ok": true
  },
  {
   "description": "a 'security_test' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-security_test",
   "ok": true
  },
  {
   "description": "a 'agent_connector' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-agent_connector",
   "ok": true
  },
  {
   "description": "a 'evidence_validator' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-evidence_validator",
   "ok": true
  },
  {
   "description": "a 'capability_validator' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-capability_validator",
   "ok": true
  },
  {
   "description": "a 'research_module' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-research_module",
   "ok": true
  },
  {
   "description": "a 'domain_governance_module' component installs only when tested and unsubstituted",
   "detail": "[]",
   "family": "marketplace",
   "id": "E30-MARKET-domain_governance_module",
   "ok": true
  },
  {
   "description": "environment 'browser' is ENFORCED and treated so",
   "detail": "{'environment': 'browser', 'adapter': 'browser', 'status': 'ENFORCED'}",
   "family": "world_action",
   "id": "E30-ENV-browser",
   "ok": true
  },
  {
   "description": "environment 'cloud' is ENFORCED and treated so",
   "detail": "{'environment': 'cloud', 'adapter': 'cloud_api', 'status': 'ENFORCED'}",
   "family": "world_action",
   "id": "E30-ENV-cloud",
   "ok": true
  },
  {
   "description": "environment 'database' is ENFORCED and treated so",
   "detail": "{'environment': 'database', 'adapter': 'database', 'status': 'ENFORCED'}",
   "family": "world_action",
   "id": "E30-ENV-database",
   "ok": true
  },
  {
   "description": "environment 'filesystem' is ENFORCED and treated so",
   "detail": "{'environment': 'filesystem', 'adapter': 'filesystem', 'status': 'ENFORCED'}",
   "family": "world_action",
   "id": "E30-ENV-filesystem",
   "ok": true
  },
  {
   "description": "environment 'laboratory' is UNENFORCED and treated so",
   "detail": "[]",
   "family": "world_action",
   "id": "E30-ENV-laboratory",
   "ok": true
  },
  {
   "description": "environment 'physical_actuator' is UNENFORCED and treated so",
   "detail": "[]",
   "family": "world_action",
   "id": "E30-ENV-physical_actuator",
   "ok": true
  },
  {
   "description": "environment 'robot' is UNENFORCED and treated so",
   "detail": "[]",
   "family": "world_action",
   "id": "E30-ENV-robot",
   "ok": true
  },
  {
   "description": "environment 'simulated_world' is SIMULATED and treated so",
   "detail": "[]",
   "family": "world_action",
   "id": "E30-ENV-simulated_world",
   "ok": true
  },
  {
   "description": "environment 'software' is ENFORCED and treated so",
   "detail": "{'environment': 'software', 'adapter': 'shell', 'status': 'ENFORCED'}",
   "family": "world_action",
   "id": "E30-ENV-software",
   "ok": true
  },
  {
   "description": "environment 'vehicle' is UNENFORCED and treated so",
   "detail": "[]",
   "family": "world_action",
   "id": "E30-ENV-vehicle",
   "ok": true
  },
  {
   "description": "computer-use action 'navigate' maps to a governed adapter or is refused",
   "detail": "{'action': 'navigate', 'adapter': 'browser', 'op': 'navigate', 'capability': 'read', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-navigate",
   "ok": true
  },
  {
   "description": "computer-use action 'click_submit' maps to a governed adapter or is refused",
   "detail": "{'action': 'click_submit', 'adapter': 'browser', 'op': 'click:submit', 'capability': 'submit', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-click_submit",
   "ok": true
  },
  {
   "description": "computer-use action 'screenshot' maps to a governed adapter or is refused",
   "detail": "{'action': 'screenshot', 'adapter': 'computer_use', 'op': 'screenshot', 'capability': 'observe', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-screenshot",
   "ok": true
  },
  {
   "description": "computer-use action 'type' maps to a governed adapter or is refused",
   "detail": "{'action': 'type', 'adapter': 'computer_use', 'op': 'click:submit', 'capability': 'submit', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-type",
   "ok": true
  },
  {
   "description": "computer-use action 'download' maps to a governed adapter or is refused",
   "detail": "{'action': 'download', 'adapter': 'browser', 'op': 'navigate', 'capability': 'read', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-download",
   "ok": true
  },
  {
   "description": "computer-use action 'upload' maps to a governed adapter or is refused",
   "detail": "{'action': 'upload', 'adapter': 'browser', 'op': 'click:submit', 'capability': 'submit', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-upload",
   "ok": true
  },
  {
   "description": "computer-use action 'clipboard_read' maps to a governed adapter or is refused",
   "detail": "{'action': 'clipboard_read', 'adapter': 'computer_use', 'op': 'screenshot', 'capability': 'observe', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-clipboard_read",
   "ok": true
  },
  {
   "description": "computer-use action 'credential_entry' maps to a governed adapter or is refused",
   "detail": "{'action': 'credential_entry', 'status': 'REFUSED', 'reason': 'CREDENTIALS_ONLY_VIA_BROKER'}",
   "family": "computer_use",
   "id": "E30-CU-credential_entry",
   "ok": true
  },
  {
   "description": "computer-use action 'session' maps to a governed adapter or is refused",
   "detail": "{'action': 'session', 'adapter': 'browser', 'op': 'navigate', 'capability': 'read', 'status': 'GOVERNED'}",
   "family": "computer_use",
   "id": "E30-CU-session",
   "ok": true
  },
  {
   "description": "the 30-step autonomy proof completes",
   "detail": "[]",
   "family": "end_to_end",
   "id": "E30-E2E-ALL",
   "ok": true
  },
  {
   "description": "the proof steps run in the specified order",
   "detail": "order",
   "family": "end_to_end",
   "id": "E30-E2E-ORDER",
   "ok": true
  },
  {
   "description": "replay explains why an action was allowed",
   "detail": "ALLOWED: identity current, lease and delegation cover the capability and resource, policy allowed, risk within ceiling, autonomy level and budget sufficient, E8 committed",
   "family": "end_to_end",
   "id": "E30-REPLAY-ALLOW",
   "ok": true
  },
  {
   "description": "replay explains why an action was denied",
   "detail": "DENIED: AUTONOMY_LEVEL_TOO_LOW:L4_EXECUTE_REVERSIBLE",
   "family": "end_to_end",
   "id": "E30-REPLAY-DENY",
   "ok": true
  },
  {
   "description": "the time machine answers from append-only records",
   "detail": "AUTHORIZED",
   "family": "end_to_end",
   "id": "E30-TIME-MACHINE",
   "ok": true
  },
  {
   "description": "universal action receipts verify as a signed chain that binds each UMA",
   "detail": "3",
   "family": "end_to_end",
   "id": "E30-UAR-CHAIN",
   "ok": true
  },
  {
   "description": "the autonomy budget ledger verifies",
   "detail": "5",
   "family": "end_to_end",
   "id": "E30-BUDGET-LEDGER",
   "ok": true
  },
  {
   "description": "an executed action traces back to its sponsoring human in the governance graph",
   "detail": "trace",
   "family": "end_to_end",
   "id": "E30-GRAPH-TRACE",
   "ok": true
  },
  {
   "description": "a refused action also gets a universal receipt",
   "detail": "ok",
   "family": "end_to_end",
   "id": "E30-DENY-RECEIPTED",
   "ok": true
  },
  {
   "description": "promotion leaves the promoted agent below execution levels until reauthorized",
   "detail": "ok",
   "family": "end_to_end",
   "id": "E30-PROMOTION-NO-AUTHORITY",
   "ok": true
  },
  {
   "description": "an SDK-wrapped tool runs only inside the E8 boundary for an allowed call",
   "detail": "('ALLOW', 'DENY', 1)",
   "family": "developer",
   "id": "E30-SDK-SEALED",
   "ok": true
  },
  {
   "description": "the kernel imports no experimental (frontier lab / E22) module",
   "detail": "['Any', 'Callable', 'Dict', 'Iterable', 'List', 'Optional', 'Sequence', 'Set', 'Tuple', 'agency_fabric', 'annotations', 'control_plane', 'dataclass', 'field', 'identity_fabric', 'transaction_fabric']",
   "family": "developer",
   "id": "E30-LAB-ISOLATION",
   "ok": true
  }
 ],
 "total": 166
}