{
 "passed": 470,
 "rows": [
  {
   "description": "identity is not authority",
   "detail": "{'scenarios': 290, 'not_held': []}",
   "family": "law",
   "id": "I41-001",
   "ok": true
  },
  {
   "description": "trust is not authorization",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "I41-002",
   "ok": true
  },
  {
   "description": "capability is not permission",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "I41-003",
   "ok": true
  },
  {
   "description": "discovery is not trust",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "I41-004",
   "ok": true
  },
  {
   "description": "negotiation is not authorization",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-005",
   "ok": true
  },
  {
   "description": "contract is not authorization",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "I41-006",
   "ok": true
  },
  {
   "description": "consensus is not authorization",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-007",
   "ok": true
  },
  {
   "description": "economic value is not authority",
   "detail": "{'scenarios': 40, 'not_held': []}",
   "family": "law",
   "id": "I41-008",
   "ok": true
  },
  {
   "description": "reputation is not authority",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-009",
   "ok": true
  },
  {
   "description": "confidence is not truth",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-010",
   "ok": true
  },
  {
   "description": "prediction is not reality",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-011",
   "ok": true
  },
  {
   "description": "simulation is not reality",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-012",
   "ok": true
  },
  {
   "description": "payment is not execution authorization",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "I41-013",
   "ok": true
  },
  {
   "description": "execution is not success",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "I41-014",
   "ok": true
  },
  {
   "description": "success is not truth",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "I41-015",
   "ok": true
  },
  {
   "description": "memory is not authority",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "I41-016",
   "ok": true
  },
  {
   "description": "model output is not authority",
   "detail": "{'scenarios': 90, 'not_held': []}",
   "family": "law",
   "id": "I41-017",
   "ok": true
  },
  {
   "description": "self-attestation is not independent verification",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "I41-018",
   "ok": true
  },
  {
   "description": "delegation is not unbounded authority",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-019",
   "ok": true
  },
  {
   "description": "child authority does not exceed parent authority",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-020",
   "ok": true
  },
  {
   "description": "revocation beats active authority",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-021",
   "ok": true
  },
  {
   "description": "unknown is not verified",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "I41-022",
   "ok": true
  },
  {
   "description": "outside the enforcement boundary is not controlled",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "I41-023",
   "ok": true
  },
  {
   "description": "no enforcement, no control claim",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "I41-024",
   "ok": true
  },
  {
   "description": "no authorization, no execution",
   "detail": "{'scenarios': 26, 'not_held': []}",
   "family": "law",
   "id": "I41-025",
   "ok": true
  },
  {
   "description": "no evidence, no trust upgrade",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "I41-026",
   "ok": true
  },
  {
   "description": "a relationship state is never collapsed",
   "detail": "{'scenarios': 40, 'not_held': []}",
   "family": "law",
   "id": "I41-027",
   "ok": true
  },
  {
   "description": "a machine never creates authority for itself or another machine",
   "detail": "{'scenarios': 150, 'not_held': []}",
   "family": "law",
   "id": "I41-028",
   "ok": true
  },
  {
   "description": "federation never silently broadens authority",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "I41-029",
   "ok": true
  },
  {
   "description": "termination is not re-authorization",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "I41-030",
   "ok": true
  },
  {
   "description": "law I41-001 maps to held scenarios",
   "detail": "{'scenarios': 290, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-001",
   "ok": true
  },
  {
   "description": "law I41-002 maps to held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-002",
   "ok": true
  },
  {
   "description": "law I41-003 maps to held scenarios",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-003",
   "ok": true
  },
  {
   "description": "law I41-004 maps to held scenarios",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-004",
   "ok": true
  },
  {
   "description": "law I41-005 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-005",
   "ok": true
  },
  {
   "description": "law I41-006 maps to held scenarios",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-006",
   "ok": true
  },
  {
   "description": "law I41-007 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-007",
   "ok": true
  },
  {
   "description": "law I41-008 maps to held scenarios",
   "detail": "{'scenarios': 40, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-008",
   "ok": true
  },
  {
   "description": "law I41-009 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-009",
   "ok": true
  },
  {
   "description": "law I41-010 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-010",
   "ok": true
  },
  {
   "description": "law I41-011 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-011",
   "ok": true
  },
  {
   "description": "law I41-012 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-012",
   "ok": true
  },
  {
   "description": "law I41-013 maps to held scenarios",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-013",
   "ok": true
  },
  {
   "description": "law I41-014 maps to held scenarios",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-014",
   "ok": true
  },
  {
   "description": "law I41-015 maps to held scenarios",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-015",
   "ok": true
  },
  {
   "description": "law I41-016 maps to held scenarios",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-016",
   "ok": true
  },
  {
   "description": "law I41-017 maps to held scenarios",
   "detail": "{'scenarios': 90, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-017",
   "ok": true
  },
  {
   "description": "law I41-018 maps to held scenarios",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-018",
   "ok": true
  },
  {
   "description": "law I41-019 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-019",
   "ok": true
  },
  {
   "description": "law I41-020 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-020",
   "ok": true
  },
  {
   "description": "law I41-021 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-021",
   "ok": true
  },
  {
   "description": "law I41-022 maps to held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-022",
   "ok": true
  },
  {
   "description": "law I41-023 maps to held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-023",
   "ok": true
  },
  {
   "description": "law I41-024 maps to held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-024",
   "ok": true
  },
  {
   "description": "law I41-025 maps to held scenarios",
   "detail": "{'scenarios': 26, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-025",
   "ok": true
  },
  {
   "description": "law I41-026 maps to held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-026",
   "ok": true
  },
  {
   "description": "law I41-027 maps to held scenarios",
   "detail": "{'scenarios': 40, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-027",
   "ok": true
  },
  {
   "description": "law I41-028 maps to held scenarios",
   "detail": "{'scenarios': 150, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-028",
   "ok": true
  },
  {
   "description": "law I41-029 maps to held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-029",
   "ok": true
  },
  {
   "description": "law I41-030 maps to held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW2-I41-030",
   "ok": true
  },
  {
   "description": "law I41-001 is enforced by the exchange",
   "detail": "{'scenarios': 290, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-001",
   "ok": true
  },
  {
   "description": "law I41-002 is enforced by the exchange",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-002",
   "ok": true
  },
  {
   "description": "law I41-003 is enforced by the exchange",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-003",
   "ok": true
  },
  {
   "description": "law I41-004 is enforced by the exchange",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-004",
   "ok": true
  },
  {
   "description": "law I41-005 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-005",
   "ok": true
  },
  {
   "description": "law I41-006 is enforced by the exchange",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-006",
   "ok": true
  },
  {
   "description": "law I41-007 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-007",
   "ok": true
  },
  {
   "description": "law I41-008 is enforced by the exchange",
   "detail": "{'scenarios': 40, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-008",
   "ok": true
  },
  {
   "description": "law I41-009 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-009",
   "ok": true
  },
  {
   "description": "law I41-010 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-010",
   "ok": true
  },
  {
   "description": "law I41-011 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-011",
   "ok": true
  },
  {
   "description": "law I41-012 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-012",
   "ok": true
  },
  {
   "description": "law I41-013 is enforced by the exchange",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-013",
   "ok": true
  },
  {
   "description": "law I41-014 is enforced by the exchange",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-014",
   "ok": true
  },
  {
   "description": "law I41-015 is enforced by the exchange",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-015",
   "ok": true
  },
  {
   "description": "law I41-016 is enforced by the exchange",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-016",
   "ok": true
  },
  {
   "description": "law I41-017 is enforced by the exchange",
   "detail": "{'scenarios': 90, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-017",
   "ok": true
  },
  {
   "description": "law I41-018 is enforced by the exchange",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-018",
   "ok": true
  },
  {
   "description": "law I41-019 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-019",
   "ok": true
  },
  {
   "description": "law I41-020 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-020",
   "ok": true
  },
  {
   "description": "law I41-021 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-021",
   "ok": true
  },
  {
   "description": "law I41-022 is enforced by the exchange",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-022",
   "ok": true
  },
  {
   "description": "law I41-023 is enforced by the exchange",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-023",
   "ok": true
  },
  {
   "description": "law I41-024 is enforced by the exchange",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-024",
   "ok": true
  },
  {
   "description": "law I41-025 is enforced by the exchange",
   "detail": "{'scenarios': 26, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-025",
   "ok": true
  },
  {
   "description": "law I41-026 is enforced by the exchange",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-026",
   "ok": true
  },
  {
   "description": "law I41-027 is enforced by the exchange",
   "detail": "{'scenarios': 40, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-027",
   "ok": true
  },
  {
   "description": "law I41-028 is enforced by the exchange",
   "detail": "{'scenarios': 150, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-028",
   "ok": true
  },
  {
   "description": "law I41-029 is enforced by the exchange",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-029",
   "ok": true
  },
  {
   "description": "law I41-030 is enforced by the exchange",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "law",
   "id": "E41-LAW3-I41-030",
   "ok": true
  },
  {
   "description": "signed domain RELATIONSHIP exists",
   "detail": "'RELATIONSHIP'",
   "family": "domain",
   "id": "E41-DOMAIN-RELATIONSHIP",
   "ok": true
  },
  {
   "description": "signed domain DISCOVERY exists",
   "detail": "'DISCOVERY'",
   "family": "domain",
   "id": "E41-DOMAIN-DISCOVERY",
   "ok": true
  },
  {
   "description": "signed domain ATTEST exists",
   "detail": "'ATTEST'",
   "family": "domain",
   "id": "E41-DOMAIN-ATTEST",
   "ok": true
  },
  {
   "description": "signed domain TRUST-NEGOTIATION exists",
   "detail": "'TRUST-NEGOTIATION'",
   "family": "domain",
   "id": "E41-DOMAIN-TRUST-NEGOTIATION",
   "ok": true
  },
  {
   "description": "signed domain HANDSHAKE-V3 exists",
   "detail": "'HANDSHAKE-V3'",
   "family": "domain",
   "id": "E41-DOMAIN-HANDSHAKE-V3",
   "ok": true
  },
  {
   "description": "signed domain CONTRACT exists",
   "detail": "'CONTRACT'",
   "family": "domain",
   "id": "E41-DOMAIN-CONTRACT",
   "ok": true
  },
  {
   "description": "signed domain WORK-INTENT exists",
   "detail": "'WORK-INTENT'",
   "family": "domain",
   "id": "E41-DOMAIN-WORK-INTENT",
   "ok": true
  },
  {
   "description": "signed domain WORK-OFFER exists",
   "detail": "'WORK-OFFER'",
   "family": "domain",
   "id": "E41-DOMAIN-WORK-OFFER",
   "ok": true
  },
  {
   "description": "signed domain WORK-LEASE exists",
   "detail": "'WORK-LEASE'",
   "family": "domain",
   "id": "E41-DOMAIN-WORK-LEASE",
   "ok": true
  },
  {
   "description": "signed domain WORK-RECEIPT exists",
   "detail": "'WORK-RECEIPT'",
   "family": "domain",
   "id": "E41-DOMAIN-WORK-RECEIPT",
   "ok": true
  },
  {
   "description": "signed domain RECEIPT exists",
   "detail": "'RECEIPT'",
   "family": "domain",
   "id": "E41-DOMAIN-RECEIPT",
   "ok": true
  },
  {
   "description": "signed domain SETTLEMENT exists",
   "detail": "'SETTLEMENT'",
   "family": "domain",
   "id": "E41-DOMAIN-SETTLEMENT",
   "ok": true
  },
  {
   "description": "signed domain DISPUTE exists",
   "detail": "'DISPUTE'",
   "family": "domain",
   "id": "E41-DOMAIN-DISPUTE",
   "ok": true
  },
  {
   "description": "signed domain REPUTATION exists",
   "detail": "'REPUTATION'",
   "family": "domain",
   "id": "E41-DOMAIN-REPUTATION",
   "ok": true
  },
  {
   "description": "signed domain FEDERATION exists",
   "detail": "'FEDERATION'",
   "family": "domain",
   "id": "E41-DOMAIN-FEDERATION",
   "ok": true
  },
  {
   "description": "signed domain POLICY-TRANSLATION exists",
   "detail": "'POLICY-TRANSLATION'",
   "family": "domain",
   "id": "E41-DOMAIN-POLICY-TRANSLATION",
   "ok": true
  },
  {
   "description": "signed domain AUTHORITY-TRANSLATION exists",
   "detail": "'AUTHORITY-TRANSLATION'",
   "family": "domain",
   "id": "E41-DOMAIN-AUTHORITY-TRANSLATION",
   "ok": true
  },
  {
   "description": "signed domain REVOCATION exists",
   "detail": "'REVOCATION'",
   "family": "domain",
   "id": "E41-DOMAIN-REVOCATION",
   "ok": true
  },
  {
   "description": "signed domain SYSTEMIC-RISK exists",
   "detail": "'SYSTEMIC-RISK'",
   "family": "domain",
   "id": "E41-DOMAIN-SYSTEMIC-RISK",
   "ok": true
  },
  {
   "description": "signed domain CONTAGION exists",
   "detail": "'CONTAGION'",
   "family": "domain",
   "id": "E41-DOMAIN-CONTAGION",
   "ok": true
  },
  {
   "description": "signed domain CIRCUIT-BREAKER exists",
   "detail": "'CIRCUIT-BREAKER'",
   "family": "domain",
   "id": "E41-DOMAIN-CIRCUIT-BREAKER",
   "ok": true
  },
  {
   "description": "signed domain TIME-MACHINE exists",
   "detail": "'TIME-MACHINE'",
   "family": "domain",
   "id": "E41-DOMAIN-TIME-MACHINE",
   "ok": true
  },
  {
   "description": "signed domain REPLAY exists",
   "detail": "'REPLAY'",
   "family": "domain",
   "id": "E41-DOMAIN-REPLAY",
   "ok": true
  },
  {
   "description": "signed domain CONFORMANCE exists",
   "detail": "'CONFORMANCE'",
   "family": "domain",
   "id": "E41-DOMAIN-CONFORMANCE",
   "ok": true
  },
  {
   "description": "signed domain THREAT exists",
   "detail": "'THREAT'",
   "family": "domain",
   "id": "E41-DOMAIN-THREAT",
   "ok": true
  },
  {
   "description": "signed domain SUPPLY-CHAIN exists",
   "detail": "'SUPPLY-CHAIN'",
   "family": "domain",
   "id": "E41-DOMAIN-SUPPLY-CHAIN",
   "ok": true
  },
  {
   "description": "signed domain ECONOMY exists",
   "detail": "'ECONOMY'",
   "family": "domain",
   "id": "E41-DOMAIN-ECONOMY",
   "ok": true
  },
  {
   "description": "signed domain MASTER exists",
   "detail": "'MASTER'",
   "family": "domain",
   "id": "E41-DOMAIN-MASTER",
   "ok": true
  },
  {
   "description": "relationship state DISCOVERED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-DISCOVERED",
   "ok": true
  },
  {
   "description": "relationship state IDENTIFIED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-IDENTIFIED",
   "ok": true
  },
  {
   "description": "relationship state ATTESTED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-ATTESTED",
   "ok": true
  },
  {
   "description": "relationship state TRUSTED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-TRUSTED",
   "ok": true
  },
  {
   "description": "relationship state NEGOTIATING exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-NEGOTIATING",
   "ok": true
  },
  {
   "description": "relationship state CONTRACTED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-CONTRACTED",
   "ok": true
  },
  {
   "description": "relationship state AUTHORIZED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-AUTHORIZED",
   "ok": true
  },
  {
   "description": "relationship state EXECUTING exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-EXECUTING",
   "ok": true
  },
  {
   "description": "relationship state VERIFIED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-VERIFIED",
   "ok": true
  },
  {
   "description": "relationship state SETTLED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-SETTLED",
   "ok": true
  },
  {
   "description": "relationship state REVOKED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-REVOKED",
   "ok": true
  },
  {
   "description": "relationship state QUARANTINED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-QUARANTINED",
   "ok": true
  },
  {
   "description": "relationship state UNKNOWN exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-UNKNOWN",
   "ok": true
  },
  {
   "description": "relationship state UNCONTROLLED exists and is never collapsed",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-RELSTATE-UNCONTROLLED",
   "ok": true
  },
  {
   "description": "discovery metadata requires identity",
   "detail": "'identity'",
   "family": "discovery",
   "id": "E41-DISCOVERY-identity",
   "ok": true
  },
  {
   "description": "discovery metadata requires owner",
   "detail": "'owner'",
   "family": "discovery",
   "id": "E41-DISCOVERY-owner",
   "ok": true
  },
  {
   "description": "discovery metadata requires trust_domain",
   "detail": "'trust_domain'",
   "family": "discovery",
   "id": "E41-DISCOVERY-trust_domain",
   "ok": true
  },
  {
   "description": "discovery metadata requires capabilities",
   "detail": "'capabilities'",
   "family": "discovery",
   "id": "E41-DISCOVERY-capabilities",
   "ok": true
  },
  {
   "description": "discovery metadata requires interfaces",
   "detail": "'interfaces'",
   "family": "discovery",
   "id": "E41-DISCOVERY-interfaces",
   "ok": true
  },
  {
   "description": "discovery metadata requires protocols",
   "detail": "'protocols'",
   "family": "discovery",
   "id": "E41-DISCOVERY-protocols",
   "ok": true
  },
  {
   "description": "discovery metadata requires authority_model",
   "detail": "'authority_model'",
   "family": "discovery",
   "id": "E41-DISCOVERY-authority_model",
   "ok": true
  },
  {
   "description": "discovery metadata requires governance_requirements",
   "detail": "'governance_requirements'",
   "family": "discovery",
   "id": "E41-DISCOVERY-governance_requirements",
   "ok": true
  },
  {
   "description": "discovery metadata requires execution_boundaries",
   "detail": "'execution_boundaries'",
   "family": "discovery",
   "id": "E41-DISCOVERY-execution_boundaries",
   "ok": true
  },
  {
   "description": "discovery metadata requires evidence",
   "detail": "'evidence'",
   "family": "discovery",
   "id": "E41-DISCOVERY-evidence",
   "ok": true
  },
  {
   "description": "discovery metadata requires attestation",
   "detail": "'attestation'",
   "family": "discovery",
   "id": "E41-DISCOVERY-attestation",
   "ok": true
  },
  {
   "description": "discovery metadata requires version",
   "detail": "'version'",
   "family": "discovery",
   "id": "E41-DISCOVERY-version",
   "ok": true
  },
  {
   "description": "discovery metadata requires dependencies",
   "detail": "'dependencies'",
   "family": "discovery",
   "id": "E41-DISCOVERY-dependencies",
   "ok": true
  },
  {
   "description": "discovery metadata requires limitations",
   "detail": "'limitations'",
   "family": "discovery",
   "id": "E41-DISCOVERY-limitations",
   "ok": true
  },
  {
   "description": "discovery metadata requires conformance_status",
   "detail": "'conformance_status'",
   "family": "discovery",
   "id": "E41-DISCOVERY-conformance_status",
   "ok": true
  },
  {
   "description": "discovery metadata requires revocation_state",
   "detail": "'revocation_state'",
   "family": "discovery",
   "id": "E41-DISCOVERY-revocation_state",
   "ok": true
  },
  {
   "description": "discovery metadata requires policy_languages",
   "detail": "'policy_languages'",
   "family": "discovery",
   "id": "E41-DISCOVERY-policy_languages",
   "ok": true
  },
  {
   "description": "discovery metadata requires authorization_mechanisms",
   "detail": "'authorization_mechanisms'",
   "family": "discovery",
   "id": "E41-DISCOVERY-authorization_mechanisms",
   "ok": true
  },
  {
   "description": "negotiation requires identity",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-identity",
   "ok": true
  },
  {
   "description": "negotiation requires attestation",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-attestation",
   "ok": true
  },
  {
   "description": "negotiation requires evidence",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-evidence",
   "ok": true
  },
  {
   "description": "negotiation requires capability",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-capability",
   "ok": true
  },
  {
   "description": "negotiation requires authority",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-authority",
   "ok": true
  },
  {
   "description": "negotiation requires data",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-data",
   "ok": true
  },
  {
   "description": "negotiation requires execution",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-execution",
   "ok": true
  },
  {
   "description": "negotiation requires geographic",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-geographic",
   "ok": true
  },
  {
   "description": "negotiation requires temporal",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-temporal",
   "ok": true
  },
  {
   "description": "negotiation requires economic",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-economic",
   "ok": true
  },
  {
   "description": "negotiation requires human_approval",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-human_approval",
   "ok": true
  },
  {
   "description": "negotiation requires incident",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-incident",
   "ok": true
  },
  {
   "description": "negotiation requires logging",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-logging",
   "ok": true
  },
  {
   "description": "negotiation requires revocation",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-revocation",
   "ok": true
  },
  {
   "description": "negotiation requires recovery",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG-recovery",
   "ok": true
  },
  {
   "description": "handshake step IDENTITY is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-IDENTITY",
   "ok": true
  },
  {
   "description": "handshake step CAPABILITY is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-CAPABILITY",
   "ok": true
  },
  {
   "description": "handshake step AUTHORITY is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-AUTHORITY",
   "ok": true
  },
  {
   "description": "handshake step POLICY is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-POLICY",
   "ok": true
  },
  {
   "description": "handshake step EVIDENCE is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-EVIDENCE",
   "ok": true
  },
  {
   "description": "handshake step ENFORCEMENT is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-ENFORCEMENT",
   "ok": true
  },
  {
   "description": "handshake step PROOF is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-PROOF",
   "ok": true
  },
  {
   "description": "handshake step REVOCATION is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-REVOCATION",
   "ok": true
  },
  {
   "description": "handshake step RECOVERY is required",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HANDSHAKE-RECOVERY",
   "ok": true
  },
  {
   "description": "a receipt requires principal",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-principal",
   "ok": true
  },
  {
   "description": "a receipt requires machine_identity",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-machine_identity",
   "ok": true
  },
  {
   "description": "a receipt requires counterparty",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-counterparty",
   "ok": true
  },
  {
   "description": "a receipt requires delegation_chain",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-delegation_chain",
   "ok": true
  },
  {
   "description": "a receipt requires capability",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-capability",
   "ok": true
  },
  {
   "description": "a receipt requires contract",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-contract",
   "ok": true
  },
  {
   "description": "a receipt requires policy",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-policy",
   "ok": true
  },
  {
   "description": "a receipt requires authority",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-authority",
   "ok": true
  },
  {
   "description": "a receipt requires risk",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-risk",
   "ok": true
  },
  {
   "description": "a receipt requires execution_environment",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-execution_environment",
   "ok": true
  },
  {
   "description": "a receipt requires execution_epoch",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-execution_epoch",
   "ok": true
  },
  {
   "description": "a receipt requires action",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-action",
   "ok": true
  },
  {
   "description": "a receipt requires decision",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-decision",
   "ok": true
  },
  {
   "description": "a receipt requires authorization",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-authorization",
   "ok": true
  },
  {
   "description": "a receipt requires execution_result",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-execution_result",
   "ok": true
  },
  {
   "description": "a receipt requires evidence",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-evidence",
   "ok": true
  },
  {
   "description": "a receipt requires revocation_state",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-revocation_state",
   "ok": true
  },
  {
   "description": "a receipt requires verification_state",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "receipt",
   "id": "E41-RECEIPT-verification_state",
   "ok": true
  },
  {
   "description": "systemic risk reports the containment boundary",
   "detail": "'containment'",
   "family": "systemic",
   "id": "E41-BOUNDARY-containment",
   "ok": true
  },
  {
   "description": "systemic risk reports the dependency boundary",
   "detail": "'dependency'",
   "family": "systemic",
   "id": "E41-BOUNDARY-dependency",
   "ok": true
  },
  {
   "description": "systemic risk reports the authority boundary",
   "detail": "'authority'",
   "family": "systemic",
   "id": "E41-BOUNDARY-authority",
   "ok": true
  },
  {
   "description": "systemic risk reports the economic boundary",
   "detail": "'economic'",
   "family": "systemic",
   "id": "E41-BOUNDARY-economic",
   "ok": true
  },
  {
   "description": "systemic risk reports the execution boundary",
   "detail": "'execution'",
   "family": "systemic",
   "id": "E41-BOUNDARY-execution",
   "ok": true
  },
  {
   "description": "systemic risk reports the recovery boundary",
   "detail": "'recovery'",
   "family": "systemic",
   "id": "E41-BOUNDARY-recovery",
   "ok": true
  },
  {
   "description": "sybil strength SUSPECTED exists",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYBIL-SUSPECTED",
   "ok": true
  },
  {
   "description": "sybil strength SUPPORTED exists",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYBIL-SUPPORTED",
   "ok": true
  },
  {
   "description": "sybil strength VERIFIED exists",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYBIL-VERIFIED",
   "ok": true
  },
  {
   "description": "sybil strength UNKNOWN exists",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYBIL-UNKNOWN",
   "ok": true
  },
  {
   "description": "exchange attack sybil is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-sybil",
   "ok": true
  },
  {
   "description": "exchange attack identity_cloning is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-identity_cloning",
   "ok": true
  },
  {
   "description": "exchange attack delegation_amplification is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-delegation_amplification",
   "ok": true
  },
  {
   "description": "exchange attack reputation_laundering is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-reputation_laundering",
   "ok": true
  },
  {
   "description": "exchange attack collusion is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-collusion",
   "ok": true
  },
  {
   "description": "exchange attack fake_evidence is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-fake_evidence",
   "ok": true
  },
  {
   "description": "exchange attack fake_completion is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-fake_completion",
   "ok": true
  },
  {
   "description": "exchange attack contract_manipulation is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-contract_manipulation",
   "ok": true
  },
  {
   "description": "exchange attack negotiation_poisoning is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-negotiation_poisoning",
   "ok": true
  },
  {
   "description": "exchange attack capability_substitution is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-capability_substitution",
   "ok": true
  },
  {
   "description": "exchange attack counterparty_substitution is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-counterparty_substitution",
   "ok": true
  },
  {
   "description": "exchange attack payment_replay is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-payment_replay",
   "ok": true
  },
  {
   "description": "exchange attack settlement_replay is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-settlement_replay",
   "ok": true
  },
  {
   "description": "exchange attack budget_exhaustion is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-budget_exhaustion",
   "ok": true
  },
  {
   "description": "exchange attack recursive_procurement is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-recursive_procurement",
   "ok": true
  },
  {
   "description": "exchange attack governance_bypass is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-governance_bypass",
   "ok": true
  },
  {
   "description": "exchange attack revocation_race is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-revocation_race",
   "ok": true
  },
  {
   "description": "exchange attack partition is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-partition",
   "ok": true
  },
  {
   "description": "exchange attack clock_manipulation is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-clock_manipulation",
   "ok": true
  },
  {
   "description": "exchange attack rollback is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-rollback",
   "ok": true
  },
  {
   "description": "exchange attack model_substitution is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-model_substitution",
   "ok": true
  },
  {
   "description": "exchange attack runtime_substitution is contained",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT-runtime_substitution",
   "ok": true
  },
  {
   "description": "failure-to-test stage INCIDENT exists",
   "detail": "'INCIDENT'",
   "family": "f2t",
   "id": "E41-F2T-INCIDENT",
   "ok": true
  },
  {
   "description": "failure-to-test stage ROOT_CAUSE exists",
   "detail": "'ROOT_CAUSE'",
   "family": "f2t",
   "id": "E41-F2T-ROOT_CAUSE",
   "ok": true
  },
  {
   "description": "failure-to-test stage GOVERNANCE_GAP exists",
   "detail": "'GOVERNANCE_GAP'",
   "family": "f2t",
   "id": "E41-F2T-GOVERNANCE_GAP",
   "ok": true
  },
  {
   "description": "failure-to-test stage TEST exists",
   "detail": "'TEST'",
   "family": "f2t",
   "id": "E41-F2T-TEST",
   "ok": true
  },
  {
   "description": "failure-to-test stage INVARIANT exists",
   "detail": "'INVARIANT'",
   "family": "f2t",
   "id": "E41-F2T-INVARIANT",
   "ok": true
  },
  {
   "description": "failure-to-test stage ATTACK_SCENARIO exists",
   "detail": "'ATTACK_SCENARIO'",
   "family": "f2t",
   "id": "E41-F2T-ATTACK_SCENARIO",
   "ok": true
  },
  {
   "description": "failure-to-test stage REGRESSION exists",
   "detail": "'REGRESSION'",
   "family": "f2t",
   "id": "E41-F2T-REGRESSION",
   "ok": true
  },
  {
   "description": "failure-to-test stage EVIDENCE exists",
   "detail": "'EVIDENCE'",
   "family": "f2t",
   "id": "E41-F2T-EVIDENCE",
   "ok": true
  },
  {
   "description": "lifecycle step DISCOVER exists",
   "detail": "'DISCOVER'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-DISCOVER",
   "ok": true
  },
  {
   "description": "lifecycle step IDENTIFY exists",
   "detail": "'IDENTIFY'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-IDENTIFY",
   "ok": true
  },
  {
   "description": "lifecycle step ATTEST exists",
   "detail": "'ATTEST'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-ATTEST",
   "ok": true
  },
  {
   "description": "lifecycle step ASSESS exists",
   "detail": "'ASSESS'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-ASSESS",
   "ok": true
  },
  {
   "description": "lifecycle step NEGOTIATE exists",
   "detail": "'NEGOTIATE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-NEGOTIATE",
   "ok": true
  },
  {
   "description": "lifecycle step CONTRACT exists",
   "detail": "'CONTRACT'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-CONTRACT",
   "ok": true
  },
  {
   "description": "lifecycle step DELEGATE exists",
   "detail": "'DELEGATE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-DELEGATE",
   "ok": true
  },
  {
   "description": "lifecycle step AUTHORIZE exists",
   "detail": "'AUTHORIZE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-AUTHORIZE",
   "ok": true
  },
  {
   "description": "lifecycle step EXECUTE exists",
   "detail": "'EXECUTE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-EXECUTE",
   "ok": true
  },
  {
   "description": "lifecycle step OBSERVE exists",
   "detail": "'OBSERVE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-OBSERVE",
   "ok": true
  },
  {
   "description": "lifecycle step VERIFY exists",
   "detail": "'VERIFY'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-VERIFY",
   "ok": true
  },
  {
   "description": "lifecycle step SETTLE exists",
   "detail": "'SETTLE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-SETTLE",
   "ok": true
  },
  {
   "description": "lifecycle step RECORD exists",
   "detail": "'RECORD'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-RECORD",
   "ok": true
  },
  {
   "description": "lifecycle step LEARN exists",
   "detail": "'LEARN'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-LEARN",
   "ok": true
  },
  {
   "description": "lifecycle step REASSESS exists",
   "detail": "'REASSESS'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-REASSESS",
   "ok": true
  },
  {
   "description": "lifecycle step REVOKE_RENEW_ESCALATE exists",
   "detail": "'REVOKE_RENEW_ESCALATE'",
   "family": "conformance",
   "id": "E41-LIFECYCLE-REVOKE_RENEW_ESCALATE",
   "ok": true
  },
  {
   "description": "every law scenario holds",
   "detail": "{'scenarios': 290, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-law",
   "ok": true
  },
  {
   "description": "every relationship scenario holds",
   "detail": "{'scenarios': 236, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-relationship",
   "ok": true
  },
  {
   "description": "every discovery scenario holds",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-discovery",
   "ok": true
  },
  {
   "description": "every attest scenario holds",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-attest",
   "ok": true
  },
  {
   "description": "every negotiation scenario holds",
   "detail": "{'scenarios': 70, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-negotiation",
   "ok": true
  },
  {
   "description": "every handshake scenario holds",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-handshake",
   "ok": true
  },
  {
   "description": "every contract scenario holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-contract",
   "ok": true
  },
  {
   "description": "every work scenario holds",
   "detail": "{'scenarios': 54, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-work",
   "ok": true
  },
  {
   "description": "every receipt scenario holds",
   "detail": "{'scenarios': 50, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-receipt",
   "ok": true
  },
  {
   "description": "every settlement scenario holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-settlement",
   "ok": true
  },
  {
   "description": "every dispute scenario holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-dispute",
   "ok": true
  },
  {
   "description": "every reputation scenario holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-reputation",
   "ok": true
  },
  {
   "description": "every federation scenario holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-federation",
   "ok": true
  },
  {
   "description": "every translation scenario holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-translation",
   "ok": true
  },
  {
   "description": "every revocation scenario holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-revocation",
   "ok": true
  },
  {
   "description": "every systemic scenario holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-systemic",
   "ok": true
  },
  {
   "description": "every breaker scenario holds",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-breaker",
   "ok": true
  },
  {
   "description": "every sybil scenario holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-sybil",
   "ok": true
  },
  {
   "description": "every time_machine scenario holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-time_machine",
   "ok": true
  },
  {
   "description": "every threat scenario holds",
   "detail": "{'scenarios': 66, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-threat",
   "ok": true
  },
  {
   "description": "every learning scenario holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-learning",
   "ok": true
  },
  {
   "description": "every f2t scenario holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-f2t",
   "ok": true
  },
  {
   "description": "every conformance scenario holds",
   "detail": "{'scenarios': 32, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-conformance",
   "ok": true
  },
  {
   "description": "every reject scenario holds",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-reject",
   "ok": true
  },
  {
   "description": "every scale scenario holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT-scale",
   "ok": true
  },
  {
   "description": "family attest/attestation holds",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-attest-attestation",
   "ok": true
  },
  {
   "description": "family breaker/circuit_breaker holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-breaker-circuit_breaker",
   "ok": true
  },
  {
   "description": "family breaker/reset_needs_auth holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-breaker-reset_needs_auth",
   "ok": true
  },
  {
   "description": "family conformance/domains holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-conformance-domains",
   "ok": true
  },
  {
   "description": "family conformance/lifecycle holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-conformance-lifecycle",
   "ok": true
  },
  {
   "description": "family contract/machine_contract holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-contract-machine_contract",
   "ok": true
  },
  {
   "description": "family discovery/field holds",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-discovery-field",
   "ok": true
  },
  {
   "description": "family discovery/publish holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-discovery-publish",
   "ok": true
  },
  {
   "description": "family dispute/dispute_needs_decision holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-dispute-dispute_needs_decision",
   "ok": true
  },
  {
   "description": "family f2t/f2t_stage holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-f2t-f2t_stage",
   "ok": true
  },
  {
   "description": "family federation/untrusted holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-federation-untrusted",
   "ok": true
  },
  {
   "description": "family handshake/established holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-handshake-established",
   "ok": true
  },
  {
   "description": "family handshake/unknown_step holds",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-handshake-unknown_step",
   "ok": true
  },
  {
   "description": "family law/bulk_law holds",
   "detail": "{'scenarios': 200, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-law-bulk_law",
   "ok": true
  },
  {
   "description": "family law/no_authority holds",
   "detail": "{'scenarios': 90, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-law-no_authority",
   "ok": true
  },
  {
   "description": "family learning/learning_no_authority holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-learning-learning_no_authority",
   "ok": true
  },
  {
   "description": "family negotiation/agreed holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-negotiation-agreed",
   "ok": true
  },
  {
   "description": "family negotiation/intersection holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-negotiation-intersection",
   "ok": true
  },
  {
   "description": "family negotiation/requirement holds",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-negotiation-requirement",
   "ok": true
  },
  {
   "description": "family receipt/receipt_authorization holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-receipt-receipt_authorization",
   "ok": true
  },
  {
   "description": "family receipt/receipt_field holds",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-receipt-receipt_field",
   "ok": true
  },
  {
   "description": "family receipt/receipt_verify holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-receipt-receipt_verify",
   "ok": true
  },
  {
   "description": "family reject/no_authority holds",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-reject-no_authority",
   "ok": true
  },
  {
   "description": "family relationship/bad_state holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-relationship-bad_state",
   "ok": true
  },
  {
   "description": "family relationship/bulk_relationship holds",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-relationship-bulk_relationship",
   "ok": true
  },
  {
   "description": "family relationship/no_skip holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-relationship-no_skip",
   "ok": true
  },
  {
   "description": "family relationship/state holds",
   "detail": "{'scenarios': 56, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-relationship-state",
   "ok": true
  },
  {
   "description": "family relationship/terminal_final holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-relationship-terminal_final",
   "ok": true
  },
  {
   "description": "family reputation/reputation_no_authority holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-reputation-reputation_no_authority",
   "ok": true
  },
  {
   "description": "family revocation/revocation_propagates holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-revocation-revocation_propagates",
   "ok": true
  },
  {
   "description": "family scale/relationship_scale holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-scale-relationship_scale",
   "ok": true
  },
  {
   "description": "family settlement/settlement_synthetic holds",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-settlement-settlement_synthetic",
   "ok": true
  },
  {
   "description": "family sybil/sybil_strength holds",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-sybil-sybil_strength",
   "ok": true
  },
  {
   "description": "family systemic/contagion holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-systemic-contagion",
   "ok": true
  },
  {
   "description": "family threat/exchange_attack holds",
   "detail": "{'scenarios': 66, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-threat-exchange_attack",
   "ok": true
  },
  {
   "description": "family time_machine/known_at_t holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-time_machine-known_at_t",
   "ok": true
  },
  {
   "description": "family translation/declares_drops holds",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-translation-declares_drops",
   "ok": true
  },
  {
   "description": "family work/lease_bounded holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-work-lease_bounded",
   "ok": true
  },
  {
   "description": "family work/lease_budget holds",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-work-lease_budget",
   "ok": true
  },
  {
   "description": "family work/receipt holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-work-receipt",
   "ok": true
  },
  {
   "description": "family work/receipt_e8 holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-work-receipt_e8",
   "ok": true
  },
  {
   "description": "family work/receipt_evidence holds",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM-work-receipt_evidence",
   "ok": true
  },
  {
   "description": "family attest/attestation is a held, non-empty check",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-attest-attestation",
   "ok": true
  },
  {
   "description": "family breaker/circuit_breaker is a held, non-empty check",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-breaker-circuit_breaker",
   "ok": true
  },
  {
   "description": "family breaker/reset_needs_auth is a held, non-empty check",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-breaker-reset_needs_auth",
   "ok": true
  },
  {
   "description": "family conformance/domains is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-conformance-domains",
   "ok": true
  },
  {
   "description": "family conformance/lifecycle is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-conformance-lifecycle",
   "ok": true
  },
  {
   "description": "family contract/machine_contract is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-contract-machine_contract",
   "ok": true
  },
  {
   "description": "family discovery/field is a held, non-empty check",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-discovery-field",
   "ok": true
  },
  {
   "description": "family discovery/publish is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-discovery-publish",
   "ok": true
  },
  {
   "description": "family dispute/dispute_needs_decision is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-dispute-dispute_needs_decision",
   "ok": true
  },
  {
   "description": "family f2t/f2t_stage is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-f2t-f2t_stage",
   "ok": true
  },
  {
   "description": "family federation/untrusted is a held, non-empty check",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-federation-untrusted",
   "ok": true
  },
  {
   "description": "family handshake/established is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-handshake-established",
   "ok": true
  },
  {
   "description": "family handshake/unknown_step is a held, non-empty check",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-handshake-unknown_step",
   "ok": true
  },
  {
   "description": "family law/bulk_law is a held, non-empty check",
   "detail": "{'scenarios': 200, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-law-bulk_law",
   "ok": true
  },
  {
   "description": "family law/no_authority is a held, non-empty check",
   "detail": "{'scenarios': 90, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-law-no_authority",
   "ok": true
  },
  {
   "description": "family learning/learning_no_authority is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-learning-learning_no_authority",
   "ok": true
  },
  {
   "description": "family negotiation/agreed is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-negotiation-agreed",
   "ok": true
  },
  {
   "description": "family negotiation/intersection is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-negotiation-intersection",
   "ok": true
  },
  {
   "description": "family negotiation/requirement is a held, non-empty check",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-negotiation-requirement",
   "ok": true
  },
  {
   "description": "family receipt/receipt_authorization is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-receipt-receipt_authorization",
   "ok": true
  },
  {
   "description": "family receipt/receipt_field is a held, non-empty check",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-receipt-receipt_field",
   "ok": true
  },
  {
   "description": "family receipt/receipt_verify is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-receipt-receipt_verify",
   "ok": true
  },
  {
   "description": "family reject/no_authority is a held, non-empty check",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-reject-no_authority",
   "ok": true
  },
  {
   "description": "family relationship/bad_state is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-relationship-bad_state",
   "ok": true
  },
  {
   "description": "family relationship/bulk_relationship is a held, non-empty check",
   "detail": "{'scenarios': 120, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-relationship-bulk_relationship",
   "ok": true
  },
  {
   "description": "family relationship/no_skip is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-relationship-no_skip",
   "ok": true
  },
  {
   "description": "family relationship/state is a held, non-empty check",
   "detail": "{'scenarios': 56, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-relationship-state",
   "ok": true
  },
  {
   "description": "family relationship/terminal_final is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-relationship-terminal_final",
   "ok": true
  },
  {
   "description": "family reputation/reputation_no_authority is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-reputation-reputation_no_authority",
   "ok": true
  },
  {
   "description": "family revocation/revocation_propagates is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-revocation-revocation_propagates",
   "ok": true
  },
  {
   "description": "family scale/relationship_scale is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-scale-relationship_scale",
   "ok": true
  },
  {
   "description": "family settlement/settlement_synthetic is a held, non-empty check",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-settlement-settlement_synthetic",
   "ok": true
  },
  {
   "description": "family sybil/sybil_strength is a held, non-empty check",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-sybil-sybil_strength",
   "ok": true
  },
  {
   "description": "family systemic/contagion is a held, non-empty check",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-systemic-contagion",
   "ok": true
  },
  {
   "description": "family threat/exchange_attack is a held, non-empty check",
   "detail": "{'scenarios': 66, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-threat-exchange_attack",
   "ok": true
  },
  {
   "description": "family time_machine/known_at_t is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-time_machine-known_at_t",
   "ok": true
  },
  {
   "description": "family translation/declares_drops is a held, non-empty check",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-translation-declares_drops",
   "ok": true
  },
  {
   "description": "family work/lease_bounded is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-work-lease_bounded",
   "ok": true
  },
  {
   "description": "family work/lease_budget is a held, non-empty check",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-work-lease_budget",
   "ok": true
  },
  {
   "description": "family work/receipt is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-work-receipt",
   "ok": true
  },
  {
   "description": "family work/receipt_e8 is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-work-receipt_e8",
   "ok": true
  },
  {
   "description": "family work/receipt_evidence is a held, non-empty check",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_family",
   "id": "E41-FAM2-work-receipt_evidence",
   "ok": true
  },
  {
   "description": "category law has held scenarios",
   "detail": "{'scenarios': 290, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-law",
   "ok": true
  },
  {
   "description": "category relationship has held scenarios",
   "detail": "{'scenarios': 236, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-relationship",
   "ok": true
  },
  {
   "description": "category discovery has held scenarios",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-discovery",
   "ok": true
  },
  {
   "description": "category attest has held scenarios",
   "detail": "{'scenarios': 18, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-attest",
   "ok": true
  },
  {
   "description": "category negotiation has held scenarios",
   "detail": "{'scenarios': 70, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-negotiation",
   "ok": true
  },
  {
   "description": "category handshake has held scenarios",
   "detail": "{'scenarios': 30, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-handshake",
   "ok": true
  },
  {
   "description": "category contract has held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-contract",
   "ok": true
  },
  {
   "description": "category work has held scenarios",
   "detail": "{'scenarios': 54, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-work",
   "ok": true
  },
  {
   "description": "category receipt has held scenarios",
   "detail": "{'scenarios': 50, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-receipt",
   "ok": true
  },
  {
   "description": "category settlement has held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-settlement",
   "ok": true
  },
  {
   "description": "category dispute has held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-dispute",
   "ok": true
  },
  {
   "description": "category reputation has held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-reputation",
   "ok": true
  },
  {
   "description": "category federation has held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-federation",
   "ok": true
  },
  {
   "description": "category translation has held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-translation",
   "ok": true
  },
  {
   "description": "category revocation has held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-revocation",
   "ok": true
  },
  {
   "description": "category systemic has held scenarios",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-systemic",
   "ok": true
  },
  {
   "description": "category breaker has held scenarios",
   "detail": "{'scenarios': 28, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-breaker",
   "ok": true
  },
  {
   "description": "category sybil has held scenarios",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-sybil",
   "ok": true
  },
  {
   "description": "category time_machine has held scenarios",
   "detail": "{'scenarios': 12, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-time_machine",
   "ok": true
  },
  {
   "description": "category threat has held scenarios",
   "detail": "{'scenarios': 66, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-threat",
   "ok": true
  },
  {
   "description": "category learning has held scenarios",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-learning",
   "ok": true
  },
  {
   "description": "category f2t has held scenarios",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-f2t",
   "ok": true
  },
  {
   "description": "category conformance has held scenarios",
   "detail": "{'scenarios': 32, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-conformance",
   "ok": true
  },
  {
   "description": "category reject has held scenarios",
   "detail": "{'scenarios': 60, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-reject",
   "ok": true
  },
  {
   "description": "category scale has held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "bench_category",
   "id": "E41-CAT2-scale",
   "ok": true
  },
  {
   "description": "relationship state DISCOVERED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-DISCOVERED",
   "ok": true
  },
  {
   "description": "relationship state IDENTIFIED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-IDENTIFIED",
   "ok": true
  },
  {
   "description": "relationship state ATTESTED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-ATTESTED",
   "ok": true
  },
  {
   "description": "relationship state TRUSTED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-TRUSTED",
   "ok": true
  },
  {
   "description": "relationship state NEGOTIATING is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-NEGOTIATING",
   "ok": true
  },
  {
   "description": "relationship state CONTRACTED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-CONTRACTED",
   "ok": true
  },
  {
   "description": "relationship state AUTHORIZED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-AUTHORIZED",
   "ok": true
  },
  {
   "description": "relationship state EXECUTING is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-EXECUTING",
   "ok": true
  },
  {
   "description": "relationship state VERIFIED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-VERIFIED",
   "ok": true
  },
  {
   "description": "relationship state SETTLED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-SETTLED",
   "ok": true
  },
  {
   "description": "relationship state REVOKED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-REVOKED",
   "ok": true
  },
  {
   "description": "relationship state QUARANTINED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-QUARANTINED",
   "ok": true
  },
  {
   "description": "relationship state UNKNOWN is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-UNKNOWN",
   "ok": true
  },
  {
   "description": "relationship state UNCONTROLLED is reachable/held or explicitly refused",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "relationship",
   "id": "E41-REL2-UNCONTROLLED",
   "ok": true
  },
  {
   "description": "handshake step IDENTITY cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-IDENTITY",
   "ok": true
  },
  {
   "description": "handshake step CAPABILITY cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-CAPABILITY",
   "ok": true
  },
  {
   "description": "handshake step AUTHORITY cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-AUTHORITY",
   "ok": true
  },
  {
   "description": "handshake step POLICY cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-POLICY",
   "ok": true
  },
  {
   "description": "handshake step EVIDENCE cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-EVIDENCE",
   "ok": true
  },
  {
   "description": "handshake step ENFORCEMENT cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-ENFORCEMENT",
   "ok": true
  },
  {
   "description": "handshake step PROOF cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-PROOF",
   "ok": true
  },
  {
   "description": "handshake step REVOCATION cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-REVOCATION",
   "ok": true
  },
  {
   "description": "handshake step RECOVERY cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "handshake",
   "id": "E41-HS2-RECOVERY",
   "ok": true
  },
  {
   "description": "negotiation requirement identity cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-identity",
   "ok": true
  },
  {
   "description": "negotiation requirement attestation cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-attestation",
   "ok": true
  },
  {
   "description": "negotiation requirement evidence cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-evidence",
   "ok": true
  },
  {
   "description": "negotiation requirement capability cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-capability",
   "ok": true
  },
  {
   "description": "negotiation requirement authority cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-authority",
   "ok": true
  },
  {
   "description": "negotiation requirement data cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-data",
   "ok": true
  },
  {
   "description": "negotiation requirement execution cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-execution",
   "ok": true
  },
  {
   "description": "negotiation requirement geographic cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-geographic",
   "ok": true
  },
  {
   "description": "negotiation requirement temporal cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-temporal",
   "ok": true
  },
  {
   "description": "negotiation requirement economic cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-economic",
   "ok": true
  },
  {
   "description": "negotiation requirement human_approval cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-human_approval",
   "ok": true
  },
  {
   "description": "negotiation requirement incident cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-incident",
   "ok": true
  },
  {
   "description": "negotiation requirement logging cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-logging",
   "ok": true
  },
  {
   "description": "negotiation requirement revocation cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-revocation",
   "ok": true
  },
  {
   "description": "negotiation requirement recovery cannot be omitted",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "negotiation",
   "id": "E41-NEG2-recovery",
   "ok": true
  },
  {
   "description": "attack sybil is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-sybil",
   "ok": true
  },
  {
   "description": "attack identity_cloning is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-identity_cloning",
   "ok": true
  },
  {
   "description": "attack delegation_amplification is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-delegation_amplification",
   "ok": true
  },
  {
   "description": "attack reputation_laundering is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-reputation_laundering",
   "ok": true
  },
  {
   "description": "attack collusion is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-collusion",
   "ok": true
  },
  {
   "description": "attack fake_evidence is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-fake_evidence",
   "ok": true
  },
  {
   "description": "attack fake_completion is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-fake_completion",
   "ok": true
  },
  {
   "description": "attack contract_manipulation is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-contract_manipulation",
   "ok": true
  },
  {
   "description": "attack negotiation_poisoning is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-negotiation_poisoning",
   "ok": true
  },
  {
   "description": "attack capability_substitution is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-capability_substitution",
   "ok": true
  },
  {
   "description": "attack counterparty_substitution is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-counterparty_substitution",
   "ok": true
  },
  {
   "description": "attack payment_replay is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-payment_replay",
   "ok": true
  },
  {
   "description": "attack settlement_replay is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-settlement_replay",
   "ok": true
  },
  {
   "description": "attack budget_exhaustion is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-budget_exhaustion",
   "ok": true
  },
  {
   "description": "attack recursive_procurement is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-recursive_procurement",
   "ok": true
  },
  {
   "description": "attack governance_bypass is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-governance_bypass",
   "ok": true
  },
  {
   "description": "attack revocation_race is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-revocation_race",
   "ok": true
  },
  {
   "description": "attack partition is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-partition",
   "ok": true
  },
  {
   "description": "attack clock_manipulation is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-clock_manipulation",
   "ok": true
  },
  {
   "description": "attack rollback is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-rollback",
   "ok": true
  },
  {
   "description": "attack model_substitution is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-model_substitution",
   "ok": true
  },
  {
   "description": "attack runtime_substitution is contained with an invariant",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "threat",
   "id": "E41-THREAT2-runtime_substitution",
   "ok": true
  },
  {
   "description": "receipt field principal is required",
   "detail": "'principal'",
   "family": "receipt",
   "id": "E41-REC2-principal",
   "ok": true
  },
  {
   "description": "receipt field machine_identity is required",
   "detail": "'machine_identity'",
   "family": "receipt",
   "id": "E41-REC2-machine_identity",
   "ok": true
  },
  {
   "description": "receipt field counterparty is required",
   "detail": "'counterparty'",
   "family": "receipt",
   "id": "E41-REC2-counterparty",
   "ok": true
  },
  {
   "description": "receipt field delegation_chain is required",
   "detail": "'delegation_chain'",
   "family": "receipt",
   "id": "E41-REC2-delegation_chain",
   "ok": true
  },
  {
   "description": "receipt field capability is required",
   "detail": "'capability'",
   "family": "receipt",
   "id": "E41-REC2-capability",
   "ok": true
  },
  {
   "description": "receipt field contract is required",
   "detail": "'contract'",
   "family": "receipt",
   "id": "E41-REC2-contract",
   "ok": true
  },
  {
   "description": "receipt field policy is required",
   "detail": "'policy'",
   "family": "receipt",
   "id": "E41-REC2-policy",
   "ok": true
  },
  {
   "description": "receipt field authority is required",
   "detail": "'authority'",
   "family": "receipt",
   "id": "E41-REC2-authority",
   "ok": true
  },
  {
   "description": "receipt field risk is required",
   "detail": "'risk'",
   "family": "receipt",
   "id": "E41-REC2-risk",
   "ok": true
  },
  {
   "description": "receipt field execution_environment is required",
   "detail": "'execution_environment'",
   "family": "receipt",
   "id": "E41-REC2-execution_environment",
   "ok": true
  },
  {
   "description": "receipt field execution_epoch is required",
   "detail": "'execution_epoch'",
   "family": "receipt",
   "id": "E41-REC2-execution_epoch",
   "ok": true
  },
  {
   "description": "receipt field action is required",
   "detail": "'action'",
   "family": "receipt",
   "id": "E41-REC2-action",
   "ok": true
  },
  {
   "description": "receipt field decision is required",
   "detail": "'decision'",
   "family": "receipt",
   "id": "E41-REC2-decision",
   "ok": true
  },
  {
   "description": "receipt field authorization is required",
   "detail": "'authorization'",
   "family": "receipt",
   "id": "E41-REC2-authorization",
   "ok": true
  },
  {
   "description": "receipt field execution_result is required",
   "detail": "'execution_result'",
   "family": "receipt",
   "id": "E41-REC2-execution_result",
   "ok": true
  },
  {
   "description": "receipt field evidence is required",
   "detail": "'evidence'",
   "family": "receipt",
   "id": "E41-REC2-evidence",
   "ok": true
  },
  {
   "description": "receipt field revocation_state is required",
   "detail": "'revocation_state'",
   "family": "receipt",
   "id": "E41-REC2-revocation_state",
   "ok": true
  },
  {
   "description": "receipt field verification_state is required",
   "detail": "'verification_state'",
   "family": "receipt",
   "id": "E41-REC2-verification_state",
   "ok": true
  },
  {
   "description": "sybil strength SUSPECTED never treats correlation as proof",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYB2-SUSPECTED",
   "ok": true
  },
  {
   "description": "sybil strength SUPPORTED never treats correlation as proof",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYB2-SUPPORTED",
   "ok": true
  },
  {
   "description": "sybil strength VERIFIED never treats correlation as proof",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYB2-VERIFIED",
   "ok": true
  },
  {
   "description": "sybil strength UNKNOWN never treats correlation as proof",
   "detail": "{'scenarios': 4, 'not_held': []}",
   "family": "sybil",
   "id": "E41-SYB2-UNKNOWN",
   "ok": true
  },
  {
   "description": "exchange area contract is covered by held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "domain",
   "id": "E41-DOM41-contract",
   "ok": true
  },
  {
   "description": "exchange area settlement is covered by held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "domain",
   "id": "E41-DOM41-settlement",
   "ok": true
  },
  {
   "description": "exchange area dispute is covered by held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "domain",
   "id": "E41-DOM41-dispute",
   "ok": true
  },
  {
   "description": "exchange area reputation is covered by held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "domain",
   "id": "E41-DOM41-reputation",
   "ok": true
  },
  {
   "description": "exchange area revocation is covered by held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "domain",
   "id": "E41-DOM41-revocation",
   "ok": true
  },
  {
   "description": "exchange area scale is covered by held scenarios",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "domain",
   "id": "E41-DOM41-scale",
   "ok": true
  }
 ],
 "total": 470
}