{
  "title": "Representative claim domains and validity boundaries for AdS2, JT Gravity, SYK, and Random Matrices",
  "table_id": "ads2-jt-gravity-syk-and-random-matrices-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": "Schwarzian mode",
        "html": "Schwarzian mode"
      },
      "state_ensemble_and_conventions": {
        "text": "Declare near-AdS2 boundary condition and coupling; use the volume conventions unless the page states a local replacement.",
        "html": "Declare near-AdS2 boundary condition and coupling; 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: near-AdS2 boundary data → JT and Schwarzian mode → SYK low-energy matching → topology and matrix ensemble → model-specific conclusion. Sources are cited on the destination page; literature checked through 10 August 2026.",
        "html": "Model-specific calculation or conditional result. Control chain: near-AdS2 boundary data → JT and Schwarzian mode → SYK low-energy matching → topology and matrix ensemble → model-specific conclusion. 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 “thermodynamic and correlator check” check is counterevidence to the promoted claim.",
        "html": "Track omitted corrections, alternate branches, and competing definitions. A failed “thermodynamic and correlator check” check is counterevidence to the promoted claim."
      },
      "falsifier": {
        "text": "thermodynamic and correlator check",
        "html": "thermodynamic and correlator check"
      },
      "failure_condition": {
        "text": "complete bulk spectrum",
        "html": "complete bulk spectrum"
      },
      "licensed_conclusion": {
        "text": "universal low-energy boundary dynamics",
        "html": "universal low-energy boundary dynamics"
      }
    },
    {
      "claim_object": {
        "text": "SYK interface",
        "html": "SYK interface"
      },
      "state_ensemble_and_conventions": {
        "text": "Declare disorder, large N, and conformal window; use the volume conventions unless the page states a local replacement.",
        "html": "Declare disorder, large N, and conformal window; use the volume conventions unless the page states a local replacement."
      },
      "approximation_status_and_evidence_timing": {
        "text": "Dictionary entry or correspondence claim. Control chain: near-AdS2 boundary data → JT and Schwarzian mode → SYK low-energy matching → topology and matrix ensemble → model-specific conclusion. Sources are cited on the destination page; literature checked through 10 August 2026.",
        "html": "Dictionary entry or correspondence claim. Control chain: near-AdS2 boundary data → JT and Schwarzian mode → SYK low-energy matching → topology and matrix ensemble → model-specific conclusion. 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 “bilocal saddle and soft-mode matching” check is counterevidence to the promoted claim.",
        "html": "Track omitted corrections, alternate branches, and competing definitions. A failed “bilocal saddle and soft-mode matching” check is counterevidence to the promoted claim."
      },
      "falsifier": {
        "text": "bilocal saddle and soft-mode matching",
        "html": "bilocal saddle and soft-mode matching"
      },
      "failure_condition": {
        "text": "unique duality to JT gravity",
        "html": "unique duality to JT gravity"
      },
      "licensed_conclusion": {
        "text": "shared low-energy observables",
        "html": "shared low-energy observables"
      }
    },
    {
      "claim_object": {
        "text": "matrix completion",
        "html": "matrix completion"
      },
      "state_ensemble_and_conventions": {
        "text": "Declare ensemble and spectral density; use the volume conventions unless the page states a local replacement.",
        "html": "Declare ensemble and spectral density; use the volume conventions unless the page states a local replacement."
      },
      "approximation_status_and_evidence_timing": {
        "text": "Proposal or conditional construction. Control chain: near-AdS2 boundary data → JT and Schwarzian mode → SYK low-energy matching → topology and matrix ensemble → model-specific conclusion. Sources are cited on the destination page; literature checked through 10 August 2026.",
        "html": "Proposal or conditional construction. Control chain: near-AdS2 boundary data → JT and Schwarzian mode → SYK low-energy matching → topology and matrix ensemble → model-specific conclusion. 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 “genus and late-time comparison” check is counterevidence to the promoted claim.",
        "html": "Track omitted corrections, alternate branches, and competing definitions. A failed “genus and late-time comparison” check is counterevidence to the promoted claim."
      },
      "falsifier": {
        "text": "genus and late-time comparison",
        "html": "genus and late-time comparison"
      },
      "failure_condition": {
        "text": "the unique fixed Hamiltonian",
        "html": "the unique fixed Hamiltonian"
      },
      "licensed_conclusion": {
        "text": "an ensemble completion of JT amplitudes",
        "html": "an ensemble completion of JT amplitudes"
      }
    }
  ],
  "scope": "Exact structured equivalent of the reader-facing semantic table; column order, cell text, and source HTML are preserved."
}