{
  "frames": {
    "u": "scale of LR's crystalline trivialisation b_f+ (section A8.3, non-canonical)",
    "v": "scale of Attack 09's Eichler-Shimura leading-period frame ((16), 'fixed but unknown')"
  },
  "declared_primitive_dependences": {
    "Col linear in b_f+": true,
    "b_f+(0) linear in b_f+": true,
    "L_p^g sees b_f+": false,
    "C_d sees b_f+": false,
    "Kato class sees b_f+": false,
    "c_aux read in frame": "ES"
  },
  "derived_laws_(u_exponent, v_exponent)": {
    "Col": [
      1,
      0
    ],
    "c_f": [
      1,
      0
    ],
    "c_lead": [
      1,
      0
    ],
    "q_f": [
      1,
      0
    ],
    "C_pi": [
      0,
      0
    ],
    "B_hat_i": [
      0,
      0
    ],
    "R_i_lead": [
      1,
      0
    ],
    "c_aux": [
      0,
      1
    ],
    "delta": [
      1,
      -1
    ],
    "delta_if_c_aux_in_bf_frame": [
      0,
      0
    ]
  },
  "single_valued_over_trials": true,
  "trials": 40,
  "C_pi_gauge_invariant": true,
  "B_hat_gauge_invariant": true,
  "R_lead_scales_like_c_f": true,
  "delta_invariant_if_c_aux_in_bf_frame": true,
  "delta_law_with_c_aux_in_declared_frame": [
    1,
    -1
  ],
  "gauge_entry_in_ledger": {
    "name": "G_b",
    "value": "u/v",
    "weights": [
      1,
      -1
    ]
  },
  "bf_ambiguity_represented_explicitly": true,
  "tag_corrections_to_RUN_090": {
    "c_lead": [
      "E",
      "G"
    ],
    "q_f": [
      "E",
      "G"
    ]
  },
  "reading": "the b_f+ ambiguity cancels EXACTLY inside the auxiliary side between q_f and c_aux when both are read in the b_f+ frame; Attack 09's C lives in the ES frame instead, so delta carries u/v, the ratio of the two auxiliary frames, which is a G-factor (G_b) filed in a_D and not hidden in E or P",
  "agrees": true
}