{
  "campaign_id": "CSM_RH_Campaign_45_CANDIDATE",
  "version": "0.1",
  "target": "PESC_EXPONENT_AMPLIFICATION_OR_MLEPG_BOOTSTRAP",
  "inherited_facts": [
    "PESC(kappa) implies zero-free half-plane Re(s)>1-kappa/2",
    "PESC(1) is RH-equivalent at exponent resolution",
    "Campaign 44 coordinate and zero-ensemble reductions are structurally complete",
    "Endpoint admission has not been proved unconditionally"
  ],
  "attack_tracks": [
    "EA1_DOES_F_RH_016_IMPLY_A_STRICT_PESC_EXPONENT_IMPROVEMENT",
    "EA2_SUBENDPOINT_PESC_TO_STRONGER_ZERO_FREE_INPUT",
    "EA3_BOOTSTRAP_MAP_KAPPA_TO_PHI_KAPPA",
    "EA4_ITERATION_OR_FIXED_POINT_AUDIT"
  ],
  "hard_rejections": [
    "DECLARE_ENDPOINT_PESC_EASIER_THAN_RH",
    "CLAIM_PESC_KAPPA_LT_1_PROVES_RH_WITHOUT_AMPLIFIER",
    "REPACKAGE_DYADIC_MEAN_SQUARE_AS_NEW_CONTRACTION",
    "ASSUME_RH_SIZED_PNT_ERROR",
    "PROMOTE_ZERO_FREE_STRIP_TO_CRITICAL_LINE_WITHOUT_NEW_THEOREM",
    "HIDE_EXPONENT_LOSS_IN_BOOTSTRAP"
  ]
}