{
  "title": "Nonperturbative String- and M-Theory Definition Proposals: structure map",
  "chapter": "Nonperturbative String- and M-Theory Definition Proposals",
  "kind": "structure",
  "schematic": true,
  "not_to_scale": true,
  "stages": [
    "defining variables and action",
    "Hamiltonian or path integral",
    "observable and sector map",
    "spacetime recovery tests",
    "typed definition claim"
  ],
  "claims": [
    {
      "object": "matrix quantum mechanics",
      "required_declaration": "large-N limit and compactification sector",
      "diagnostic": "spectrum and scattering benchmarks",
      "licensed_conclusion": "a candidate M-theory sector",
      "unsupported_promotion": "manifest covariant completeness"
    },
    {
      "object": "matrix or string field model",
      "required_declaration": "gauge fixing, background, and observables",
      "diagnostic": "unitarity and spacetime-recovery tests",
      "licensed_conclusion": "the model-defined amplitudes or states",
      "unsupported_promotion": "all nonperturbative backgrounds"
    },
    {
      "object": "AdS/CFT as definition",
      "required_declaration": "exact boundary theory and global data",
      "diagnostic": "bulk dictionary completeness",
      "licensed_conclusion": "conditional definition of its AdS sector",
      "unsupported_promotion": "a definition of arbitrary quantum gravity"
    }
  ],
  "takeaway": "BFSS, BMN, IKKT, matrix strings, string field theory, and AdS/CFT define different objects and satisfy different completeness tests."
}