{
  "campaign_id": "CSM_RH_Campaign_46",
  "version": "0.5",
  "preferred_target": {
    "id": "F-RH-017-v2",
    "scale": "H=N^(1-tau)",
    "statement": "# {n: |psi(n+H)-psi(n)-H| > H N^(-nu)} << N^(1-c)",
    "requirements": [
      "nu>kappa/2",
      "c>tau"
    ],
    "output_gain": "eta < min(2nu-kappa,2(c-tau),(2-kappa)tau)"
  },
  "next_attack_order": [
    "PT1_FIXED_H_EXPLICIT_FORMULA_WITH_POLYNOMIAL_THRESHOLD",
    "PT2_BOUNDARY_PACKET_REMOVAL_REQUIRES_NON_POSITIVE_MOMENT_METHOD",
    "PT3_PRIME_SIDE_L1_OR_SIGN_SENSITIVE_BOUND",
    "PT4_SUPERCRITICAL_EXCEPTION_SET_OR_CERTIFIED_NEW_BARRIER"
  ],
  "hard_rejections": [
    "ROUTE_EXCEPTION_SET_THROUGH_L2_WHEN_L1_IS_STRONGER",
    "SUBSTITUTE_DELTA_EQUALS_N_MINUS_NU_IN_FIXED_DELTA_THEOREM",
    "USE_FINITE_POSITIVE_MOMENT_MARKOV_TO_CROSS_NU_KAPPA_OVER_TWO",
    "CLAIM_FIXED_H_TECHNICAL_SIMPLIFICATION_REMOVES_BOUNDARY_ZERO",
    "ASSUME_RH"
  ]
}