{
  "title": "Bulk Reconstruction and Gravitational Dressing: structure map",
  "chapter": "Bulk Reconstruction and Gravitational Dressing",
  "kind": "structure",
  "schematic": true,
  "not_to_scale": true,
  "stages": [
    "boundary region and algebra",
    "bulk equation and smearing",
    "interaction and gravitational dressing",
    "causal and error checks",
    "reconstructable observable"
  ],
  "claims": [
    {
      "object": "HKLL field",
      "required_declaration": "free equation, patch, and normalizable modes",
      "diagnostic": "boundary limit and commutator check",
      "licensed_conclusion": "perturbative bulk field in a wedge",
      "unsupported_promotion": "exact finite-N local operator"
    },
    {
      "object": "dressed observable",
      "required_declaration": "anchoring and gauge convention",
      "diagnostic": "Gauss-law and boundary-charge check",
      "licensed_conclusion": "a gauge-invariant relational observable",
      "unsupported_promotion": "strict compact support"
    },
    {
      "object": "subregion reconstruction",
      "required_declaration": "region, code sector, and norm",
      "diagnostic": "complement and overlap consistency",
      "licensed_conclusion": "region-adapted reconstruction",
      "unsupported_promotion": "state-independent global locality"
    }
  ],
  "takeaway": "Bulk reconstruction is always relative to a region, algebra, dressing, state sector, perturbative order, and error notion."
}