{
  "campaign_id": "CSM_RH_Campaign_20",
  "version": "0.1",
  "target": "PRIME_SIDE_FIXED_POWER_LEMMA_GENERATION",
  "root_frontier": "F-RH-010",
  "working_frontier": "F-RH-016",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "zero_side_surrogate_generation_allowed": false,
  "attack_tracks": [
    "PRINCIPAL_ARC_ARITHMETIC_POWER_ESTIMATE",
    "SHRINKING_THRESHOLD_SHORT_INTERVAL_THEOREM",
    "DIRECT_LAG_ENERGY_L2_THEOREM",
    "PRIME_SIDE_SCALE_CONTRACTION",
    "DIRECT_SIGNED_PRIME_SELF_CORRELATION"
  ],
  "hard_rejections": [
    "ZERO_DENSITY_ONLY",
    "SHRINKING_ZERO_FREE_REGION_ONLY",
    "RE_SOLVE_SINGLE_ZERO_ISOLATION",
    "LOG_OR_STRETCHED_LOG_ONLY",
    "ASSUME_PESC_OR_MLEPG",
    "ASSUME_FIXED_ZERO_FREE_STRIP",
    "NEW_EQUIVALENT_CRITERION_WITHOUT_ESTIMATE"
  ],
  "automatic_promotion": false
}