{
  "project": "CSM_RH",
  "version": "1.46",
  "date": "2026-09-08",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_45": {
    "status": "STRUCTURAL_AMPLIFIER_THEORY_COMPLETE_ARITHMETIC_GATES_OPEN",
    "tracks": {
      "EA1": "CLOSED",
      "EA2": "CLOSED",
      "EA3S": "CLOSED_AS_PRINCIPAL_ARC_DELOCKING_REQUIRES_NEW_FIXED_STRIP_GAP_ARITHMETIC",
      "EA3A": "OPEN_PRIME_SIDE_PRINCIPAL_ARC_POWER_SUPPRESSION_BEYOND_SEED_BOUNDARY",
      "EA4S": "CLOSED_AS_LINEAR_CONTRACTION_MASS_REQUIRES_ARITHMETIC_BOUNDARY_MODE_SUPPRESSION",
      "EA4A": "OPEN_PRIME_SIDE_LINEAR_CONTRACTION_MASS_BEYOND_CRITICAL_LOCKING"
    },
    "seed_gate": "OPEN",
    "strip_gap_arithmetic_gate": "OPEN"
  },
  "bridges_added": [
    {
      "id": "B-RH-055",
      "name": "FIXED_EXPONENT_PESC_ZERO_FREE_STRIP_EQUIVALENCE",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-056",
      "name": "PESC_MAXIMAL_EXPONENT_EQUALS_TWICE_GLOBAL_ZETA_ZERO_FREE_GAP",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-057",
      "name": "FIXED_ZETA_ZERO_MODE_CONCENTRATES_ON_PRINCIPAL_FEJER_ARC",
      "status": "CERTIFIED_AS_MODEL_THEOREM"
    },
    {
      "id": "B-RH-058",
      "name": "STRICT_SEEDED_MLEPG_AMPLIFICATION_IMPLIES_STRICT_ZERO_STRIP_NARROWING",
      "status": "CERTIFIED"
    }
  ],
  "obstructions_added": [
    {
      "id": "O-RH-133",
      "name": "BOUNDARY_ZERO_MODE_IS_ASYMPTOTICALLY_MAXIMALLY_LOCKED_ACROSS_SUBLINEAR_DYADIC_LAGS",
      "status": "CERTIFIED_AS_MODEL_BARRIER"
    },
    {
      "id": "O-RH-134",
      "name": "PRINCIPAL_ARC_PROJECTION_CANNOT_BYPASS_BOUNDARY_MODE_WITHOUT_INDEPENDENT_POWER_SUPPRESSION",
      "status": "CERTIFIED"
    }
  ],
  "next": {
    "campaign_candidate": "CSM_RH_Campaign_46",
    "target": "SEEDED_ARITHMETIC_STRIP_GAP_GENERATION"
  }
}