{
  "status": "PASS",
  "coverage": [
    [
      0,
      1,
      2
    ],
    [
      0,
      3,
      4
    ],
    [
      0,
      1,
      2
    ],
    [
      5
    ]
  ],
  "optimum": "5",
  "ordinary_greedy": {
    "base": [
      0,
      3
    ],
    "value": "4"
  },
  "euler": {
    "point": [
      "1/12",
      "11/12",
      "1",
      "0"
    ],
    "decomposition": [
      [
        "1/12",
        [
          0,
          2
        ]
      ],
      [
        "11/12",
        [
          1,
          2
        ]
      ]
    ],
    "history": [
      {
        "round": 0,
        "gradient": [
          "3",
          "3",
          "3",
          "1"
        ],
        "base": [
          0,
          2
        ],
        "before": [
          "0",
          "0",
          "0",
          "0"
        ],
        "after": [
          "1/12",
          "0",
          "1/12",
          "0"
        ]
      },
      {
        "round": 1,
        "gradient": [
          "11/4",
          "409/144",
          "11/4",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "0",
          "1/12",
          "0"
        ],
        "after": [
          "1/12",
          "1/12",
          "1/6",
          "0"
        ]
      },
      {
        "round": 2,
        "gradient": [
          "175/72",
          "199/72",
          "385/144",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "1/12",
          "1/6",
          "0"
        ],
        "after": [
          "1/12",
          "1/6",
          "1/4",
          "0"
        ]
      },
      {
        "round": 3,
        "gradient": [
          "17/8",
          "43/16",
          "187/72",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "1/6",
          "1/4",
          "0"
        ],
        "after": [
          "1/12",
          "1/4",
          "1/3",
          "0"
        ]
      },
      {
        "round": 4,
        "gradient": [
          "11/6",
          "47/18",
          "121/48",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "1/4",
          "1/3",
          "0"
        ],
        "after": [
          "1/12",
          "1/3",
          "5/12",
          "0"
        ]
      },
      {
        "round": 5,
        "gradient": [
          "14/9",
          "365/144",
          "22/9",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "1/3",
          "5/12",
          "0"
        ],
        "after": [
          "1/12",
          "5/12",
          "1/2",
          "0"
        ]
      },
      {
        "round": 6,
        "gradient": [
          "31/24",
          "59/24",
          "341/144",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "5/12",
          "1/2",
          "0"
        ],
        "after": [
          "1/12",
          "1/2",
          "7/12",
          "0"
        ]
      },
      {
        "round": 7,
        "gradient": [
          "25/24",
          "343/144",
          "55/24",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "1/2",
          "7/12",
          "0"
        ],
        "after": [
          "1/12",
          "7/12",
          "2/3",
          "0"
        ]
      },
      {
        "round": 8,
        "gradient": [
          "29/36",
          "83/36",
          "319/144",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "7/12",
          "2/3",
          "0"
        ],
        "after": [
          "1/12",
          "2/3",
          "3/4",
          "0"
        ]
      },
      {
        "round": 9,
        "gradient": [
          "7/12",
          "107/48",
          "77/36",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "2/3",
          "3/4",
          "0"
        ],
        "after": [
          "1/12",
          "3/4",
          "5/6",
          "0"
        ]
      },
      {
        "round": 10,
        "gradient": [
          "3/8",
          "155/72",
          "33/16",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "3/4",
          "5/6",
          "0"
        ],
        "after": [
          "1/12",
          "5/6",
          "11/12",
          "0"
        ]
      },
      {
        "round": 11,
        "gradient": [
          "13/72",
          "299/144",
          "143/72",
          "1"
        ],
        "base": [
          1,
          2
        ],
        "before": [
          "1/12",
          "5/6",
          "11/12",
          "0"
        ],
        "after": [
          "1/12",
          "11/12",
          "1",
          "0"
        ]
      }
    ],
    "M": "3",
    "rank": 2,
    "boundary": null,
    "sample_cost": {}
  },
  "euler_rounding": {
    "point": [
      "1/12",
      "11/12",
      "1",
      "0"
    ],
    "marginals": [
      "1/12",
      "11/12",
      "1",
      "0"
    ],
    "extension": "29/6",
    "expected_value": "29/6",
    "product_checks": 32,
    "law": [
      {
        "base": [
          0,
          2
        ],
        "probability": "1/12",
        "value": "3"
      },
      {
        "base": [
          1,
          2
        ],
        "probability": "11/12",
        "value": "5"
      }
    ]
  },
  "finite_step_budget": {
    "discrete_growth": "5777672071535/8916100448256",
    "loss": "1/12",
    "good_event_factor": "5034663700847/8916100448256",
    "unconditional_factor": "5034663700847/8916100448256"
  },
  "half_basis_rounding": {
    "point": [
      "1/2",
      "1/2",
      "1/2",
      "1/2"
    ],
    "marginals": [
      "1/2",
      "1/2",
      "1/2",
      "1/2"
    ],
    "extension": "31/8",
    "expected_value": "4",
    "product_checks": 32,
    "law": [
      {
        "base": [
          0,
          2
        ],
        "probability": "1/4",
        "value": "3"
      },
      {
        "base": [
          0,
          3
        ],
        "probability": "1/4",
        "value": "4"
      },
      {
        "base": [
          1,
          2
        ],
        "probability": "1/4",
        "value": "5"
      },
      {
        "base": [
          1,
          3
        ],
        "probability": "1/4",
        "value": "4"
      }
    ],
    "sample_original_base_mean": "7/2",
    "independent_feasibility": "9/16"
  },
  "one_random_path": {
    "base": [
      1,
      2
    ],
    "exchanges": 2,
    "trace": [
      {
        "alpha": "1/2",
        "beta": "1/2",
        "i": 0,
        "j": 1,
        "probability_change_second": "1/2",
        "changed": 1,
        "before": [
          [
            0,
            2
          ],
          [
            1,
            3
          ]
        ],
        "after": [
          [
            1,
            2
          ],
          [
            1,
            3
          ]
        ]
      },
      {
        "alpha": "1/2",
        "beta": "1/2",
        "i": 2,
        "j": 3,
        "probability_change_second": "1/2",
        "changed": 2,
        "before": [
          [
            1,
            2
          ],
          [
            1,
            3
          ]
        ],
        "after": [
          [
            1,
            2
          ],
          [
            1,
            2
          ]
        ]
      }
    ]
  },
  "graphic_migration": {
    "point": [
      "1",
      "1/3",
      "1/3",
      "2/3",
      "2/3"
    ],
    "marginals": [
      "1",
      "1/3",
      "1/3",
      "2/3",
      "2/3"
    ],
    "extension": "98/27",
    "expected_value": "4",
    "product_checks": 64,
    "law": [
      {
        "base": [
          0,
          1,
          2
        ],
        "probability": "1/9",
        "value": "4"
      },
      {
        "base": [
          0,
          1,
          3
        ],
        "probability": "2/9",
        "value": "4"
      },
      {
        "base": [
          0,
          2,
          4
        ],
        "probability": "2/9",
        "value": "4"
      },
      {
        "base": [
          0,
          3,
          4
        ],
        "probability": "4/9",
        "value": "4"
      }
    ]
  },
  "loop": {
    "removed": [
      4
    ],
    "M": "3",
    "point": [
      "1/12",
      "11/12",
      "1",
      "0",
      "0"
    ]
  },
  "certified_sample_budget": {
    "samples_per_coordinate": 2000,
    "log_upper_integer": 10,
    "value_calls": 192000,
    "bernoulli_draws": 288000
  },
  "sampled_demo": {
    "point": [
      "1/12",
      "11/12",
      "1",
      "0"
    ],
    "decomposition": [
      [
        "1/12",
        [
          0,
          2
        ]
      ],
      [
        "11/12",
        [
          1,
          2
        ]
      ]
    ],
    "cost": {
      "value_calls": 6144,
      "bernoulli_draws": 9216
    },
    "note": "64 samples demonstrate execution; no claimed uniform accuracy event"
  },
  "boundaries": {
    "empty": {
      "point": [],
      "decomposition": [
        [
          "1",
          []
        ]
      ],
      "history": [],
      "M": "0",
      "rank": 0,
      "boundary": "rank zero",
      "sample_cost": {}
    },
    "all_loops": {
      "point": [
        "0",
        "0"
      ],
      "decomposition": [
        [
          "1",
          []
        ]
      ],
      "history": [],
      "M": "0",
      "rank": 0,
      "boundary": "rank zero",
      "sample_cost": {}
    },
    "zero": {
      "point": [
        "1",
        "0"
      ],
      "decomposition": [
        [
          "1",
          [
            0
          ]
        ]
      ],
      "history": [],
      "M": "0",
      "rank": 1,
      "boundary": "zero singletons",
      "sample_cost": {}
    }
  },
  "rejections": [
    "negative probability",
    "zero steps",
    "empty decomposition",
    "wrong weight sum",
    "dependent base",
    "zero weight"
  ]
}