[
  {
    "record": {
      "exact": "30549/100000",
      "decimal": 0.30549
    },
    "status": "outer-enclosure",
    "p": [
      {
        "exact": "19/20",
        "decimal": 0.95
      },
      {
        "exact": "5133473/4061558",
        "decimal": 1.263917196307427
      }
    ],
    "flux": [
      {
        "exact": "92169/193000",
        "decimal": 0.477559585492228
      },
      {
        "exact": "1555442319/2728312400",
        "decimal": 0.5701115161885421
      }
    ],
    "binary_with_promise": "low",
    "binary_without_promise": "unresolved",
    "functional_decision": "below"
  },
  {
    "record": {
      "exact": "41151/100000",
      "decimal": 0.41151
    },
    "status": "outer-enclosure",
    "p": [
      {
        "exact": "49184975/34091912",
        "decimal": 1.442716823861331
      },
      {
        "exact": "41/20",
        "decimal": 2.05
      }
    ],
    "flux": [
      {
        "exact": "21641389/37458072",
        "decimal": 0.5777496770255554
      },
      {
        "exact": "211191/307000",
        "decimal": 0.6879185667752443
      }
    ],
    "binary_with_promise": "high",
    "binary_without_promise": "unresolved",
    "functional_decision": "unresolved"
  },
  {
    "record": {
      "exact": "14461049/40000000",
      "decimal": 0.361526225
    },
    "status": "outer-enclosure",
    "p": [
      {
        "exact": "688991401/645438142",
        "decimal": 1.0674785950285535
      },
      {
        "exact": "7254314919/3801176150",
        "decimal": 1.9084395546888824
      }
    ],
    "flux": [
      {
        "exact": "7578905411/14983228800",
        "decimal": 0.5058259145718979
      },
      {
        "exact": "732685806819/1091324960000",
        "decimal": 0.6713727200182428
      }
    ],
    "binary_with_promise": "incompatible with two-class promise",
    "binary_without_promise": "unresolved",
    "functional_decision": "unresolved"
  },
  {
    "record": {
      "exact": "-1/10",
      "decimal": -0.1
    },
    "status": "incompatible",
    "p": null,
    "flux": null,
    "binary_with_promise": "incompatible",
    "binary_without_promise": "incompatible",
    "functional_decision": "incompatible"
  },
  {
    "record": {
      "exact": "3/5",
      "decimal": 0.6
    },
    "status": "incompatible",
    "p": null,
    "flux": null,
    "binary_with_promise": "incompatible",
    "binary_without_promise": "incompatible",
    "functional_decision": "incompatible"
  }
]