{
  "campaign_id": "CSM_RH_Campaign_43",
  "version": "0.4",
  "target": "WEIGHTED_LIOUVILLE_POLYNOMIAL_PHASE_ATTACK",
  "root_frontier": "F-RH-010",
  "component_bridge": "B-RH-014",
  "inherited_bridges": [
    "B-RH-016",
    "B-RH-017",
    "B-RH-018",
    "B-RH-019",
    "B-RH-020",
    "B-RH-021",
    "B-RH-022",
    "B-RH-023",
    "B-RH-024",
    "B-RH-025",
    "B-RH-026",
    "B-RH-027",
    "B-RH-028"
  ],
  "closed_tracks": {
    "WL1": "CLOSED_AS_ARCHIMEDEAN_GAUGE_AND_EVEN_ORDER_LIOUVILLE_BARRIER",
    "WL2": "CLOSED_AS_EXACT_MARKED_EXTRACTION_WITH_PRIME_HARMONIC_AND_SMOOTH_CARRIER_BARRIERS",
    "WL3": "CLOSED_AS_NATURAL_L2_SATURATION_BOUNDED_MARK_MULTIPLICITY_AND_DETERMINANT_CYCLE_BARRIER"
  },
  "next_track": "WL4",
  "attack_tracks": [
    "CROSS_J_PRE_SQUARE_RECOMBINATION",
    "ROOT_RECOUPLING_COMPARISON"
  ],
  "WL4_required_checks": [
    "reconstruct relevant Heath-Brown j-levels before componentwise absolute values and Type-II squaring",
    "preserve exact alternating coefficients (-1)^(j-1) binom(L,j)",
    "identify actual dyadic product-support overlap across j rather than formal symbolic overlap",
    "compute cross-j translated-frequency terms on the same (Q,Y) window",
    "quantify any cancellation with a fixed-X-power exponent ledger",
    "do not claim cancellation from alternating signs alone",
    "do not identify unequal dyadic components merely because their factor labels look similar",
    "if pre-square recombination reconstructs a simpler Lambda-level residual, recouple explicitly to F-RH-010",
    "keep the single prescribed dyadic X-scale"
  ],
  "hard_rejections": [
    "CROSS_J_CANCELLATION_FROM_SIGNS_WITHOUT_OVERLAP",
    "COMPONENT_IDENTIFICATION_AFTER_DYADIC_SUPPORT_IS_DROPPED",
    "CROSS_J_CANCELLATION_AFTER_COMPONENTWISE_BIG_O",
    "LOGARITHMIC_TO_FIXED_POWER_PROMOTION",
    "MULTISCALE_TRANSFER_WITHOUT_SINGLE_SCALE_THEOREM",
    "HIDDEN_FIXED_ZERO_FREE_STRIP",
    "RH_ASSUMPTION_IN_ROOT_OPEN_STATE"
  ],
  "automatic_promotion": false
}