{
  "target": [
    "1/2",
    "1/3",
    "1/6"
  ],
  "proposal": [
    "1/3",
    "1/3",
    "1/3"
  ],
  "M": "3/2",
  "finite18_worlds": {
    "rows": [
      {
        "proposal": 0,
        "u": "1/12",
        "threshold": "1",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "1/4",
        "threshold": "1",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "5/12",
        "threshold": "1",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "7/12",
        "threshold": "1",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "3/4",
        "threshold": "1",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "11/12",
        "threshold": "1",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "1/12",
        "threshold": "2/3",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "1/4",
        "threshold": "2/3",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "5/12",
        "threshold": "2/3",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "7/12",
        "threshold": "2/3",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "3/4",
        "threshold": "2/3",
        "joint_mass": "1/18",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "11/12",
        "threshold": "2/3",
        "joint_mass": "1/18",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "1/12",
        "threshold": "1/3",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 2,
        "u": "1/4",
        "threshold": "1/3",
        "joint_mass": "1/18",
        "accept": true
      },
      {
        "proposal": 2,
        "u": "5/12",
        "threshold": "1/3",
        "joint_mass": "1/18",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "7/12",
        "threshold": "1/3",
        "joint_mass": "1/18",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "3/4",
        "threshold": "1/3",
        "joint_mass": "1/18",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "11/12",
        "threshold": "1/3",
        "joint_mass": "1/18",
        "accept": false
      }
    ],
    "accepted_mass": [
      "1/3",
      "2/9",
      "1/9"
    ],
    "accept_probability": "2/3",
    "conditional": [
      "1/2",
      "1/3",
      "1/6"
    ]
  },
  "accepted_counts": [
    6,
    4,
    2
  ],
  "looser_M2_12_coin_bins": {
    "rows": [
      {
        "proposal": 0,
        "u": "1/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "1/8",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "5/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "7/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "3/8",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "11/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "13/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "5/8",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "17/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 0,
        "u": "19/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 0,
        "u": "7/8",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 0,
        "u": "23/24",
        "threshold": "3/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "1/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "1/8",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "5/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "7/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "3/8",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "11/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 1,
        "u": "13/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "5/8",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "17/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "19/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "7/8",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 1,
        "u": "23/24",
        "threshold": "1/2",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "1/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 2,
        "u": "1/8",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 2,
        "u": "5/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": true
      },
      {
        "proposal": 2,
        "u": "7/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "3/8",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "11/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "13/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "5/8",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "17/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "19/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "7/8",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      },
      {
        "proposal": 2,
        "u": "23/24",
        "threshold": "1/4",
        "joint_mass": "1/36",
        "accept": false
      }
    ],
    "accepted_mass": [
      "1/4",
      "1/6",
      "1/12"
    ],
    "accept_probability": "1/2",
    "conditional": [
      "1/2",
      "1/3",
      "1/6"
    ]
  },
  "wrong_M1_clipped": {
    "counts": [
      6,
      6,
      3
    ],
    "conditional": [
      "2/5",
      "2/5",
      "1/5"
    ]
  },
  "bounded_seeded_sampler_runs": [
    {
      "status": "accepted",
      "value": 1,
      "trace": [
        {
          "attempt": 0,
          "proposal": 1,
          "coin_index": 3,
          "u": "7/12",
          "accept": true
        }
      ]
    },
    {
      "status": "accepted",
      "value": 0,
      "trace": [
        {
          "attempt": 0,
          "proposal": 0,
          "coin_index": 4,
          "u": "3/4",
          "accept": true
        }
      ]
    },
    {
      "status": "accepted",
      "value": 0,
      "trace": [
        {
          "attempt": 0,
          "proposal": 0,
          "coin_index": 0,
          "u": "1/12",
          "accept": true
        }
      ]
    },
    {
      "status": "accepted",
      "value": 0,
      "trace": [
        {
          "attempt": 0,
          "proposal": 0,
          "coin_index": 4,
          "u": "3/4",
          "accept": true
        }
      ]
    }
  ],
  "bounded_no_acceptance_witness": {
    "status": "budget_exhausted_without_acceptance",
    "value": null,
    "trace": [
      {
        "attempt": 0,
        "proposal": 2,
        "coin_index": 2,
        "u": "5/12",
        "accept": false
      }
    ]
  },
  "invalid_cases_rejected": [
    "envelope_too_small",
    "not_normalized",
    "negative_probability",
    "bool_probability",
    "nonfinite",
    "proposal_zero_target_positive",
    "attempt_budget"
  ],
  "scope": "finite midpoint-coin adaptation gives exact target only where thresholds align with declared grid; continuous-U theorem is separate. Original bounded uniform-proposal sampler, seeded trace not a proof of IID. No MH previous-state kernel, importance weights, model, network or Opera claim"
}