{
  "project": "CSM_RH",
  "version": "1.65",
  "date": "2026-09-09",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN",
    "canonical_frontier": "F-RH-017-v3",
    "preferred_arithmetic_subfrontier": "F-RH-022"
  },
  "campaign_46": {
    "status": "CLOSED_AT_RH_EQUIVALENT_ARITHMETIC_WALL",
    "PAIR5D": "OPEN_ROOT_LEVEL_ARITHMETIC",
    "structural_search": "CLOSED"
  },
  "next": {
    "candidate_campaign": "Campaign_47_ORDINARY_PRIME_BOUNDARY_BREAKING",
    "entry_rule": "require explicit fixed-power q=1 arithmetic inequality before new representation"
  }
}