{
  "normal_complex_dimension": 1,
  "real_normal_dimension": 2,
  "rho_for_disk": 1,
  "d_for_disk": "1/16",
  "clipping_ratio": "1/8",
  "chi_breakpoints": [
    "1/4",
    "3/4"
  ],
  "chi_Lipschitz": 2,
  "perturbation_Lipschitz": "1/4",
  "inverse_lower_bound": "3/4",
  "cone_real_section": {
    "A": 1,
    "L": 1,
    "Lstar_squared": 258,
    "b": 0,
    "d": "a",
    "rho": "sqrt(258)*a"
  },
  "proof_locators": [
    "FIM.43\u2013FIM.49",
    "FIM.50\u2013FIM.51"
  ],
  "free_human_context": "https://arxiv.org/abs/2102.08861v2",
  "mathematical_argument": "Local HI.1/HI.A and FIM.5; the context citation is not a substitute for these proofs."
}