{
  "title": "Representative claim domains and validity boundaries for Witten Diagrams and AdS Perturbation Theory",
  "table_id": "correlators-witten-diagrams-claim-domain-table",
  "columns": [
    {
      "key": "claim_object",
      "label": "Claim object"
    },
    {
      "key": "state_ensemble_and_conventions",
      "label": "State, ensemble, and conventions"
    },
    {
      "key": "approximation_status_and_evidence_timing",
      "label": "Approximation, status, and evidence timing"
    },
    {
      "key": "uncertainty_and_counterevidence",
      "label": "Uncertainty and counterevidence"
    },
    {
      "key": "falsifier",
      "label": "Falsifier"
    },
    {
      "key": "failure_condition",
      "label": "Failure condition"
    },
    {
      "key": "licensed_conclusion",
      "label": "Licensed conclusion"
    }
  ],
  "records": [
    {
      "claim_object": {
        "text": "contact diagram",
        "html": "contact diagram"
      },
      "state_ensemble_and_conventions": {
        "text": "Declare vertex, measure, and source normalization; use the volume conventions unless the page states a local replacement.",
        "html": "Declare vertex, measure, and source normalization; use the volume conventions unless the page states a local replacement."
      },
      "approximation_status_and_evidence_timing": {
        "text": "Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026.",
        "html": "Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026."
      },
      "uncertainty_and_counterevidence": {
        "text": "Track omitted corrections, alternate branches, and competing definitions. A failed “crossing and short-distance check” check is counterevidence to the promoted claim.",
        "html": "Track omitted corrections, alternate branches, and competing definitions. A failed “crossing and short-distance check” check is counterevidence to the promoted claim."
      },
      "falsifier": {
        "text": "crossing and short-distance check",
        "html": "crossing and short-distance check"
      },
      "failure_condition": {
        "text": "a unique bulk Lagrangian",
        "html": "a unique bulk Lagrangian"
      },
      "licensed_conclusion": {
        "text": "a contact contribution to a correlator",
        "html": "a contact contribution to a correlator"
      }
    },
    {
      "claim_object": {
        "text": "exchange diagram",
        "html": "exchange diagram"
      },
      "state_ensemble_and_conventions": {
        "text": "Declare field spectrum and propagator branch; use the volume conventions unless the page states a local replacement.",
        "html": "Declare field spectrum and propagator branch; use the volume conventions unless the page states a local replacement."
      },
      "approximation_status_and_evidence_timing": {
        "text": "Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026.",
        "html": "Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026."
      },
      "uncertainty_and_counterevidence": {
        "text": "Track omitted corrections, alternate branches, and competing definitions. A failed “pole and conformal-block decomposition” check is counterevidence to the promoted claim.",
        "html": "Track omitted corrections, alternate branches, and competing definitions. A failed “pole and conformal-block decomposition” check is counterevidence to the promoted claim."
      },
      "falsifier": {
        "text": "pole and conformal-block decomposition",
        "html": "pole and conformal-block decomposition"
      },
      "failure_condition": {
        "text": "a flat-space amplitude",
        "html": "a flat-space amplitude"
      },
      "licensed_conclusion": {
        "text": "the stated exchange contribution",
        "html": "the stated exchange contribution"
      }
    },
    {
      "claim_object": {
        "text": "loop diagram",
        "html": "loop diagram"
      },
      "state_ensemble_and_conventions": {
        "text": "Declare regulator, counterterms, and contour; use the volume conventions unless the page states a local replacement.",
        "html": "Declare regulator, counterterms, and contour; use the volume conventions unless the page states a local replacement."
      },
      "approximation_status_and_evidence_timing": {
        "text": "Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026.",
        "html": "Model-specific calculation or conditional result. Control chain: boundary sources and bulk action → propagators and vertices → AdS diagram integral → OPE and analytic checks → perturbative boundary correlator. Sources are cited on the destination page; literature checked through 10 August 2026."
      },
      "uncertainty_and_counterevidence": {
        "text": "Track omitted corrections, alternate branches, and competing definitions. A failed “unitarity cut and renormalization check” check is counterevidence to the promoted claim.",
        "html": "Track omitted corrections, alternate branches, and competing definitions. A failed “unitarity cut and renormalization check” check is counterevidence to the promoted claim."
      },
      "falsifier": {
        "text": "unitarity cut and renormalization check",
        "html": "unitarity cut and renormalization check"
      },
      "failure_condition": {
        "text": "an exact finite-N correlator",
        "html": "an exact finite-N correlator"
      },
      "licensed_conclusion": {
        "text": "a fixed-order AdS correction",
        "html": "a fixed-order AdS correction"
      }
    }
  ],
  "scope": "Exact structured equivalent of the reader-facing semantic table; column order, cell text, and source HTML are preserved."
}