{
  "dependencies": [
    "LR Proposition C1.1 (rank one, Kato element, regulator injective)",
    "LR Theorem C1.13 (the degeneration, C = c^*_f(r) in L^x)",
    "LR Corollary C1.9 (the factorisation and the partner-independence of c_f) — NOT its non-vanishing clause",
    "Kato's explicit reciprocity law for g",
    "the nonvanishing of L_p(g_E x psi) as an element of Lambda (COMPUTED_HERE, mu = 0)",
    "RUN-106's v_11(log_omega(g)) = 1, for the integral verdict only"
  ],
  "schneider": {
    "statement": "nondegeneracy of the p-adic height at k = 1 (Schneider's conjecture)",
    "status_in_the_tree": "OPEN; C_p PARTIAL at RUN-106",
    "in_D's_dependency_set": false,
    "why_not": "explicit reciprocity asks whether a map of lines is nonzero; the p-adic height asks whether a pairing is nondegenerate. No arrow of D's route is a height pairing.",
    "D_fails_if_Schneider_unproved": false
  },
  "normalization": {
    "certificate": "PC-001 C1-C10, CLOSED as architecture (RUN-102), frozen",
    "scalars_D_does_not_ask_for": [
      "C_pi",
      "q_f",
      "G_b",
      "Pi_i",
      "kappa_det",
      "eta_pdR",
      "epsilon"
    ],
    "a_scalar_reentered": false,
    "what_D_does_record": "the actual arithmetic coefficients: C_d, L_p(Ad g), the lambda-series, log^{[r+1]}",
    "nonzero_divisors_suffice": true,
    "units_required": false
  },
  "nonzero_divisor_vs_unit": {
    "rule": "a nonzero divisor is not a unit (RUN-098's rule, continued)",
    "L_E": {
      "status": "non-zero-divisor, non-unit",
      "truth": "non-zero-divisor, non-unit",
      "mislabelled": false
    },
    "log^{[r+1]}": "non-zero-divisor, non-unit",
    "C_d": "unit",
    "L_p(g x tau)": "unit"
  },
  "target_and_calibrator": {
    "rows": {
      "target": {
        "curve": "389.a1",
        "global class nonzero": "CITED (C1.1: Kato's element is a canonical generator)",
        "localisation nonzero": "CITED (C1.1's proof: loc_p of the Kato element has nonzero regulator image)",
        "reciprocity map nonzero": "PASS (C1.1, injective)",
        "analytic image nonzero": "PASS",
        "analytic image a unit": false,
        "integral index of the local log": 11,
        "label": "COMPUTED_HERE for the analytic row"
      },
      "calibrator": {
        "curve": "19.a1",
        "global class nonzero": "CITED (C1.1: Kato's element is a canonical generator)",
        "localisation nonzero": "CITED (C1.1's proof: loc_p of the Kato element has nonzero regulator image)",
        "reciprocity map nonzero": "PASS (C1.1, injective)",
        "analytic image nonzero": "PASS",
        "analytic image a unit": true,
        "integral index of the local log": "not computed this round",
        "label": "COMPUTED_HERE for the analytic row"
      }
    },
    "calibrator_status": "unit",
    "declared_calibrator_status": "unit",
    "calibrator_used_to_prove_the_target": false,
    "why_it_cannot": "the target's nonvanishing comes from the target's own reduction mod 11; the calibrator is a different curve with a different series, and its being a unit says nothing about 389.a1",
    "the_difference_is_the_point": "the calibrator's reciprocity is an integral isomorphism, the target's is injective with a nontrivial cokernel — exactly RUN-098's unit / non-unit split"
  },
  "schneider_absent": true,
  "calibrator_status_matches": true,
  "labels_honest": true,
  "agrees": true
}