{
  "schema_version": "qft-overview-figure/v1",
  "artifact_id": "qft.artifact.many-body-quantum-matter.cold-atoms-synthetic-matter-validity-and-failure-map",
  "title": "Cold atoms and synthetic matter: validity and failure map",
  "schematic": true,
  "not_to_scale": true,
  "evidence_cutoff": "2026-08-10",
  "description_url": "/many-body-quantum-matter/cold-atoms-synthetic-matter/analog-simulation-model-certification/#nonvisual-description-of-the-synthetic-matter-validity-figure",
  "nodes": {
    "start": {
      "role": "claim",
      "content_tex": "Candidate platform or many-body claim"
    },
    "cal": {
      "role": "test",
      "content_tex": "Calibration check: parameter covariance, range, trap, twist or strain, screening, internal states"
    },
    "calfail": {
      "role": "stop",
      "content_tex": "Knob or nominal setting only; no calibrated Hamiltonian parameter"
    },
    "hierarchy": {
      "role": "test",
      "content_tex": "Hierarchy check: higher bands, confinement, dressed gaps, remote bands, finite range and size"
    },
    "hierfail": {
      "role": "stop",
      "content_tex": "Effective model remains uncontrolled in the claimed window"
    },
    "state": {
      "role": "test",
      "content_tex": "Preparation check: entropy, thermalization, ramp history, loss, heating, micromotion and lifetime"
    },
    "statefail": {
      "role": "stop",
      "content_tex": "Prepared finite-time state only; no equilibrium or target-state conclusion"
    },
    "obs": {
      "role": "test",
      "content_tex": "Observation check: imaging or contact kernel, resolution, fidelity, background and covariance"
    },
    "obsfail": {
      "role": "stop",
      "content_tex": "Raw response feature only; no unique target observable"
    },
    "held": {
      "role": "test",
      "content_tex": "Model check: exact limits, cross-method overlap, discrepancy operators and held-out predictions"
    },
    "heldfail": {
      "role": "stop",
      "content_tex": "Calibrated fit only; no bounded realization certificate"
    },
    "phase": {
      "role": "test",
      "content_tex": "Phase check: size, temperature, coherence or topology, alternative states and protocol variation"
    },
    "phasefail": {
      "role": "stop",
      "content_tex": "Validated observable only; phase identity remains nonunique"
    }
  },
  "edges": {
    "cal--failure-exit--calfail": {
      "from": "cal",
      "to": "calfail",
      "relation": "failure-exit",
      "label_tex": "fails"
    },
    "hierarchy--failure-exit--hierfail": {
      "from": "hierarchy",
      "to": "hierfail",
      "relation": "failure-exit",
      "label_tex": "fails"
    },
    "state--failure-exit--statefail": {
      "from": "state",
      "to": "statefail",
      "relation": "failure-exit",
      "label_tex": "fails"
    },
    "obs--failure-exit--obsfail": {
      "from": "obs",
      "to": "obsfail",
      "relation": "failure-exit",
      "label_tex": "fails"
    },
    "held--failure-exit--heldfail": {
      "from": "held",
      "to": "heldfail",
      "relation": "failure-exit",
      "label_tex": "fails"
    },
    "phase--failure-exit--phasefail": {
      "from": "phase",
      "to": "phasefail",
      "relation": "failure-exit",
      "label_tex": "fails"
    },
    "start--required-test--cal": {
      "from": "start",
      "to": "cal",
      "relation": "required-test",
      "label_tex": ""
    },
    "start--required-test--hierarchy": {
      "from": "start",
      "to": "hierarchy",
      "relation": "required-test",
      "label_tex": ""
    },
    "start--required-test--state": {
      "from": "start",
      "to": "state",
      "relation": "required-test",
      "label_tex": ""
    },
    "start--required-test--obs": {
      "from": "start",
      "to": "obs",
      "relation": "required-test",
      "label_tex": ""
    },
    "start--required-test--held": {
      "from": "start",
      "to": "held",
      "relation": "required-test",
      "label_tex": ""
    },
    "start--required-test--phase": {
      "from": "start",
      "to": "phase",
      "relation": "required-test",
      "label_tex": ""
    }
  },
  "context": [
    "Select the tests required by the claim. A solid branch adds its displayed control; a dashed exit preserves the narrower statement. Evidence cutoff: 10 August 2026."
  ],
  "linear_equivalent": {
    "heading": "Nonvisual description of the synthetic-matter validity figure",
    "columns": [
      "Test selected",
      "Control added by the solid branch",
      "Dashed-exit conclusion when the test fails"
    ],
    "rows": {
      "row-a6cfbb6e8cafe1a1": {
        "key": "Calibration check",
        "cells": [
          "Calibration check",
          "Propagate covariance in interaction range, trap, twist or strain, screening, and internal-state parameters.",
          "Only a knob or nominal setting is known; no calibrated Hamiltonian parameter follows."
        ]
      },
      "row-74aa53af94749ed6": {
        "key": "Hierarchy check",
        "cells": [
          "Hierarchy check",
          "Bound higher bands, confinement, dressed gaps, remote bands, finite range, and finite size.",
          "The effective model remains uncontrolled in the claimed window."
        ]
      },
      "row-f6a2212ebcce7b35": {
        "key": "Preparation check",
        "cells": [
          "Preparation check",
          "Establish entropy, thermalization, ramp history, loss, heating, micromotion, and lifetime.",
          "The result describes a prepared finite-time state, not an equilibrium or target-state conclusion."
        ]
      },
      "row-91cff73c8ddc2cf2": {
        "key": "Observation check",
        "cells": [
          "Observation check",
          "Calibrate the imaging or contact kernel, resolution, fidelity, background, and covariance.",
          "A raw response feature is not a unique target observable."
        ]
      },
      "row-2d2297acd2aad9ee": {
        "key": "Model check",
        "cells": [
          "Model check",
          "Test exact limits, cross-method overlap, discrepancy operators, and held-out predictions.",
          "A calibrated fit alone is not a bounded realization certificate."
        ]
      },
      "row-5b97a4e8acae9cf0": {
        "key": "Phase check",
        "cells": [
          "Phase check",
          "Vary size, temperature, coherence or topology diagnostics, alternative states, and protocol.",
          "A validated observable does not uniquely identify the phase."
        ]
      }
    }
  }
}
