{
  "kind": "Exact algebraic diagrams; no geometric scale.",
  "panel_A": {
    "threshold": "-1/2",
    "input_roots": [
      "-1/5",
      "7/10"
    ],
    "top_roots": [
      "-6/5",
      "-13/10"
    ],
    "strip": "c-1<Re(beta)<=c",
    "proof": "CK.B, finite spectral lowering and saturation"
  },
  "panel_B": {
    "input": "t^(2/5)*(log t)^2",
    "order": "-9/10",
    "nilpotent_action": "Theta f=(-9/10)f-2*t^(2/5)*log t",
    "proof": "CK.C, exact faithful strict-Nilsson criterion"
  },
  "panel_C": {
    "Q": "h^(-1)L'/L'",
    "hQ": 0,
    "W": "Lambda intersect pi^(-1)(S_sing)",
    "conclusion": "L'=M_c, E_Lambda M_c=M_c",
    "proof": "CK.J--CK.K, all adjacent layers on one neighbourhood"
  }
}