{
  "checks": [
    {
      "local_id": "C1",
      "result": "R1.share_below_low.wald",
      "declared": 0.463088,
      "supplied_rerun": 0.463088,
      "independent": 0.463088,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C1",
      "result": "R1.share_below_nominal.wald",
      "declared": 0.923027,
      "supplied_rerun": 0.923027,
      "independent": 0.923027,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C2",
      "result": "R1.share_below_low.wilson",
      "declared": 0.032981,
      "supplied_rerun": 0.032981,
      "independent": 0.032981,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C2",
      "result": "R1.share_below_low.agresti_coull",
      "declared": 0.003681,
      "supplied_rerun": 0.003681,
      "independent": 0.003681,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C2",
      "result": "R1.mean_coverage.wilson",
      "declared": 0.952036,
      "supplied_rerun": 0.952036,
      "independent": 0.952036,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C2",
      "result": "R1.mean_coverage.agresti_coull",
      "declared": 0.958695,
      "supplied_rerun": 0.958695,
      "independent": 0.958695,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C2",
      "result": "R1.mean_coverage.wald",
      "declared": 0.88228,
      "supplied_rerun": 0.88228,
      "independent": 0.88228,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C3",
      "result": "R1.min_coverage.clopper_pearson",
      "declared": 0.9502,
      "supplied_rerun": 0.9502,
      "independent": 0.9502,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C3",
      "result": "R1.mean_coverage.clopper_pearson",
      "declared": 0.970942,
      "supplied_rerun": 0.970942,
      "independent": 0.970942,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C4",
      "result": "R1.wald_at_fixed_p.p_0_2.largest_drop.from_n",
      "declared": 14,
      "supplied_rerun": 14,
      "independent": 14,
      "tolerance": 0,
      "pass": true
    },
    {
      "local_id": "C4",
      "result": "R1.wald_at_fixed_p.p_0_2.largest_drop.from",
      "declared": 0.94441,
      "supplied_rerun": 0.94441,
      "independent": 0.94441,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C4",
      "result": "R1.wald_at_fixed_p.p_0_2.largest_drop.to",
      "declared": 0.814815,
      "supplied_rerun": 0.814815,
      "independent": 0.814815,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C4",
      "result": "R1.wald_at_fixed_p.p_0_05.largest_drop.from_n",
      "declared": 58,
      "supplied_rerun": 58,
      "independent": 58,
      "tolerance": 0,
      "pass": true
    },
    {
      "local_id": "C4",
      "result": "R1.wald_at_fixed_p.p_0_05.largest_drop.from",
      "declared": 0.946709,
      "supplied_rerun": 0.946709,
      "independent": 0.946709,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C4",
      "result": "R1.wald_at_fixed_p.p_0_05.largest_drop.to",
      "declared": 0.798385,
      "supplied_rerun": 0.798385,
      "independent": 0.798385,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C5",
      "result": "R1.wald_at_fixed_p.p_0_01.at_n_max",
      "declared": 0.633433,
      "supplied_rerun": 0.633433,
      "independent": 0.633433,
      "tolerance": 1e-06,
      "pass": true
    },
    {
      "local_id": "C5",
      "result": "R1.wald_at_fixed_p.p_0_05.at_n_max",
      "declared": 0.877463,
      "supplied_rerun": 0.877463,
      "independent": 0.877463,
      "tolerance": 1e-06,
      "pass": true
    }
  ],
  "all_checks_passed": true,
  "supplied_whole_result_exactly_matches": true,
  "verdicts": {
    "claim:f28bdba410cbe1b8e46423ad69264df644da13e3ac98056c1ac73c2cdc9cb29d": "reproduced",
    "claim:1248dbb72dad85a40c27912747dbc586110870ff409826e6688d5b865b245261": "reproduced",
    "claim:af1bb15586c7735edef395e63852f09cec14a9470e36d1a97e105d22e4f75513": "reproduced",
    "claim:be230e27b76cd7aad1585443bbadcaa055ee5bcd6531c4e60d3dd36730fe66e4": "reproduced",
    "claim:9834fe0025da1c2641f52265f830c3f7312f97f766d243b9aec45c629c551fa8": "reproduced"
  }
}