{
 "passed": 252,
 "rows": [
  {
   "description": "no identity, no governance proof",
   "detail": "'NO_IDENTITY_NO_PROOF'",
   "family": "law",
   "id": "E31-L1",
   "ok": true
  },
  {
   "description": "no authority, no governance proof",
   "detail": "'NO_AUTHORITY_NO_PROOF'",
   "family": "law",
   "id": "E31-L2",
   "ok": true
  },
  {
   "description": "no authorization, no governed execution",
   "detail": "{'scenarios': 17, 'not_held': []}",
   "family": "law",
   "id": "E31-L3",
   "ok": true
  },
  {
   "description": "no enforcement, no claim of control",
   "detail": "{'scenarios': 104, 'not_held': []}",
   "family": "law",
   "id": "E31-L4",
   "ok": true
  },
  {
   "description": "no evidence, no verified outcome",
   "detail": "{'scenarios': 6, 'not_held': []}",
   "family": "law",
   "id": "E31-L5",
   "ok": true
  },
  {
   "description": "no proof, no verified governance claim",
   "detail": "{'scenarios': 213, 'not_held': []}",
   "family": "law",
   "id": "E31-L6",
   "ok": true
  },
  {
   "description": "a governance proof never creates authority",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E31-L7",
   "ok": true
  },
  {
   "description": "a receipt never becomes permission",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "law",
   "id": "E31-L8",
   "ok": true
  },
  {
   "description": "a proof of past authorization never authorizes a future action",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "law",
   "id": "E31-L9",
   "ok": true
  },
  {
   "description": "a valid proof for action A never authorizes action B",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "law",
   "id": "E31-L10",
   "ok": true
  },
  {
   "description": "a child agent cannot prove more authority than its parent",
   "detail": "['AMPLIFICATION:capabilities', 'AMPLIFICATION:resources']",
   "family": "law",
   "id": "E31-L11",
   "ok": true
  },
  {
   "description": "delegation is traceable",
   "detail": "[True, True, True, True, True, True, True, True, True, True, True, True, True, True, True, True]",
   "family": "law",
   "id": "E31-L12",
   "ok": true
  },
  {
   "description": "revocation propagates",
   "detail": "{'scenarios': 39, 'not_held': []}",
   "family": "law",
   "id": "E31-L13",
   "ok": true
  },
  {
   "description": "expired authority does not resurrect",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "law",
   "id": "E31-L14",
   "ok": true
  },
  {
   "description": "replayed proofs do not authorize execution",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E31-L15",
   "ok": true
  },
  {
   "description": "stale proofs do not authorize execution",
   "detail": "{'scenarios': 15, 'not_held': []}",
   "family": "law",
   "id": "E31-L16",
   "ok": true
  },
  {
   "description": "altered proofs fail verification",
   "detail": "{'scenarios': 336, 'not_held': []}",
   "family": "law",
   "id": "E31-L17",
   "ok": true
  },
  {
   "description": "unknown remains unknown",
   "detail": "{'scenarios': 3, 'not_held': []}",
   "family": "law",
   "id": "E31-L18",
   "ok": true
  },
  {
   "description": "simulation never becomes reality evidence",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E31-L19",
   "ok": true
  },
  {
   "description": "prediction never becomes authority",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "law",
   "id": "E31-L20",
   "ok": true
  },
  {
   "description": "model confidence never creates authority",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "law",
   "id": "E31-L21",
   "ok": true
  },
  {
   "description": "consensus never creates authority",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "law",
   "id": "E31-L22",
   "ok": true
  },
  {
   "description": "reputation never creates authority",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "law",
   "id": "E31-L23",
   "ok": true
  },
  {
   "description": "economic value never creates authority",
   "detail": "{'scenarios': 14, 'not_held': []}",
   "family": "law",
   "id": "E31-L24",
   "ok": true
  },
  {
   "description": "a proof describes what was verified, not what was assumed",
   "detail": "'PARTIALLY_VERIFIED'",
   "family": "law",
   "id": "E31-L25",
   "ok": true
  },
  {
   "description": "outside an enforcement boundary CAIN does not claim control",
   "detail": "{'scenarios': 2, 'not_held': []}",
   "family": "law",
   "id": "E31-L26",
   "ok": true
  },
  {
   "description": "a verifier can reject a false governance claim",
   "detail": "{'scenarios': 204, 'not_held': []}",
   "family": "law",
   "id": "E31-L27",
   "ok": true
  },
  {
   "description": "a governance proof is bound to the specific action",
   "detail": "{'scenarios': 149, 'not_held': []}",
   "family": "law",
   "id": "E31-L28",
   "ok": true
  },
  {
   "description": "every consequential governed action is traceable to E8",
   "detail": "[True, True, True, True, True, True, True, True]",
   "family": "law",
   "id": "E31-L29",
   "ok": true
  },
  {
   "description": "evidence remembers the governance decision",
   "detail": "12",
   "family": "law",
   "id": "E31-L30",
   "ok": true
  },
  {
   "description": "PROPOSED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-PROPOSED",
   "ok": true
  },
  {
   "description": "EVALUATED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-EVALUATED",
   "ok": true
  },
  {
   "description": "AUTHORIZED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-AUTHORIZED",
   "ok": true
  },
  {
   "description": "COMMITTED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-COMMITTED",
   "ok": true
  },
  {
   "description": "EXECUTED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-EXECUTED",
   "ok": true
  },
  {
   "description": "VERIFIED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-VERIFIED",
   "ok": true
  },
  {
   "description": "PARTIALLY_VERIFIED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-PARTIALLY_VERIFIED",
   "ok": true
  },
  {
   "description": "REVOKED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-REVOKED",
   "ok": true
  },
  {
   "description": "EXPIRED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-EXPIRED",
   "ok": true
  },
  {
   "description": "SUPERSEDED: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-SUPERSEDED",
   "ok": true
  },
  {
   "description": "FAILED_VERIFICATION: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-FAILED_VERIFICATION",
   "ok": true
  },
  {
   "description": "UNKNOWN: only the declared transitions are accepted",
   "detail": "{'scenarios': 11, 'not_held': []}",
   "family": "proof_state",
   "id": "E31-ST-UNKNOWN",
   "ok": true
  },
  {
   "description": "changing protocol breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-protocol",
   "ok": true
  },
  {
   "description": "changing operation breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-operation",
   "ok": true
  },
  {
   "description": "changing destination breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-destination",
   "ok": true
  },
  {
   "description": "changing parameters_digest breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-parameters_digest",
   "ok": true
  },
  {
   "description": "changing amount breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-amount",
   "ok": true
  },
  {
   "description": "changing tool breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-tool",
   "ok": true
  },
  {
   "description": "changing identity breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-identity",
   "ok": true
  },
  {
   "description": "changing capability breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-capability",
   "ok": true
  },
  {
   "description": "changing model breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-model",
   "ok": true
  },
  {
   "description": "changing runtime breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-runtime",
   "ok": true
  },
  {
   "description": "changing delegation breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-delegation",
   "ok": true
  },
  {
   "description": "changing policy breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-policy",
   "ok": true
  },
  {
   "description": "changing context breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-context",
   "ok": true
  },
  {
   "description": "changing authority breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-authority",
   "ok": true
  },
  {
   "description": "changing timestamp breaks the proof-carrying action binding",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-timestamp",
   "ok": true
  },
  {
   "description": "changing nonce breaks the proof-carrying action binding",
   "detail": "{'scenarios': 16, 'not_held': []}",
   "family": "action_binding",
   "id": "E31-AF-nonce",
   "ok": true
  },
  {
   "description": "DECISION is UNKNOWN when its artifact is missing, never VERIFIED",
   "detail": "('UNKNOWN', 'VERIFIED')",
   "family": "enforcement_layer",
   "id": "E31-LAYER-DECISION",
   "ok": true
  },
  {
   "description": "AUTHORIZATION is UNKNOWN when its artifact is missing, never VERIFIED",
   "detail": "('UNKNOWN', 'VERIFIED')",
   "family": "enforcement_layer",
   "id": "E31-LAYER-AUTHORIZATION",
   "ok": true
  },
  {
   "description": "ENFORCEMENT is UNKNOWN when its artifact is missing, never VERIFIED",
   "detail": "('UNKNOWN', 'VERIFIED')",
   "family": "enforcement_layer",
   "id": "E31-LAYER-ENFORCEMENT",
   "ok": true
  },
  {
   "description": "EXECUTION is UNKNOWN when its artifact is missing, never VERIFIED",
   "detail": "('UNKNOWN', 'VERIFIED')",
   "family": "enforcement_layer",
   "id": "E31-LAYER-EXECUTION",
   "ok": true
  },
  {
   "description": "OUTCOME is UNKNOWN when its artifact is missing, never VERIFIED",
   "detail": "('UNKNOWN', 'VERIFIED')",
   "family": "enforcement_layer",
   "id": "E31-LAYER-OUTCOME",
   "ok": true
  },
  {
   "description": "failure class AUTHORIZATION_DENIED is assigned only from matching evidence",
   "detail": "'AUTHORIZATION_DENIED'",
   "family": "failure_class",
   "id": "E31-FC-AUTHORIZATION_DENIED",
   "ok": true
  },
  {
   "description": "failure class AUTHORIZATION_EXPIRED is assigned only from matching evidence",
   "detail": "'AUTHORIZATION_EXPIRED'",
   "family": "failure_class",
   "id": "E31-FC-AUTHORIZATION_EXPIRED",
   "ok": true
  },
  {
   "description": "failure class AUTHORIZATION_REVOKED is assigned only from matching evidence",
   "detail": "'AUTHORIZATION_REVOKED'",
   "family": "failure_class",
   "id": "E31-FC-AUTHORIZATION_REVOKED",
   "ok": true
  },
  {
   "description": "failure class POLICY_CONFLICT is assigned only from matching evidence",
   "detail": "'POLICY_CONFLICT'",
   "family": "failure_class",
   "id": "E31-FC-POLICY_CONFLICT",
   "ok": true
  },
  {
   "description": "failure class INSUFFICIENT_AUTHORITY is assigned only from matching evidence",
   "detail": "'INSUFFICIENT_AUTHORITY'",
   "family": "failure_class",
   "id": "E31-FC-INSUFFICIENT_AUTHORITY",
   "ok": true
  },
  {
   "description": "failure class CAPABILITY_MISMATCH is assigned only from matching evidence",
   "detail": "'CAPABILITY_MISMATCH'",
   "family": "failure_class",
   "id": "E31-FC-CAPABILITY_MISMATCH",
   "ok": true
  },
  {
   "description": "failure class IDENTITY_FAILURE is assigned only from matching evidence",
   "detail": "'IDENTITY_FAILURE'",
   "family": "failure_class",
   "id": "E31-FC-IDENTITY_FAILURE",
   "ok": true
  },
  {
   "description": "failure class PROVENANCE_FAILURE is assigned only from matching evidence",
   "detail": "'PROVENANCE_FAILURE'",
   "family": "failure_class",
   "id": "E31-FC-PROVENANCE_FAILURE",
   "ok": true
  },
  {
   "description": "failure class STALE_CONTEXT is assigned only from matching evidence",
   "detail": "'STALE_CONTEXT'",
   "family": "failure_class",
   "id": "E31-FC-STALE_CONTEXT",
   "ok": true
  },
  {
   "description": "failure class STALE_TRAJECTORY is assigned only from matching evidence",
   "detail": "'STALE_TRAJECTORY'",
   "family": "failure_class",
   "id": "E31-FC-STALE_TRAJECTORY",
   "ok": true
  },
  {
   "description": "failure class ENFORCEMENT_UNAVAILABLE is assigned only from matching evidence",
   "detail": "'ENFORCEMENT_UNAVAILABLE'",
   "family": "failure_class",
   "id": "E31-FC-ENFORCEMENT_UNAVAILABLE",
   "ok": true
  },
  {
   "description": "failure class PROOF_INVALID is assigned only from matching evidence",
   "detail": "'not reachable from kernel reasons'",
   "family": "failure_class",
   "id": "E31-FC-PROOF_INVALID",
   "ok": true
  },
  {
   "description": "failure class POSTCONDITION_FAILURE is assigned only from matching evidence",
   "detail": "'not reachable from kernel reasons'",
   "family": "failure_class",
   "id": "E31-FC-POSTCONDITION_FAILURE",
   "ok": true
  },
  {
   "description": "failure class VERIFIER_DISAGREEMENT is assigned only from matching evidence",
   "detail": "'not reachable from kernel reasons'",
   "family": "failure_class",
   "id": "E31-FC-VERIFIER_DISAGREEMENT",
   "ok": true
  },
  {
   "description": "failure class UNKNOWN_STATE is assigned only from matching evidence",
   "detail": "'UNKNOWN_STATE'",
   "family": "failure_class",
   "id": "E31-FC-UNKNOWN_STATE",
   "ok": true
  },
  {
   "description": "identity_capabilities: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-identity_capabilities",
   "ok": true
  },
  {
   "description": "authentication_method: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-authentication_method",
   "ok": true
  },
  {
   "description": "authorization_capabilities: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-authorization_capabilities",
   "ok": true
  },
  {
   "description": "delegation_model: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-delegation_model",
   "ok": true
  },
  {
   "description": "revocation_mechanism: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-revocation_mechanism",
   "ok": true
  },
  {
   "description": "enforcement_boundary: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-enforcement_boundary",
   "ok": true
  },
  {
   "description": "evidence_capabilities: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-evidence_capabilities",
   "ok": true
  },
  {
   "description": "proof_format: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-proof_format",
   "ok": true
  },
  {
   "description": "policy_model: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-policy_model",
   "ok": true
  },
  {
   "description": "protocol_bindings: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-protocol_bindings",
   "ok": true
  },
  {
   "description": "failure_behavior: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-failure_behavior",
   "ok": true
  },
  {
   "description": "fail_closed: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-fail_closed",
   "ok": true
  },
  {
   "description": "supported_guarantees: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-supported_guarantees",
   "ok": true
  },
  {
   "description": "unsupported_guarantees: a declaration alone never exceeds OBSERVED; probes decide",
   "detail": "({'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'declaration'}, {'class': 'ENFORCED', 'declared': 'UNKNOWN', 'basis': 'probe'}, {'class': 'UNKNOWN', 'declared': 'ENFORCED', 'basis': 'probe'})",
   "family": "handshake",
   "id": "E31-HS-unsupported_guarantees",
   "ok": true
  },
  {
   "description": "identity: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'identity'",
   "family": "coverage",
   "id": "E31-CV-identity",
   "ok": true
  },
  {
   "description": "action: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'action'",
   "family": "coverage",
   "id": "E31-CV-action",
   "ok": true
  },
  {
   "description": "protocol: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'protocol'",
   "family": "coverage",
   "id": "E31-CV-protocol",
   "ok": true
  },
  {
   "description": "capability: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'capability'",
   "family": "coverage",
   "id": "E31-CV-capability",
   "ok": true
  },
  {
   "description": "execution: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'execution'",
   "family": "coverage",
   "id": "E31-CV-execution",
   "ok": true
  },
  {
   "description": "data: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'data'",
   "family": "coverage",
   "id": "E31-CV-data",
   "ok": true
  },
  {
   "description": "memory: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'memory'",
   "family": "coverage",
   "id": "E31-CV-memory",
   "ok": true
  },
  {
   "description": "delegation: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'delegation'",
   "family": "coverage",
   "id": "E31-CV-delegation",
   "ok": true
  },
  {
   "description": "subagent: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'subagent'",
   "family": "coverage",
   "id": "E31-CV-subagent",
   "ok": true
  },
  {
   "description": "physical_action: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'physical_action'",
   "family": "coverage",
   "id": "E31-CV-physical_action",
   "ok": true
  },
  {
   "description": "economic_action: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'economic_action'",
   "family": "coverage",
   "id": "E31-CV-economic_action",
   "ok": true
  },
  {
   "description": "cloud_resource: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'cloud_resource'",
   "family": "coverage",
   "id": "E31-CV-cloud_resource",
   "ok": true
  },
  {
   "description": "computer_use: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'computer_use'",
   "family": "coverage",
   "id": "E31-CV-computer_use",
   "ok": true
  },
  {
   "description": "recovery: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'recovery'",
   "family": "coverage",
   "id": "E31-CV-recovery",
   "ok": true
  },
  {
   "description": "evidence: unprobed coverage is UNKNOWN and blocks any universal claim",
   "detail": "'evidence'",
   "family": "coverage",
   "id": "E31-CV-evidence",
   "ok": true
  },
  {
   "description": "G0 (identity observed) cannot be skipped",
   "detail": "'NONE'",
   "family": "conformance",
   "id": "E31-CF-G0",
   "ok": true
  },
  {
   "description": "G1 (identity verified) cannot be skipped",
   "detail": "'G0'",
   "family": "conformance",
   "id": "E31-CF-G1",
   "ok": true
  },
  {
   "description": "G2 (authority verified) cannot be skipped",
   "detail": "'G1'",
   "family": "conformance",
   "id": "E31-CF-G2",
   "ok": true
  },
  {
   "description": "G3 (authorization verified) cannot be skipped",
   "detail": "'G2'",
   "family": "conformance",
   "id": "E31-CF-G3",
   "ok": true
  },
  {
   "description": "G4 (execution boundary verified) cannot be skipped",
   "detail": "'G3'",
   "family": "conformance",
   "id": "E31-CF-G4",
   "ok": true
  },
  {
   "description": "G5 (proof-carrying execution) cannot be skipped",
   "detail": "'G4'",
   "family": "conformance",
   "id": "E31-CF-G5",
   "ok": true
  },
  {
   "description": "G6 (independent proof verification) cannot be skipped",
   "detail": "'G5'",
   "family": "conformance",
   "id": "E31-CF-G6",
   "ok": true
  },
  {
   "description": "G7 (continuous governance and revocation verification) cannot be skipped",
   "detail": "'G6'",
   "family": "conformance",
   "id": "E31-CF-G7",
   "ok": true
  },
  {
   "description": "G8 (end-to-end governed execution with verified postconditions) cannot be skipped",
   "detail": "'G7'",
   "family": "conformance",
   "id": "E31-CF-G8",
   "ok": true
  },
  {
   "description": "identity_verifiability: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-identity_verifiability",
   "ok": true
  },
  {
   "description": "authority_traceability: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-authority_traceability",
   "ok": true
  },
  {
   "description": "delegation_attenuation: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-delegation_attenuation",
   "ok": true
  },
  {
   "description": "policy_enforcement: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-policy_enforcement",
   "ok": true
  },
  {
   "description": "action_bound_authorization: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-action_bound_authorization",
   "ok": true
  },
  {
   "description": "execution_bound_enforcement: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-execution_bound_enforcement",
   "ok": true
  },
  {
   "description": "revocation: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-revocation",
   "ok": true
  },
  {
   "description": "replay_resistance: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-replay_resistance",
   "ok": true
  },
  {
   "description": "evidence_integrity: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-evidence_integrity",
   "ok": true
  },
  {
   "description": "independent_verification: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-independent_verification",
   "ok": true
  },
  {
   "description": "recovery: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-recovery",
   "ok": true
  },
  {
   "description": "boundary_transparency: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-boundary_transparency",
   "ok": true
  },
  {
   "description": "postcondition_verification: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-postcondition_verification",
   "ok": true
  },
  {
   "description": "continuous_governance: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-continuous_governance",
   "ok": true
  },
  {
   "description": "unknown_state_handling: missing evidence is UNKNOWN; no aggregate score",
   "detail": "'UNKNOWN'",
   "family": "governability",
   "id": "E31-GA-unknown_state_handling",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier mcp round-trips or is reported NOT IMPLEMENTED",
   "detail": "('params', '_meta', 'cain.gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-mcp",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier a2a round-trips or is reported NOT IMPLEMENTED",
   "detail": "('metadata', 'cain.gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-a2a",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier http round-trips or is reported NOT IMPLEMENTED",
   "detail": "('headers', 'CAIN-GIP')",
   "family": "gip_carrier",
   "id": "E31-GIP-http",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier rest round-trips or is reported NOT IMPLEMENTED",
   "detail": "('headers', 'CAIN-GIP')",
   "family": "gip_carrier",
   "id": "E31-GIP-rest",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier grpc round-trips or is reported NOT IMPLEMENTED",
   "detail": "('metadata', 'cain-gip-bin')",
   "family": "gip_carrier",
   "id": "E31-GIP-grpc",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier websocket round-trips or is reported NOT IMPLEMENTED",
   "detail": "('frame', 'cain_gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-websocket",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier event_bus round-trips or is reported NOT IMPLEMENTED",
   "detail": "('attributes', 'cain.gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-event_bus",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier message_queue round-trips or is reported NOT IMPLEMENTED",
   "detail": "('properties', 'cain-gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-message_queue",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier cli round-trips or is reported NOT IMPLEMENTED",
   "detail": "('env', 'CAIN_GIP')",
   "family": "gip_carrier",
   "id": "E31-GIP-cli",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier browser round-trips or is reported NOT IMPLEMENTED",
   "detail": "('dataset', 'cainGip')",
   "family": "gip_carrier",
   "id": "E31-GIP-browser",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier computer_use round-trips or is reported NOT IMPLEMENTED",
   "detail": "('annotations', 'cain.gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-computer_use",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier local_ipc round-trips or is reported NOT IMPLEMENTED",
   "detail": "('envelope', 'cain_gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-local_ipc",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier cloud_api round-trips or is reported NOT IMPLEMENTED",
   "detail": "('headers', 'x-cain-gip')",
   "family": "gip_carrier",
   "id": "E31-GIP-cloud_api",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier agent_runtime round-trips or is reported NOT IMPLEMENTED",
   "detail": "'NOT IMPLEMENTED reported'",
   "family": "gip_carrier",
   "id": "E31-GIP-agent_runtime",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier model_runtime round-trips or is reported NOT IMPLEMENTED",
   "detail": "'NOT IMPLEMENTED reported'",
   "family": "gip_carrier",
   "id": "E31-GIP-model_runtime",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier workflow_engine round-trips or is reported NOT IMPLEMENTED",
   "detail": "'NOT IMPLEMENTED reported'",
   "family": "gip_carrier",
   "id": "E31-GIP-workflow_engine",
   "ok": true
  },
  {
   "description": "a identical policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-identical",
   "ok": true
  },
  {
   "description": "a reordered_duplicated policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-reordered_duplicated",
   "ok": true
  },
  {
   "description": "a redundant_rule policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-redundant_rule",
   "ok": true
  },
  {
   "description": "a narrowed policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-narrowed",
   "ok": true
  },
  {
   "description": "a widened policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-widened",
   "ok": true
  },
  {
   "description": "a swapped policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-swapped",
   "ok": true
  },
  {
   "description": "a unenforceable policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-unenforceable",
   "ok": true
  },
  {
   "description": "a unknown_control policy translation is classified correctly",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "policy_translation",
   "id": "E31-TC-unknown_control",
   "ok": true
  },
  {
   "description": "GovernanceProofService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'GovernanceProofService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET', 'sl",
   "family": "governance_economy",
   "id": "E31-SV-GovernanceProofService",
   "ok": true
  },
  {
   "description": "VerificationService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'VerificationService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET', 'sla':",
   "family": "governance_economy",
   "id": "E31-SV-VerificationService",
   "ok": true
  },
  {
   "description": "ConformanceService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'ConformanceService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET', 'sla': ",
   "family": "governance_economy",
   "id": "E31-SV-ConformanceService",
   "ok": true
  },
  {
   "description": "GovernanceCertificateService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'GovernanceCertificateService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET",
   "family": "governance_economy",
   "id": "E31-SV-GovernanceCertificateService",
   "ok": true
  },
  {
   "description": "TrustDomainService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'TrustDomainService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET', 'sla': ",
   "family": "governance_economy",
   "id": "E31-SV-TrustDomainService",
   "ok": true
  },
  {
   "description": "EvidenceVerificationService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'EvidenceVerificationService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET'",
   "family": "governance_economy",
   "id": "E31-SV-EvidenceVerificationService",
   "ok": true
  },
  {
   "description": "IncidentVerificationService: infrastructure only; no pricing, customers or authority",
   "detail": "{'kind': 'IncidentVerificationService', 'identity': 'UNSET', 'capability': 'UNSET', 'authority': 'NONE', 'pricing': 'UNSET', 'service_contract': 'UNSET', 'proof_requirements': 'UNSET', 'evidence_requirements': 'UNSET', 'revocation': 'UNSET'",
   "family": "governance_economy",
   "id": "E31-SV-IncidentVerificationService",
   "ok": true
  },
  {
   "description": "policy_pack: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'policy_pack', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': '4u0GqOIBFlxXZJLl/moVp2oz70PrVMHQCVsL4pGuCTI='}, 'signature_b64': 'QyVrY0kNAPDV600R7sY8AQ5GX9WpyTWl",
   "family": "marketplace",
   "id": "E31-MK-policy_pack",
   "ok": true
  },
  {
   "description": "conformance_pack: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'conformance_pack', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'zCUHc1ELZrgimI57Li3k5pPWi7MSdFDKGMR/Iyr8Ocs='}, 'signature_b64': 'ox7MVZ3Yod4+1Ik6SWXNlH+GupP",
   "family": "marketplace",
   "id": "E31-MK-conformance_pack",
   "ok": true
  },
  {
   "description": "verifier: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'verifier', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'JhVtKeuDkH7JRkbAqyqQs3fi2CCfScoc4yNKAgRYHdo='}, 'signature_b64': 'Miey7Xrr3LfeILrR/JshpAoiOQ4xPmT61fr",
   "family": "marketplace",
   "id": "E31-MK-verifier",
   "ok": true
  },
  {
   "description": "protocol_adapter: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'protocol_adapter', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'BOs/H+5aHY+ZMQ5Ug9aCoJgqqLCsUoHp2Ad7lPs3W5E='}, 'signature_b64': '2d0XSS+bNTmuBHaXmcpzMKAXzah",
   "family": "marketplace",
   "id": "E31-MK-protocol_adapter",
   "ok": true
  },
  {
   "description": "evidence_validator: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'evidence_validator', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'telJ4wCcOpk1YlReYMEx8TC/+VpguYgYojD6cvg0Vqk='}, 'signature_b64': 'oEYd8/E7nXaMVxWD4EkB26OO+",
   "family": "marketplace",
   "id": "E31-MK-evidence_validator",
   "ok": true
  },
  {
   "description": "security_test: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'security_test', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'uerBkHnsrge6laVewU+bvN52zW36by7rZfLnDthTdH8='}, 'signature_b64': 'ZEQQpeojfPrgVygx2UGiRh1PUkyW9d",
   "family": "marketplace",
   "id": "E31-MK-security_test",
   "ok": true
  },
  {
   "description": "agent_connector: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'agent_connector', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'XUh4A6H/kj87VCynLBruEx1zXqj7IeOHd3vHrjV7bC4='}, 'signature_b64': 'dLCdFcNWqN9lKzN2SqdpznmOdtEO",
   "family": "marketplace",
   "id": "E31-MK-agent_connector",
   "ok": true
  },
  {
   "description": "governance_plugin: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'governance_plugin', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'zcisx4CbbzREE8OvJK+R9JdO9GliCEv150AwMcRvMMw='}, 'signature_b64': 'JMMXgDf74lVLq1Z6rsTFe7SE0R",
   "family": "marketplace",
   "id": "E31-MK-governance_plugin",
   "ok": true
  },
  {
   "description": "trust_domain_adapter: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'trust_domain_adapter', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'qZnESRWXpobUwj9et1t/Y6i4PMdOi9tLDF4z1Fj2HGw='}, 'signature_b64': '+a7cx36djWmDgK507qIMQf1",
   "family": "marketplace",
   "id": "E31-MK-trust_domain_adapter",
   "ok": true
  },
  {
   "description": "compliance_mapping: artifacts carry provenance and untested ones stay UNVERIFIED",
   "detail": "{'body': {'category': 'compliance_mapping', 'name': 'x', 'digest': 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd', 'publisher': 'v65f1J3ksvOgSj7QCDj5WEthUYpT5S1XB4m4qtG7wxk='}, 'signature_b64': 'h3/r4gIAx8rpZpRUEBc++zIa5",
   "family": "marketplace",
   "id": "E31-MK-compliance_mapping",
   "ok": true
  },
  {
   "description": "graph edge IDENTITY -> LINEAGE is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-IDENTITY-LINEAGE",
   "ok": true
  },
  {
   "description": "graph edge LINEAGE -> DELEGATION is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-LINEAGE-DELEGATION",
   "ok": true
  },
  {
   "description": "graph edge DELEGATION -> AUTHORITY is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-DELEGATION-AUTHORITY",
   "ok": true
  },
  {
   "description": "graph edge AUTHORITY -> CAPABILITY is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-AUTHORITY-CAPABILITY",
   "ok": true
  },
  {
   "description": "graph edge CAPABILITY -> POLICY is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-CAPABILITY-POLICY",
   "ok": true
  },
  {
   "description": "graph edge POLICY -> RISK is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-POLICY-RISK",
   "ok": true
  },
  {
   "description": "graph edge RISK -> CONTEXT is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-RISK-CONTEXT",
   "ok": true
  },
  {
   "description": "graph edge CONTEXT -> DECISION is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-CONTEXT-DECISION",
   "ok": true
  },
  {
   "description": "graph edge DECISION -> AUTHORIZATION is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-DECISION-AUTHORIZATION",
   "ok": true
  },
  {
   "description": "graph edge AUTHORIZATION -> EXECUTION is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-AUTHORIZATION-EXECUTION",
   "ok": true
  },
  {
   "description": "graph edge EXECUTION -> OUTCOME is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-EXECUTION-OUTCOME",
   "ok": true
  },
  {
   "description": "graph edge OUTCOME -> EVIDENCE is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-OUTCOME-EVIDENCE",
   "ok": true
  },
  {
   "description": "graph edge EVIDENCE -> PROOF is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-EVIDENCE-PROOF",
   "ok": true
  },
  {
   "description": "graph edge PROOF -> VERIFICATION is traceable or visibly missing",
   "detail": "([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])",
   "family": "proof_graph",
   "id": "E31-PG-PROOF-VERIFICATION",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: alg_none",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-alg_none",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: alg_HS256",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-alg_HS256",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: alg_RS256",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-alg_RS256",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: hash_downgrade",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-hash_downgrade",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: canonicalization_swap",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-canonicalization_swap",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: unknown_kid",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-unknown_kid",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: retired_key_after_rotation",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-retired_key_after_rotation",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: domain_confusion",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-domain_confusion",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: float_injection",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-float_injection",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: log_inclusion_forged",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-log_inclusion_forged",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: log_head_forged",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-log_head_forged",
   "ok": true
  },
  {
   "description": "cryptographic/serialization defence: log_entry_tamper",
   "detail": "{'scenarios': 1, 'not_held': []}",
   "family": "crypto",
   "id": "E31-CRYPTO-log_entry_tamper",
   "ok": true
  },
  {
   "description": "translating read never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-read",
   "ok": true
  },
  {
   "description": "translating list never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-list",
   "ok": true
  },
  {
   "description": "translating query never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-query",
   "ok": true
  },
  {
   "description": "translating observe never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-observe",
   "ok": true
  },
  {
   "description": "translating notify never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-notify",
   "ok": true
  },
  {
   "description": "translating write never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-write",
   "ok": true
  },
  {
   "description": "translating create never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-create",
   "ok": true
  },
  {
   "description": "translating send never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-send",
   "ok": true
  },
  {
   "description": "translating submit never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-submit",
   "ok": true
  },
  {
   "description": "translating execute never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-execute",
   "ok": true
  },
  {
   "description": "translating configure never widens authority in domain B",
   "detail": "{'scenarios': 10, 'not_held': []}",
   "family": "cross_domain",
   "id": "E31-XD-configure",
   "ok": true
  },
  {
   "description": "enforcement binding holds against drop_e8",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-drop_e8",
   "ok": true
  },
  {
   "description": "enforcement binding holds against swap_e8",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-swap_e8",
   "ok": true
  },
  {
   "description": "enforcement binding holds against e8_denied_rehashed",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-e8_denied_rehashed",
   "ok": true
  },
  {
   "description": "enforcement binding holds against e25_not_executed",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-e25_not_executed",
   "ok": true
  },
  {
   "description": "enforcement binding holds against forged_issuer_layers",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-forged_issuer_layers",
   "ok": true
  },
  {
   "description": "enforcement binding holds against insider_proof_over_denial",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-insider_proof_over_denial",
   "ok": true
  },
  {
   "description": "enforcement binding holds against logged_not_enforced",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-logged_not_enforced",
   "ok": true
  },
  {
   "description": "enforcement binding holds against e8_action_rehashed",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-e8_action_rehashed",
   "ok": true
  },
  {
   "description": "enforcement binding holds against swap_e28",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-swap_e28",
   "ok": true
  },
  {
   "description": "enforcement binding holds against swap_e25",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-swap_e25",
   "ok": true
  },
  {
   "description": "enforcement binding holds against swap_uar",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-swap_uar",
   "ok": true
  },
  {
   "description": "enforcement binding holds against e8_from_other_agent",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-e8_from_other_agent",
   "ok": true
  },
  {
   "description": "enforcement binding holds against attacker_anchors",
   "detail": "{'scenarios': 8, 'not_held': []}",
   "family": "enforcement_binding",
   "id": "E31-EB-attacker_anchors",
   "ok": true
  },
  {
   "description": "disputes: compromised_witness",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "verifier_disagreement",
   "id": "E31-VD-compromised_witness",
   "ok": true
  },
  {
   "description": "disputes: forged_statement",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "verifier_disagreement",
   "id": "E31-VD-forged_statement",
   "ok": true
  },
  {
   "description": "disputes: different_inputs",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "verifier_disagreement",
   "id": "E31-VD-different_inputs",
   "ok": true
  },
  {
   "description": "disputes: missing_inputs",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "verifier_disagreement",
   "id": "E31-VD-missing_inputs",
   "ok": true
  },
  {
   "description": "disputes: cain_not_default",
   "detail": "{'scenarios': 20, 'not_held': []}",
   "family": "verifier_disagreement",
   "id": "E31-VD-cain_not_default",
   "ok": true
  },
  {
   "description": "replay/revocation: gate_replay on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-gate_replay",
   "ok": true
  },
  {
   "description": "replay/revocation: identity_revoked on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-identity_revoked",
   "ok": true
  },
  {
   "description": "replay/revocation: proof_revoked on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-proof_revoked",
   "ok": true
  },
  {
   "description": "replay/revocation: expired on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-expired",
   "ok": true
  },
  {
   "description": "replay/revocation: superseded on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-superseded",
   "ok": true
  },
  {
   "description": "replay/revocation: past_proof_future_action on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-past_proof_future_action",
   "ok": true
  },
  {
   "description": "replay/revocation: proof_for_other_action on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-proof_for_other_action",
   "ok": true
  },
  {
   "description": "replay/revocation: quarantined on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-quarantined",
   "ok": true
  },
  {
   "description": "replay/revocation: known_then_vs_now on every protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "replay_revocation",
   "id": "E31-RR-known_then_vs_now",
   "ok": true
  },
  {
   "description": "CAIN-GIP real_proof_verifies on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-real_proof_verifies",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier_roundtrip on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-carrier_roundtrip",
   "ok": true
  },
  {
   "description": "CAIN-GIP carrier_occupied on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-carrier_occupied",
   "ok": true
  },
  {
   "description": "CAIN-GIP gip_blocks_separate on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-gip_blocks_separate",
   "ok": true
  },
  {
   "description": "CAIN-GIP transit_tamper on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-transit_tamper",
   "ok": true
  },
  {
   "description": "CAIN-GIP wrong_carrier on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-wrong_carrier",
   "ok": true
  },
  {
   "description": "CAIN-GIP protocol_bound on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-protocol_bound",
   "ok": true
  },
  {
   "description": "CAIN-GIP failure_proof_verifies on every carrier",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "protocol_conformance",
   "id": "E31-PC-failure_proof_verifies",
   "ok": true
  },
  {
   "description": "confidence creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-confidence",
   "ok": true
  },
  {
   "description": "consensus creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-consensus",
   "ok": true
  },
  {
   "description": "reputation creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-reputation",
   "ok": true
  },
  {
   "description": "prediction creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-prediction",
   "ok": true
  },
  {
   "description": "simulation creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-simulation",
   "ok": true
  },
  {
   "description": "reward creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-reward",
   "ok": true
  },
  {
   "description": "prior_success creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-prior_success",
   "ok": true
  },
  {
   "description": "governance_proof creates no authority on any protocol",
   "detail": "{'scenarios': 13, 'not_held': []}",
   "family": "non_authority",
   "id": "E31-AL-governance_proof",
   "ok": true
  }
 ],
 "total": 252
}