{
  "status": "passed",
  "scope": "Exact rational feasibility; numerical log checks only",
  "cap": 25000,
  "time_cap_seconds": 60,
  "denominator_cap": 240,
  "tolerance": 2e-12,
  "counts": {
    "integer_tables": 6320,
    "support_marginal_groups": 3930,
    "named_aligned_grids": 20,
    "edge_cases": 3,
    "admissible_recodings": 4,
    "inadmissible_mixing_control": 1,
    "causal_models": 2
  },
  "total_cases": 10280,
  "elapsed_seconds": 0.9839999999967404,
  "examples": [
    {
      "name": "M3_full",
      "a": "1/2",
      "b": "1/2",
      "epsilon": "1/10",
      "t_interval": [
        "1/10",
        "2/5"
      ],
      "minimizer": "1/4",
      "minimum_bits": 0.0,
      "maximum_bits": 0.27807190511263774,
      "endpoint_information_bits": [
        0.27807190511263774,
        0.27807190511263774
      ],
      "grids": [
        {
          "N": 20,
          "points": 7,
          "minimum_bits": 0.0,
          "maximum_bits": 0.27807190511263774,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.01803368801111204
        },
        {
          "N": 40,
          "points": 13,
          "minimum_bits": 0.0,
          "maximum_bits": 0.27807190511263774,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.00450842200277801
        },
        {
          "N": 80,
          "points": 25,
          "minimum_bits": 0.0,
          "maximum_bits": 0.27807190511263774,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0011271055006945026
        },
        {
          "N": 120,
          "points": 37,
          "minimum_bits": 0.0,
          "maximum_bits": 0.27807190511263774,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0005009357780864456
        },
        {
          "N": 240,
          "points": 73,
          "minimum_bits": 0.0,
          "maximum_bits": 0.27807190511263774,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0001252339445216114
        }
      ]
    },
    {
      "name": "asymmetric_rounding",
      "a": "3/10",
      "b": "2/5",
      "epsilon": "1/20",
      "t_interval": [
        "1/20",
        "1/4"
      ],
      "minimizer": "3/25",
      "minimum_bits": 0.0,
      "maximum_bits": 0.2512271878785264,
      "endpoint_information_bits": [
        0.07594386796016238,
        0.2512271878785264
      ],
      "grids": [
        {
          "N": 20,
          "points": 5,
          "minimum_bits": 0.005802149014345729,
          "maximum_bits": 0.2512271878785264,
          "minimizing_t": [
            "1/10"
          ],
          "minimum_gap_bits": 0.005802149014345729,
          "curvature_gap_bound": 0.03606737602222408
        },
        {
          "N": 40,
          "points": 9,
          "minimum_bits": 0.00035692467565087965,
          "maximum_bits": 0.2512271878785264,
          "minimizing_t": [
            "1/8"
          ],
          "minimum_gap_bits": 0.00035692467565087965,
          "curvature_gap_bound": 0.00901684400555602
        },
        {
          "N": 80,
          "points": 17,
          "minimum_bits": 0.00035692467565087965,
          "maximum_bits": 0.2512271878785264,
          "minimizing_t": [
            "1/8"
          ],
          "minimum_gap_bits": 0.00035692467565087965,
          "curvature_gap_bound": 0.002254211001389005
        },
        {
          "N": 120,
          "points": 25,
          "minimum_bits": 0.00015931982746584476,
          "maximum_bits": 0.2512271878785264,
          "minimizing_t": [
            "7/60"
          ],
          "minimum_gap_bits": 0.00015931982746584476,
          "curvature_gap_bound": 0.0010018715561728913
        },
        {
          "N": 240,
          "points": 49,
          "minimum_bits": 9.934866391986003e-06,
          "maximum_bits": 0.2512271878785264,
          "minimizing_t": [
            "29/240"
          ],
          "minimum_gap_bits": 9.934866391986003e-06,
          "curvature_gap_bound": 0.0002504678890432228
        }
      ]
    },
    {
      "name": "floor_forces_dependence",
      "a": "1/4",
      "b": "1/4",
      "epsilon": "1/10",
      "t_interval": [
        "1/10",
        "3/20"
      ],
      "minimizer": "1/10",
      "minimum_bits": 0.02709440467994395,
      "maximum_bits": 0.14365834593078658,
      "endpoint_information_bits": [
        0.02709440467994395,
        0.14365834593078658
      ],
      "grids": [
        {
          "N": 20,
          "points": 2,
          "minimum_bits": 0.02709440467994395,
          "maximum_bits": 0.14365834593078658,
          "minimizing_t": [
            "1/10"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.01803368801111204
        },
        {
          "N": 40,
          "points": 3,
          "minimum_bits": 0.02709440467994395,
          "maximum_bits": 0.14365834593078658,
          "minimizing_t": [
            "1/10"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.00450842200277801
        },
        {
          "N": 80,
          "points": 5,
          "minimum_bits": 0.02709440467994395,
          "maximum_bits": 0.14365834593078658,
          "minimizing_t": [
            "1/10"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0011271055006945026
        },
        {
          "N": 120,
          "points": 7,
          "minimum_bits": 0.02709440467994395,
          "maximum_bits": 0.14365834593078658,
          "minimizing_t": [
            "1/10"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0005009357780864456
        },
        {
          "N": 240,
          "points": 13,
          "minimum_bits": 0.02709440467994395,
          "maximum_bits": 0.14365834593078658,
          "minimizing_t": [
            "1/10"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0001252339445216114
        }
      ]
    },
    {
      "name": "singleton_uniform",
      "a": "1/2",
      "b": "1/2",
      "epsilon": "1/4",
      "t_interval": [
        "1/4",
        "1/4"
      ],
      "minimizer": "1/4",
      "minimum_bits": 0.0,
      "maximum_bits": 0.0,
      "endpoint_information_bits": [
        0.0,
        0.0
      ],
      "grids": [
        {
          "N": 20,
          "points": 1,
          "minimum_bits": 0.0,
          "maximum_bits": 0.0,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0072134752044448166
        },
        {
          "N": 40,
          "points": 1,
          "minimum_bits": 0.0,
          "maximum_bits": 0.0,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.0018033688011112041
        },
        {
          "N": 80,
          "points": 1,
          "minimum_bits": 0.0,
          "maximum_bits": 0.0,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.00045084220027780103
        },
        {
          "N": 120,
          "points": 1,
          "minimum_bits": 0.0,
          "maximum_bits": 0.0,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 0.00020037431123457825
        },
        {
          "N": 240,
          "points": 1,
          "minimum_bits": 0.0,
          "maximum_bits": 0.0,
          "minimizing_t": [
            "1/4"
          ],
          "minimum_gap_bits": 0.0,
          "curvature_gap_bound": 5.009357780864456e-05
        }
      ]
    }
  ],
  "edge_cases": [
    {
      "name": "full_infeasible_floor",
      "feasible": false,
      "t_bounds": [
        "3/50",
        "1/25"
      ]
    },
    {
      "name": "full_infeasible_degenerate",
      "feasible": false,
      "t_bounds": [
        "1/10",
        "-1/10"
      ]
    },
    {
      "name": "full_singleton_forced",
      "feasible": true,
      "t_bounds": [
        "1/10",
        "1/10"
      ]
    }
  ],
  "controls": {
    "recoding": [
      {
        "flip_X": 0,
        "flip_Y": 0,
        "law": [
          "2/5",
          "1/10",
          "1/10",
          "2/5"
        ],
        "mi_bits": 0.27807190511263774
      },
      {
        "flip_X": 0,
        "flip_Y": 1,
        "law": [
          "1/10",
          "2/5",
          "2/5",
          "1/10"
        ],
        "mi_bits": 0.27807190511263774
      },
      {
        "flip_X": 1,
        "flip_Y": 0,
        "law": [
          "1/10",
          "2/5",
          "2/5",
          "1/10"
        ],
        "mi_bits": 0.27807190511263774
      },
      {
        "flip_X": 1,
        "flip_Y": 1,
        "law": [
          "2/5",
          "1/10",
          "1/10",
          "2/5"
        ],
        "mi_bits": 0.27807190511263774
      }
    ],
    "mixed_law": [
      "2/5",
      "1/10",
      "2/5",
      "1/10"
    ],
    "mixed_mi_bits": 0.0,
    "observational": [
      {
        "model": "direct",
        "law": [
          "2/5",
          "1/10",
          "1/10",
          "2/5"
        ],
        "mi_bits": 0.27807190511263774
      },
      {
        "model": "common_cause",
        "law": [
          "2/5",
          "1/10",
          "1/10",
          "2/5"
        ],
        "mi_bits": 0.27807190511263774
      }
    ],
    "intervention": [
      {
        "model": "direct",
        "p_Y1_doX": [
          "1/5",
          "4/5"
        ],
        "uniform_intervention_information_bits": 0.27807190511263774
      },
      {
        "model": "common_cause",
        "p_Y1_doX": [
          "1/2",
          "1/2"
        ],
        "uniform_intervention_information_bits": 0.0
      }
    ]
  }
}