{
  "branch": "F-RH-017-v3_EXCEPTIONAL_SET",
  "version": "1.0",
  "status": "POLYNOMIAL_THRESHOLD_PHASE_TRANSITION_CERTIFIED",
  "core": "mu_p^(nu)(beta) >= 1+p(nu-(1-beta))",
  "boundary": "beta=1-d => mu_2k>=1+2k(nu-d)",
  "next_attack": [
    "OS1_SPLIT_E_NU_INTO_PRIME_EXCESS_AND_PRIME_DEFICIENCY",
    "OS2_AUDIT_SELBerg_FACTORIAL_MOMENTS_FOR_TINY_RELATIVE_UPPER_TAIL",
    "OS3_IDENTIFY_REQUIRED_PARITY_BREAKING_INPUT_FOR_LOWER_TAIL",
    "OS4_COMPARE_EACH_ONE_SIDED_EXPONENT_TO_C_GT_MIN_D_TAU"
  ],
  "hard_rejections": [
    "TRY_HIGHER_FIXED_MOMENTS_TO_CROSS_NU_GT_D",
    "TREAT_FIXED_DELTA_EXCEPTIONAL_RESULTS_AS_UNIFORM_FOR_DELTA=X^-NU",
    "IGNORE_THE_HIGHER_EXPLICIT_FORMULA_TRUNCATION_HEIGHT_REQUIRED_BY_POLYNOMIAL_PRECISION",
    "ASSUME_RH"
  ]
}