{
  "project": "CSM_RH",
  "version": "1.13",
  "date": "2026-09-06",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_21": {
    "status": "CLOSED_AS_CONTRACTION_MASS_AND_LOCKING_AUDIT",
    "fixed_power_proved": false
  },
  "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-017",
      "name": "POSITIVE_DENSITY_DYADIC_LAG_DECORRELATION",
      "abbrev": "PDSD",
      "status": "OPEN"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-047",
      "name": "FINITE_SUPPORT_POINCARE_GAP_INSUFFICIENCY",
      "status": "CERTIFIED"
    },
    {
      "id": "O-RH-048",
      "name": "SMOOTH_LOW_FREQUENCY_CRITICAL_LOCKING",
      "status": "CERTIFIED_AS_DETERMINISTIC_COUNTERMODEL"
    }
  ],
  "corrections": [
    {
      "id": "COR-RH-001",
      "name": "MLEPG_ALPHA_RANGE_CORRECTION",
      "old": "alpha<2/3",
      "correct": "alpha<1",
      "status": "CERTIFIED"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_22",
    "target": "ARITHMETIC_OCTAVE_DEFECT_ATTACK",
    "working_frontier": "F-RH-017",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false
  }
}