{
  "project": "CSM_RH",
  "version": "1.36",
  "date": "2026-09-07",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_43": {
    "status": "ACTIVE",
    "fixed_power_proved": false,
    "tracks": {
      "WL1": "CLOSED_AS_ARCHIMEDEAN_GAUGE_AND_EVEN_ORDER_LIOUVILLE_BARRIER",
      "WL2": "CLOSED_AS_EXACT_MARKED_EXTRACTION_WITH_PRIME_HARMONIC_AND_SMOOTH_CARRIER_BARRIERS",
      "WL3": "NEXT",
      "WL4": "OPEN",
      "WL5": "OPEN"
    }
  },
  "bridges": [
    {
      "id": "B-RH-014",
      "name": "POLYNOMIAL_W_TYPEII_FIXED_POWER_AMPLIFIER",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "B-RH-016",
      "name": "TRANSLATED_PURE_CORE_MEAN_SQUARE_IDENTITY",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "B-RH-017",
      "name": "PURE_MOBIUS_CORE_LIOUVILLE_SIGN_FACTORISATION",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "B-RH-018",
      "name": "TYPEII_SHIFTED_PRODUCT_DETERMINANT_FIBRE_PARAMETRISATION",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "B-RH-019",
      "name": "ARCHIMEDEAN_TWIST_ABSORPTION_OF_TRANSLATED_LIOUVILLE_CORE",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "B-RH-020",
      "name": "OUTER_DIAGONAL_DETERMINANT_FIBRES_ARE_FIXED_POWER_HARMLESS",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "B-RH-021",
      "name": "FACTORISATION_SPACE_RAMARE_MARKING_IDENTITY",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-022",
      "name": "LARGE_COMMON_PRIME_BRANCH_FIXED_POWER_HARMLESS",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-023",
      "name": "REPEATED_LARGE_PRIME_BRANCH_FIXED_POWER_HARMLESS",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-024",
      "name": "ASYMMETRIC_PRIME_LIOUVILLE_AFFINE_REDUCTION",
      "status": "CERTIFIED"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-111",
      "name": "GLOBAL_ARCHIMEDEAN_GAUGE_NEUTRALIZES_PHASE_ONLY_DISPERSION",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "O-RH-112",
      "name": "FIBRE_VAN_DER_CORPUT_DOUBLES_LIOUVILLE_CORRELATION_ORDER",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "O-RH-113",
      "name": "PRIME_HARMONIC_PRETENTIOUS_DISTANCE_CANNOT_BY_ITSELF_SUPPLY_FIXED_X_POWER",
      "status": "CERTIFIED_PREEXISTING"
    },
    {
      "id": "O-RH-114",
      "name": "DOUBLE_RAMARE_PRIME_INCIDENCE_STOPS_AT_LOGARITHMIC_GEOMETRY",
      "status": "CERTIFIED_AS_GEOMETRIC_MECHANISM_BARRIER"
    },
    {
      "id": "O-RH-115",
      "name": "PRIME_HARMONIC_MASS_VERSUS_FIXED_POWER_LEVERAGE_BARRIER",
      "status": "CERTIFIED_AS_MECHANISM_SCOPE_BARRIER"
    },
    {
      "id": "O-RH-116",
      "name": "POLYNOMIAL_PRIME_EXTRACTION_LEAVES_LOG_DENSE_SIGN_COHERENT_SMOOTH_CARRIER",
      "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",
      "role": "DIRECT_THEOREM_CANDIDATE"
    }
  ],
  "next": {
    "campaign": "CSM_RH_Campaign_43",
    "track": "WL3",
    "target": "STRUCTURED_WEIGHT_DECOUPLING"
  }
}
