{
  "project": "CSM_RH",
  "version": "1.51",
  "date": "2026-09-08",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_46": {
    "status": "DIRECT_FRONTIER_PARAMETER_SHARPNESS_CERTIFIED_ARITHMETIC_UPPER_OPEN",
    "preferred_frontier": "F-RH-017-v2",
    "gate": {
      "threshold": "nu>kappa/2",
      "exception": "c>tau",
      "sharpness": "CERTIFIED"
    }
  },
  "bridges_added": [
    {
      "id": "B-RH-067",
      "name": "UNIFORM_PINTZ_MULTIPLICATIVE_SHORT_INTERVAL_MEAN_ABSOLUTE_ZERO_FORCING",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-068",
      "name": "BOUNDARY_ZERO_FORCES_CRITICAL_MULTIPLICATIVE_EXCEPTIONAL_MASS",
      "status": "CERTIFIED"
    }
  ],
  "obstructions_added": [
    {
      "id": "O-RH-143",
      "name": "L1_EXCEPTION_COUNT_GATE_C_GREATER_THAN_TAU_IS_DETERMINISTICALLY_SHARP",
      "status": "CERTIFIED"
    }
  ],
  "next": {
    "target": "PROVE_F_RH_017_v2_ARITHMETIC_UPPER_THEOREM"
  }
}