{
 "passed": 438,
 "rows": [
  {
   "description": "identity is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-001",
   "ok": true
  },
  {
   "description": "capability is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-002",
   "ok": true
  },
  {
   "description": "trust is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-003",
   "ok": true
  },
  {
   "description": "reputation is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-004",
   "ok": true
  },
  {
   "description": "policy is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-005",
   "ok": true
  },
  {
   "description": "contract is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-006",
   "ok": true
  },
  {
   "description": "consensus is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-007",
   "ok": true
  },
  {
   "description": "intelligence is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-008",
   "ok": true
  },
  {
   "description": "model confidence is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-009",
   "ok": true
  },
  {
   "description": "prediction is not reality",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-010",
   "ok": true
  },
  {
   "description": "simulation is not reality",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-011",
   "ok": true
  },
  {
   "description": "memory is not truth",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-012",
   "ok": true
  },
  {
   "description": "memory is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-013",
   "ok": true
  },
  {
   "description": "reasoning is not authorization",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-014",
   "ok": true
  },
  {
   "description": "optimization is not permission",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "I42-015",
   "ok": true
  },
  {
   "description": "business value is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-016",
   "ok": true
  },
  {
   "description": "economic value is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-017",
   "ok": true
  },
  {
   "description": "discovery is not truth",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-018",
   "ok": true
  },
  {
   "description": "truth is not authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-019",
   "ok": true
  },
  {
   "description": "authorization is not execution",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "I42-020",
   "ok": true
  },
  {
   "description": "execution is not success",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "I42-021",
   "ok": true
  },
  {
   "description": "success is not truth",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-022",
   "ok": true
  },
  {
   "description": "self-improvement is not self-authorization",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "law",
   "id": "I42-023",
   "ok": true
  },
  {
   "description": "delegation is not unbounded authority",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "I42-024",
   "ok": true
  },
  {
   "description": "child authority does not exceed parent authority",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-025",
   "ok": true
  },
  {
   "description": "unknown is not verified",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I42-026",
   "ok": true
  },
  {
   "description": "observed is not controlled",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "I42-027",
   "ok": true
  },
  {
   "description": "monitored is not enforced",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "I42-028",
   "ok": true
  },
  {
   "description": "simulated is not deployed",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "I42-029",
   "ok": true
  },
  {
   "description": "tested is not certified",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "I42-030",
   "ok": true
  },
  {
   "description": "certified is not universally safe",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "I42-031",
   "ok": true
  },
  {
   "description": "there is one canonical authorization path",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "I42-032",
   "ok": true
  },
  {
   "description": "no subsystem manufactures final authority",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I42-033",
   "ok": true
  },
  {
   "description": "a consequential action reaches E8 or it is not governed",
   "detail": "{'scenarios': 132, 'not_held': []}",
   "family": "law",
   "id": "I42-034",
   "ok": true
  },
  {
   "description": "an adapter is not claimed until it is tested",
   "detail": "{'scenarios': 62, 'not_held': []}",
   "family": "law",
   "id": "I42-035",
   "ok": true
  },
  {
   "description": "the public truth engine never lets a claim outrun evidence",
   "detail": "{'scenarios': 96, 'not_held': []}",
   "family": "law",
   "id": "I42-036",
   "ok": true
  },
  {
   "description": "a failed verification stays FAILED, never silently passed",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "I42-037",
   "ok": true
  },
  {
   "description": "revocation beats active authority",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I42-038",
   "ok": true
  },
  {
   "description": "outside the enforcement boundary is not controlled",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "I42-039",
   "ok": true
  },
  {
   "description": "no enforcement, no control claim",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "I42-040",
   "ok": true
  },
  {
   "description": "law I42-001 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-001",
   "ok": true
  },
  {
   "description": "law I42-002 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-002",
   "ok": true
  },
  {
   "description": "law I42-003 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-003",
   "ok": true
  },
  {
   "description": "law I42-004 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-004",
   "ok": true
  },
  {
   "description": "law I42-005 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-005",
   "ok": true
  },
  {
   "description": "law I42-006 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-006",
   "ok": true
  },
  {
   "description": "law I42-007 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-007",
   "ok": true
  },
  {
   "description": "law I42-008 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-008",
   "ok": true
  },
  {
   "description": "law I42-009 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-009",
   "ok": true
  },
  {
   "description": "law I42-010 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-010",
   "ok": true
  },
  {
   "description": "law I42-011 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-011",
   "ok": true
  },
  {
   "description": "law I42-012 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-012",
   "ok": true
  },
  {
   "description": "law I42-013 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-013",
   "ok": true
  },
  {
   "description": "law I42-014 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-014",
   "ok": true
  },
  {
   "description": "law I42-015 maps to held scenarios",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-015",
   "ok": true
  },
  {
   "description": "law I42-016 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-016",
   "ok": true
  },
  {
   "description": "law I42-017 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-017",
   "ok": true
  },
  {
   "description": "law I42-018 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-018",
   "ok": true
  },
  {
   "description": "law I42-019 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-019",
   "ok": true
  },
  {
   "description": "law I42-020 maps to held scenarios",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-020",
   "ok": true
  },
  {
   "description": "law I42-021 maps to held scenarios",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-021",
   "ok": true
  },
  {
   "description": "law I42-022 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-022",
   "ok": true
  },
  {
   "description": "law I42-023 maps to held scenarios",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-023",
   "ok": true
  },
  {
   "description": "law I42-024 maps to held scenarios",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-024",
   "ok": true
  },
  {
   "description": "law I42-025 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-025",
   "ok": true
  },
  {
   "description": "law I42-026 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-026",
   "ok": true
  },
  {
   "description": "law I42-027 maps to held scenarios",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-027",
   "ok": true
  },
  {
   "description": "law I42-028 maps to held scenarios",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-028",
   "ok": true
  },
  {
   "description": "law I42-029 maps to held scenarios",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-029",
   "ok": true
  },
  {
   "description": "law I42-030 maps to held scenarios",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-030",
   "ok": true
  },
  {
   "description": "law I42-031 maps to held scenarios",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-031",
   "ok": true
  },
  {
   "description": "law I42-032 maps to held scenarios",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-032",
   "ok": true
  },
  {
   "description": "law I42-033 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-033",
   "ok": true
  },
  {
   "description": "law I42-034 maps to held scenarios",
   "detail": "{'scenarios': 132, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-034",
   "ok": true
  },
  {
   "description": "law I42-035 maps to held scenarios",
   "detail": "{'scenarios': 62, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-035",
   "ok": true
  },
  {
   "description": "law I42-036 maps to held scenarios",
   "detail": "{'scenarios': 96, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-036",
   "ok": true
  },
  {
   "description": "law I42-037 maps to held scenarios",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-037",
   "ok": true
  },
  {
   "description": "law I42-038 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-038",
   "ok": true
  },
  {
   "description": "law I42-039 maps to held scenarios",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-039",
   "ok": true
  },
  {
   "description": "law I42-040 maps to held scenarios",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW2-I42-040",
   "ok": true
  },
  {
   "description": "law I42-001 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-001",
   "ok": true
  },
  {
   "description": "law I42-002 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-002",
   "ok": true
  },
  {
   "description": "law I42-003 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-003",
   "ok": true
  },
  {
   "description": "law I42-004 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-004",
   "ok": true
  },
  {
   "description": "law I42-005 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-005",
   "ok": true
  },
  {
   "description": "law I42-006 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-006",
   "ok": true
  },
  {
   "description": "law I42-007 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-007",
   "ok": true
  },
  {
   "description": "law I42-008 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-008",
   "ok": true
  },
  {
   "description": "law I42-009 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-009",
   "ok": true
  },
  {
   "description": "law I42-010 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-010",
   "ok": true
  },
  {
   "description": "law I42-011 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-011",
   "ok": true
  },
  {
   "description": "law I42-012 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-012",
   "ok": true
  },
  {
   "description": "law I42-013 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-013",
   "ok": true
  },
  {
   "description": "law I42-014 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-014",
   "ok": true
  },
  {
   "description": "law I42-015 is enforced by the platform",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-015",
   "ok": true
  },
  {
   "description": "law I42-016 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-016",
   "ok": true
  },
  {
   "description": "law I42-017 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-017",
   "ok": true
  },
  {
   "description": "law I42-018 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-018",
   "ok": true
  },
  {
   "description": "law I42-019 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-019",
   "ok": true
  },
  {
   "description": "law I42-020 is enforced by the platform",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-020",
   "ok": true
  },
  {
   "description": "law I42-021 is enforced by the platform",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-021",
   "ok": true
  },
  {
   "description": "law I42-022 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-022",
   "ok": true
  },
  {
   "description": "law I42-023 is enforced by the platform",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-023",
   "ok": true
  },
  {
   "description": "law I42-024 is enforced by the platform",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-024",
   "ok": true
  },
  {
   "description": "law I42-025 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-025",
   "ok": true
  },
  {
   "description": "law I42-026 is enforced by the platform",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-026",
   "ok": true
  },
  {
   "description": "law I42-027 is enforced by the platform",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-027",
   "ok": true
  },
  {
   "description": "law I42-028 is enforced by the platform",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-028",
   "ok": true
  },
  {
   "description": "law I42-029 is enforced by the platform",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-029",
   "ok": true
  },
  {
   "description": "law I42-030 is enforced by the platform",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-030",
   "ok": true
  },
  {
   "description": "law I42-031 is enforced by the platform",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-031",
   "ok": true
  },
  {
   "description": "law I42-032 is enforced by the platform",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-032",
   "ok": true
  },
  {
   "description": "law I42-033 is enforced by the platform",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-033",
   "ok": true
  },
  {
   "description": "law I42-034 is enforced by the platform",
   "detail": "{'scenarios': 132, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-034",
   "ok": true
  },
  {
   "description": "law I42-035 is enforced by the platform",
   "detail": "{'scenarios': 62, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-035",
   "ok": true
  },
  {
   "description": "law I42-036 is enforced by the platform",
   "detail": "{'scenarios': 96, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-036",
   "ok": true
  },
  {
   "description": "law I42-037 is enforced by the platform",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-037",
   "ok": true
  },
  {
   "description": "law I42-038 is enforced by the platform",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-038",
   "ok": true
  },
  {
   "description": "law I42-039 is enforced by the platform",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-039",
   "ok": true
  },
  {
   "description": "law I42-040 is enforced by the platform",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "law",
   "id": "E42-LAW3-I42-040",
   "ok": true
  },
  {
   "description": "signed domain KERNEL exists",
   "detail": "'KERNEL'",
   "family": "domain",
   "id": "E42-DOMAIN-KERNEL",
   "ok": true
  },
  {
   "description": "signed domain ABI exists",
   "detail": "'ABI'",
   "family": "domain",
   "id": "E42-DOMAIN-ABI",
   "ok": true
  },
  {
   "description": "signed domain ACTION exists",
   "detail": "'ACTION'",
   "family": "domain",
   "id": "E42-DOMAIN-ACTION",
   "ok": true
  },
  {
   "description": "signed domain IDENTITY exists",
   "detail": "'IDENTITY'",
   "family": "domain",
   "id": "E42-DOMAIN-IDENTITY",
   "ok": true
  },
  {
   "description": "signed domain AUTHORITY exists",
   "detail": "'AUTHORITY'",
   "family": "domain",
   "id": "E42-DOMAIN-AUTHORITY",
   "ok": true
  },
  {
   "description": "signed domain CAPABILITY exists",
   "detail": "'CAPABILITY'",
   "family": "domain",
   "id": "E42-DOMAIN-CAPABILITY",
   "ok": true
  },
  {
   "description": "signed domain POLICY exists",
   "detail": "'POLICY'",
   "family": "domain",
   "id": "E42-DOMAIN-POLICY",
   "ok": true
  },
  {
   "description": "signed domain EVIDENCE exists",
   "detail": "'EVIDENCE'",
   "family": "domain",
   "id": "E42-DOMAIN-EVIDENCE",
   "ok": true
  },
  {
   "description": "signed domain RISK exists",
   "detail": "'RISK'",
   "family": "domain",
   "id": "E42-DOMAIN-RISK",
   "ok": true
  },
  {
   "description": "signed domain DECISION exists",
   "detail": "'DECISION'",
   "family": "domain",
   "id": "E42-DOMAIN-DECISION",
   "ok": true
  },
  {
   "description": "signed domain AUTHORIZATION exists",
   "detail": "'AUTHORIZATION'",
   "family": "domain",
   "id": "E42-DOMAIN-AUTHORIZATION",
   "ok": true
  },
  {
   "description": "signed domain COMMIT exists",
   "detail": "'COMMIT'",
   "family": "domain",
   "id": "E42-DOMAIN-COMMIT",
   "ok": true
  },
  {
   "description": "signed domain EXECUTION exists",
   "detail": "'EXECUTION'",
   "family": "domain",
   "id": "E42-DOMAIN-EXECUTION",
   "ok": true
  },
  {
   "description": "signed domain OUTCOME exists",
   "detail": "'OUTCOME'",
   "family": "domain",
   "id": "E42-DOMAIN-OUTCOME",
   "ok": true
  },
  {
   "description": "signed domain RECEIPT exists",
   "detail": "'RECEIPT'",
   "family": "domain",
   "id": "E42-DOMAIN-RECEIPT",
   "ok": true
  },
  {
   "description": "signed domain PROOF exists",
   "detail": "'PROOF'",
   "family": "domain",
   "id": "E42-DOMAIN-PROOF",
   "ok": true
  },
  {
   "description": "signed domain INCIDENT exists",
   "detail": "'INCIDENT'",
   "family": "domain",
   "id": "E42-DOMAIN-INCIDENT",
   "ok": true
  },
  {
   "description": "signed domain EVOLUTION exists",
   "detail": "'EVOLUTION'",
   "family": "domain",
   "id": "E42-DOMAIN-EVOLUTION",
   "ok": true
  },
  {
   "description": "signed domain COVERAGE exists",
   "detail": "'COVERAGE'",
   "family": "domain",
   "id": "E42-DOMAIN-COVERAGE",
   "ok": true
  },
  {
   "description": "signed domain REVOCATION exists",
   "detail": "'REVOCATION'",
   "family": "domain",
   "id": "E42-DOMAIN-REVOCATION",
   "ok": true
  },
  {
   "description": "signed domain REPLAY exists",
   "detail": "'REPLAY'",
   "family": "domain",
   "id": "E42-DOMAIN-REPLAY",
   "ok": true
  },
  {
   "description": "signed domain CONFORMANCE exists",
   "detail": "'CONFORMANCE'",
   "family": "domain",
   "id": "E42-DOMAIN-CONFORMANCE",
   "ok": true
  },
  {
   "description": "signed domain REGISTRY exists",
   "detail": "'REGISTRY'",
   "family": "domain",
   "id": "E42-DOMAIN-REGISTRY",
   "ok": true
  },
  {
   "description": "signed domain MASTER exists",
   "detail": "'MASTER'",
   "family": "domain",
   "id": "E42-DOMAIN-MASTER",
   "ok": true
  },
  {
   "description": "canonical authorization stage IDENTITY exists",
   "detail": "'IDENTITY'",
   "family": "kernel",
   "id": "E42-AUTHPATH-IDENTITY",
   "ok": true
  },
  {
   "description": "canonical authorization stage CAPABILITY exists",
   "detail": "'CAPABILITY'",
   "family": "kernel",
   "id": "E42-AUTHPATH-CAPABILITY",
   "ok": true
  },
  {
   "description": "canonical authorization stage TRUST exists",
   "detail": "'TRUST'",
   "family": "kernel",
   "id": "E42-AUTHPATH-TRUST",
   "ok": true
  },
  {
   "description": "canonical authorization stage POLICY exists",
   "detail": "'POLICY'",
   "family": "kernel",
   "id": "E42-AUTHPATH-POLICY",
   "ok": true
  },
  {
   "description": "canonical authorization stage AUTHORITY exists",
   "detail": "'AUTHORITY'",
   "family": "kernel",
   "id": "E42-AUTHPATH-AUTHORITY",
   "ok": true
  },
  {
   "description": "canonical authorization stage RISK exists",
   "detail": "'RISK'",
   "family": "kernel",
   "id": "E42-AUTHPATH-RISK",
   "ok": true
  },
  {
   "description": "canonical authorization stage CONSEQUENCE exists",
   "detail": "'CONSEQUENCE'",
   "family": "kernel",
   "id": "E42-AUTHPATH-CONSEQUENCE",
   "ok": true
  },
  {
   "description": "canonical authorization stage TRAJECTORY exists",
   "detail": "'TRAJECTORY'",
   "family": "kernel",
   "id": "E42-AUTHPATH-TRAJECTORY",
   "ok": true
  },
  {
   "description": "canonical authorization stage DECISION exists",
   "detail": "'DECISION'",
   "family": "kernel",
   "id": "E42-AUTHPATH-DECISION",
   "ok": true
  },
  {
   "description": "canonical authorization stage E8_COMMIT exists",
   "detail": "'E8_COMMIT'",
   "family": "kernel",
   "id": "E42-AUTHPATH-E8_COMMIT",
   "ok": true
  },
  {
   "description": "canonical authorization stage ENFORCEMENT exists",
   "detail": "'ENFORCEMENT'",
   "family": "kernel",
   "id": "E42-AUTHPATH-ENFORCEMENT",
   "ok": true
  },
  {
   "description": "universal action surface mcp is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-mcp",
   "ok": true
  },
  {
   "description": "universal action surface a2a is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-a2a",
   "ok": true
  },
  {
   "description": "universal action surface http is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-http",
   "ok": true
  },
  {
   "description": "universal action surface rest is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-rest",
   "ok": true
  },
  {
   "description": "universal action surface grpc is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-grpc",
   "ok": true
  },
  {
   "description": "universal action surface websocket is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-websocket",
   "ok": true
  },
  {
   "description": "universal action surface cli is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-cli",
   "ok": true
  },
  {
   "description": "universal action surface shell is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-shell",
   "ok": true
  },
  {
   "description": "universal action surface filesystem is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-filesystem",
   "ok": true
  },
  {
   "description": "universal action surface database is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-database",
   "ok": true
  },
  {
   "description": "universal action surface browser is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-browser",
   "ok": true
  },
  {
   "description": "universal action surface computer_use is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-computer_use",
   "ok": true
  },
  {
   "description": "universal action surface cloud is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-cloud",
   "ok": true
  },
  {
   "description": "universal action surface kubernetes is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-kubernetes",
   "ok": true
  },
  {
   "description": "universal action surface ci_cd is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-ci_cd",
   "ok": true
  },
  {
   "description": "universal action surface serverless is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-serverless",
   "ok": true
  },
  {
   "description": "universal action surface gpu is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-gpu",
   "ok": true
  },
  {
   "description": "universal action surface edge is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-edge",
   "ok": true
  },
  {
   "description": "universal action surface physical_gateway is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-physical_gateway",
   "ok": true
  },
  {
   "description": "universal action surface robotics_boundary is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-robotics_boundary",
   "ok": true
  },
  {
   "description": "universal action surface vehicle_boundary is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-vehicle_boundary",
   "ok": true
  },
  {
   "description": "universal action surface financial_api is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-financial_api",
   "ok": true
  },
  {
   "description": "universal action surface enterprise_api is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-enterprise_api",
   "ok": true
  },
  {
   "description": "universal action surface messaging is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-messaging",
   "ok": true
  },
  {
   "description": "universal action surface email is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-email",
   "ok": true
  },
  {
   "description": "universal action surface calendar is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-calendar",
   "ok": true
  },
  {
   "description": "universal action surface code_execution is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-code_execution",
   "ok": true
  },
  {
   "description": "universal action surface deployment is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-deployment",
   "ok": true
  },
  {
   "description": "universal action surface agent_spawn is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-agent_spawn",
   "ok": true
  },
  {
   "description": "universal action surface delegation is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-delegation",
   "ok": true
  },
  {
   "description": "universal action surface memory_mutation is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-memory_mutation",
   "ok": true
  },
  {
   "description": "universal action surface policy_mutation is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-policy_mutation",
   "ok": true
  },
  {
   "description": "universal action surface config_mutation is covered",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "action",
   "id": "E42-SURFACE-config_mutation",
   "ok": true
  },
  {
   "description": "governance ABI object Identity exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Identity",
   "ok": true
  },
  {
   "description": "governance ABI object Intent exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Intent",
   "ok": true
  },
  {
   "description": "governance ABI object Action exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Action",
   "ok": true
  },
  {
   "description": "governance ABI object Capability exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Capability",
   "ok": true
  },
  {
   "description": "governance ABI object Policy exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Policy",
   "ok": true
  },
  {
   "description": "governance ABI object Authority exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Authority",
   "ok": true
  },
  {
   "description": "governance ABI object Risk exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Risk",
   "ok": true
  },
  {
   "description": "governance ABI object Evidence exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Evidence",
   "ok": true
  },
  {
   "description": "governance ABI object Authorization exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Authorization",
   "ok": true
  },
  {
   "description": "governance ABI object Execution exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Execution",
   "ok": true
  },
  {
   "description": "governance ABI object Outcome exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Outcome",
   "ok": true
  },
  {
   "description": "governance ABI object Receipt exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Receipt",
   "ok": true
  },
  {
   "description": "governance ABI object Incident exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Incident",
   "ok": true
  },
  {
   "description": "governance ABI object Evolution exists",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "abi",
   "id": "E42-ABI-Evolution",
   "ok": true
  },
  {
   "description": "evidence class FORMAL_PROOF is never merged",
   "detail": "'FORMAL_PROOF'",
   "family": "proof",
   "id": "E42-EVIDCLASS-FORMAL_PROOF",
   "ok": true
  },
  {
   "description": "evidence class EMPIRICAL_EVIDENCE is never merged",
   "detail": "'EMPIRICAL_EVIDENCE'",
   "family": "proof",
   "id": "E42-EVIDCLASS-EMPIRICAL_EVIDENCE",
   "ok": true
  },
  {
   "description": "evidence class REPRODUCIBLE_TEST is never merged",
   "detail": "'REPRODUCIBLE_TEST'",
   "family": "proof",
   "id": "E42-EVIDCLASS-REPRODUCIBLE_TEST",
   "ok": true
  },
  {
   "description": "evidence class MACHINE_VERIFICATION is never merged",
   "detail": "'MACHINE_VERIFICATION'",
   "family": "proof",
   "id": "E42-EVIDCLASS-MACHINE_VERIFICATION",
   "ok": true
  },
  {
   "description": "evidence class INDEPENDENT_REPRODUCTION is never merged",
   "detail": "'INDEPENDENT_REPRODUCTION'",
   "family": "proof",
   "id": "E42-EVIDCLASS-INDEPENDENT_REPRODUCTION",
   "ok": true
  },
  {
   "description": "evidence class SIMULATION is never merged",
   "detail": "'SIMULATION'",
   "family": "proof",
   "id": "E42-EVIDCLASS-SIMULATION",
   "ok": true
  },
  {
   "description": "evidence class OBSERVATION is never merged",
   "detail": "'OBSERVATION'",
   "family": "proof",
   "id": "E42-EVIDCLASS-OBSERVATION",
   "ok": true
  },
  {
   "description": "evidence class CLAIM is never merged",
   "detail": "'CLAIM'",
   "family": "proof",
   "id": "E42-EVIDCLASS-CLAIM",
   "ok": true
  },
  {
   "description": "coverage class ENFORCED exists and is never upgraded",
   "detail": "'ENFORCED'",
   "family": "coverage",
   "id": "E42-COVCLASS-ENFORCED",
   "ok": true
  },
  {
   "description": "coverage class MONITORED exists and is never upgraded",
   "detail": "'MONITORED'",
   "family": "coverage",
   "id": "E42-COVCLASS-MONITORED",
   "ok": true
  },
  {
   "description": "coverage class OBSERVED exists and is never upgraded",
   "detail": "'OBSERVED'",
   "family": "coverage",
   "id": "E42-COVCLASS-OBSERVED",
   "ok": true
  },
  {
   "description": "coverage class BYPASSABLE exists and is never upgraded",
   "detail": "'BYPASSABLE'",
   "family": "coverage",
   "id": "E42-COVCLASS-BYPASSABLE",
   "ok": true
  },
  {
   "description": "coverage class UNKNOWN exists and is never upgraded",
   "detail": "'UNKNOWN'",
   "family": "coverage",
   "id": "E42-COVCLASS-UNKNOWN",
   "ok": true
  },
  {
   "description": "coverage class UNCONTROLLED exists and is never upgraded",
   "detail": "'UNCONTROLLED'",
   "family": "coverage",
   "id": "E42-COVCLASS-UNCONTROLLED",
   "ok": true
  },
  {
   "description": "evolution E7 is mapped to its module and bundle",
   "detail": "'E7'",
   "family": "registry",
   "id": "E42-EVOLUTION-E7",
   "ok": true
  },
  {
   "description": "evolution E8 is mapped to its module and bundle",
   "detail": "'E8'",
   "family": "registry",
   "id": "E42-EVOLUTION-E8",
   "ok": true
  },
  {
   "description": "evolution E9 is mapped to its module and bundle",
   "detail": "'E9'",
   "family": "registry",
   "id": "E42-EVOLUTION-E9",
   "ok": true
  },
  {
   "description": "evolution E10 is mapped to its module and bundle",
   "detail": "'E10'",
   "family": "registry",
   "id": "E42-EVOLUTION-E10",
   "ok": true
  },
  {
   "description": "evolution E11 is mapped to its module and bundle",
   "detail": "'E11'",
   "family": "registry",
   "id": "E42-EVOLUTION-E11",
   "ok": true
  },
  {
   "description": "evolution E12 is mapped to its module and bundle",
   "detail": "'E12'",
   "family": "registry",
   "id": "E42-EVOLUTION-E12",
   "ok": true
  },
  {
   "description": "evolution E13 is mapped to its module and bundle",
   "detail": "'E13'",
   "family": "registry",
   "id": "E42-EVOLUTION-E13",
   "ok": true
  },
  {
   "description": "evolution E14 is mapped to its module and bundle",
   "detail": "'E14'",
   "family": "registry",
   "id": "E42-EVOLUTION-E14",
   "ok": true
  },
  {
   "description": "evolution E15 is mapped to its module and bundle",
   "detail": "'E15'",
   "family": "registry",
   "id": "E42-EVOLUTION-E15",
   "ok": true
  },
  {
   "description": "evolution E16 is mapped to its module and bundle",
   "detail": "'E16'",
   "family": "registry",
   "id": "E42-EVOLUTION-E16",
   "ok": true
  },
  {
   "description": "evolution E17 is mapped to its module and bundle",
   "detail": "'E17'",
   "family": "registry",
   "id": "E42-EVOLUTION-E17",
   "ok": true
  },
  {
   "description": "evolution E18 is mapped to its module and bundle",
   "detail": "'E18'",
   "family": "registry",
   "id": "E42-EVOLUTION-E18",
   "ok": true
  },
  {
   "description": "evolution E19 is mapped to its module and bundle",
   "detail": "'E19'",
   "family": "registry",
   "id": "E42-EVOLUTION-E19",
   "ok": true
  },
  {
   "description": "evolution E20 is mapped to its module and bundle",
   "detail": "'E20'",
   "family": "registry",
   "id": "E42-EVOLUTION-E20",
   "ok": true
  },
  {
   "description": "evolution E21 is mapped to its module and bundle",
   "detail": "'E21'",
   "family": "registry",
   "id": "E42-EVOLUTION-E21",
   "ok": true
  },
  {
   "description": "evolution E23 is mapped to its module and bundle",
   "detail": "'E23'",
   "family": "registry",
   "id": "E42-EVOLUTION-E23",
   "ok": true
  },
  {
   "description": "evolution E24 is mapped to its module and bundle",
   "detail": "'E24'",
   "family": "registry",
   "id": "E42-EVOLUTION-E24",
   "ok": true
  },
  {
   "description": "evolution E25 is mapped to its module and bundle",
   "detail": "'E25'",
   "family": "registry",
   "id": "E42-EVOLUTION-E25",
   "ok": true
  },
  {
   "description": "evolution E26 is mapped to its module and bundle",
   "detail": "'E26'",
   "family": "registry",
   "id": "E42-EVOLUTION-E26",
   "ok": true
  },
  {
   "description": "evolution E27 is mapped to its module and bundle",
   "detail": "'E27'",
   "family": "registry",
   "id": "E42-EVOLUTION-E27",
   "ok": true
  },
  {
   "description": "evolution E28 is mapped to its module and bundle",
   "detail": "'E28'",
   "family": "registry",
   "id": "E42-EVOLUTION-E28",
   "ok": true
  },
  {
   "description": "evolution E29 is mapped to its module and bundle",
   "detail": "'E29'",
   "family": "registry",
   "id": "E42-EVOLUTION-E29",
   "ok": true
  },
  {
   "description": "evolution E30 is mapped to its module and bundle",
   "detail": "'E30'",
   "family": "registry",
   "id": "E42-EVOLUTION-E30",
   "ok": true
  },
  {
   "description": "evolution E31 is mapped to its module and bundle",
   "detail": "'E31'",
   "family": "registry",
   "id": "E42-EVOLUTION-E31",
   "ok": true
  },
  {
   "description": "evolution E32 is mapped to its module and bundle",
   "detail": "'E32'",
   "family": "registry",
   "id": "E42-EVOLUTION-E32",
   "ok": true
  },
  {
   "description": "evolution E33 is mapped to its module and bundle",
   "detail": "'E33'",
   "family": "registry",
   "id": "E42-EVOLUTION-E33",
   "ok": true
  },
  {
   "description": "evolution E34 is mapped to its module and bundle",
   "detail": "'E34'",
   "family": "registry",
   "id": "E42-EVOLUTION-E34",
   "ok": true
  },
  {
   "description": "evolution E35 is mapped to its module and bundle",
   "detail": "'E35'",
   "family": "registry",
   "id": "E42-EVOLUTION-E35",
   "ok": true
  },
  {
   "description": "evolution E36 is mapped to its module and bundle",
   "detail": "'E36'",
   "family": "registry",
   "id": "E42-EVOLUTION-E36",
   "ok": true
  },
  {
   "description": "evolution E37 is mapped to its module and bundle",
   "detail": "'E37'",
   "family": "registry",
   "id": "E42-EVOLUTION-E37",
   "ok": true
  },
  {
   "description": "evolution E38 is mapped to its module and bundle",
   "detail": "'E38'",
   "family": "registry",
   "id": "E42-EVOLUTION-E38",
   "ok": true
  },
  {
   "description": "evolution E39 is mapped to its module and bundle",
   "detail": "'E39'",
   "family": "registry",
   "id": "E42-EVOLUTION-E39",
   "ok": true
  },
  {
   "description": "evolution E40 is mapped to its module and bundle",
   "detail": "'E40'",
   "family": "registry",
   "id": "E42-EVOLUTION-E40",
   "ok": true
  },
  {
   "description": "evolution E41 is mapped to its module and bundle",
   "detail": "'E41'",
   "family": "registry",
   "id": "E42-EVOLUTION-E41",
   "ok": true
  },
  {
   "description": "proof kind identity exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-identity",
   "ok": true
  },
  {
   "description": "proof kind authorization exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-authorization",
   "ok": true
  },
  {
   "description": "proof kind policy exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-policy",
   "ok": true
  },
  {
   "description": "proof kind capability exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-capability",
   "ok": true
  },
  {
   "description": "proof kind execution exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-execution",
   "ok": true
  },
  {
   "description": "proof kind outcome exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-outcome",
   "ok": true
  },
  {
   "description": "proof kind provenance exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-provenance",
   "ok": true
  },
  {
   "description": "proof kind conformance exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-conformance",
   "ok": true
  },
  {
   "description": "proof kind revocation exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-revocation",
   "ok": true
  },
  {
   "description": "proof kind coverage exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-coverage",
   "ok": true
  },
  {
   "description": "proof kind evidence_integrity exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-evidence_integrity",
   "ok": true
  },
  {
   "description": "proof kind recovery exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-recovery",
   "ok": true
  },
  {
   "description": "proof kind evolution exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "proof",
   "id": "E42-PROOFKIND-evolution",
   "ok": true
  },
  {
   "description": "unified graph node kind identity exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-identity",
   "ok": true
  },
  {
   "description": "unified graph node kind trust exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-trust",
   "ok": true
  },
  {
   "description": "unified graph node kind authority exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-authority",
   "ok": true
  },
  {
   "description": "unified graph node kind capability exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-capability",
   "ok": true
  },
  {
   "description": "unified graph node kind policy exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-policy",
   "ok": true
  },
  {
   "description": "unified graph node kind evidence exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-evidence",
   "ok": true
  },
  {
   "description": "unified graph node kind decision exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-decision",
   "ok": true
  },
  {
   "description": "unified graph node kind agent exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-agent",
   "ok": true
  },
  {
   "description": "unified graph node kind collective exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-collective",
   "ok": true
  },
  {
   "description": "unified graph node kind institution exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-institution",
   "ok": true
  },
  {
   "description": "unified graph node kind contract exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-contract",
   "ok": true
  },
  {
   "description": "unified graph node kind transaction exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-transaction",
   "ok": true
  },
  {
   "description": "unified graph node kind economic exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-economic",
   "ok": true
  },
  {
   "description": "unified graph node kind world exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-world",
   "ok": true
  },
  {
   "description": "unified graph node kind spatial exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-spatial",
   "ok": true
  },
  {
   "description": "unified graph node kind causal exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-causal",
   "ok": true
  },
  {
   "description": "unified graph node kind execution exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-execution",
   "ok": true
  },
  {
   "description": "unified graph node kind supply_chain exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-supply_chain",
   "ok": true
  },
  {
   "description": "unified graph node kind incident exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-incident",
   "ok": true
  },
  {
   "description": "unified graph node kind evolution exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-evolution",
   "ok": true
  },
  {
   "description": "unified graph node kind enterprise exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-enterprise",
   "ok": true
  },
  {
   "description": "unified graph node kind federation exists",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "graph",
   "id": "E42-GRAPH-federation",
   "ok": true
  },
  {
   "description": "governed evolution stage DISCOVER exists",
   "detail": "'DISCOVER'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-DISCOVER",
   "ok": true
  },
  {
   "description": "governed evolution stage HYPOTHESIZE exists",
   "detail": "'HYPOTHESIZE'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-HYPOTHESIZE",
   "ok": true
  },
  {
   "description": "governed evolution stage EXPERIMENT exists",
   "detail": "'EXPERIMENT'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-EXPERIMENT",
   "ok": true
  },
  {
   "description": "governed evolution stage EVALUATE exists",
   "detail": "'EVALUATE'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-EVALUATE",
   "ok": true
  },
  {
   "description": "governed evolution stage VERIFY exists",
   "detail": "'VERIFY'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-VERIFY",
   "ok": true
  },
  {
   "description": "governed evolution stage PROPOSE exists",
   "detail": "'PROPOSE'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-PROPOSE",
   "ok": true
  },
  {
   "description": "governed evolution stage SANDBOX exists",
   "detail": "'SANDBOX'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-SANDBOX",
   "ok": true
  },
  {
   "description": "governed evolution stage CANARY exists",
   "detail": "'CANARY'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-CANARY",
   "ok": true
  },
  {
   "description": "governed evolution stage COMPARE exists",
   "detail": "'COMPARE'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-COMPARE",
   "ok": true
  },
  {
   "description": "governed evolution stage AUTHORIZE exists",
   "detail": "'AUTHORIZE'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-AUTHORIZE",
   "ok": true
  },
  {
   "description": "governed evolution stage DEPLOY exists",
   "detail": "'DEPLOY'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-DEPLOY",
   "ok": true
  },
  {
   "description": "governed evolution stage OBSERVE exists",
   "detail": "'OBSERVE'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-OBSERVE",
   "ok": true
  },
  {
   "description": "governed evolution stage ROLLBACK exists",
   "detail": "'ROLLBACK'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-ROLLBACK",
   "ok": true
  },
  {
   "description": "governed evolution stage REVERIFY exists",
   "detail": "'REVERIFY'",
   "family": "evolution",
   "id": "E42-EVOSTAGE-REVERIFY",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'universal control'",
   "detail": "'universal control'",
   "family": "truth",
   "id": "E42-TRUTH-universal_control",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'agi'",
   "detail": "'agi'",
   "family": "truth",
   "id": "E42-TRUTH-agi",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'superintelligence'",
   "detail": "'superintelligence'",
   "family": "truth",
   "id": "E42-TRUTH-superintelligence",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'perfect security'",
   "detail": "'perfect security'",
   "family": "truth",
   "id": "E42-TRUTH-perfect_security",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'perfect alignment'",
   "detail": "'perfect alignment'",
   "family": "truth",
   "id": "E42-TRUTH-perfect_alignment",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'guaranteed safety'",
   "detail": "'guaranteed safety'",
   "family": "truth",
   "id": "E42-TRUTH-guaranteed_safety",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'guarantees safety'",
   "detail": "'guarantees safety'",
   "family": "truth",
   "id": "E42-TRUTH-guarantees_safety",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'universal enforcement'",
   "detail": "'universal enforcement'",
   "family": "truth",
   "id": "E42-TRUTH-universal_enforcement",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'controls all ai'",
   "detail": "'controls all ai'",
   "family": "truth",
   "id": "E42-TRUTH-controls_all_ai",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'controls the internet'",
   "detail": "'controls the internet'",
   "family": "truth",
   "id": "E42-TRUTH-controls_the_internet",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'global economic control'",
   "detail": "'global economic control'",
   "family": "truth",
   "id": "E42-TRUTH-global_economic_control",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'certified'",
   "detail": "'certified'",
   "family": "truth",
   "id": "E42-TRUTH-certified",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'certification'",
   "detail": "'certification'",
   "family": "truth",
   "id": "E42-TRUTH-certification",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'customers'",
   "detail": "'customers'",
   "family": "truth",
   "id": "E42-TRUTH-customers",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'revenue'",
   "detail": "'revenue'",
   "family": "truth",
   "id": "E42-TRUTH-revenue",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'solves alignment'",
   "detail": "'solves alignment'",
   "family": "truth",
   "id": "E42-TRUTH-solves_alignment",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'hardware attestation'",
   "detail": "'hardware attestation'",
   "family": "truth",
   "id": "E42-TRUTH-hardware_attestation",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'hardware-attested'",
   "detail": "'hardware-attested'",
   "family": "truth",
   "id": "E42-TRUTH-hardware-attested",
   "ok": true
  },
  {
   "description": "the truth engine knows the phrase 'production deployment'",
   "detail": "'production deployment'",
   "family": "truth",
   "id": "E42-TRUTH-production_deployment",
   "ok": true
  },
  {
   "description": "completion claim 'done' maps to evidence",
   "detail": "'done'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-done",
   "ok": true
  },
  {
   "description": "completion claim 'completed' maps to evidence",
   "detail": "'completed'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-completed",
   "ok": true
  },
  {
   "description": "completion claim 'deployed' maps to evidence",
   "detail": "'deployed'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-deployed",
   "ok": true
  },
  {
   "description": "completion claim 'verified' maps to evidence",
   "detail": "'verified'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-verified",
   "ok": true
  },
  {
   "description": "completion claim 'fixed' maps to evidence",
   "detail": "'fixed'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-fixed",
   "ok": true
  },
  {
   "description": "completion claim 'sent' maps to evidence",
   "detail": "'sent'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-sent",
   "ok": true
  },
  {
   "description": "completion claim 'purchased' maps to evidence",
   "detail": "'purchased'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-purchased",
   "ok": true
  },
  {
   "description": "completion claim 'executed' maps to evidence",
   "detail": "'executed'",
   "family": "false_completion",
   "id": "E42-FALSECLAIM-executed",
   "ok": true
  },
  {
   "description": "a universal action requires surface",
   "detail": "'surface'",
   "family": "action",
   "id": "E42-ACTIONFIELD-surface",
   "ok": true
  },
  {
   "description": "a universal action requires actor",
   "detail": "'actor'",
   "family": "action",
   "id": "E42-ACTIONFIELD-actor",
   "ok": true
  },
  {
   "description": "a universal action requires principal",
   "detail": "'principal'",
   "family": "action",
   "id": "E42-ACTIONFIELD-principal",
   "ok": true
  },
  {
   "description": "a universal action requires intent",
   "detail": "'intent'",
   "family": "action",
   "id": "E42-ACTIONFIELD-intent",
   "ok": true
  },
  {
   "description": "a universal action requires target",
   "detail": "'target'",
   "family": "action",
   "id": "E42-ACTIONFIELD-target",
   "ok": true
  },
  {
   "description": "a universal action requires parameters_digest",
   "detail": "'parameters_digest'",
   "family": "action",
   "id": "E42-ACTIONFIELD-parameters_digest",
   "ok": true
  },
  {
   "description": "a universal action requires capability",
   "detail": "'capability'",
   "family": "action",
   "id": "E42-ACTIONFIELD-capability",
   "ok": true
  },
  {
   "description": "a universal action requires delegation",
   "detail": "'delegation'",
   "family": "action",
   "id": "E42-ACTIONFIELD-delegation",
   "ok": true
  },
  {
   "description": "a universal action requires policy",
   "detail": "'policy'",
   "family": "action",
   "id": "E42-ACTIONFIELD-policy",
   "ok": true
  },
  {
   "description": "a universal action requires authority",
   "detail": "'authority'",
   "family": "action",
   "id": "E42-ACTIONFIELD-authority",
   "ok": true
  },
  {
   "description": "a universal action requires risk",
   "detail": "'risk'",
   "family": "action",
   "id": "E42-ACTIONFIELD-risk",
   "ok": true
  },
  {
   "description": "a universal action requires consequence",
   "detail": "'consequence'",
   "family": "action",
   "id": "E42-ACTIONFIELD-consequence",
   "ok": true
  },
  {
   "description": "a universal action requires trajectory",
   "detail": "'trajectory'",
   "family": "action",
   "id": "E42-ACTIONFIELD-trajectory",
   "ok": true
  },
  {
   "description": "a universal action requires world_state",
   "detail": "'world_state'",
   "family": "action",
   "id": "E42-ACTIONFIELD-world_state",
   "ok": true
  },
  {
   "description": "a universal action requires environment",
   "detail": "'environment'",
   "family": "action",
   "id": "E42-ACTIONFIELD-environment",
   "ok": true
  },
  {
   "description": "a universal action requires amount",
   "detail": "'amount'",
   "family": "action",
   "id": "E42-ACTIONFIELD-amount",
   "ok": true
  },
  {
   "description": "a universal action requires reversible",
   "detail": "'reversible'",
   "family": "action",
   "id": "E42-ACTIONFIELD-reversible",
   "ok": true
  },
  {
   "description": "a universal action requires nonce",
   "detail": "'nonce'",
   "family": "action",
   "id": "E42-ACTIONFIELD-nonce",
   "ok": true
  },
  {
   "description": "a canonical receipt requires who",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-who",
   "ok": true
  },
  {
   "description": "a canonical receipt requires what",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-what",
   "ok": true
  },
  {
   "description": "a canonical receipt requires why",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-why",
   "ok": true
  },
  {
   "description": "a canonical receipt requires policy",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-policy",
   "ok": true
  },
  {
   "description": "a canonical receipt requires authority",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-authority",
   "ok": true
  },
  {
   "description": "a canonical receipt requires capability",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-capability",
   "ok": true
  },
  {
   "description": "a canonical receipt requires environment",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-environment",
   "ok": true
  },
  {
   "description": "a canonical receipt requires at",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-at",
   "ok": true
  },
  {
   "description": "a canonical receipt requires version",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-version",
   "ok": true
  },
  {
   "description": "a canonical receipt requires risk",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-risk",
   "ok": true
  },
  {
   "description": "a canonical receipt requires evidence",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-evidence",
   "ok": true
  },
  {
   "description": "a canonical receipt requires result",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E42-RECEIPTFIELD-result",
   "ok": true
  },
  {
   "description": "every law scenario holds",
   "detail": "{'scenarios': 320, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-law",
   "ok": true
  },
  {
   "description": "every kernel scenario holds",
   "detail": "{'scenarios': 132, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-kernel",
   "ok": true
  },
  {
   "description": "every action scenario holds",
   "detail": "{'scenarios': 214, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-action",
   "ok": true
  },
  {
   "description": "every abi scenario holds",
   "detail": "{'scenarios': 162, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-abi",
   "ok": true
  },
  {
   "description": "every proof scenario holds",
   "detail": "{'scenarios': 50, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-proof",
   "ok": true
  },
  {
   "description": "every receipt scenario holds",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-receipt",
   "ok": true
  },
  {
   "description": "every coverage scenario holds",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-coverage",
   "ok": true
  },
  {
   "description": "every registry scenario holds",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-registry",
   "ok": true
  },
  {
   "description": "every truth scenario holds",
   "detail": "{'scenarios': 96, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-truth",
   "ok": true
  },
  {
   "description": "every graph scenario holds",
   "detail": "{'scenarios': 54, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-graph",
   "ok": true
  },
  {
   "description": "every dedup scenario holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-dedup",
   "ok": true
  },
  {
   "description": "every evolution scenario holds",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-evolution",
   "ok": true
  },
  {
   "description": "every time_machine scenario holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-time_machine",
   "ok": true
  },
  {
   "description": "every false_completion scenario holds",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-false_completion",
   "ok": true
  },
  {
   "description": "every reject scenario holds",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-reject",
   "ok": true
  },
  {
   "description": "every scale scenario holds",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_category",
   "id": "E42-CAT-scale",
   "ok": true
  },
  {
   "description": "family abi/bulk_abi holds",
   "detail": "{'scenarios': 100, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-abi-bulk_abi",
   "ok": true
  },
  {
   "description": "family abi/object holds",
   "detail": "{'scenarios': 52, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-abi-object",
   "ok": true
  },
  {
   "description": "family abi/version holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-abi-version",
   "ok": true
  },
  {
   "description": "family action/bad_surface holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-action-bad_surface",
   "ok": true
  },
  {
   "description": "family action/bulk_surface holds",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-action-bulk_surface",
   "ok": true
  },
  {
   "description": "family action/field holds",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-action-field",
   "ok": true
  },
  {
   "description": "family action/surface holds",
   "detail": "{'scenarios': 66, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-action-surface",
   "ok": true
  },
  {
   "description": "family coverage/bad_class holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-coverage-bad_class",
   "ok": true
  },
  {
   "description": "family coverage/compile holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-coverage-compile",
   "ok": true
  },
  {
   "description": "family coverage/honest_claim holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-coverage-honest_claim",
   "ok": true
  },
  {
   "description": "family coverage/no_upgrade holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-coverage-no_upgrade",
   "ok": true
  },
  {
   "description": "family dedup/dedup_audit holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-dedup-dedup_audit",
   "ok": true
  },
  {
   "description": "family evolution/evolution_stage holds",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-evolution-evolution_stage",
   "ok": true
  },
  {
   "description": "family false_completion/false_completion holds",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-false_completion-false_completion",
   "ok": true
  },
  {
   "description": "family graph/edge holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-graph-edge",
   "ok": true
  },
  {
   "description": "family graph/node_kind holds",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-graph-node_kind",
   "ok": true
  },
  {
   "description": "family kernel/decision holds",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-kernel-decision",
   "ok": true
  },
  {
   "description": "family kernel/path holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-kernel-path",
   "ok": true
  },
  {
   "description": "family law/bulk_law holds",
   "detail": "{'scenarios': 200, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-law-bulk_law",
   "ok": true
  },
  {
   "description": "family law/no_authority holds",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-law-no_authority",
   "ok": true
  },
  {
   "description": "family proof/bad_kind holds",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-proof-bad_kind",
   "ok": true
  },
  {
   "description": "family proof/evidence_class holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-proof-evidence_class",
   "ok": true
  },
  {
   "description": "family proof/proof_kind holds",
   "detail": "{'scenarios': 26, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-proof-proof_kind",
   "ok": true
  },
  {
   "description": "family receipt/field holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-receipt-field",
   "ok": true
  },
  {
   "description": "family receipt/no_authority holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-receipt-no_authority",
   "ok": true
  },
  {
   "description": "family receipt/receipt holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-receipt-receipt",
   "ok": true
  },
  {
   "description": "family registry/honest_missing holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-registry-honest_missing",
   "ok": true
  },
  {
   "description": "family registry/integration_map holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-registry-integration_map",
   "ok": true
  },
  {
   "description": "family reject/no_authority holds",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-reject-no_authority",
   "ok": true
  },
  {
   "description": "family scale/kernel_scale holds",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-scale-kernel_scale",
   "ok": true
  },
  {
   "description": "family time_machine/known_at_t holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-time_machine-known_at_t",
   "ok": true
  },
  {
   "description": "family truth/negated_ok holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-truth-negated_ok",
   "ok": true
  },
  {
   "description": "family truth/unsupported_claim holds",
   "detail": "{'scenarios': 76, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM-truth-unsupported_claim",
   "ok": true
  },
  {
   "description": "family abi/bulk_abi is a held, non-empty check",
   "detail": "{'scenarios': 100, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-abi-bulk_abi",
   "ok": true
  },
  {
   "description": "family abi/object is a held, non-empty check",
   "detail": "{'scenarios': 52, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-abi-object",
   "ok": true
  },
  {
   "description": "family abi/version is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-abi-version",
   "ok": true
  },
  {
   "description": "family action/bad_surface is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-action-bad_surface",
   "ok": true
  },
  {
   "description": "family action/bulk_surface is a held, non-empty check",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-action-bulk_surface",
   "ok": true
  },
  {
   "description": "family action/field is a held, non-empty check",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-action-field",
   "ok": true
  },
  {
   "description": "family action/surface is a held, non-empty check",
   "detail": "{'scenarios': 66, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-action-surface",
   "ok": true
  },
  {
   "description": "family coverage/bad_class is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-coverage-bad_class",
   "ok": true
  },
  {
   "description": "family coverage/compile is a held, non-empty check",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-coverage-compile",
   "ok": true
  },
  {
   "description": "family coverage/honest_claim is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-coverage-honest_claim",
   "ok": true
  },
  {
   "description": "family coverage/no_upgrade is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-coverage-no_upgrade",
   "ok": true
  },
  {
   "description": "family dedup/dedup_audit is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-dedup-dedup_audit",
   "ok": true
  },
  {
   "description": "family evolution/evolution_stage is a held, non-empty check",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-evolution-evolution_stage",
   "ok": true
  },
  {
   "description": "family false_completion/false_completion is a held, non-empty check",
   "detail": "{'scenarios': 24, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-false_completion-false_completion",
   "ok": true
  },
  {
   "description": "family graph/edge is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-graph-edge",
   "ok": true
  },
  {
   "description": "family graph/node_kind is a held, non-empty check",
   "detail": "{'scenarios': 44, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-graph-node_kind",
   "ok": true
  },
  {
   "description": "family kernel/decision is a held, non-empty check",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-kernel-decision",
   "ok": true
  },
  {
   "description": "family kernel/path is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-kernel-path",
   "ok": true
  },
  {
   "description": "family law/bulk_law is a held, non-empty check",
   "detail": "{'scenarios': 200, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-law-bulk_law",
   "ok": true
  },
  {
   "description": "family law/no_authority is a held, non-empty check",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-law-no_authority",
   "ok": true
  },
  {
   "description": "family proof/bad_kind is a held, non-empty check",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-proof-bad_kind",
   "ok": true
  },
  {
   "description": "family proof/evidence_class is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-proof-evidence_class",
   "ok": true
  },
  {
   "description": "family proof/proof_kind is a held, non-empty check",
   "detail": "{'scenarios': 26, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-proof-proof_kind",
   "ok": true
  },
  {
   "description": "family receipt/field is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-receipt-field",
   "ok": true
  },
  {
   "description": "family receipt/no_authority is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-receipt-no_authority",
   "ok": true
  },
  {
   "description": "family receipt/receipt is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-receipt-receipt",
   "ok": true
  },
  {
   "description": "family registry/honest_missing is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-registry-honest_missing",
   "ok": true
  },
  {
   "description": "family registry/integration_map is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-registry-integration_map",
   "ok": true
  },
  {
   "description": "family reject/no_authority is a held, non-empty check",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-reject-no_authority",
   "ok": true
  },
  {
   "description": "family scale/kernel_scale is a held, non-empty check",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-scale-kernel_scale",
   "ok": true
  },
  {
   "description": "family time_machine/known_at_t is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-time_machine-known_at_t",
   "ok": true
  },
  {
   "description": "family truth/negated_ok is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-truth-negated_ok",
   "ok": true
  },
  {
   "description": "family truth/unsupported_claim is a held, non-empty check",
   "detail": "{'scenarios': 76, 'not_held': []}",
   "family": "bench_family",
   "id": "E42-FAM2-truth-unsupported_claim",
   "ok": true
  }
 ],
 "total": 438
}
