{
  "records": [
    {
      "name": "C_pi",
      "source_object": "c_lead and q_f",
      "target_object": "the common late line",
      "formula": "C_pi = c_lead/q_f",
      "transformation_law": "invariant under both frames",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": true,
      "tag": "E",
      "evidence": "gauge_action: weight (0,0); LR C1.9 + section A8.3; RUN-094/095",
      "split_of": null
    },
    {
      "name": "c_lead",
      "source_object": "c_f(X) at the Eisenstein point",
      "target_object": "C_pi",
      "formula": "leading coefficient of c_f",
      "transformation_law": "u^1",
      "depends_on_partner": false,
      "depends_on_frame": true,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "G",
      "evidence": "gauge_action: Col linear in b_f+ forces c_f -> u c_f (LR C1.9)",
      "split_of": null
    },
    {
      "name": "q_f",
      "source_object": "b_f+(0)",
      "target_object": "C_pi and R^lead",
      "formula": "q_f = c_r eta_f",
      "transformation_law": "u^1",
      "depends_on_partner": false,
      "depends_on_frame": true,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "G",
      "evidence": "gauge_action: LR bad-fibre relation; PC-001 section 4",
      "split_of": null
    },
    {
      "name": "G_b",
      "source_object": "the b_f+ frame against the ES frame",
      "target_object": "a_D",
      "formula": "u/v",
      "transformation_law": "(1,-1)",
      "depends_on_partner": false,
      "depends_on_frame": true,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "G",
      "evidence": "gauge_action: delta's law with c_aux read in Attack 09's frame",
      "split_of": null
    },
    {
      "name": "j",
      "source_object": "the cyclotomic coordinate",
      "target_object": "B_hat_i",
      "formula": "log(1+t)/log_11(gamma)",
      "transformation_law": "coordinate change t' = psi(t)",
      "depends_on_partner": false,
      "depends_on_frame": true,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "G",
      "evidence": "RUN-090 C3: covariant, gamma = 12 for both partners",
      "split_of": null
    },
    {
      "name": "log11_gamma",
      "source_object": "gamma = 12",
      "target_object": "j",
      "formula": "log_11(12)",
      "transformation_law": "cancels in PC-001 (2)",
      "depends_on_partner": false,
      "depends_on_frame": true,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "G",
      "evidence": "RUN-090 C3",
      "split_of": null
    },
    {
      "name": "Gauss(chi_8)",
      "source_object": "Omega_F^- = Omega_E^-/G(chi_8)",
      "target_object": "the minus period frame",
      "formula": "G(chi_8)^2 = 8",
      "transformation_law": "convention",
      "depends_on_partner": false,
      "depends_on_frame": true,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "G",
      "evidence": "RUN-078: an 11-unit; Attack 09 section 3.2",
      "split_of": null
    },
    {
      "name": "S5",
      "source_object": "the smoothing d = 5",
      "target_object": "A_i",
      "formula": "C_d = d^2 - d^(j-k1-k2) eps_f^-1(d) eps_g^-1(d) = 26 at j = 0",
      "transformation_law": "invariant",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "RUN-095: common to both partners, derived from (eps_g(d), k2)",
      "split_of": null
    },
    {
      "name": "16 = e11/theta",
      "source_object": "Attack 09 (20)",
      "target_object": "the t^2, t^3 extraction",
      "formula": "16",
      "transformation_law": "invariant",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "RUN-077",
      "split_of": null
    },
    {
      "name": "416 = 16*26",
      "source_object": "Attack 09 (20)",
      "target_object": "the t^2, t^3 extraction",
      "formula": "16 * 26",
      "transformation_law": "invariant",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "RUN-077",
      "split_of": null
    },
    {
      "name": "plus_index_2 (19.a1)",
      "source_object": "the calibrator's Z-primitive plus vector",
      "target_object": "PC-001's unit-normalised plus vector",
      "formula": "2",
      "transformation_law": "a length: v_2 = 1",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "RUN-080",
      "split_of": null
    },
    {
      "name": "index (389.a1, plus)",
      "source_object": "the target's Z-primitive plus vector",
      "target_object": "src70's unit-normalised plus line",
      "formula": "2",
      "transformation_law": "a length: {2: 1}",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "Track B, this round",
      "split_of": null
    },
    {
      "name": "index (389.a1, minus)",
      "source_object": "the target's Z-primitive minus vector",
      "target_object": "src79's unit-normalised minus line",
      "formula": "2",
      "transformation_law": "a length: {2: 1}",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "Track B, this round",
      "split_of": null
    },
    {
      "name": "lambda_i(0)",
      "source_object": "L_p(g_i (x) chi_8) at the point",
      "target_object": "A_i",
      "formula": "5 (E), 4 (0) mod 11",
      "transformation_law": "partner",
      "depends_on_partner": true,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "P",
      "evidence": "RUN-077/080",
      "split_of": null
    },
    {
      "name": "E_adj_i / P-part",
      "source_object": "the adjoint Euler factor, partner half",
      "target_object": "D_i",
      "formula": "(1 - beta/alpha)(1 - beta/(11 alpha))",
      "transformation_law": "partner",
      "depends_on_partner": true,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "P",
      "evidence": "RUN-090 C2",
      "split_of": "E_adj_i"
    },
    {
      "name": "E_adj_i / L-part",
      "source_object": "the adjoint Euler factor, finite half",
      "target_object": "D_i",
      "formula": "an 11-adic unit or not: 3 (E), 7 (0) mod 11",
      "transformation_law": "valuation",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": true,
      "exact_scalar": false,
      "tag": "L",
      "evidence": "RUN-090 C2",
      "split_of": "E_adj_i"
    },
    {
      "name": "Pi_i",
      "source_object": "the Petersson/period ratio in L_p(Ad g_i)",
      "target_object": "D_i",
      "formula": "unknown value; an 11-unit (RUN-091)",
      "transformation_law": "partner",
      "depends_on_partner": true,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "P",
      "evidence": "RUN-091 Attack B",
      "split_of": null
    },
    {
      "name": "kappa_E",
      "source_object": "the Kato class coordinate of 389.a1",
      "target_object": "z_E",
      "formula": "unknown",
      "transformation_law": "partner",
      "depends_on_partner": true,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "P",
      "evidence": "PC-001 (1)",
      "split_of": null
    },
    {
      "name": "ell_0",
      "source_object": "Col_0(z_0)(0)",
      "target_object": "PC-001 (2)",
      "formula": "unknown",
      "transformation_law": "partner",
      "depends_on_partner": true,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": false,
      "tag": "P",
      "evidence": "PC-001 (2)",
      "split_of": null
    },
    {
      "name": "eta_pdR",
      "source_object": "the auxiliary period frame",
      "target_object": "the arithmetic period frame",
      "formula": "1 on one canonical pairing, else one scalar",
      "transformation_law": "exact",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": true,
      "tag": "E",
      "evidence": "Round 030 (17.1); C6 open",
      "split_of": null
    },
    {
      "name": "kappa_det",
      "source_object": "the auxiliary determinant line",
      "target_object": "the arithmetic determinant line",
      "formula": "1 on one route; prod det H^i(h)^(-1)^i on two",
      "transformation_law": "exact",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": true,
      "tag": "E",
      "evidence": "Round 030 (18.1)/(18.2); C7 open",
      "split_of": null
    },
    {
      "name": "id(LR class, PC-001 projected class)",
      "source_object": "LR C1.13's kappa*_d",
      "target_object": "PC-001 (1)'s B_hat_i",
      "formula": "the six-slot dictionary, C/q_f -> C_pi",
      "transformation_law": "exact",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": true,
      "tag": "E",
      "evidence": "RUN-094/095: structural, one slot numerically (C_d = 26)",
      "split_of": null
    },
    {
      "name": "id(Kato class, modular symbol)",
      "source_object": "kappa(g x psi)",
      "target_object": "the modular-symbol line",
      "formula": "Kato's normalisation",
      "transformation_law": "exact",
      "depends_on_partner": false,
      "depends_on_frame": false,
      "valuation_only": false,
      "exact_scalar": true,
      "tag": "E",
      "evidence": "Kato [Kat04]; RUN-070/077 lines",
      "split_of": null
    }
  ],
  "count": 23,
  "tag_rule_priority": [
    "P",
    "G",
    "L",
    "E"
  ],
  "bins": {
    "eta_D": [
      "C_pi",
      "eta_pdR",
      "kappa_det",
      "id(LR class, PC-001 projected class)",
      "id(Kato class, modular symbol)"
    ],
    "a_D": [
      "c_lead",
      "q_f",
      "G_b",
      "j",
      "log11_gamma",
      "Gauss(chi_8)"
    ],
    "q_D": [
      "S5",
      "16 = e11/theta",
      "416 = 16*26",
      "plus_index_2 (19.a1)",
      "index (389.a1, plus)",
      "index (389.a1, minus)",
      "E_adj_i / L-part"
    ],
    "removed partner factors": [
      "lambda_i(0)",
      "E_adj_i / P-part",
      "Pi_i",
      "kappa_E",
      "ell_0"
    ]
  },
  "delta_other_E_enumerated": [
    "C_pi",
    "id(LR class, PC-001 projected class)",
    "id(Kato class, modular symbol)"
  ],
  "unclassified_slots": 0,
  "duplicates": [],
  "run090_factors_all_present": true,
  "run090_missing": [],
  "outside_D_with_reasons": {
    "c_ES/Kum": "the scalar from [Theta_aux] to kappa(eps): between two candidate anchors, not inside D, because D is measured from Theta_aux in the ES frame (Round 025's native anchor)",
    "BF-COORD": "no computed representative of the BF class: a value gap, not a factor",
    "Pi_E/Pi_0 value": "the value of a P-factor already in the ledger",
    "Selmer-complex lengths (Rounds 033-034)": "post-normalisation objects, outside C1-C10"
  },
  "attributions_L_to_E": [],
  "mislabelled": [],
  "agrees": true
}