{
  "formula": "kappa_det(h) = prod_i det(H^i(h))^{(-1)^i}  (18.2)",
  "h_for_the_actual_routes": "id (one route)",
  "kappa_det": "1",
  "positive_control_A": {
    "h": "identity, same functor, same route",
    "kappa": "1",
    "accepted": true
  },
  "positive_control_B": {
    "h": "explicit automorphism, det H^0 = 2, det H^1 = 5",
    "kappa": "2/5",
    "by_hand": "2/5",
    "accepted_at_its_value": true
  },
  "chain_homotopic_to_identity": {
    "declared": true,
    "kappa": "1",
    "consistent": true
  },
  "raw_ring_injection": {
    "Psi_1 over H_Gamma": "c_f C_d L_p^g: an injection between two different lines, not an automorphism of one; not in K_1(H_Gamma)",
    "taken_as_K1": false
  },
  "q_kept_out": true,
  "agrees": true
}