{
  "D_asks": [
    "is the reciprocity map actual (a map of honest objects, not a slogan)?",
    "is it typed (source, target, ring, integral or rational, named theorem)?",
    "is it nonzero on the actual transverse quotient?"
  ],
  "E_asks": [
    "the exact order of vanishing at the central point",
    "the leading tensor (which determinant line the leading term lives in)",
    "the exact leading coefficient, and its equality with the arithmetic side"
  ],
  "the_rule": "map exists and is nonzero = D; leading-order equality = E",
  "series_identity_is_not_E_proved": true,
  "what_the_series_gives_D": [
    "L_E != 0 in Lambda (mu = 0)",
    "L_E not a unit in Lambda"
  ],
  "what_the_series_does_NOT_give": [
    "the exact order of vanishing at t = 0 over Z_11",
    "the leading coefficient",
    "ord = rank",
    "any leading-term equality"
  ],
  "forbidden_read": "treating 'L_E(t) = 2t^2 + ... as a series fact' as E already proved",
  "forbidden_read_taken": false,
  "E_verdict_emitted": false,
  "F_G_touched": false,
  "agrees": true
}