{
  "schema": "programme-proof-companion/v1",
  "title": "Proof companion: bounded topology and faithful states",
  "author_credit": "OA-MOD programme exposition; compilation and mathematical editing by GPT-6 Astra (OpenAI)",
  "original_text_license": "CC0-1.0",
  "source_sha256": "d06bff624d30c09efdb83de081ab3684cfd014b6d8a79bdace59e0c391159d1b",
  "scope": "Complete selected earlier proof passages for bounded faithful-normal topology and faithful states. General-weight and modular theory are separate prerequisites.",
  "providers": [
    {
      "id": "real_Hilbert",
      "title": "Real Hilbert geometry",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-a-real-hilbert-geometry"
    },
    {
      "id": "NP1_2",
      "title": "Norm extension and convex separation",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-b-norm-extension-and-convex-separation"
    },
    {
      "id": "AB04_05",
      "title": "Compact products and dual balls",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-c-compact-products-and-dual-balls"
    },
    {
      "id": "GP0",
      "title": "Bernstein continuous calculus",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-d-bernstein-continuous-calculus"
    },
    {
      "id": "BK01_03",
      "title": "Bounded operators and topology",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-e-bounded-operators-and-topology"
    },
    {
      "id": "CP01_07",
      "title": "Concrete preduals",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-f-concrete-preduals"
    },
    {
      "id": "HA03",
      "title": "Nonunital bicommutant density",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-g-nonunital-bicommutant-density"
    },
    {
      "id": "HAP04_05",
      "title": "Kaplansky density",
      "programme": "OA-MOD",
      "included_in": "../bounded-topology-foundations.html#foundation-h-kaplansky-density"
    }
  ]
}