{
  "kind": "exact cochain diagram",
  "kernel": {
    "cochain": [
      "a",
      "b"
    ],
    "total_degree": "p",
    "support": "A"
  },
  "input": {
    "cochain": [
      "c",
      "f"
    ],
    "total_degree": "q",
    "support": "B"
  },
  "cup_cube": {
    "M": "a wedge c",
    "U_A": "b wedge c",
    "U_B": "(-1)^p a wedge f",
    "U_A_intersect_U_B": "(-1)^(p-1) b wedge f"
  },
  "full_cone_second_component": "rho_A x_A + rho_B x_B + delta rho_A wedge z",
  "collar": "(eta x + delta eta wedge beta, eta beta)",
  "final_operator": "Q_N L_eta Phi_rho F(k,-)",
  "hypotheses": [
    "p=N",
    "dk=0",
    "A intersect B proper over output",
    "p(A intersect B) contained in output support"
  ],
  "proof_locators": [
    "DLG.3",
    "DLG.5",
    "DLG.6",
    "DLG.15",
    "DLG.16"
  ],
  "figure_axes": "layout coordinates only; no numerical geometric projection is asserted"
}