{
  "DAG_D": "PASS",
  "layers": {
    "D-NV1": "PASS",
    "D-NV2": "PASS",
    "D-NV3": "PASS"
  },
  "D_rational": "ISOMORPHISM",
  "D_integral": "INDEX_11",
  "map": {
    "source": "H/L = the psi^{-1}-quotient line H^1(Q, V(g)^*(psi^-1) (x) H_Gamma(-j))",
    "target": "A_p = the H_Gamma-line of L_p(g_E x psi)",
    "theorem": "Kato's explicit reciprocity law, with C1.13 and Proposition C1.1",
    "injective": true,
    "surjective": false,
    "status": "non-zero-divisor, non-unit (target) / unit (calibrator)"
  },
  "one_variable_audit": {
    "relevant_tangent_directions": 1,
    "no_direction_to_choose": true,
    "derivative_inference_refused": true
  },
  "local_bloch_kato_factor": {
    "index": 11,
    "owner": "p-adic reciprocity / the leading-line integral realization",
    "counted_times": 1,
    "E_may_read_not_enter": true
  },
  "schneider_dependency": "NONE",
  "E_input": [
    "the one relevant tangent direction (the cyclotomic one), with no directional choice left",
    "the local Bloch-Kato factor index 11 at 11, owner named, already counted once — read it, do not multiply by it again",
    "lambda(L_E) = 2 and mu(L_E) = 0 from mod-11 data; the EXACT order of vanishing at t = 0 over Z_11 is UNMEASURED and is E's to establish",
    "C = c^*_f(r) in L^x, C_d = 26 a unit, L_p(g x tau) a unit, log^{[r+1]} a non-zero-divisor and not a unit",
    "D-rational = ISOMORPHISM over V; D-integral = index 11 over T — E must not conflate them",
    "the calibrator's series is a Lambda-unit and the target's is not; the calibrator cannot carry the target's leading-term claim"
  ],
  "epsilon_touched": false,
  "E_verdict_emitted": false,
  "F_G_verdict_emitted": false,
  "not_claimed": [
    "the order of vanishing of L_p(g_E x psi) at t = 0 over Z_11",
    "the leading coefficient, the leading tensor, or any leading-term equality",
    "ord = rank",
    "nondegeneracy of any p-adic height (Schneider, open)",
    "the complex BSD comparison",
    "epsilon",
    "E, F, G",
    "BSD"
  ],
  "expected": {
    "DAG_D": "PASS",
    "D_rational": "ISOMORPHISM",
    "D_integral": "INDEX_11",
    "local_index": 11,
    "tangent_directions": 1,
    "lambda": 2,
    "mu": 0
  },
  "matches_expected": true,
  "agrees": true
}