{
  "title": "Witten Diagrams and AdS Perturbation Theory: structure map",
  "chapter": "Witten Diagrams and AdS Perturbation Theory",
  "kind": "structure",
  "schematic": true,
  "not_to_scale": true,
  "stages": [
    "boundary sources and bulk action",
    "propagators and vertices",
    "AdS diagram integral",
    "OPE and analytic checks",
    "perturbative boundary correlator"
  ],
  "claims": [
    {
      "object": "contact diagram",
      "required_declaration": "vertex, measure, and source normalization",
      "diagnostic": "crossing and short-distance check",
      "licensed_conclusion": "a contact contribution to a correlator",
      "unsupported_promotion": "a unique bulk Lagrangian"
    },
    {
      "object": "exchange diagram",
      "required_declaration": "field spectrum and propagator branch",
      "diagnostic": "pole and conformal-block decomposition",
      "licensed_conclusion": "the stated exchange contribution",
      "unsupported_promotion": "a flat-space amplitude"
    },
    {
      "object": "loop diagram",
      "required_declaration": "regulator, counterterms, and contour",
      "diagnostic": "unitarity cut and renormalization check",
      "licensed_conclusion": "a fixed-order AdS correction",
      "unsupported_promotion": "an exact finite-N correlator"
    }
  ],
  "takeaway": "A Witten diagram is an AdS perturbative contribution whose normalization, boundary conditions, contact terms, and loop counterterms remain explicit."
}