{
  "panel_A": {
    "curve": "t^2=x^3",
    "x_star": "-1/16",
    "time_roots": [
      "i/64",
      "-i/64"
    ],
    "display_coordinate": "zeta=16t",
    "display_disc_radius": "1",
    "display_roots": [
      "i/4",
      "-i/4"
    ],
    "display_anchor": "-1/2",
    "display_meridian_radius": "1/8",
    "cuts": "horizontal to right disc boundary",
    "proof": "MC.A and MC.6"
  },
  "panel_B": {
    "base_hypersurface": "H={z=0}",
    "cauchy_radius": "1/2",
    "dashed_inner_circle": "|z|=2/5, contained in extension domain",
    "anchor_hypothesis": "g=h near t=A' for the whole base",
    "extension": "Cauchy contour in z, then the identity theorem in t",
    "proof": "MC.15, MC.17--MC.19"
  },
  "panel_C": {
    "q": "dim_C V",
    "d": "number of group generators, d<=m",
    "c": "ker(C[Gamma]->End_C(V))",
    "a": "I c",
    "function_annihilation": "(gamma-1)c f_ai=0",
    "bound": "dim_C C[Gamma]/a<=1+d q^2",
    "proof": "MC.21--MC.27"
  },
  "source_context": "https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/HolIII.pdf"
}