{
  "status": "passed",
  "checks": [
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, -1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, -1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (-1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, -1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (0, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, -1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -2, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, -1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -2, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, -1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 0, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 0, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 1, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 1, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 2, -2)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 2, -1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "2x2 Hermitian principal-minor oracle (2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 0)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 1)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 3)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 4)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 5)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 6)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (1, 7)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 0)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 1)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 3)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 4)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 5)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 6)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (2, 7)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 0)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 1)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 3)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 4)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 5)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 6)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (3, 7)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 0)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 1)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 3)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 4)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 5)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 6)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (4, 7)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 0)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 1)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 3)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 4)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 5)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 6)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (5, 7)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 0)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 1)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 2)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 3)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 4)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 5)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 6)",
      "passed": true
    },
    {
      "name": "rank-one zero-pivot PSD (6, 7)",
      "passed": true
    },
    {
      "name": "exact upward square-root 0",
      "passed": true
    },
    {
      "name": "exact upward square-root 1",
      "passed": true
    },
    {
      "name": "exact upward square-root 2",
      "passed": true
    },
    {
      "name": "exact upward square-root 1/3",
      "passed": true
    },
    {
      "name": "exact upward square-root 142857",
      "passed": true
    },
    {
      "name": "exact upward square-root 1/1267650600228229401496703205376",
      "passed": true
    },
    {
      "name": "exact upward square-root 1329227995784915872903807060280344576/3",
      "passed": true
    },
    {
      "name": "prior rational rounds 1+sqrt2 upward",
      "passed": true
    },
    {
      "name": "nilpotent_sharp full finite reference completed",
      "passed": true
    },
    {
      "name": "nilpotent_sharp direct finite threshold true",
      "passed": true
    },
    {
      "name": "nilpotent_sharp tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "nilpotent_sharp Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "normal_segment full finite reference completed",
      "passed": true
    },
    {
      "name": "normal_segment direct finite threshold true",
      "passed": true
    },
    {
      "name": "normal_segment tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "normal_segment Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "complex_point full finite reference completed",
      "passed": true
    },
    {
      "name": "complex_point direct finite threshold true",
      "passed": true
    },
    {
      "name": "complex_point tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "complex_point Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "complex_point Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "complex_point Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "complex_point Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "complex_point Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "complex_point Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "constant_matrix full finite reference completed",
      "passed": true
    },
    {
      "name": "constant_matrix direct finite threshold true",
      "passed": true
    },
    {
      "name": "constant_matrix tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "constant_matrix Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "matrix_coefficients full finite reference completed",
      "passed": true
    },
    {
      "name": "matrix_coefficients direct finite threshold true",
      "passed": true
    },
    {
      "name": "matrix_coefficients tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "matrix_coefficients Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "zero full finite reference completed",
      "passed": true
    },
    {
      "name": "zero direct finite threshold true",
      "passed": true
    },
    {
      "name": "zero tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "zero Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "zero Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "imaginary_hermitian full finite reference completed",
      "passed": true
    },
    {
      "name": "imaginary_hermitian direct finite threshold true",
      "passed": true
    },
    {
      "name": "imaginary_hermitian tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "imaginary_hermitian Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation full finite reference completed",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation direct finite threshold true",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation tensor indexing independent expression",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 0",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 0",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 1",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 1",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 2",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 2",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 3",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 3",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 4",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 4",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 5",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 5",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 6",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 6",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 7",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 7",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point halfspaces 8",
      "passed": true
    },
    {
      "name": "nilpotent_cancellation Rayleigh point polynomial coverage 8",
      "passed": true
    },
    {
      "name": "sharp exact norm 2 tolerance 199/100",
      "passed": true
    },
    {
      "name": "sharp exact norm 2 tolerance 2",
      "passed": true
    },
    {
      "name": "sharp exact norm 2 tolerance 201/100",
      "passed": true
    },
    {
      "name": "nilpotent eigenvalues zero do not bound norm",
      "passed": true
    },
    {
      "name": "source conditional/prior tolerance decision separate",
      "passed": true
    },
    {
      "name": "small direct check already succeeds without source",
      "passed": true
    },
    {
      "name": "early budget supplies no norm or bound",
      "passed": true
    },
    {
      "name": "later budget preserves direct result only",
      "passed": true
    },
    {
      "name": "invalid input rejected ('model', {'matrix_domain': 'finite_complex_rational', 'norm': 'eigenvalue_max', 'evaluation': 'sum_A_power_k_tensor_B_k_base_first', 'polynomial_variable': 'one_complex_scalar', 'coefficient_order': 'ascending'})",
      "passed": true
    },
    {
      "name": "invalid input rejected ('tolerance', '0')",
      "passed": true
    },
    {
      "name": "invalid input rejected ('tolerance', '1.0')",
      "passed": true
    },
    {
      "name": "invalid input rejected ('tolerance', 2)",
      "passed": true
    },
    {
      "name": "invalid input rejected ('matrix', [[['0', '0'], ['1', '0']]])",
      "passed": true
    },
    {
      "name": "invalid input rejected ('coefficients', [])",
      "passed": true
    },
    {
      "name": "invalid input rejected ('extra', True)",
      "passed": true
    },
    {
      "name": "invalid control rejected {'grid': 0}",
      "passed": true
    },
    {
      "name": "invalid control rejected {'grid': 33}",
      "passed": true
    },
    {
      "name": "invalid control rejected {'bisections': 17}",
      "passed": true
    },
    {
      "name": "invalid control rejected {'work': 0}",
      "passed": true
    },
    {
      "name": "invalid control rejected {'bits': 127}",
      "passed": true
    }
  ],
  "generated_at_utc": "2026-10-08T23:59:50.426555+00:00",
  "runtime": {
    "executable": "/opt/homebrew/opt/python@3.10/bin/python3.10",
    "python": "3.10.19 (main, Oct  9 2025, 15:25:03) [Clang 17.0.0 (clang-1700.0.13.3)]",
    "platform": "macOS-27.2-arm64-arm-64bit"
  },
  "scope": "625 independent 2x2 Hermitian principal-minor controls; zero-pivot rank-one matrices, exact rounding, eight generated cases, finite Rayleigh probes/tensor expression, norm thresholds, budgets and schema. Finite tests do not prove arbitrary code correctness or repository theorem."
}