{
  "Kummer frame": {
    "what": "ε ∈ O_K^×, and κ(ε) ∈ H¹_f(Q, Q₁₁(χ₈)(1)) via the Kummer map",
    "canonical": true,
    "comparison_scalar_needed": false,
    "why": "ε is canonical up to ±1 and up to ε ↦ ε^{-1}; the line it spans is canonical"
  },
  "Eisenstein family frame": {
    "what": "E_k(1,χ₈) with the weight coordinate X, k = 2 + X",
    "canonical": true,
    "comparison_scalar_needed": false,
    "why": "Eisenstein series are explicit at every weight (RUN-091)"
  },
  "Eichler–Shimura frame": {
    "what": "the meromorphic ES comparison of Attack 09 (16) and its X-leading term",
    "canonical": false,
    "comparison_scalar_needed": true,
    "why": "Attack 09 §5 fixes it only after the period frame is chosen; its leading constant C is the unknown"
  },
  "quotient frame": {
    "what": "the Eisenstein quotient transport, carrying q_f",
    "canonical": true,
    "comparison_scalar_needed": false,
    "why": "RUN-091: the two Jordan–Hölder characters are distinct, so the one-dimensional Eisenstein quotient is canonical — but q_f itself is still unknown, which is why Θ_aux must not be built through it"
  }
}