{
  "schema": "oa-flow-modular-source-directory/v2",
  "description": "Sources for the bounded operator and modular foundations used by the concrete-predual lesson.",
  "sources": [
    {
      "id": "OA-FLOW-CP",
      "title": "Concrete preduals from Hilbert tensors: the bounded CP-01–06 provider",
      "source": "src/OA-FLOW-CP.md",
      "reader": "OA-FLOW-CP.html",
      "source_sha256": "502bf387088c5fc1d778569fc78ee126b76bd3b42851f3978a88ea3053175d7a",
      "reader_sha256": "4f95cb9f5cad4bd16ad5b4ab4db122e1be5c3d52138a29dda9fb000c909b3dde"
    },
    {
      "id": "OA-FLOW-CI",
      "title": "Closed conjugate-linear involutions from their graph Hilbert space",
      "source": "src/OA-FLOW-CI.md",
      "reader": "OA-FLOW-CI.html",
      "source_sha256": "776a46025ddc560e38207993b85be6f616ed42530a2a4754b18c84a5cdf9d401",
      "reader_sha256": "9a5f48694f090310231a8b668cde95f0c914e35858a72948447207e9d0e0ab36"
    },
    {
      "id": "OA-FLOW-BD",
      "title": "Norm-controlled density on arbitrary Hilbert spaces",
      "source": "src/OA-FLOW-BD.md",
      "reader": "OA-FLOW-BD.html",
      "source_sha256": "de8def4c42e8e7ec323efb7a923984171f8d5d1be1e9c0263b9f80f84638db6e",
      "reader_sha256": "1c7984c2a26faa70613cebdc51a5cdff0a73f3a7621af69d62bcb9676059803f"
    },
    {
      "id": "OA-FLOW-HA-R",
      "title": "Bounded vectors, affiliated multipliers and the complete dual Hilbert algebra",
      "source": "src/OA-FLOW-HA-R.md",
      "reader": "OA-FLOW-HA-R.html",
      "source_sha256": "3eb5ebe45bfdcc16f4f73d0737a5717553640ab2a9f658e5830a1601f3372611",
      "reader_sha256": "d9b334ae0a35b35d302ab28a38a1b6d884c4c887a42065b0a8b65050a0a7010f"
    },
    {
      "id": "OA-FLOW-ST12",
      "title": "Concrete predual balls and faithful ultraweak representations",
      "source": "src/OA-FLOW-ST12.md",
      "reader": "OA-FLOW-ST12.html",
      "source_sha256": "1fc4594a67b43f9d98d134040916bf4b518a2adb34597e77fe9393424456e246",
      "reader_sha256": "34608307efc6bf4102b86d26c55bf8866b1226ff6c2869448bc19310dffedeab"
    },
    {
      "id": "OA-FLOW-ST",
      "title": "Faithful normal states: GNS normality and the modular application",
      "source": "src/OA-FLOW-ST.md",
      "reader": "OA-FLOW-ST.html",
      "source_sha256": "c15470e3bdfc57c657301bf0d8f9572e4999a1431e303b25014d7e35e40ed1df",
      "reader_sha256": "42b10fbbd6dffa785d776fe44c43c7bb67d1580bb78bf22af02901e577951810"
    }
  ],
  "concrete_predual_scope": "CP-01–06, with the Hilbert-space, Hahn–Banach and topology conventions stated in the lesson.",
  "licence_notice": "LICENSE.md",
  "proof_locations": "core-foundation-inputs.json"
}