{
  "campaign_id": "CSM_RH_Campaign_19",
  "version": "0.1",
  "target": "SINGLE_ZERO_SENSITIVE_THEOREM_GENERATION",
  "root_frontier": "F-RH-010",
  "working_frontier": "F-RH-016",
  "mechanism_requirement": "S-RH-027",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "design_constraint": "candidate must distinguish one persistent near-1 zero from no such zero",
  "tracks": [
    "MULTISCALE_FEJER_COEFFICIENT_RECOVERY",
    "SMOOTH_MELLIN_PACKET_COERCIVITY",
    "GAUGE_FIXED_ZERO_GRAM_COERCIVITY",
    "PRIME_SIDE_MULTISCALE_FIXED_GAP_RECURRENCE"
  ],
  "required_fields": [
    "exact_new_lemma",
    "single_zero_sensitivity",
    "coefficient_recovery_map",
    "cross_zero_cancellation_control",
    "fixed_power_source",
    "PESC_or_MLEPG_bridge",
    "hidden_fixed_strip_audit",
    "first_unproved_step"
  ],
  "hard_rejections": [
    "ZERO_DENSITY_ONLY",
    "SHRINKING_ZERO_FREE_REGION_MISLABELED_FIXED_POWER",
    "EXCEPTIONAL_SET_ONLY",
    "FIXED_ZERO_STRIP_ASSUMED",
    "ZERO_MODE_CANCELLATION_IGNORED",
    "GAUGE_DEPENDENT_GRAM_GAP",
    "PESC_OR_MLEPG_RESTATEMENT"
  ],
  "automatic_promotion": false
}