{
  "ordinary_at_11": {
    "389.a1": {
      "a_11": -4,
      "unit_root": 7,
      "ordinary": true
    },
    "19.a1": {
      "a_11": 3,
      "unit_root": 3,
      "ordinary": true
    }
  },
  "both_ordinary": true,
  "what_Bhat_i_is": "the image of the partner's X-leading Beilinson–Flach / Rankin class for the pair (E_i, g) under the canonical Eisenstein quotient of the auxiliary family, in the fixed frame; equivalently the X-leading part of R_i(X,t) = c_f(X)U_i(X,t) projected",
  "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",
  "why_not_constructible_here": "a slope-1 Coleman family needs overconvergent modular symbols of positive slope at level lcm(N_i, 8, 11); there is no stdlib path, and neither peer line has the classes (PC-001 §2: 仍要求真正構造 B_{E,2} 與 r_{0,1}; Attack 09: 未宣稱計算出 Coleman 族)",
  "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_π",
  "what_this_gate_supplies_towards_it": "the auxiliary half: the family, its pseudocharacter, the trace jet mod X², and the canonicality of the quotient it is projected through",
  "label": "UNMEASURED",
  "constructed": false,
  "agrees": true
}