{
  "generator_of_the_target_line": {
    "argument": "ε is the FUNDAMENTAL unit of Q(√2): every unit is ±ε^n, so ε = η¹¹ would force 1 = 11n",
    "computational_witness": {
      "q": 23,
      "sqrt2_mod_q": 5,
      "epsilon_mod_q": 6,
      "epsilon_to_the_q_minus_1_over_11": 13
    },
    "nonzero": true,
    "label": "COMPUTED_HERE"
  },
  "transverse_class": {
    "status": "UNMEASURED",
    "why_not_witnessed": "no overconvergent object is available here; the witnesses the round lists (non-semisimplicity of the generalised eigenspace, a nonzero off-diagonal cocycle, a reducibility ideal, a congruence module) all need the θ-critical overconvergent eigenspace, which needs slope-1 forms with nebentypus χ₈",
    "label": "UNMEASURED"
  },
  "obstruction_computed": {
    "B_2_chi8": "2",
    "L_minus_1_chi8": "-1",
    "v_11": 0,
    "no_classical_mod_11_eisenstein_congruence": true,
    "consequence": "the transverse class cannot be produced by a cuspidal congruence mod 11; if it is nonzero it must come from the θ-critical overconvergent direction",
    "label": "COMPUTED_HERE"
  },
  "agrees": true
}