{
  "status": "PASS",
  "checkpoint": "R100",
  "source_R99_sha256": "34aa2f1d11bf10c6a5a5d9028486cdcf64737a1bed5129069241c84ae89f30c4",
  "protocol_sha256": "9cc889f066a9604bbee2126aac68f2b4a82fd9fe79e43095953f062282efa93f",
  "case_results": [
    {
      "name": "A_narrow_box",
      "status": "FAST_EXCLUDED_OVER_SET",
      "minimum_margin": {
        "lower": {
          "exact": "561041498849517789619762476264873591176575460884966762615550193103713/27677386654142685629046581650614635493809617259956813301523603783680000",
          "decimal": "0.020270754094680482701635144806747604688479947019078463989127185617493044661582851"
        },
        "upper": {
          "exact": "2244165995398071158479049905059494364706301843539867050462200772415693/110709546616570742516186326602458541975238469039827253206094415134720000",
          "decimal": "0.020270754094680482701635144806747604688479947019078463989127185617500641115779458"
        }
      }
    },
    {
      "name": "B_wider_box",
      "status": "BOUND_OVERLAP",
      "minimum_margin": {
        "lower": {
          "exact": "-525640186055590305583046244405697396033338835817329153928519514363947/7273130143359730706324963786903489232023692526100422996000851886080000",
          "decimal": "-0.072271522122492565974526072447006544917946360813118715623594149143430441169226195"
        },
        "upper": {
          "exact": "-2102560744222361222332184977622789584133355343269316615714078057455567/29092520573438922825299855147613956928094770104401691984003407544320000",
          "decimal": "-0.072271522122492565974526072447006544917946360813118715623594149143422844715029587"
        }
      }
    },
    {
      "name": "C_dependent_strip",
      "status": "FAST_EXCLUDED_OVER_SET",
      "minimum_margin": {
        "lower": {
          "exact": "56210225413188150922950858546581742528556566270704685751548636522453/7273130143359730706324963786903489232023692526100422996000851886080000",
          "decimal": "0.0077284778775074340254739275529934550820536391868812843764058508565695588307738052"
        },
        "upper": {
          "exact": "224840901652752603691803434186326970114226265082818743006194546090033/29092520573438922825299855147613956928094770104401691984003407544320000",
          "decimal": "0.0077284778775074340254739275529934550820536391868812843764058508565771552849704130"
        }
      }
    }
  ],
  "same_marginal_bounds_B_C": true,
  "strip_Bernstein_certificate": "STRICTLY_POSITIVE",
  "wrong_Mach_squared_convention_rejected": true,
  "equality_not_excluded": true,
  "arithmetic": "exact rational endpoint, monotonicity and polynomial certificates; no sampling certificate",
  "error_semantics": "declared model hard bounds, not observational confidence intervals",
  "historical_audits_rerun": false,
  "fast_state_constructed_in_overlap": false,
  "unique_slow_identification": false,
  "solar_identification": false,
  "native_browser_tested": false
}