{
  "arrows": [
    {
      "from": "source line H^1_f(Q, Q_11(chi_8)(1))",
      "to": "Theta_aux (ES frame)",
      "scalars": "anchor choice; c_ES/Kum outside D",
      "rank": 1
    },
    {
      "from": "Theta_aux",
      "to": "projected leading class B_hat_i",
      "scalars": "PC-001 (1) = LR C1.13 / q_f: C_pi, S5, j, lambda_i, D_i, z_i",
      "rank": 1
    },
    {
      "from": "B_hat_i",
      "to": "the arithmetic pre-leading line",
      "scalars": "eta_pdR (period frames), kappa_det (determinant lines), lattice indices",
      "rank": 1
    },
    {
      "from": "arithmetic pre-leading line",
      "to": "the calibrated Kato leading class",
      "scalars": "PC-001 (2): the ratio, in which q_f, j, gamma cancel",
      "rank": 1
    }
  ],
  "every_arrow_between_lines": true,
  "one_scalar_slot_per_arrow": {
    "Theta_aux (ES frame)": 1,
    "projected leading class B_hat_i": 1,
    "the arithmetic pre-leading line": 1,
    "the calibrated Kato leading class": 1
  },
  "argument": [
    "each arrow is between lines, so it carries exactly one scalar",
    "every frame change has a named G (c_lead, q_f, G_b, j, log11_gamma, Gauss)",
    "every finite correction has a named L (S5, 16, 416, the three indices, E_i's L-part)",
    "every partner slot has a named P (lambda_i, E_i's P-part, Pi_i, kappa_E, ell_0)",
    "an unnamed automorphism can arise only from two routes between the same lines - the slot Round 030 (18.2) names kappa_det"
  ],
  "route_ambiguity_slot_named": true,
  "unclassified_slots": 0,
  "complete_relative_to_round030": true,
  "comparison_route_exists": false,
  "stops_at": "the auxiliary->arithmetic comparison route as an actual map (C7's object, RUN-090: 'none exists'); without it Round 030 section 18 cannot be placed in case (18.1) or (18.2)",
  "agrees": true
}