{
  "project": "CSM_RH",
  "version": "1.77",
  "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"
  },
  "exceptional_set_branch": {
    "status": "ACTIVE",
    "moment_markov": "CLOSED_BEYOND_NU_EQUALS_D",
    "canonical_target": "F-RH-017-v3",
    "next": "ONE_SIDED_EXCESS_DEFICIENCY_AUDIT"
  }
}