{
 "classes": [
  "ENFORCED",
  "VERIFIED",
  "MONITORED",
  "OBSERVED",
  "BYPASSABLE",
  "UNKNOWN"
 ],
 "execution_coverage": {
  "hops": [
   "agent",
   "model",
   "runtime",
   "tool",
   "E8 commit boundary",
   "reference executor (in-process)",
   "external system"
  ],
  "overall_classes_seen": [
   "UNKNOWN",
   "VERIFIED"
  ]
 },
 "maps": [
  {
   "label": "spec example: external hops are UNKNOWN so the claim is UNKNOWN",
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "agent",
     "signature_verified": true
    },
    {
     "name": "model",
     "signature_verified": true
    },
    {
     "name": "runtime",
     "signature_verified": true
    },
    {
     "name": "tool",
     "sealed_e8": true
    },
    {
     "enforcement_probe": true,
     "name": "MCPGate"
    },
    {
     "name": "external API"
    },
    {
     "name": "external system"
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": false
    },
    {
     "name": "hop2",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "name": "hop3",
     "observed": true,
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": false
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "observed": true,
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "name": "hop4",
     "observed": true,
     "relevant": false
    },
    {
     "name": "hop5",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "observed": true,
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "ENFORCED",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": false,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": false
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": false,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    }
   ]
  },
  {
   "overall": "OBSERVED",
   "path": [
    {
     "name": "hop0",
     "relevant": false,
     "signature_verified": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": false
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop2",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop5",
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "name": "hop7",
     "observed": true,
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": false
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": true,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "name": "hop7",
     "observed": true,
     "relevant": false
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop6",
     "relevant": false
    },
    {
     "monitored": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "ENFORCED",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": false
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": false,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": false
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": false,
     "signature_verified": true
    },
    {
     "name": "hop3",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "OBSERVED",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": false,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop6",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop7",
     "observed": true,
     "relevant": true
    }
   ]
  },
  {
   "overall": "VERIFIED",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": false,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    }
   ]
  },
  {
   "overall": "ENFORCED",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "name": "hop4",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": false
    },
    {
     "name": "hop1",
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": false,
     "signature_verified": true
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "ENFORCED",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true
    }
   ]
  },
  {
   "overall": "OBSERVED",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": false
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop2",
     "observed": true,
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": false,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": false
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": false
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": false
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": false
    },
    {
     "name": "hop3",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": false
    },
    {
     "name": "hop4",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "relevant": false
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": false
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "observed": true,
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "name": "hop4",
     "relevant": true,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": false
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "monitored": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": false
    },
    {
     "name": "hop2",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop3",
     "relevant": false,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": false
    },
    {
     "name": "hop6",
     "relevant": true
    },
    {
     "name": "hop7",
     "relevant": false,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true,
     "signature_verified": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": false
    },
    {
     "name": "hop5",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop3",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    }
   ]
  },
  {
   "overall": "MONITORED",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "enforcement_probe": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "observed": true,
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": false,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop7",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": false
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": false
    }
   ]
  },
  {
   "overall": "VERIFIED",
   "path": [
    {
     "name": "hop0",
     "relevant": true,
     "signature_verified": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "name": "hop0",
     "observed": true,
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true,
     "signature_verified": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "name": "hop3",
     "relevant": true
    },
    {
     "name": "hop4",
     "relevant": true
    },
    {
     "enforcement_probe": true,
     "name": "hop5",
     "relevant": true
    },
    {
     "name": "hop6",
     "relevant": true
    },
    {
     "name": "hop7",
     "relevant": false
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "name": "hop0",
     "relevant": false
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": false
    },
    {
     "enforcement_probe": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "name": "hop3",
     "relevant": true,
     "signature_verified": true
    },
    {
     "name": "hop4",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop5",
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop1",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop2",
     "relevant": true
    },
    {
     "bypass_known": true,
     "name": "hop3",
     "relevant": false
    },
    {
     "enforcement_probe": true,
     "name": "hop4",
     "relevant": true
    },
    {
     "name": "hop5",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop6",
     "relevant": true
    },
    {
     "name": "hop7",
     "observed": true,
     "relevant": true
    }
   ]
  },
  {
   "overall": "UNKNOWN",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    },
    {
     "name": "hop1",
     "relevant": true
    },
    {
     "monitored": true,
     "name": "hop2",
     "relevant": false
    },
    {
     "name": "hop3",
     "relevant": true
    }
   ]
  },
  {
   "overall": "BYPASSABLE",
   "path": [
    {
     "bypass_known": true,
     "name": "hop0",
     "relevant": true
    }
   ]
  }
 ],
 "schema": "cain42.e37.coverage.v1",
 "upgrade_rule": "stronger class needs new evidence"
}