{
  "branch": "MIXED_ARITHMETIC_STATE_SCREENING",
  "version": "0.2",
  "status": "PRIME_MERTENS_SCREEN_COMPLETE",
  "certified": {
    "simple_zero": "A=-Gamma(rho), B=Gamma(rho)/zeta'(rho)",
    "multiple_zero": "Mertens gains log^(m-1)",
    "cross_exponent": "2(1-beta_*)=kappa_*",
    "convolution": "Lambda*mu=-mu log",
    "gradient": "(-zeta'/zeta)|1/zeta|^2 = F' conjugate(F)"
  },
  "next_attack": [
    "CP1_DEFINE_FINITE_FAMILY_OF_ZETA_DERIVED_LINEAR_FIELDS_WITH_COMMON_ZERO_POWER",
    "CP2_PROVE_HOMOGENEOUS_DEGREE_Q_HORIZONTAL_THRESHOLD_Q_TIMES_ONE_MINUS_BETA",
    "CP3_CLASSIFY_WHICH_NONHOMOGENEOUS_OPERATIONS_CAN_ESCAPE",
    "CP4_ONLY_THEN_OPEN_A_NEW_ARITHMETIC_FRONTIER"
  ],
  "hard_rejections": [
    "REOPEN_PRIME_MERTENS_CROSS_AS_IF_ZETA_PRIME_DATA_CHANGED_BETA_EXPONENT",
    "USE_DIRICHLET_CONVOLUTION_PRIME_MOBIUS_AS_NEW",
    "ASSUME_NEGATIVE_MOMENT_BOUNDS_NOT_CURRENTLY_KNOWN",
    "ASSUME_RH"
  ]
}