{
  "campaign_id": "CSM_RH_Campaign_16",
  "version": "0.1",
  "target": "DIRECT_PESC_THEOREM_GENERATION",
  "frontier_id": "F-RH-010",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "canonical_target": "PESC(kappa) for one fixed 0<kappa<1/2",
  "mode": "THEOREM_GENERATION_NOT_REPRESENTATION_GENERATION",
  "allowed_candidate_types": [
    "SIGNED_SHIFT_ERROR_CANCELLATION",
    "NEW_CIRCLE_METHOD_POWER_ESTIMATE",
    "NEW_PRIME_SAMPLING_CONTRACTION",
    "NEW_SCALE_RECURSION_WITH_LINEAR_CUMULATIVE_GAP",
    "NEW_ARITHMETIC_IDENTITY_WITH_PROVED_POWER_REMAINDER"
  ],
  "required_fields": [
    "lemma_id",
    "exact_statement",
    "hypotheses",
    "conclusion",
    "fixed_exponent_source",
    "known_inputs",
    "PESC_bridge",
    "strength_class",
    "hidden_zero_strip_audit",
    "countermodel_attempt",
    "first_unproved_step"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "one_concrete_new_lemma",
        "why_not_definitionally_equivalent",
        "where_fixed_power_enters",
        "known_toolchain",
        "failure_modes"
      ]
    },
    "Builder": {
      "must_return": [
        "full_derivation_attempt",
        "all_exponents",
        "all_uniformity_ranges",
        "external_theorem_dependencies",
        "first_unproved_step"
      ]
    },
    "Verifier": {
      "must_return": [
        "strength_audit",
        "PESC_equivalence_test",
        "hidden_zero_strip_test",
        "triangle_leakage_test",
        "subpower_vs_power_test",
        "countermodel_attempt",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "NEW_NOTATION_ONLY",
    "EQUIVALENT_MEAN_SQUARE_ONLY",
    "POSITIVE_GATE_WITHOUT_ESTIMATE",
    "HYPOTHETICAL_POWER_AVERAGE_HL_RESTATED",
    "FIXED_ZERO_STRIP_AS_INPUT",
    "DENSITY_ONLY",
    "FINITE_NUMERICS_AS_ASYMPTOTIC_AUTHORITY",
    "SUBPOWER_MISLABELED_FIXED_POWER"
  ],
  "automatic_promotion": false
}