{
  "campaign_id": "CSM_RH_Campaign_46",
  "version": "1.9",
  "canonical_root_frontier": "F-RH-017-v3",
  "preferred_arithmetic_subfrontier": "F-RH-022",
  "active": "PAIR5D",
  "certified_wall": "smoothed q=1 central exponent = 2(1-beta_*) = kappa_*",
  "next_attack": [
    "P5D1_SEARCH_ORDINARY_PRIME_ARITHMETIC_CENTRAL_UPPER_NOT_DERIVED_FROM_ZERO_STRIP",
    "P5D2_REQUIRE_FAILURE_ON_PSEUDO_PRIME_AND_BEURLING_MODELS",
    "P5D3_TEST_PRIME_PAIR_OR_FACTORIZATION_COERCIVITY_DIRECTLY_AT_Q1",
    "P5D4_IF_NONE_CLOSE_PAIR5_AT_RH_EQUIVALENT_WALL"
  ],
  "hard_rejections": [
    "EXPECT_PERSISTENT_OFF_DIAGONAL_ZERO_CANCELLATION",
    "USE_VERTICAL_PAIR_REPULSION_AS_IF_IT_REMOVES_RIGHTMOST_DIAGONAL",
    "REPACKAGE_CENTRAL_ENERGY_UPPER_AS_NEW_INFORMATION_WHEN_DERIVED_FROM_THE_SAME_ZERO_STRIP",
    "ASSUME_RH"
  ]
}