{
  "status": "PASS",
  "checks": 81720,
  "groups": {
    "suffix versus recursive statistics": 10922,
    "proper prior tail direct versus recursive": 5461,
    "floor identity and sum-max ordering": 61896,
    "correct conditional likelihood budget": 5,
    "fixed-time total budgets": 35,
    "proper prior conditional martingale": 315,
    "bounded stopped martingale identity": 270,
    "finite-horizon alarm budget": 270,
    "reflected first-step mean certificate": 90,
    "minimum possible reflected waiting": 90,
    "uniform favorable-block absorption": 90,
    "reflected path enumeration versus matrix powers": 720,
    "monotone initial-state delay": 60,
    "reset first-step mean certificate": 484,
    "reset path enumeration versus matrix powers": 896,
    "independent consecutive-run mean formula": 64,
    "correct-model exact ARL bound": 24,
    "terminal CUSUM exact means": 1,
    "terminal horizon ten probability": 1,
    "terminal full ten-step path enumeration": 1,
    "terminal late-change trace": 1,
    "terminal all-success prior trace": 1,
    "terminal changed threshold null means": 1,
    "terminal changed threshold delay means": 1,
    "terminal headstart threshold and misspecification": 5,
    "normalized SR bounded-stop counterexample": 1,
    "identical model SR immigration": 1,
    "identical model proper mixture": 1,
    "invalid input refusal": 13
  },
  "explicit_factor_paths": 5461,
  "reflected_chains": 30,
  "reset_chains": 128,
  "cusum_null_means": [
    "33",
    "30",
    "21"
  ],
  "cusum_changed_means": [
    "51/8",
    "39/8",
    "21/8"
  ],
  "cusum_alarm_by_10": "13609/59049",
  "reset_targets": [
    {
      "p": "1/2",
      "multiplier": "2",
      "A": "6",
      "r": "0",
      "mean": "6",
      "states": [
        "0",
        "2"
      ]
    },
    {
      "p": "1/2",
      "multiplier": "2",
      "A": "6",
      "r": "2",
      "mean": "4",
      "states": [
        "2",
        "0"
      ]
    },
    {
      "p": "1/2",
      "multiplier": "2",
      "A": "13/2",
      "r": "0",
      "mean": "14",
      "states": [
        "0",
        "2",
        "6"
      ]
    },
    {
      "p": "3/5",
      "multiplier": "2",
      "A": "6",
      "r": "0",
      "mean": "40/9",
      "states": [
        "0",
        "2"
      ]
    },
    {
      "p": "3/5",
      "multiplier": "5/3",
      "A": "6",
      "r": "0",
      "mean": "245/27",
      "states": [
        "0",
        "5/3",
        "40/9"
      ]
    }
  ],
  "normalized_stopped_mean": "5/4",
  "scope": "Exact finite certificates, not simulation or a continuous-state numerical solver."
}