{
  "project": "CSM_RH",
  "version": "1.48",
  "date": "2026-09-08",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_46": {
    "status": "ACTIVE",
    "tracks": {
      "SG1": "STRUCTURAL_CLOSED_ARITHMETIC_OPEN",
      "SG2": "STRUCTURAL_CLOSED_ARITHMETIC_OPEN",
      "SG3A": "CLOSED_CLASSICAL_TURAN_DETECTOR_NONAMPLIFYING",
      "SG3B": "CLOSED_SEED_UPPER_SATURATION",
      "SG3C": "CLOSED_SEED_SHIFTED_MELLIN_CRITICALITY",
      "SG3D": "OPEN_NEW_PRIME_SIDE_EXCESS_BOUND",
      "SG4": "ACTIVE_NEW_ARITHMETIC_CONTRACTION_THEOREM"
    }
  },
  "bridges_added": [
    {
      "id": "B-RH-061",
      "name": "SEEDED_TURAN_GALLAGHER_DETECTOR_UPPER_BOUND",
      "status": "CERTIFIED"
    }
  ],
  "obstructions_added": [
    {
      "id": "O-RH-136",
      "name": "CLASSICAL_TURAN_GALLAGHER_SINGLE_ZERO_DETECTOR_LOSES_TOO_MUCH_TO_AMPLIFY_A_PESC_SEED",
      "status": "CERTIFIED_AS_METHOD_BARRIER"
    },
    {
      "id": "O-RH-137",
      "name": "SEED_SHIFTED_MELLIN_DERIVATIVE_BOUND_IS_CRITICALLY_SATURATED_BY_A_BOUNDARY_POLE",
      "status": "CERTIFIED_AS_MODEL_BARRIER"
    },
    {
      "id": "O-RH-138",
      "name": "NO_FREE_SINGLE_ZERO_COERCIVITY_FROM_SEED_PESC_ALONE",
      "status": "CERTIFIED"
    }
  ],
  "frontiers_added": [
    {
      "id": "F-RH-018",
      "name": "SEEDED_TURAN_GALLAGHER_DETECTOR_EXCESS_POWER",
      "status": "OPEN_SECONDARY"
    }
  ],
  "next": {
    "track": "SG4",
    "target": "NEW_ARITHMETIC_CONTRACTION_THEOREM"
  }
}