{
  "campaign_id": "CSM_RH_Campaign_46",
  "version": "0.2",
  "target": "SEEDED_ARITHMETIC_STRIP_GAP_GENERATION",
  "seed": "PESC(kappa)",
  "certified_seeded_shrinking_map": "min(alpha,2nu,kappa+c+2alpha-2,2-alpha*(2-kappa))",
  "strict_gate": {
    "alpha": "alpha>kappa",
    "threshold": "nu>kappa/2",
    "exception": "c>2*(1-alpha)"
  },
  "minimal_direct_frontier": {
    "id": "F-RH-017",
    "form": "# {x in [N,2N]: |U_H(x)| > H N^{-nu}} << N^{1-c}",
    "scale": "H=N^(1-tau)",
    "requirements": [
      "nu>kappa/2",
      "c>2*tau",
      "1-tau>kappa"
    ]
  },
  "tracks": {
    "SG1": "STRUCTURAL_CLOSED_ARITHMETIC_OPEN",
    "SG2": "STRUCTURAL_CLOSED_ARITHMETIC_OPEN",
    "SG3": "ACTIVE",
    "SG4": "OPEN"
  },
  "SG3_attack_order": [
    "SG3A_TURAN_POWER_SUM_BOUNDARY_ZERO_DETECTOR",
    "SG3B_GALLAGHER_SHORT_INTERVAL_L2_COERCIVITY_WITH_SEED",
    "SG3C_BOUNDARY_PACKET_PHASE_LOCALIZATION_AND_INERTIA",
    "SG3D_PRIME_SIDE_UPPER_BOUND_VERSUS_DETECTOR_LOWER_BOUND"
  ],
  "hard_rejections": [
    "USE_FIXED_THRESHOLD_GAFNI_TAO_AS_POLYNOMIAL_THRESHOLD",
    "CLAIM_SEED_POINTWISE_BOUND_CROSSES_NU_KAPPA_OVER_TWO",
    "USE_STANDARD_FINITE_MOMENT_MARKOV_TO_CROSS_BOUNDARY_PACKET",
    "IGNORE_BAD_SET_WITHOUT_SEEDED_POINTWISE_ENVELOPE",
    "PROMOTE_SUBCRITICAL_THRESHOLD_TO_STRIP_AMPLIFICATION",
    "ASSUME_BOUNDARY_ZERO_ABSENT",
    "ASSUME_RH"
  ]
}