{
  "blocking": {
    "attacks": true,
    "cleanroom": true,
    "invariants": true,
    "mvp": true,
    "races": true,
    "replay": true
  },
  "cleanroom": {
    "all_conform": true,
    "conforming": 32,
    "vectors": 32
  },
  "formal_invariants": {
    "passed": 30,
    "rows": [
      {
        "detail": "co-signed AFO + B holds inventory.write locally, still BLOCK",
        "id": "E37-I001",
        "pass": true
      },
      {
        "detail": "valid proof + local DENY -> BLOCK",
        "id": "E37-I002",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I003",
        "pass": true
      },
      {
        "detail": "A4 assurance held, capability removed locally -> BLOCK",
        "id": "E37-I004",
        "pass": true
      },
      {
        "detail": "accepted negotiation, nothing registered -> BLOCK",
        "id": "E37-I005",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I006",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I007",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I008",
        "pass": true
      },
      {
        "detail": "{'trust': 0.7, 'propagated': True, 'hops': 2}",
        "id": "E37-I009",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I010",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I011",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I012",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I013",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I014",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I015",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I016",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I017",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I018",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I019",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I020",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I021",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I022",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I023",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I024",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I025",
        "pass": true
      },
      {
        "detail": "['ALLOW', 'ALLOW', 'BLOCK']",
        "id": "E37-I026",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I027",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I028",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I029",
        "pass": true
      },
      {
        "detail": "",
        "id": "E37-I030",
        "pass": true
      }
    ],
    "total": 30
  }
}