{
  "normal_coordinates": [
    "u",
    "s"
  ],
  "spatial_coordinates": "x_1,...,x_d",
  "rings": {
    "R": "D_X^infinity",
    "A": "D_Y^infinity",
    "T": "chosen-fibration decorated E^infinity"
  },
  "first_row": [
    "0",
    "R",
    "T",
    "J",
    "0"
  ],
  "first_row_exact": true,
  "tensor_rows": [
    [
      "N_1",
      "T tensor_R N_1",
      "J tensor_R N_1",
      "0"
    ],
    [
      "N_2",
      "T tensor_R N_2",
      "J tensor_R N_2",
      "0"
    ]
  ],
  "tensor_rows_right_exact": true,
  "first_tensor_arrows_injective_required": false,
  "cokernel": "J tensor_R N = (C tensor_R N)/D_s(C tensor_R N)",
  "coefficient_projection": "sum_l (-partial_s)^l a_0,l,beta",
  "image_criterion": "ST.16",
  "finite_witnesses": [
    "ST.18",
    "ST.19"
  ],
  "geometric_scale": null,
  "human_source": "Kashiwara–Kawai HolIII III.4.9 pp.898–899"
}