{
  "rows": {
    "b_f+": {
      "depends_on": "the auxiliary framing",
      "tag": "G",
      "quotiented_how": "replaced by C1.10's unique omega_f (RUN-096 gauge law; RUN-097 one free auxiliary frame)",
      "survives_in_Psi_red": false
    },
    "X uniformiser": {
      "depends_on": "the weight coordinate on V_1",
      "tag": "G",
      "quotiented_how": "inside c_lead / q_f; the leading coefficient at X = 0 is canonical whatever n (RUN-097/098)",
      "survives_in_Psi_red": false
    },
    "Gauss convention": {
      "depends_on": "Omega_F^- = Omega_E^-/G(chi_8), Attack 09",
      "tag": "G",
      "quotiented_how": "a convention slot, G(chi_8)^2 = 8 (RUN-090/097)",
      "survives_in_Psi_red": false
    },
    "Omega^+- / Betti basis gamma_g^+-": {
      "depends_on": "B2.1's chosen bases",
      "tag": "G",
      "quotiented_how": "cancels along Psi_4: kappa and L_p scale together (RUN-099)",
      "survives_in_Psi_red": false
    },
    "q = [gamma_Kato : gamma_tree]": {
      "depends_on": "two Z-structures on one Q-line",
      "tag": "L",
      "quotiented_how": "bucket q_D; a generator change, not a comparison scalar (RUN-099 + erratum)",
      "survives_in_Psi_red": false
    },
    "lattice indices": {
      "depends_on": "the tree's line inside the Manin lattice",
      "tag": "L",
      "quotiented_how": "lengths, C8 (RUN-096)",
      "survives_in_Psi_red": false
    },
    "partner arithmetic": {
      "depends_on": "E_adj_i, Pi_i, lambda_i(0), kappa_E, ell_0",
      "tag": "P",
      "quotiented_how": "removed first, Round 030 (16); net 0 in delta (RUN-097)",
      "survives_in_Psi_red": false
    },
    "C_d": {
      "depends_on": "the auxiliary d, (d, 6S) = 1",
      "tag": "cancels",
      "quotiented_how": "C_d^{-1} (x) kappa_d is d-independent; C_d = 26 cancels between Psi_1 and Psi_3 (RUN-098)",
      "survives_in_Psi_red": false
    },
    "L_p factors": {
      "depends_on": "L_p(g x psi), L_p(g x tau), L_p(Ad g)",
      "tag": "P / cancel",
      "quotiented_how": "Eq. 11 is the cancellation (RUN-098)",
      "survives_in_Psi_red": false
    },
    "eta_pdR": {
      "depends_on": "the period-de Rham pairing",
      "tag": "E",
      "quotiented_how": "= 1, one comparison pairing (RUN-099)",
      "survives_in_Psi_red": false
    },
    "kappa_det": {
      "depends_on": "the determinant functor",
      "tag": "E",
      "quotiented_how": "= 1, one route, functoriality (RUN-100)",
      "survives_in_Psi_red": false
    },
    "PC-001 / LR dictionary identity": {
      "depends_on": "PC-001 section 1",
      "tag": "E",
      "quotiented_how": "= 1, a definition (RUN-101)",
      "survives_in_Psi_red": false
    },
    "C_pi = c*_f(r)": {
      "depends_on": "f alone (C1.9, C1.11)",
      "tag": "E, exact, invariant",
      "quotiented_how": "net exponent 0: cancels against Psi_1's c_f once X^n is counted once (RUN-097/098)",
      "survives_in_Psi_red": false
    },
    "log^{[r+1]}, X^n": {
      "depends_on": "the two named extractions",
      "tag": "extraction",
      "quotiented_how": "canonical operations: C1.8's divisibility; the leading coefficient (RUN-098)",
      "survives_in_Psi_red": false
    },
    "n (the jet order)": {
      "depends_on": "C1.10",
      "tag": "jet order",
      "quotiented_how": "which coefficient is leading is decided by the class, not chosen (RUN-098: not a delta-factor)",
      "survives_in_Psi_red": false
    }
  },
  "count": 15,
  "surviving_arbitrary_choices": [],
  "ledger_consistent": true,
  "common_scalar": "none survives (every row of the choice table quotiented or cancelled)",
  "agrees": true
}