{
  "C6": "PASS / canonical",
  "eta_pdR": 1,
  "basis": "one construction (the comparison pairing) on both sides: omega_f canonical (C1.10); every g-side object normalised against the one chosen gamma_g^+- with exponents read off B2.2/B2.3 or forced by C1.9/C1.13 and by Kato's exact reciprocity, the two forcings agreeing; L_p^g, eta_g and Psi_4's scalar frame-independent; the g-frame cancelling in the composite (RUN-097)",
  "legitimate_derivation": true,
  "reciprocity_exactness": "exact given gamma",
  "positive_control_accepted": true,
  "not_claimed": [
    "v_11(q) = 0 for q = [gamma_Kato : gamma_tree] (C8 measured the tree's line inside the Manin lattice, not the Manin lattice against V_Z(g))",
    "the values of Pi_i (the gamma-choice moves L_p(Ad g), hence Pi_i)",
    "kappa_det (C7)",
    "Kato's Thm 16.6 re-read this session"
  ],
  "agrees": true
}
