{
  "panel_A": {
    "parameter_ball_radius": "1",
    "exception_equation": "g(x)=x",
    "zero_patch_center": "-1/2",
    "zero_patch_radius": "1/8",
    "path": "x=(1/2)exp(i theta), pi>=theta>=0",
    "diagram_of_identity_hypothesis_not_sampled_section": true
  },
  "panel_B": {
    "curve": "t^2=x^3",
    "x_star": "-1/4",
    "roots": [
      "i/8",
      "-i/8"
    ],
    "rho": "1/32",
    "a": "2",
    "W_equation": "Re t<-1/2-2|Im t|",
    "inner_cut_Re_T": "-1/64",
    "J_is_nonempty_and_inner_connected": true,
    "left_boundary_is_plot_crop_only": true
  },
  "panel_C": {
    "base_dimension": "n+1",
    "normalized_ambient_dimension": "2n+1",
    "dim_Z_at_most": "n-1",
    "codim_Z_at_least": "n+2"
  },
  "proof_locators": [
    "SE.5",
    "SE.6",
    "SE.18",
    "SE.20",
    "SE.24",
    "SE.27",
    "SE.28"
  ],
  "source_context": "https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/HolIII.pdf"
}