{
  "math_check": {
    "formula_exact": true,
    "stricter_threshold_subset": true,
    "selected_fraction": 0.0879
  },
  "results": {
    "primary": {
      "catastrophic_failure_rate": 0.658,
      "goal_success_rate": 0.3382,
      "primary_coverage": 1.0,
      "mean_p_selected": 0.383565259123091,
      "mean_v_selected": 0.22003680729519634
    },
    "p_gate": {
      "catastrophic_failure_rate": 0.1328,
      "goal_success_rate": 0.8116,
      "primary_coverage": 0.4144,
      "mean_p_selected": 0.8535957477451239,
      "mean_v_selected": 0.15441627712899472
    },
    "dual_gate": {
      "catastrophic_failure_rate": 0.1328,
      "goal_success_rate": 0.8116,
      "primary_coverage": 0.4144,
      "mean_p_selected": 0.8535957477451239,
      "mean_v_selected": 0.15441627712899472
    }
  },
  "config": {
    "seed": 3048,
    "train_noise_p": 0.42,
    "train_noise_v": 0.62,
    "eval_noise": 0.48,
    "eta_p": 0.55,
    "eta_r": 0.2
  }
}