{
  "lanes": 6,
  "confirmed": 5,
  "partial": 1,
  "refuted": 0,
  "checks": 92,
  "checksFrom": 4,
  "checkRule": "a named PASS row that is not a mutation control, counted identically for all six",
  "mutations": 21,
  "seconds": 6,
  "verdicts": [
    {
      "id": "maxwell",
      "short": "Maxwell's point-charge bound",
      "verdict": "CONFIRMED",
      "scope": "at ε = 1/6 only",
      "namedChecks": 17,
      "selfReported": 20,
      "mutations": 3
    },
    {
      "id": "korenblum",
      "short": "The Korenblum constant",
      "verdict": "CONFIRMED",
      "scope": "the numerical criterion",
      "namedChecks": 15,
      "selfReported": null,
      "mutations": 4
    },
    {
      "id": "lemniscate",
      "short": "Erdős Problem #1038",
      "verdict": "CONFIRMED",
      "scope": "the computational fragment",
      "namedChecks": 22,
      "selfReported": 26,
      "mutations": 4
    },
    {
      "id": "ranteng",
      "short": "Ran–Teng Conjecture 20",
      "verdict": "PARTIAL",
      "scope": "machine-checkable fragment only",
      "namedChecks": 38,
      "selfReported": 43,
      "mutations": 5
    },
    {
      "id": "mathieu",
      "short": "The Mathieu property for Lie groups",
      "verdict": "CONFIRMED",
      "scope": "supporting identities only",
      "namedChecks": null,
      "selfReported": 126,
      "mutations": 3
    },
    {
      "id": "poisson",
      "short": "The rank-two Poisson conjecture",
      "verdict": "CONFIRMED",
      "scope": "the explicit counterexample",
      "namedChecks": null,
      "selfReported": null,
      "mutations": 2
    }
  ]
}