{
  "project": "CSM_RH",
  "version": "1.11",
  "date": "2026-09-06",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_19": {
    "status": "CLOSED_AS_SINGLE_ZERO_SENSITIVITY_BRIDGE_CERTIFICATION",
    "fixed_power_proved": false
  },
  "bridges": [
    {
      "id": "B-RH-001",
      "name": "MELLIN_POLE_RECOVERY",
      "status": "CERTIFIED",
      "statement": "DMS(kappa) => zeta(s)!=0 for Re(s)>1-kappa/2"
    }
  ],
  "frontiers": [
    {
      "id": "F-RH-010",
      "name": "PRIME_ERROR_SELF_CORRELATION",
      "abbrev": "PESC",
      "status": "OPEN",
      "role": "ROOT_TARGET"
    },
    {
      "id": "F-RH-016",
      "name": "MESOSCOPIC_LAG_ENERGY_POWER_GAIN",
      "abbrev": "MLEPG",
      "status": "OPEN",
      "role": "DIRECT_THEOREM_CANDIDATE"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-045",
      "name": "MELLIN_POLE_NO_ZERO_CANCELLATION_ESCAPE",
      "status": "CERTIFIED"
    }
  ],
  "survivors": [
    {
      "id": "S-RH-027",
      "name": "SINGLE_ZERO_SENSITIVE_PRINCIPAL_ARC_MECHANISM",
      "status": "CLOSED_AS_BRIDGE_REQUIREMENT",
      "certificate": "B-RH-001"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_20",
    "target": "PRIME_SIDE_FIXED_POWER_LEMMA_GENERATION",
    "root_target": "F-RH-010",
    "working_candidate": "F-RH-016",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false,
    "roles": [
      "Designer",
      "Builder",
      "Verifier"
    ]
  }
}