{
  "project": "CSM_RH",
  "version": "1.38",
  "date": "2026-09-07",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_43": {
    "status": "CLOSED_AS_COMPONENT_MECHANISMS_EXHAUSTED_AND_EXACTLY_RECOUPLED_TO_ROOT_PRIME_ERROR",
    "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": "CLOSED_AS_NATURAL_L2_SATURATION_BOUNDED_MARK_MULTIPLICITY_AND_DETERMINANT_CYCLE_BARRIER",
      "WL4": "CLOSED_AS_EXACT_BINOMIAL_RECOMBINATION_TO_THE_ORIGINAL_LAMBDA_RESIDUAL_WITHOUT_POWER_GAIN",
      "WL5": "CLOSED_AS_ROOT_RECOUPLING_WITHOUT_A_NEW_FIXED_POWER_THEOREM"
    }
  },
  "bridges": [
    {"id": "B-RH-029", "name": "HEATH_BROWN_CROSS_J_BINOMIAL_RECOMBINATION_TO_LAMBDA", "status": "CERTIFIED"},
    {"id": "B-RH-030", "name": "LINEAR_TRANSLATED_OPERATOR_COMMUTES_WITH_EXACT_CROSS_J_RECOMBINATION", "status": "CERTIFIED"},
    {"id": "B-RH-031", "name": "PESC_TRIANGULAR_POSITIVE_LAG_AUTOCORRELATION_IDENTITY", "status": "CERTIFIED"}
  ],
  "obstructions": [
    {"id": "O-RH-121", "name": "CROSS_J_CANCELLATION_IS_GLOBAL_MULTIPLICATIVE_PUSHFORWARD_NOT_DYADIC_CELLWISE", "status": "CERTIFIED"},
    {"id": "O-RH-122", "name": "ALTERNATING_CROSS_J_SIGNS_RECOMBINE_EXACTLY_BUT_DO_NOT_BY_THEMSELVES_BOUND_THE_RECOMBINED_NORM", "status": "CERTIFIED_AS_METHOD_SCOPE_BARRIER"},
    {"id": "O-RH-123", "name": "PRE_SQUARE_CROSS_J_RECOMBINATION_REMOVES_THE_COMPONENTWISE_TYPEII_AMPLIFIER_INTERFACE", "status": "CERTIFIED"},
    {"id": "O-RH-124", "name": "LAMBDA_SHARP_RESIDUAL_RECOUPLING_REQUIRES_A_SEPARATE_FIXED_POWER_MODEL_TO_ROOT_BRIDGE", "status": "CERTIFIED_AS_ROOT_OBSERVABILITY_GATE"}
  ],
  "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_44",
    "track": "PK1",
    "target": "EXACT_PESC_TRIANGULAR_KERNEL_NORMALIZATION"
  }
}
