{
  "campaign_id": "CSM_RH_Campaign_47",
  "version": "0.1",
  "entry_rule": "explicit q=1 fixed-power arithmetic inequality before new framework",
  "candidate": "F-RH-023",
  "F-RH-023": {
    "name": "SHIFT_AVERAGED_BOUNDARY_BREAKING_BILINEAR_POWER_AXIOM",
    "form": "B_{N,H}(L,C) << A(N,H) N^{-eta_B}",
    "arithmetic_content": "Möbius parity cancellation on ordinary factorization inside a shift-averaged prime sequence"
  },
  "certified_local_input": {
    "A_d": "A/d+O(N)",
    "remainder_ratio": "D/H N^{o(1)}",
    "D": "N^(2/3+eps)",
    "eta_R": "1/3-tau-eps"
  },
  "next_attack": [
    "C47B1_WRITE_POLYNOMIAL_VAUGHAN_OR_HEATH_BROWN_PRIME_DETECTION_IDENTITY",
    "C47B2_PROVE_ALL_LINEAR_TERMS_USE_ONLY_B_RH_116",
    "C47B3_IDENTIFY_THE_SINGLE_BALANCED_TERM_WITH_F_RH_023",
    "C47B4_CHECK_IF_FIXED_POWER_SURVIVES_TO_PAIR_RESIDUAL"
  ],
  "hard_rejections": [
    "TRY_TO_PROVE_F_RH_023_BEFORE_ESTABLISHING_A_POWER_OUTPUT_EXTRACTION",
    "USE_THE_PUBLISHED_LOG_ACCURACY_ASYMPTOTIC_SIEVE_AS_IF_IT_PRESERVED_FIXED_POWER",
    "REOPEN_CAMPAIGN46_REPRESENTATION_LOOPS",
    "ASSUME_RH"
  ]
}