{
  "campaign_id": "CSM_RH_Campaign_45",
  "version": "0.2",
  "target": "PESC_EXPONENT_AMPLIFICATION_OR_MLEPG_BOOTSTRAP",
  "certified_law": "kappa_prime < min(alpha,delta,2-alpha*(2-kappa))",
  "strict_amplifier_gate": {
    "alpha": "alpha>kappa",
    "delta": "delta>kappa",
    "range": "alpha<1"
  },
  "optimal_natural_map": "Phi(kappa)=2/(3-kappa)",
  "tracks": {
    "EA1": "CLOSED",
    "EA2": "CLOSED",
    "EA3": "OPEN",
    "EA4": "OPEN"
  },
  "EA3_attack_order": [
    "SP1_SEED_PESC_PRINCIPAL_ARC_MASS_BOUND",
    "SP2_REMOVE_CRITICAL_POWER_LAW_COMPONENT",
    "SP3_MINOR_AND_TRANSITION_ARC_FIXED_POWER_LEDGER",
    "SP4_PROVE_DELTA_LAG_GT_KAPPA_OR_CERTIFY_BARRIER"
  ],
  "EA4_attack_order": [
    "CM1_SEEDED_CONTRACTION_MASS_LOWER_BOUND",
    "CM2_DYNAMIC_SCALE_ALPHA_SELECTION",
    "CM3_ITERATED_KAPPA_MAP_LEDGER",
    "CM4_UNIFORMITY_AS_KAPPA_TO_ONE"
  ],
  "hard_rejections": [
    "USE_PESC_TRANSLATION_BOUND_AS_IF_DELTA_GT_KAPPA",
    "CONFUSE_SEED_WITH_AMPLIFIER",
    "REUSE_OLD_UNSEEDED_ANCHOR_2_MINUS_2ALPHA",
    "CLAIM_NATURAL_MLEPG_FROM_ZERO_FREE_STRIP_ALONE",
    "PROMOTE_SUBPOWER_SHORT_INTERVAL_ERROR_TO_FIXED_POWER",
    "ASSUME_PAIR_CORRELATION",
    "ASSUME_RH",
    "HIDE_DELTA_LE_KAPPA_IN_O_ONE"
  ]
}