{
  "project": "CSM_RH",
  "version": "1.23",
  "date": "2026-09-07",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_31": {
    "status": "CLOSED_AS_ENDOGENOUS_PARITY_BILINEAR_REAUDIT",
    "fixed_power_proved": false
  },
  "bridges": [
    {
      "id": "B-RH-007",
      "name": "SIEVE_RESIDUAL_EMBF_EQUIVALENCE",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-008",
      "name": "EMBF_OUTER_ABSOLUTE_DUAL_UNIFORMITY",
      "status": "CERTIFIED"
    }
  ],
  "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"
    },
    {
      "id": "F-RH-012",
      "name": "ENDOGENOUS_MOBIUS_BILINEAR_FIDELITY",
      "abbrev": "EMBF",
      "status": "AUXILIARY_RESIDUAL_EQUIVALENT"
    },
    {
      "id": "F-RH-014",
      "name": "POWER_ACCURATE_COUPLED_PARITY_SIEVE_ASSEMBLY",
      "abbrev": "PACPSA",
      "status": "OPEN",
      "role": "SURVIVING_PARITY_ASSEMBLY_MECHANISM"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-069",
      "name": "ABEL_EXTERNALIZATION_RETURNS_PRIME_RESIDUAL",
      "status": "CERTIFIED"
    },
    {
      "id": "O-RH-070",
      "name": "ALMOST_ALL_EXCEPTIONAL_SET_MULTIPLICATIVE_GRID_BLINDNESS",
      "status": "CERTIFIED_AS_TRANSFERENCE_OBSTRUCTION"
    },
    {
      "id": "O-RH-071",
      "name": "SEPARATE_POSITIVE_LIFT_SIEVE_ERROR_FLOOR",
      "status": "CERTIFIED_AS_CURRENT_THEOREM_AUDIT"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_32",
    "target": "PACPSA_DIFFERENCE_STABILITY_ATTACK",
    "root_target": "F-RH-010",
    "working_frontier": "F-RH-014",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false
  }
}