{
  "e_bh_example": {
    "input": [
      "30",
      "18",
      "17",
      "2",
      "0"
    ],
    "rejected_1_based": [
      1,
      2,
      3
    ]
  },
  "by_example": {
    "H4": "25/12",
    "c": "3/250",
    "rejected_1_based": [
      1,
      2
    ]
  },
  "dependent_p_counterexample": {
    "BH_FDR": "3/10",
    "BY_FDR": "0"
  },
  "filtering_counterexample": {
    "original_FDR": "1/15",
    "filtered_FDR": "2/15"
  },
  "bonferroni_closure": {
    "local_p_by_bitmask": {
      "1": "1/100",
      "2": "1/25",
      "3": "1/50",
      "4": "1/5",
      "5": "1/50",
      "6": "2/25",
      "7": "3/100"
    },
    "closed_rejected_bitmasks": [
      1,
      3,
      5,
      7
    ]
  },
  "product_e_fdp_bounds": {
    "bounds_by_bitmask": [
      0,
      1,
      1,
      1,
      1,
      1,
      1,
      1
    ],
    "all_three_FDP_upper": "1/3"
  },
  "all_three_node_local_tables_checked": 128,
  "staircase_equivalence_cases": 512,
  "split_likelihood_ratios": [
    "81/16",
    "9/16"
  ],
  "regression_realized_excess": [
    "0",
    "1/4"
  ],
  "status": "PASS",
  "scope": "Exact finite examples and algorithm equivalences only; not a substitute for proof review."
}