{
  "kind": "Algebraic diagrams; no geometric scale.",
  "panel_A": {
    "lifted_support": "t=0, (x,xi) in Char M, tau!=0",
    "nonzero_source_covector": "Image of B_0 tensor A, characteristic-stable by GG.13--GG.14",
    "original_zero_section": "Normal delta tensor a horizontal frame, GG.15--GG.16",
    "proof": "GG.B--GG.C"
  },
  "panel_B": {
    "h": "D_t^(-1)",
    "identity": "D_t*t=t*D_t+1",
    "inclusion": "tL=h*D_t*t*L subset hL",
    "Euler_action": "(tD_t+1)h^a delta=a*h^a delta",
    "proof": "GG.D and GG.24"
  },
  "panel_C": {
    "finite_local_pieces": "B_k M=sum D_(<=k-a_nu) m_nu",
    "bound": "q>=max_(alpha,nu) a_(nu,alpha), finite cover of a compact set",
    "generator": "G=B_q M, D G=M",
    "all_nonnegative_pieces": "B_(q+r)M=D_(<=r)G",
    "proof": "GG.E--GG.F"
  },
  "flat_example": {
    "threshold": "0",
    "delta_order": "1/2",
    "first_nonzero_piece": 1,
    "proof": "GG.G"
  }
}