{
  "arrows": {
    "Psi_1": {
      "map_canonical": "after choosing b_f+ (G), which C1.10's unique omega_f replaces",
      "up_to_unit_only": false,
      "choice_tagged": "G",
      "reduced": "canonical (C1.9 + C1.10)"
    },
    "Psi_2": {
      "map_canonical": "after choosing the uniformiser X (G); Theorem A6.1 forces the lattice exponent 1",
      "up_to_unit_only": false,
      "choice_tagged": "G",
      "reduced": "canonical: the leading coefficient at X = 0"
    },
    "Psi_3": {
      "map_canonical": "yes: a class equality (C1.13) lifted by Prop C1.1's injectivity; its scalar C = c*_f(r) is determined by f",
      "up_to_unit_only": false,
      "choice_tagged": "none (C_pi is E, exact, invariant; cancels)",
      "reduced": "canonical"
    },
    "Psi_4": {
      "map_canonical": "after fixing the Betti class gamma (frame): Kato's reciprocity is exact for z_gamma <-> L_p^(gamma); the frame cancels (RUN-099)",
      "up_to_unit_only": false,
      "choice_tagged": "G (frame), L (q)",
      "reduced": "canonical"
    }
  },
  "layers": {
    "C1.10 omega_f unique": true,
    "C1.13 lifted by Prop C1.1 injectivity": true,
    "Kato exact after fixing the Betti class": true,
    "modular-symbol basis choices all quotiented as G/L": true
  },
  "psi_red_choice_free": true,
  "agrees": true
}