{
  "project": "CSM_RH",
  "version": "1.50",
  "date": "2026-09-08",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_46": {
    "status": "ACTIVE_DIRECT_EXCEPTIONAL_FRONTIER_STRENGTHENED",
    "preferred_frontier": {
      "id": "F-RH-017-v2",
      "threshold": "nu>kappa/2",
      "exception": "c>1-alpha",
      "near_macro": "H=N^(1-tau), c>tau"
    },
    "current_technology": {
      "Gafni_Tao_fixed_threshold": "NOT_DIRECTLY_UNIFORM_IN_N_MINUS_NU",
      "finite_positive_moments": "BLOCKED_AT_NU_KAPPA_OVER_TWO"
    }
  },
  "bridges_added": [
    {
      "id": "B-RH-062",
      "name": "SEEDED_RESIDUE_CHAIN_LP_INEQUALITY",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-063",
      "name": "SEEDED_EXCEPTIONAL_SET_TO_GLOBAL_LP_PNT_ERROR_GAIN",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-064",
      "name": "SEEDED_LP_EXCEPTIONAL_SET_TO_ZERO_STRIP_AND_PESC_AMPLIFICATION",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-065",
      "name": "L1_IS_OPTIMAL_SEEDED_EXCEPTIONAL_SET_RESIDUE_CHAIN_EXPONENT_CONVERTER",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-066",
      "name": "SEEDED_L1_SHRINKING_THRESHOLD_PESC_AMPLIFICATION_LAW",
      "status": "CERTIFIED"
    }
  ],
  "next": {
    "target": "DIRECT_ARITHMETIC_ATTACK_ON_F_RH_017_v2"
  }
}