{
  "target_pi": [
    "1/2",
    "1/3",
    "1/6"
  ],
  "independent_proposal_each_row_q": [
    "1/3",
    "1/2",
    "1/6"
  ],
  "acceptance_matrix": [
    [
      "1",
      "4/9",
      "2/3"
    ],
    [
      "1",
      "1",
      "1"
    ],
    [
      "1",
      "2/3",
      "1"
    ]
  ],
  "transition_P": [
    [
      "2/3",
      "2/9",
      "1/9"
    ],
    [
      "1/3",
      "1/2",
      "1/6"
    ],
    [
      "1/3",
      "1/3",
      "1/3"
    ]
  ],
  "nine_detailed_balance_checks": [
    {
      "i": 0,
      "j": 0,
      "forward_flux": "1/3",
      "reverse_flux": "1/3"
    },
    {
      "i": 0,
      "j": 1,
      "forward_flux": "1/9",
      "reverse_flux": "1/9"
    },
    {
      "i": 0,
      "j": 2,
      "forward_flux": "1/18",
      "reverse_flux": "1/18"
    },
    {
      "i": 1,
      "j": 0,
      "forward_flux": "1/9",
      "reverse_flux": "1/9"
    },
    {
      "i": 1,
      "j": 1,
      "forward_flux": "1/6",
      "reverse_flux": "1/6"
    },
    {
      "i": 1,
      "j": 2,
      "forward_flux": "1/18",
      "reverse_flux": "1/18"
    },
    {
      "i": 2,
      "j": 0,
      "forward_flux": "1/18",
      "reverse_flux": "1/18"
    },
    {
      "i": 2,
      "j": 1,
      "forward_flux": "1/18",
      "reverse_flux": "1/18"
    },
    {
      "i": 2,
      "j": 2,
      "forward_flux": "1/18",
      "reverse_flux": "1/18"
    }
  ],
  "pi_times_P": [
    "1/2",
    "1/3",
    "1/6"
  ],
  "wrong_without_reverse_proposal_ratio": {
    "transition_P": [
      [
        "11/18",
        "1/3",
        "1/18"
      ],
      [
        "1/3",
        "7/12",
        "1/12"
      ],
      [
        "1/3",
        "1/2",
        "1/6"
      ]
    ],
    "pi_times_P": [
      "17/36",
      "4/9",
      "1/12"
    ],
    "stationary_target_failed": true
  },
  "hand_authored_six_step_trace_not_random_sample": [
    {
      "old": 0,
      "proposed": 1,
      "authored_uniform_threshold": "1/4",
      "acceptance": "4/9",
      "accepted": true,
      "new": 1
    },
    {
      "old": 1,
      "proposed": 2,
      "authored_uniform_threshold": "3/4",
      "acceptance": "1",
      "accepted": true,
      "new": 2
    },
    {
      "old": 2,
      "proposed": 0,
      "authored_uniform_threshold": "1/2",
      "acceptance": "1",
      "accepted": true,
      "new": 0
    },
    {
      "old": 0,
      "proposed": 1,
      "authored_uniform_threshold": "1/2",
      "acceptance": "4/9",
      "accepted": false,
      "new": 0
    },
    {
      "old": 0,
      "proposed": 0,
      "authored_uniform_threshold": "1/3",
      "acceptance": "1",
      "accepted": true,
      "new": 0
    },
    {
      "old": 0,
      "proposed": 2,
      "authored_uniform_threshold": "1/5",
      "acceptance": "2/3",
      "accepted": true,
      "new": 2
    }
  ],
  "invalid_probabilities_rejected": [
    [
      "1/2",
      "1/4"
    ],
    [
      "1",
      "0"
    ],
    [
      "-1",
      "2"
    ],
    [
      "True",
      "0"
    ],
    []
  ],
  "scope": "finite exact balance, not a convergence rate, independent samples or real model execution"
}