{
  "item": "C1",
  "verdict": "UNMEASURED",
  "auxiliary_side": {
    "constructed": true,
    "objects": [
      "the Eisenstein family in the weight direction",
      "its Galois pseudocharacter",
      "the trace jet 𝒯_X(g) mod X²",
      "the canonical one-dimensional Eisenstein quotient"
    ],
    "label": "COMPUTED_HERE"
  },
  "partner_side": {
    "constructed": false,
    "missing": "R_i(X,t): the two-variable Rankin p-adic L-function of (E_i, g) over the slope-1 Coleman family through g — equivalently the Beilinson–Flach classes themselves",
    "label": "UNMEASURED"
  },
  "late_split_probe": {
    "trials": 40,
    "defect_of_(2)_equals_the_late_ratio": true,
    "identity_exact_iff_common": true,
    "late_ratio_in_force": "1",
    "note": "the round's required mutation is C_{π,E} ↦ u·C_{π,E} with C_{π,0} fixed; the check below goes red"
  },
  "exact_missing_object": "R_i(X,t): the two-variable Rankin p-adic L-function of (E_i, g) over the slope-1 Coleman family through g — equivalently the Beilinson–Flach classes themselves",
  "exact_missing_theorem": "that the leading constant of the meromorphic Eichler–Shimura map is partner-independent once the auxiliary frame is fixed — Loeffler–Rivero C1.9–C1.13 with C1.11's uniqueness. CITED_THEOREM: its auxiliary-side hypotheses are instantiated here (decency, slope-1 refinement, canonical Eisenstein quotient), its partner-side hypothesis (the projections exist) is not, because the classes do not exist",
  "smallest_constructible_precursor": "R_0(X,t) for the rank-0 calibrator alone. PC-001 §4: U_0(0,0) ≠ 0, so R_0(X,0) and c_f(X) have the same X-vanishing order — the calibrator alone probes n = ord_X c_f, which is one of the two factors of C_π",
  "next_executable_attack": "Attack B below (done here: the valuation) and then C4's Θ_aux; for C1 itself the next executable step is R_0(X,t) for 19.a1 alone, which needs slope-1 overconvergent modular symbols — a Sage/Magma-scale computation, not stdlib",
  "gate": "src93 · c1-verdict",
  "level": "E",
  "mutation": "C_{π,E} ↦ u·C_{π,E} with C_{π,0} fixed — the identity (2) then carries exactly u",
  "agrees": true
}