{
  "kind": "Exact algebraic diagram; no spatial or numerical scale.",
  "panel_A": {
    "input": "t^(-1)",
    "primitive_mod_holomorphic": "log(t)",
    "input_order": "1/2",
    "primitive_order": "-1/2",
    "generator": "-t*Dt-1/2"
  },
  "panel_B": {
    "filtration": "F^j=(L' intersect h^jL + hL')/hL'",
    "last": "F^(N+1)=0",
    "residue_shift": "beta-j",
    "reference": "IO.18--IO.20"
  },
  "panel_C": {
    "premise": "Re beta < m, m a nonnegative integer",
    "pole_integer": "N=m+2",
    "target": "f^(-N)L_Sigma/O^q",
    "reference": "IO.23--IO.30"
  },
  "proof_locators": [
    "IO.17",
    "IO.18--IO.21",
    "IO.26--IO.30"
  ]
}