{
  "schema": "public-course-edition/v1",
  "course": "OA-FOUND-REMAINDER",
  "title": "Operator algebras: states, supports, stability and symmetry",
  "lessons": [
    {
      "file": "abelian-semicontinuity-and-multiplier-spectra.md",
      "title": "Abelian semicontinuity and multiplier spectra",
      "source": "src/abelian-semicontinuity-and-multiplier-spectra.md",
      "reader": "reader/abelian-semicontinuity-and-multiplier-spectra.html",
      "source_sha256": "89e493a27b137f71486ccc5a6297dfbaf54469ac6fc08036bbe6cbee03fc8203",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "34570140515a4c5f411742630cfb7f125d57a7a8fde086308e69aa25cb8a2a3d"
    },
    {
      "file": "affine-approximation-and-quasi-state-spaces.md",
      "title": "Affine approximation and quasi-state spaces",
      "source": "src/affine-approximation-and-quasi-state-spaces.md",
      "reader": "reader/affine-approximation-and-quasi-state-spaces.html",
      "source_sha256": "77e747bebf265d9d0637920bb8ac9dd7f26b7bd1be617f62d32729b2a4ebffe6",
      "original_expression_license": "CC0-1.0",
      "reader_sha256": "d1b5a0a3364b0182bbe48420269370b561deebf7384df45f5c50d4ffc54f41da"
    },
    {
      "file": "atomic-representations-and-measurable-lifts.md",
      "title": "Atomic representations and measurable lifts",
      "source": "src/atomic-representations-and-measurable-lifts.md",
      "reader": "reader/atomic-representations-and-measurable-lifts.html",
      "source_sha256": "0a4a4b1e75d036d68501397aabf2588be4af1d4eea17d410d7e01f6c0415e38e",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "94b88654d8906a0071ff8c47df840ac7a8789e2a54b3208eb2d986ae12c0d586"
    },
    {
      "file": "base-changes-and-disintegration.md",
      "title": "Base changes and disintegration",
      "source": "src/base-changes-and-disintegration.md",
      "reader": "reader/base-changes-and-disintegration.html",
      "source_sha256": "b109a546d633132bbf03428ff5018cc0a05a4c2e064e8586fd8090bd1bb0a588",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "122524c464ae2c3ea47f4e2addccb02d7d480e33519576d8dd297d1bbfd479d6"
    },
    {
      "file": "borel-supports-and-isomorphism-classes.md",
      "title": "Borel supports and isomorphism classes",
      "source": "src/borel-supports-and-isomorphism-classes.md",
      "reader": "reader/borel-supports-and-isomorphism-classes.html",
      "source_sha256": "3abc1e3e11327c90f8aab2a75a50f19b5e8d7626c0157eac7099a1774af17116",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "09c5c5203abfd1ac6fca0976667a44b0b6f23cfb3b696c9f017be99d1fa9c419"
    },
    {
      "file": "borel-types-and-fibre-types.md",
      "title": "Borel types and fibre types",
      "source": "src/borel-types-and-fibre-types.md",
      "reader": "reader/borel-types-and-fibre-types.html",
      "source_sha256": "35167fc6cafc9371c2ae67ae6a3e96026794d1c8f64fa8144e648982822f3711",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "13ddd5d34a04ae1f98e4927d3bb37b94ff2db4aeb10330098835bec0f9c6d22c"
    },
    {
      "file": "central-averaging-and-maximal-ideals.md",
      "title": "Central averaging and maximal ideals",
      "source": "src/central-averaging-and-maximal-ideals.md",
      "reader": "reader/central-averaging-and-maximal-ideals.html",
      "source_sha256": "b32ab7fe6f495806b0ec451400e59f7d05eb0cb8df3f4e85e7282a4ce22f65c4",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "70ad43ad0b564fd06c5deef241029b86681fbc67986a145f92eabaddf747b45f"
    },
    {
      "file": "crossed-product-coefficients-and-factor-tests.md",
      "title": "Crossed-product coefficients and factor tests",
      "source": "src/crossed-product-coefficients-and-factor-tests.md",
      "reader": "reader/crossed-product-coefficients-and-factor-tests.html",
      "source_sha256": "e1001d1b1e244d20a060500cc0aaef309ab3db4c1a7bccced9f03c1fc06656c6",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "2d657b81915fe63bc1610657d4d76a0bcd9b1d53a40f8516d399aa46ffe2c0db"
    },
    {
      "file": "expected-masas-and-factor-types.md",
      "title": "Expected maximal abelian algebras and factor types",
      "source": "src/expected-masas-and-factor-types.md",
      "reader": "reader/expected-masas-and-factor-types.html",
      "source_sha256": "0a86913cd4b362d1ce4543666b7680e4981ab1feb62fceec3b6416d5a1200861",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "b43c4bc8f1cee41657ff26e55dc18aa6d0892f091dcbb204c6b6e3b1cafe9033"
    },
    {
      "file": "extreme-points-and-matrix-blocks.md",
      "title": "Extreme points and matrix blocks",
      "source": "src/extreme-points-and-matrix-blocks.md",
      "reader": "reader/extreme-points-and-matrix-blocks.html",
      "source_sha256": "a88e062a758c71490a978af813abe8398c8987de104bca40bedc52cdc3f7c0db",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "9d2f1edc12e2a14f5a4d93d4c51f2704fcf7157c68c76a8383d6375917e54bfd"
    },
    {
      "file": "finite-maximal-quotients.md",
      "title": "Finite maximal quotients",
      "source": "src/finite-maximal-quotients.md",
      "reader": "reader/finite-maximal-quotients.html",
      "source_sha256": "ab33ac7ddcbcde8de0ca360e75634616cd1d275518fe4a03477bdbb9b391141c",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "9294ffb3ef7ed350dc04b2c31685cf35ea548fd77d47b1745299e3a1c56acb5f"
    },
    {
      "file": "finite-type-ii-and-separable-representations.md",
      "title": "Finite type II algebras and separable representations",
      "source": "src/finite-type-ii-and-separable-representations.md",
      "reader": "reader/finite-type-ii-and-separable-representations.html",
      "source_sha256": "a2312be96f5a59a4648478d8cc11d59da5802c0967674006d8e3b54872086b5a",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "fabe053fe6131826e5e8146c6972a111fdccdc9803c0c2bfa58fb401521d8b8d"
    },
    {
      "file": "fredholm-operators-and-stable-index.md",
      "title": "Fredholm operators and the stable index",
      "source": "src/fredholm-operators-and-stable-index.md",
      "reader": "reader/fredholm-operators-and-stable-index.html",
      "source_sha256": "56a95d1d2cd89c6c8af81417453038cac4b17de37de05f7f09858527cef8da74",
      "original_expression_license": "CC0-1.0",
      "reader_sha256": "f19c6844882c6278dc9b7eaf2694467f907c68133ddab7803bbc4cf95228fb4b"
    },
    {
      "file": "free-group-averaging-and-the-compact-ideal.md",
      "title": "Free-group averaging and the compact ideal",
      "source": "src/free-group-averaging-and-the-compact-ideal.md",
      "reader": "reader/free-group-averaging-and-the-compact-ideal.html",
      "source_sha256": "e3d5bdc344a56bf9c45fbe85b0d1445ca83bd88a7bc3c1f3c79692b4c6be3bf3",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "6079ee2f49cd2032f2e2827eb9b05d6493043cec75f8b3097ccad7352b4c049f"
    },
    {
      "file": "invariant-states-and-ergodic-projections.md",
      "title": "Invariant states and ergodic projections",
      "source": "src/invariant-states-and-ergodic-projections.md",
      "reader": "reader/invariant-states-and-ergodic-projections.html",
      "source_sha256": "b7d556d259e6548b702ea3a94c8d67002ec59567d94cb1d7400a519f32e20e59",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "765cda4a6fa537f9f2227b3f20fc40037067974a1ef58dad6d234725bae6e3bd"
    },
    {
      "file": "invertible-components-and-exponential-laws.md",
      "title": "Invertible components and exponential laws",
      "source": "src/invertible-components-and-exponential-laws.md",
      "reader": "reader/invertible-components-and-exponential-laws.html",
      "source_sha256": "081183c50dd180ea8b6d19c0f590bbc9a61f77a32d097c49933d3e5552536e77",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "d8c65184a9cba1b21f7caab4b92c26902931441bd9d1bdf1ff24a5a8eb249989"
    },
    {
      "file": "measurable-equivalence-and-constant-fibres.md",
      "title": "Measurable equivalence and constant fibres",
      "source": "src/measurable-equivalence-and-constant-fibres.md",
      "reader": "reader/measurable-equivalence-and-constant-fibres.html",
      "source_sha256": "8383fb53e5320216eff0cce0fbfef6cfe946b0eb7e8860dd275b6186dfb949ab",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "62383ceafef7dd02605f79d3ca583b50591ea165ecd87010d7bc027f9080732c"
    },
    {
      "file": "monotone-approximation-and-semicontinuous-operators.md",
      "title": "Monotone approximation and semicontinuous operators",
      "source": "src/monotone-approximation-and-semicontinuous-operators.md",
      "reader": "reader/monotone-approximation-and-semicontinuous-operators.html",
      "source_sha256": "8f224e31b394a277c00ca5dfafe1736d9c7e6771c3cde920d9490dcf8d97e6d5",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "d1a52a06b7be37d8ca5fbc4b86474b24f63f0b1fc04630d480f25929b196c6c3"
    },
    {
      "file": "multipliers-and-essential-extensions.md",
      "title": "Multipliers and essential extensions",
      "source": "src/multipliers-and-essential-extensions.md",
      "reader": "reader/multipliers-and-essential-extensions.html",
      "source_sha256": "1ad191a70adcd5c0b0018e12387b8d7e668d374e9915fae961d4c77faa9a261c",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "28479d8474a05a24b36b8ec4c0e93d4b1049756851040012a526497a2dd9b02e"
    },
    {
      "file": "normal-functionals-across-fibres.md",
      "title": "Normal functionals across fibres",
      "source": "src/normal-functionals-across-fibres.md",
      "reader": "reader/normal-functionals-across-fibres.html",
      "source_sha256": "502929d69bd0fce28c82a1f2d4d939d9fd3ccd09740075949aa5895973617e7b",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "68c4a87afcc76ab6f3e31a94acb63e58dd09e3aec8fa6122e3a1bdc4a95cb6ef"
    },
    {
      "file": "normal-products-and-closed-operator-graphs.md",
      "title": "Normal products and closed operator graphs",
      "source": "src/normal-products-and-closed-operator-graphs.md",
      "reader": "reader/normal-products-and-closed-operator-graphs.html",
      "source_sha256": "b49d8645fef3a092b51d8d1c43da481776330f09b9d8ef454656ae5dd740c1e8",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "816fed362bf7e050d36f30cfcd34423cc31ccb73b520579ea4fcccbb3e5cbd2b"
    },
    {
      "file": "open-projections-and-closed-one-sided-ideals.md",
      "title": "Open projections and closed one-sided ideals",
      "source": "src/open-projections-and-closed-one-sided-ideals.md",
      "reader": "reader/open-projections-and-closed-one-sided-ideals.html",
      "source_sha256": "96e9fe2f77f3dd53957d2ad0d40e65f11a147e73987d0521baf53a8f94174b8e",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "bfdbdf25a69e075b2cafa7440a10c28bd0ae43d6c9bf070bbcf933256b9c57f0"
    },
    {
      "file": "proper-infiniteness-and-automatic-normality.md",
      "title": "Proper infiniteness and automatic normality",
      "source": "src/proper-infiniteness-and-automatic-normality.md",
      "reader": "reader/proper-infiniteness-and-automatic-normality.html",
      "source_sha256": "a0a731ec669497b1c29c841e640b094a7dd7cccd2e72adef7959edd536f089fc",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "af24f49df77b78d6bf1abb03c7d11d77858d2ee76d553ae6895e6a6107fa3d6a"
    },
    {
      "file": "regular-and-singular-maximal-abelian-algebras.md",
      "title": "Regular and singular maximal abelian algebras",
      "source": "src/regular-and-singular-maximal-abelian-algebras.md",
      "reader": "reader/regular-and-singular-maximal-abelian-algebras.html",
      "source_sha256": "b41478d1a2799e96fc9e9dcd876a8dd22c4b9ee9a98b93c93ed4a808af45eccf",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "57471d9bdfd95fed1adba982968e6207798b05849212c70dfaa12f3bbde4b9f3"
    },
    {
      "file": "split-faces-and-semicontinuous-quotient-lifts.md",
      "title": "Split faces and semicontinuous quotient lifts",
      "source": "src/split-faces-and-semicontinuous-quotient-lifts.md",
      "reader": "reader/split-faces-and-semicontinuous-quotient-lifts.html",
      "source_sha256": "3588e4ca4c0d3ccea9557ccf6fc7618447a2b03ba5748446b8170a50fb0d840f",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "181e4b099ab5ab1dbba878a3397b09b2eadd6246d3353599a2a92ce8b1556025"
    },
    {
      "file": "states-and-fibre-equivalence-relations.md",
      "title": "States and fibre equivalence relations",
      "source": "src/states-and-fibre-equivalence-relations.md",
      "reader": "reader/states-and-fibre-equivalence-relations.html",
      "source_sha256": "7f48bfffe35d711ec7bdd70c10593afe9e800fb8b260544c3cd045ea023a65f9",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "0ae245879e5c296994b06fbfe17e22a08a13323379201444242cbd33df1f6052"
    },
    {
      "file": "states-ideals-and-the-smallest-tensor-norm.md",
      "title": "States, ideals and the smallest tensor norm",
      "source": "src/states-ideals-and-the-smallest-tensor-norm.md",
      "reader": "reader/states-ideals-and-the-smallest-tensor-norm.html",
      "source_sha256": "bc4552f977a776064a2a74e2a55a32f3957cc02b082fb3d530278a3122103125",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "5e603b47cc52eb5c9fb0bcce475af88d3ddd5d7612b0c5fccd0994bfcd9b59be"
    },
    {
      "file": "tensor-independence-and-ideals.md",
      "title": "Tensor independence and ideals",
      "source": "src/tensor-independence-and-ideals.md",
      "reader": "reader/tensor-independence-and-ideals.html",
      "source_sha256": "a1a34d2af31760174f5e9760c6e5e649cf8627f365e3a81e284dfe9f71f819c6",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "e210f7221b819188230978e3c68ac0e57db4ee68cfbff05a1b1ebd67f1e4760b"
    },
    {
      "file": "tensor-norms-and-independent-systems.md",
      "title": "Tensor norms and independent systems",
      "source": "src/tensor-norms-and-independent-systems.md",
      "reader": "reader/tensor-norms-and-independent-systems.html",
      "source_sha256": "abf8876693f172c199bec0cb5fa2fac1b3c76a0063c34ab2d5faf4e163bf6a4e",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "5e38c67f1eb798a8975cb60ae6e8ef90ea482a0924e23fe0fb855616e733a8f3"
    },
    {
      "file": "universal-measurability-and-strong-sequences.md",
      "title": "Universal measurability and strong sequences",
      "source": "src/universal-measurability-and-strong-sequences.md",
      "reader": "reader/universal-measurability-and-strong-sequences.html",
      "source_sha256": "7312f5551fd539724c45a460a60133d4cbbc711bf18ef968ee698af17911aa22",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "6af87b79d8a453c361f88a3f1e65aa1f0db32d691beac43e8bd0ecba718d7f7c"
    },
    {
      "file": "weak-sequences-and-convex-hull-compactness.md",
      "title": "Weak sequences and compact convex hulls",
      "source": "src/weak-sequences-and-convex-hull-compactness.md",
      "reader": "reader/weak-sequences-and-convex-hull-compactness.html",
      "source_sha256": "1271b82e1a80b36cdc39e512b81dc70811affc9fadeea10cc2b28f150e20274c",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "b5ac9fb9a486dd24815bc7c6a27560a269f34d01463a71aee979756209f8cb48"
    },
    {
      "file": "weakly-compact-convex-sets-and-fixed-points.md",
      "title": "Weakly compact convex sets and fixed points",
      "source": "src/weakly-compact-convex-sets-and-fixed-points.md",
      "reader": "reader/weakly-compact-convex-sets-and-fixed-points.html",
      "source_sha256": "facba76bb5dcd0a955dc62245509b581502014e5fa27799f7bfb9c1400bcb086",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms",
      "reader_sha256": "b5ec39b6cb3d89dc58db449671163cfaf0d2d36e2269cc33bc807e4870c5f0f7"
    },
    {
      "file": "orbit-representations-and-orthogonal-state-measures.md",
      "title": "Orbit representations and orthogonal state measures",
      "source": "src/orbit-representations-and-orthogonal-state-measures.md",
      "reader": "reader/orbit-representations-and-orthogonal-state-measures.html",
      "source_sha256": "fecb5169f20bd6c1d8c0aeddf3940501cce2445b4bbe05b138f66675a5e7fe8e",
      "reader_sha256": "0738246aecaa9cd0d06fe93fb7c1275df4e385a7666b1390b3b2ec9c87ca0168",
      "original_expression_license": "CC0-1.0; attributed adaptation subsections retain their stated component terms"
    }
  ],
  "supplements": [
    {
      "file": "spatial-tensor-products.md",
      "title": "Spatial tensor products: complete proof supplement through the commutation theorem",
      "source": "supplements/spatial-tensor-products.md",
      "reader": "reader/supplements/spatial-tensor-products.html",
      "source_sha256": "1c50e49de85dda26391a5b1dc8e46ec5c7f208ef269b71ab336e16d1d095d451",
      "scope": "Conventions and complete Sections 1–11, with Example 7.2 removed; Section 12 and background catalogue excluded.",
      "authorship": "Claude Opus 5.5 (Anthropic), September 2026; original retained expression. Selection and bindings: GPT-6.1 Sol (OpenAI), Ultra",
      "license": "CC0-1.0",
      "reader_sha256": "89401c1df99bcb2fd1aab05f5ad2c2984975ae09b246eb7cb1b7dc531d56ce06"
    },
    {
      "file": "banach-tensor-cross-norms.md",
      "title": "Banach tensor cross norms: complete finite-rank and extremal-norm proofs",
      "source": "supplements/banach-tensor-cross-norms.md",
      "reader": "reader/supplements/banach-tensor-cross-norms.html",
      "source_sha256": "7aa09e09c8d05e4ae2e9f5b6350a68cd6aca6db49102991c4cb5219447d13aa2",
      "scope": "Conventions; Section 1; Definitions 2.1–2.2 and full Theorem 2.3. No Proposition 2.4 or later chapter.",
      "authorship": "Claude Opus 5.5 (Anthropic), September 2026; original retained expression. Selection and bindings: GPT-6.1 Sol (OpenAI), Ultra",
      "license": "CC0-1.0",
      "reader_sha256": "7dd024a4d4f3e09d291c7724389fec7152994f756d3d7e0cc79f334ad1182ae7"
    },
    {
      "file": "spectral-calculus-kernel.md",
      "title": "Spectral calculus: measurable domains and self-adjoint operators",
      "source": "supplements/spectral-calculus-kernel.md",
      "reader": "reader/supplements/spectral-calculus-kernel.html",
      "source_sha256": "f37063ad8d9486683f12d4f8cb11f2240675f3e8b600f5b3c818b67d009dbf7d",
      "scope": "SK01–08, each complete proof; SK09–12 excluded.",
      "authorship": "Original course text; individual model attribution is not supplied. Selection and bindings: GPT-6.1 Sol (OpenAI), Ultra",
      "license": "CC0-1.0",
      "reader_sha256": "10060c18a23777b789458c687f1140e590ae35e5cf14486a7174e441df6c749d"
    },
    {
      "file": "closed-positive-forms.md",
      "title": "Closed positive forms: representation and the exact square-root domain",
      "source": "supplements/closed-positive-forms.md",
      "reader": "reader/supplements/closed-positive-forms.html",
      "source_sha256": "d49620783fa34582c3a9dc2dcd329db7aed47db721b8657ec53c3f0773623be8",
      "scope": "QF01–03, each complete proof; QF04 and later excluded.",
      "authorship": "Programme exposition: OpenAI Codex (AI). Selection: GPT-6.1 Sol (OpenAI), Ultra. Integration and bounded proof check: GPT-6 Astra (OpenAI), Ultra",
      "license": "unresolved",
      "reader_sha256": "d1f7c4a60c2f993c8445752c4c7bb6c6eeee72187c4d367eca230e00c5c1d391",
      "proof_bindings": "closed-form-provider-bindings.json",
      "component_terms_status": "Exact retained/new-text boundary requires reconciliation; not eligible for a licence-filtered export"
    },
    {
      "file": "concrete-preduals-corners.md",
      "title": "Corners and inherited normal functionals",
      "source": "supplements/concrete-preduals-corners.md",
      "reader": "reader/supplements/concrete-preduals-corners.html",
      "source_sha256": "5b868935cc1380966f5214e4f7a8cc9b3a96b26228878a2cef0df835ec5f80c2",
      "scope": "CP11 corner compression/extension proof, stopping before its separate tensor paragraph.",
      "authorship": "Original course text; individual model attribution is not supplied. Selection and bindings: GPT-6.1 Sol (OpenAI), Ultra",
      "license": "CC0-1.0",
      "reader_sha256": "354163cbb142369b59c16d86d3797a5ef08f58591b4dd9fa9e9742ea94c8e073"
    },
    {
      "file": "kernels-and-freeness.md",
      "title": "Identity parts and the algebraic freeness criterion",
      "source": "supplements/kernels-and-freeness.md",
      "reader": "reader/supplements/kernels-and-freeness.html",
      "source_sha256": "a5de694a4ce8a0927b05693cd08e3678b452728db7607e032479cb727cc3b803",
      "scope": "FOUNDATIONS and PROJECTION, through multiplier criterion (3a); later COVARIANCE excluded.",
      "authorship": "Original course text; individual model attribution is not supplied. Selection and bindings: GPT-6.1 Sol (OpenAI), Ultra",
      "license": "CC0-1.0",
      "reader_sha256": "de7efe6015a3027b0c07d8875992cb59a9af7f8e24ab4217f8fa532cf1f6d2a3"
    },
    {
      "file": "discrete-regular-model-independence.md",
      "title": "Discrete regular crossed products and their normal model comparison",
      "source": "supplements/discrete-regular-model-independence.md",
      "reader": "reader/supplements/discrete-regular-model-independence.html",
      "source_sha256": "424750a64e7488dd0928a7542721d3d54923fd32d61710b93ce8366c58e1f8b7",
      "scope": "New explicit discrete specialization retaining original proof mechanism: R1–3 and R13–17 only.",
      "authorship": "Original course text; individual model attribution is not supplied. Selection and bindings: GPT-6.1 Sol (OpenAI), Ultra",
      "license": "CC0-1.0",
      "reader_sha256": "a078fbd74baee67dd2d64027532e8b074ee5884ff0967ec14e1ea4f96677be67"
    },
    {
      "file": "measurable-fields-direct-integrals.md",
      "title": "Measurable fields of Hilbert spaces and their direct integrals",
      "source": "supplements/measurable-fields-direct-integrals.md",
      "reader": "reader/supplements/measurable-fields-direct-integrals.html",
      "source_sha256": "b8904d32f43f9836a0580a6866b42b0b8d8b1d163575da29ae08199d39032e6a",
      "scope": "Complete chapter",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "7d889bb38792449b2c7581224b5680067e241416953904c7c4eef1a52dd74ccc"
    },
    {
      "file": "decomposable-operators-diagonal-algebra.md",
      "title": "Decomposable operators and the diagonal algebra",
      "source": "supplements/decomposable-operators-diagonal-algebra.md",
      "reader": "reader/supplements/decomposable-operators-diagonal-algebra.html",
      "source_sha256": "e24010b91cb94265831e45ed2e525cc5f1d200528059f5cd36c76f868d956e35",
      "scope": "Complete chapter",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "00c86f7958b8f6b37a0223b55e6f06930006cba4df68cf21bf90479bcea26569"
    },
    {
      "file": "effros-borel-structure.md",
      "title": "The Effros Borel structure",
      "source": "supplements/effros-borel-structure.md",
      "reader": "reader/supplements/effros-borel-structure.html",
      "source_sha256": "8b5fe1ccec12aed796cbc1514012abb03d5dc9b489db519750b70ec4569738ec",
      "scope": "Complete chapter",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "422d953b3e16915d62d85aaddc9b002450365c9ca8d3f1c44a5b64ea59cbc819"
    },
    {
      "file": "direct-integrals-of-von-neumann-algebras-commutants-and-centres-takesa.md",
      "title": "Direct integrals of von Neumann algebras",
      "source": "supplements/direct-integrals-of-von-neumann-algebras-commutants-and-centres-takesa.md",
      "reader": "reader/supplements/direct-integrals-of-von-neumann-algebras-commutants-and-centres-takesa.html",
      "source_sha256": "d6e229850450acd9d810b27fd1b879cd86e0b58691da19ddfdf06668f374e847",
      "scope": "Complete chapter",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "55937c9355e9ae499d0b3e1d72bcc9822e6200c8d0c2b11fc8b359dc442bd14f"
    },
    {
      "file": "traces-on-von-neumann-algebras-part-a-def-v-2-1-to-def-v-2-17.md",
      "title": "Traces on von Neumann algebras",
      "source": "supplements/traces-on-von-neumann-algebras-part-a-def-v-2-1-to-def-v-2-17.md",
      "reader": "reader/supplements/traces-on-von-neumann-algebras-part-a-def-v-2-1-to-def-v-2-17.html",
      "source_sha256": "4b2880d94141fde057624a5227196a2b660d4c9c8ab34d7ef683744857a8bd30",
      "scope": "Complete chapter",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "572c4b32f6ebf1e4a9efbfc5ddc19fe7e1da3da4bac96df38d3e6d81c0608a77"
    },
    {
      "file": "normal-representation-comparison.md",
      "title": "Comparing normal representations with properly infinite commutants",
      "source": "supplements/normal-representation-comparison.md",
      "reader": "reader/supplements/normal-representation-comparison.html",
      "source_sha256": "7f49502969912b2ebee9821bdabf5bd7bc60974106ad4cc12daec8c63117bafd",
      "scope": "Conventions; minimal Facts 2.1/2.2/2.3(1)/2.4/2.7/2.10; complete Sections 3 and 4 excluding Remark 4.4",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).; Selection and exposition: GPT-6.1 Sol (OpenAI), Ultra, October 2026",
      "license": "CC0 1.0 public-domain dedication; original component notice retained; selection and route notes CC0",
      "reader_sha256": "68933307b4c1b343d0f28eb0a06fadf04f81562ab6b71ce667186bf91714656b"
    },
    {
      "file": "tracial-gns-and-finite-algebras.md",
      "title": "Tracial GNS representations and finite von Neumann algebras",
      "source": "supplements/tracial-gns-and-finite-algebras.md",
      "reader": "reader/supplements/tracial-gns-and-finite-algebras.html",
      "source_sha256": "7bb8a6e95fc554f2281dc148a1abd1ef5b691865da9598d1741daadd65ff2cb3",
      "scope": "Definition 11.1; Proposition 11.2(1)-(2); all trace/involution/cyclic-and-separating proof paragraphs through faithfulness; elementary finiteness corollary",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).; Selection and exposition: GPT-6.1 Sol (OpenAI), Ultra, October 2026",
      "license": "CC0 1.0 public-domain dedication; original component notice retained; selection and route notes CC0",
      "reader_sha256": "b6d322a2d7eaf6e3b9dd93991b85e79f1efba2e2f9f7463c0ecde39eda2fcdc9"
    },
    {
      "file": "trace-duality-and-expectations.md",
      "title": "Trace Hilbert spaces, commutation, comparison and expectations",
      "source": "supplements/trace-duality-and-expectations.md",
      "reader": "reader/supplements/trace-duality-and-expectations.html",
      "source_sha256": "7a9d408b0e4a62dca711f372ad26dae139e1b4f51a5dc8aa562000f50fbd27f1",
      "scope": "Complete Sections 1, 2, 3, 7 and 9; complete proofs and examples",
      "authorship": "Written by Claude Opus 5.5 (Anthropic), September 2026. Public domain (CC0).; Selection and exposition: GPT-6.1 Sol (OpenAI), Ultra, October 2026",
      "license": "CC0 1.0 public-domain dedication; original component notice retained; selection and route notes CC0",
      "reader_sha256": "9aff311aa172e92e7b3ff7a18fabc02eabcfeaec05df50fb0a2b517edaff32a0"
    },
    {
      "file": "elementary-measurability-tools.md",
      "title": "Elementary measurability tools",
      "source": "supplements/elementary-measurability-tools.md",
      "reader": "reader/supplements/elementary-measurability-tools.html",
      "source_sha256": "23aaba21481d1f932319393f8d8fd4dde69ffbfbe2737ec491fe48fda13f331d",
      "scope": "Complete proofs: separable Hilbert weak/Borel/finite-range measurability equivalence; monotone class theorem for sets; finite-measure Egoroff and compact Radon cutoff; interval/arc step-function density and translation continuity",
      "authorship": "Written by GPT-6.1 Sol (OpenAI), Ultra, October 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "83361552ca2a15f428b9d1f446432256c93a652d64551dd2e179be0af42218c0"
    },
    {
      "file": "normal-abelian-representations-over-a-given-base.md",
      "title": "Normal abelian representations over a given measure space",
      "source": "supplements/normal-abelian-representations-over-a-given-base.md",
      "reader": "reader/supplements/normal-abelian-representations-over-a-given-base.html",
      "source_sha256": "51705e20111e06681cf2d8c968a30a75ab4560a505f8f4e8ca050cfc7a402b8c",
      "scope": "Complete construction: countable reducing cyclic decomposition; positive Radon-Nikodym weights; measurable coordinate field; full scalar-multiplier intertwiner over the specified sigma-finite base",
      "authorship": "Written by GPT-6.1 Sol (OpenAI), Ultra, October 2026. Public domain (CC0).",
      "license": "CC0 1.0 public-domain dedication; original component notice retained",
      "reader_sha256": "5e1b2e2c21192a3cd387fff37c51b61ccd665434a5946591563f6e16f29aa1a2"
    },
    {
      "file": "atomic-central-decomposition.md",
      "title": "Atomic central decomposition: arbitrary cardinality and Hilbert space",
      "source": "supplements/atomic-central-decomposition.md",
      "reader": "reader/supplements/atomic-central-decomposition.html",
      "source_sha256": "c7ddf7b72d271b8f7adfadb720e86298b2a878a8c0a5fe93814d198a236057cc",
      "reader_sha256": "356733857bd4dc01416c0cd36e8493d6723a7cb849b7572251d3d520225dab3d",
      "scope": "Atomic centre; arbitrary Hilbert space and index cardinality; normal bounded product of factor corners and the uncountable non-sigma-finite boundary example. No unrestricted nonatomic central-decomposition claim.",
      "authorship": "GPT-6.1 Sol (OpenAI), Ultra, October 2026",
      "license": "CC0-1.0"
    },
    {
      "file": "compat.md",
      "title": "Exact domain instantiation for the preserved commutant proof",
      "source": "supplements/orbit-proof-route/compat.md",
      "reader": "reader/orbit-proof-route/compat.html",
      "source_sha256": "0460fe95f6bdf9f2b4ce9b189b11683e45bc105512cd7e7944c571ad8b6ef947",
      "reader_sha256": "020af7a2fe30b8abe3dfcadc3155f82d1f6c24ba39a9baa207e25b3507308f7e",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "lowerbindings.md",
      "title": "Predual, normal-weight and cone arguments for the orbit proof",
      "source": "supplements/orbit-proof-route/lowerbindings.md",
      "reader": "reader/orbit-proof-route/lowerbindings.html",
      "source_sha256": "037839b1ae406da50eba518eb8bf542b2b7cebd39f5521cab924f5d1ce48e2d8",
      "reader_sha256": "2c855a9d01c0e66aac35da882d8a8d5f982bafe8155e2f182710d24386f00a50",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "rootdomain.md",
      "title": "The tensor-domain formulas and their graph core",
      "source": "supplements/orbit-proof-route/rootdomain.md",
      "reader": "reader/orbit-proof-route/rootdomain.html",
      "source_sha256": "03dc9298e4fd9d2d951900cab7c105afba4044ce6bb74c97f9e80be8254fbf11",
      "reader_sha256": "cbb1550ce7ec852d9cfc40d338152b751672c28ba4d97bb88b25c181265f0989",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "roottensor.md",
      "title": "Tensor weight transport and cancellation of the common factor",
      "source": "supplements/orbit-proof-route/roottensor.md",
      "reader": "reader/orbit-proof-route/roottensor.html",
      "source_sha256": "55dfbff4b9d8a31c9040a1ff1bee383e61b15ac6d7a13c33bddc1e116061fb13",
      "reader_sha256": "32be0e8fd63730ac59d2ddd79e6bd2fce31192b294062398789d553134520a77",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "support.md",
      "title": "Precise bridges for the coefficient route",
      "source": "supplements/orbit-proof-route/support.md",
      "reader": "reader/orbit-proof-route/support.html",
      "source_sha256": "7958576072791a567379277c97108c1d947fe22acae7ed4da2d186f2add85d4b",
      "reader_sha256": "9eb29a7247301a75ab62be6716b7344b20c2241d8370cb959a9b2312cceca4df",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "owned-2.md",
      "title": "The commutant action and its modular prerequisite",
      "source": "supplements/orbit-proof-route/owned-2.md",
      "reader": "reader/orbit-proof-route/owned-2.html",
      "source_sha256": "dbe849e06369ac0e73563c79f2df85f1fee31df9525b2baf951a4b7807a686ea",
      "reader_sha256": "c3f52b0417f84c3d0b26528c4d184aa9e0b9b4a254d597f7985cdcdf876a8a55",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "owned-4.md",
      "title": "The regular commutant in every covariant representation",
      "source": "supplements/orbit-proof-route/owned-4.md",
      "reader": "reader/orbit-proof-route/owned-4.html",
      "source_sha256": "781e20a4c94b9d6a09c82ee773c00d3b6cc8723ac0d30ad67894760b9e3e2370",
      "reader_sha256": "1c1920a78bdd282b133802294b69e45b5ba67c6c3af268eef0ef8ba0f84e3c8b",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "owned-vector-copy.md",
      "title": "OA-MOD-SC-02. Positive observations can be implemented by vector sums",
      "source": "supplements/orbit-proof-route/owned-vector-copy.md",
      "reader": "reader/orbit-proof-route/owned-vector-copy.html",
      "source_sha256": "c186a2f5bac16ec51c9be61c3b00c80285bb60f5520d64eef1666790b5920f84",
      "reader_sha256": "de8fbf4d0e8bdaa5db2157ce3a5896156ee1cee3b1acc83b0b5f9a9be8d4ab38",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "owned-1.md",
      "title": "The standard crossed-product commutant",
      "source": "supplements/orbit-proof-route/owned-1.md",
      "reader": "reader/orbit-proof-route/owned-1.html",
      "source_sha256": "3cef320db612699d4422c189d541a14b7d16af3b38ceed8cfe35c6fe763f4f9b",
      "reader_sha256": "b38183a4bdb505f01a4ea88a465e7974b3f51b8267da6e1e897d6cc04d9e39a0",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "spatialbinding.md",
      "title": "Tensor commutants and arbitrary representation amplification",
      "source": "supplements/orbit-proof-route/spatialbinding.md",
      "reader": "reader/orbit-proof-route/spatialbinding.html",
      "source_sha256": "198e501e162a496686d049a2206c9ded1e0dd99fd993382a8fdbaffda73c06d4",
      "reader_sha256": "edf102395a7c0ee9bb3972d20ceedd649ef13d14fb5d8cef88d512380c3d2299",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "ot2completion.md",
      "title": "Explicit completion lemma for the diagonal tensor-weight proof",
      "source": "supplements/orbit-proof-route/ot2completion.md",
      "reader": "reader/orbit-proof-route/ot2completion.html",
      "source_sha256": "7b81c14af012ac49a7b3a2a9f906921008b4345b23add82779982964f7f9925d",
      "reader_sha256": "aaeac670039002a95cfc0dd261b6259f37f04a3869e4aa1957ee74b5fd4e12a4",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "sg.md",
      "title": "Banach holomorphy, generators, and resolvent limits",
      "source": "supplements/orbit-proof-route/sg.md",
      "reader": "reader/orbit-proof-route/sg.html",
      "source_sha256": "ba15abbc6157e4883974c394c38d6a8982f07e93d55da9aecaa5c6d42232c879",
      "reader_sha256": "7fdc3217ac55fdbd7caa147562d0a87abc278ec0060b89518cd6ddf85177dffd",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "ch.md",
      "title": "Changing reference for a weight cocycle",
      "source": "supplements/orbit-proof-route/ch.md",
      "reader": "reader/orbit-proof-route/ch.html",
      "source_sha256": "fa67d095480a77e759ebad6e583724a8a53c43a208a8b521d23a8216aca9efc3",
      "reader_sha256": "ac0fb39cf456dbe1dfd7a4a16bf721ea95e35440522d30488b98945c3fec6f95",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "lower-countable-amplification-bicommutant.md",
      "title": "Countable amplification and the ultraweak bicommutant closure",
      "source": "supplements/orbit-proof-route/lower-countable-amplification-bicommutant.md",
      "reader": "reader/orbit-proof-route/lower-countable-amplification-bicommutant.html",
      "source_sha256": "134dfe44b43e6102c7e4746718d054692382993b7952159a87b465c2f6818072",
      "reader_sha256": "cb5b51ff4dfdfca827206b62b9aa766086d0ae27cd542bee3c679f370e2f72bb",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "lower-dominated-weight-forms.md",
      "title": "Comparing weights through their finite-energy vectors",
      "source": "supplements/orbit-proof-route/lower-dominated-weight-forms.md",
      "reader": "reader/orbit-proof-route/lower-dominated-weight-forms.html",
      "source_sha256": "e09b8b04434cba5a48585058cf6d85cbeb0f2c015ba865079610e17516b15811",
      "reader_sha256": "3cee565796316d4f7d164e17fdb425653aaa5235961ffd3d719ad08a9e4daa1d",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "lower-hilbert-algebra-approximation.md",
      "title": "Approximating multiplication without losing its bound",
      "source": "supplements/orbit-proof-route/lower-hilbert-algebra-approximation.md",
      "reader": "reader/orbit-proof-route/lower-hilbert-algebra-approximation.html",
      "source_sha256": "ff98ee5d59fddc02c053359fdfedeb217c5b72f40e46f2875258178ef988437b",
      "reader_sha256": "26484c435cbe7b4d6d63495e329c80f02dd7325d58031edfd1fb5dd359b4129c",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "ha.md",
      "title": "Building the two multiplication actions of a Hilbert algebra",
      "source": "supplements/orbit-proof-route/ha.md",
      "reader": "reader/orbit-proof-route/ha.html",
      "source_sha256": "edb78b76155d430f6effa27794aac36601f852ec54ebdaf35d042a3afb23198c",
      "reader_sha256": "04608a2938ef614036977711ce3acb9a16c2eb980bb059d17fb6a8abe437289f",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "ma.md",
      "title": "Analytic kernels for unbounded modular operators",
      "source": "supplements/orbit-proof-route/ma.md",
      "reader": "reader/orbit-proof-route/ma.html",
      "source_sha256": "b47294d04ac686a60c0d6af6b21204e36c1c8c09295cafa16a9c92480be95ad2",
      "reader_sha256": "f66287d1ba9a45b6d7583a91092a54f61acb362275d8ef660da05fa1c32c6840",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "mf.md",
      "title": "The modular group and its analytic algebra",
      "source": "supplements/orbit-proof-route/mf.md",
      "reader": "reader/orbit-proof-route/mf.html",
      "source_sha256": "e113c8e91675d866af4659b3b355060d78c4e5858cb6b80e6fd308d65a9a57f7",
      "reader_sha256": "43d281ec4f5b594ebcb09295d1ecbcaea552f8ff2da76ff312bedd0b5a65277a",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "nw.md",
      "title": "Detecting normal weights by finite observations",
      "source": "supplements/orbit-proof-route/nw.md",
      "reader": "reader/orbit-proof-route/nw.html",
      "source_sha256": "042549fd0240fd8ac414545029f244afb0bd85ad94304ecabf579365ce2251d3",
      "reader_sha256": "61aa8f26ada9572e0c6de8f9f184f86f281351282241c8465029ff7da2b44e2c",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "ow.md",
      "title": "A faithful weight on the GNS commutant",
      "source": "supplements/orbit-proof-route/ow.md",
      "reader": "reader/orbit-proof-route/ow.html",
      "source_sha256": "50520800e0d3715de72da08f0a55452c3f282b574d7aa9938b34d53e8981f81b",
      "reader_sha256": "a3b40f178be873e705c534cf19d0d35fd8e1fe95a56fe05eda8812db14c1f21c",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "rd.md",
      "title": "Recovering the commutant from right-bounded vectors",
      "source": "supplements/orbit-proof-route/rd.md",
      "reader": "reader/orbit-proof-route/rd.html",
      "source_sha256": "2b51a7602c98ffaf6edad72c1c8681d487622c585db4e6129c7be477ef8758f3",
      "reader_sha256": "ac8a16bcf43b0785c0a23e7247f8b4a981af19820fc40bbbc53b47ed64cc1e0a",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "si.md",
      "title": "Spatial energy as a corner of a modular operator",
      "source": "supplements/orbit-proof-route/si.md",
      "reader": "reader/orbit-proof-route/si.html",
      "source_sha256": "0aa35854e872d87ee97766824eae497573a459b0d087b1e2faf8442e07f35ef8",
      "reader_sha256": "d4e509f7a41ac5047a1f1680a881f10131565791880b7a7d6d25bef5a6a57872",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "se.md",
      "title": "Recovering a representation from its positive cone",
      "source": "supplements/orbit-proof-route/se.md",
      "reader": "reader/orbit-proof-route/se.html",
      "source_sha256": "d2fe5421120a372cdca2f7b0242d2da241ca91d30573929a82951f5ea7f709f2",
      "reader_sha256": "9f6ffd8a590c1071dbe3e96bbfdc00a4b636127518fbc710dfd4cbadd2afd438",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "sf.md",
      "title": "The positive cone of a standard representation",
      "source": "supplements/orbit-proof-route/sf.md",
      "reader": "reader/orbit-proof-route/sf.html",
      "source_sha256": "34a8a69624fa1779e1214fbb40bce57c9e1b766274100ea4b4c30c2a7c91eb1b",
      "reader_sha256": "3a09c605ed8c74bcd7a7f7d8afe388519d5611dc76dea9c71b55743f261160d0",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "tg.md",
      "title": "Tensor operators, their full domains, and tensor weights",
      "source": "supplements/orbit-proof-route/tg.md",
      "reader": "reader/orbit-proof-route/tg.html",
      "source_sha256": "51b21829d0d2070e1e0812eb9a517769146ebdc8b2b03737c8a7d836327b33f6",
      "reader_sha256": "141609b2f6135fb1fc0b4d6630cbf20e43e614a46689020d92b1178beb1a250a",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "wg.md",
      "title": "General weights: finite domains, GNS spaces, and normal representations",
      "source": "supplements/orbit-proof-route/wg.md",
      "reader": "reader/orbit-proof-route/wg.html",
      "source_sha256": "90be315e51a635e2f1f4c925db1394d8978a0048aa0e86fcbf03c81b6ed73bb4",
      "reader_sha256": "6d61dceb90f04687f7805f146d2c06b21d1d4862017b38745f2622b5ace2d2e9",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "wh.md",
      "title": "Weights and the Hilbert spaces of multiplication",
      "source": "supplements/orbit-proof-route/wh.md",
      "reader": "reader/orbit-proof-route/wh.html",
      "source_sha256": "f1131a0a1d6d9fb19fe11d92e8a4a2d48734e27f2ae4592927a01f5768192ff9",
      "reader_sha256": "d8f632af8fb44254969e2766a209fadf957cfa31318c7c1f96b891b1158a97a2",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f07.md",
      "title": "Closing a domain after spectral localization",
      "source": "supplements/orbit-proof-route/f07.md",
      "reader": "reader/orbit-proof-route/f07.html",
      "source_sha256": "e0ebc89786dd2cad1c687637cb1e85a462a23a96300a1cce2c47955596bb5ae2",
      "reader_sha256": "e7bf814ff2800ba815cba72935b41a8deab84c526f3b839ed95d145db234cc48",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f08.md",
      "title": "Integrating covariance with left Haar measure",
      "source": "supplements/orbit-proof-route/f08.md",
      "reader": "reader/orbit-proof-route/f08.html",
      "source_sha256": "3c52c01cf573970e146320b5e3596885e6b0bedd9ee646bd9119cf0ee67350a2",
      "reader_sha256": "12c5a30b04a42bff70eaffcadd9e4426b4b4bededa6a86cd72d8300b64566c26",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f09.md",
      "title": "A coefficient domain for the dual GNS construction",
      "source": "supplements/orbit-proof-route/f09.md",
      "reader": "reader/orbit-proof-route/f09.html",
      "source_sha256": "dd48f3fdd40455384e7976c9ea332dd5651b3e756a2dbecdc98dbc05323b9217",
      "reader_sha256": "feeafb080cc884436c862b20a3027286157104a43950ceb7ece77c1863310750",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f10.md",
      "title": "Moving an action and a modular parameter together",
      "source": "supplements/orbit-proof-route/f10.md",
      "reader": "reader/orbit-proof-route/f10.html",
      "source_sha256": "2d96133cd7a9eeb693a4baa0e08f7bdb934af25c9ab0869913f1f20ac022d801",
      "reader_sha256": "5d2be24d9620fd14d0521addb18273fb784b0fb73fec6b807bf39d2916e18f1f",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f11.md",
      "title": "Continuity of actions: scalar tests, preduals, and bounded nets",
      "source": "supplements/orbit-proof-route/f11.md",
      "reader": "reader/orbit-proof-route/f11.html",
      "source_sha256": "346cb3e11e327321c67efce97a452ce9ece728ea9db111f4a9848ca84e8b3388",
      "reader_sha256": "c62b5b741d2607debb22fa733ca0c1ead6e1b2e4d7b11f777a4318b6eb4ffdf3",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f12.md",
      "title": "Modular time on a crossed-product coefficient algebra",
      "source": "supplements/orbit-proof-route/f12.md",
      "reader": "reader/orbit-proof-route/f12.html",
      "source_sha256": "c27635a3d16e62749f72bf1dad7ce7a22f8dd5a6ffa40074506c2de7eb38fa22",
      "reader_sha256": "dbef890206140a56bfbb8972b7395d29a6a0414f409bfdee45f3fcb24eeec860",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "f15.md",
      "title": "Changing the Hilbert space of a regular crossed product",
      "source": "supplements/orbit-proof-route/f15.md",
      "reader": "reader/orbit-proof-route/f15.html",
      "source_sha256": "5b5570b6dda6d5ccef41ab7ce1d28471369a2b3f1d0110785c0e3f369b997046",
      "reader_sha256": "d9a8b274e6d85ba3898395929d7698a788bee4fe75c724fa33d4537c4c6cfdc8",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "target-bf06.md",
      "title": "Kernels, local fixed parts, and freeness",
      "source": "supplements/orbit-proof-route/target-bf06.md",
      "reader": "reader/orbit-proof-route/target-bf06.html",
      "source_sha256": "fb92d5b6b4a12684c5266fe061bab38f08bed384d52286e3592ba9138535db2f",
      "reader_sha256": "62ae5a7e4ab3ea7aa05fcf0f972fb7856269acd241a636bd750924db1bce8043",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "target-fc.md",
      "title": "Closing energy domains and comparing resolvents",
      "source": "supplements/orbit-proof-route/target-fc.md",
      "reader": "reader/orbit-proof-route/target-fc.html",
      "source_sha256": "9e539670cf7d31b770d275c8497e37d2ad5c350a9f29b3d92613dd07b0f12561",
      "reader_sha256": "dcb49c68faec315f997cedf62f841e0650b8b2f6c42f2ddbdcffee0bd8d94e68",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "target-dw02.md",
      "title": "Bounded factorization",
      "source": "supplements/orbit-proof-route/target-dw02.md",
      "reader": "reader/orbit-proof-route/target-dw02.html",
      "source_sha256": "4ef57443ee58c0a1d6a35bcec51081e8d30122bb24fa3fd4f46761468fdbcad5",
      "reader_sha256": "f63dbda0839b4c32b70a40b06000d7d3ac149fc60d12ba7a3e0fdbd3105f7d92",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "target-ci.md",
      "title": "Compatible pairs and complex interpolation",
      "source": "supplements/orbit-proof-route/target-ci.md",
      "reader": "reader/orbit-proof-route/target-ci.html",
      "source_sha256": "8e2f1d96af0f3e503001562e90fcd26c0eb2f1b106919f59d016a3b0e99effa8",
      "reader_sha256": "44ce4d55431f06206d730f30f564a46296e74e06f70b21c03135c5e52055ac26",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "target-f11.md",
      "title": "Continuity of actions: scalar tests, preduals, and bounded nets",
      "source": "supplements/orbit-proof-route/target-f11.md",
      "reader": "reader/orbit-proof-route/target-f11.html",
      "source_sha256": "e294b7007cc5b82b0931857d339718866313615e27837d74ebfee71b40f07d9e",
      "reader_sha256": "1b2290c8599839731e0baaea7b1c3c218aca64eebc8072b9a3545579489b2c11",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "scdirect.md",
      "title": "Constructing spatial energy from finite observations",
      "source": "supplements/orbit-proof-route/scdirect.md",
      "reader": "reader/orbit-proof-route/scdirect.html",
      "source_sha256": "e1303d754e30583e8cf329c1654d3b26e6abef10b622ddd86851111c0654a5ba",
      "reader_sha256": "13d92030fcd8224e4521cdfa6d186b0b3295f4947aa8d5211cd60fcf0d9c3af4",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "sddirect.md",
      "title": "Spatial comparison on an arbitrary representation",
      "source": "supplements/orbit-proof-route/sddirect.md",
      "reader": "reader/orbit-proof-route/sddirect.html",
      "source_sha256": "009ab2e2517c10113398e14cafaa56d816f678756dfb4536c1f4ea273e61e1e5",
      "reader_sha256": "483502a5f6f7da4d3f43e57938aac2beaff7f5df486e68a3800776aabf56af80",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    },
    {
      "file": "wsdirect.md",
      "title": "Finite domains, null directions, and support corners",
      "source": "supplements/orbit-proof-route/wsdirect.md",
      "reader": "reader/orbit-proof-route/wsdirect.html",
      "source_sha256": "dcb70f8d226c68e3c2f4a46c8aba4d6cb40af4ebc206b68e04267b1942b64bcf",
      "reader_sha256": "378957a73a4bce04f41d37c62805e91d6f24626eacdf0ab16a2d42cc96b89039",
      "scope": "Complete selected proof sections or full supplied application in the exact orbit commutant route; arbitrary group/Hilbert scopes retained where stated.",
      "authorship": "Original programme component; exact recorded authorship retained in component-provenance.json",
      "license": "CC0-1.0"
    }
  ],
  "result_count": 374,
  "provider_result_count": 45,
  "target_count": 210,
  "proof_inputs": "Complete programme proofs at the explicitly stated hypotheses, with exact scholarly references.",
  "authorship": "GPT-6.1 Sol (OpenAI), Ultra; prerequisite components retain their stated authorship",
  "independent_review": false,
  "remaining": [
    "Broader abstract measurable-field realization, and central decomposition without separability assumptions for a nonatomic centre. This edition proves the individual-algebra realization with separable predual and the arbitrary atomic-centre case.",
    "General coupling traces and extended centre-valued coupling constructions."
  ],
  "sources": "sources.json",
  "results": "results.json",
  "targets": "targets.json",
  "component_terms": "sources.html",
  "external_providers": [
    {
      "lesson_id": "OA-MOD-BK",
      "source": "https://kokunoyumeto.github.io/open-math-courses/courses/OA-MOD/src/bounded-operator-kernel.md",
      "reader": "https://kokunoyumeto.github.io/open-math-courses/courses/OA-MOD/bounded-operator-kernel.html",
      "source_sha256": "04e0495ab7ec51fdc6b6f07a5dc835dfa623680103fc9f5bfc0cf30c9204fd3b",
      "reader_sha256": "64405e28af5f51be23ad3785e19b5454156904827d270295c4b813e24370211e",
      "publication_commit": "293eeb5f138194d8c9f361d363115249c263f5b6",
      "consumed_results": [
        "OA-MOD-BK-06",
        "OA-MOD-BK-04",
        "OA-MOD-BK-08"
      ],
      "consumer": "src/normal-products-and-closed-operator-graphs.md",
      "consumer_section": "6.5",
      "conditions": "Concrete unital von Neumann algebra on an arbitrary complex Hilbert space; bounded positive operators; bounded increasing nets; inner product linear in the first variable; no separability or faithful-state assumption. The unitary test holds in any unital norm-closed star subalgebra.",
      "scope": "Bounded support/resolvent cutoffs, bounded increasing-net suprema, and commutation tested on unitaries; no unbounded or modular theorem scope is added."
    },
    {
      "lesson_id": "OA-FND-LF",
      "source": "https://kokunoyumeto.github.io/open-math-courses/courses/measurable-fields-and-direct-integrals/src/the-lifting-theorem.md",
      "reader": "https://kokunoyumeto.github.io/open-math-courses/courses/measurable-fields-and-direct-integrals/the-lifting-theorem.html#OA-FND-LF-06",
      "source_sha256": "48cb5307142d9ecfba815b0b514ccb3130db02adcff5d2573df77a6a2c42e9ba",
      "reader_sha256": "dfeeff0bf6f47ae128d78e86e37ff130cee7c3bfa81bee4e5c030ffa7d69e561",
      "version_commit": "f38fb728b1757571b3b140dcf1158433d9e60242",
      "consumed_results": [
        "Theorem 6.2",
        "Corollary 6.3"
      ],
      "consumer": "src/states-and-fibre-equivalence-relations.md",
      "consumer_section": "7, historical context and lifting existence",
      "conditions": "Complete strictly localizable measure space, positive total measure. The consumer explains completion for positive finite probability spaces. Ordinary lifting only; no strong or translation-invariant lifting.",
      "role": "Exact programme proof replacing stale background-theorem assertion; no expansion of the selected fibre theorem scope.",
      "incoming_programme_proofs": [
        {
          "locator": "211A",
          "kind": "definition",
          "proved_statement_or_definition": "Complete measure spaces: every subset of a null measurable set is measurable.",
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/211/index.html#211A",
          "reader_language": "id-ID",
          "reader_sha256": "28e7afba742f5e79b35406e70fb2044dd1a8435f8ffc47e9e1fb9ab8e48d637d",
          "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
        },
        {
          "locator": "211E",
          "kind": "definition",
          "proved_statement_or_definition": "Strict localizability: a partition into finite-measure measurable pieces determines measurability and the measure by arbitrary nonnegative sums.",
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/211/index.html#211E",
          "reader_language": "id-ID",
          "reader_sha256": "28e7afba742f5e79b35406e70fb2044dd1a8435f8ffc47e9e1fb9ab8e48d637d",
          "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
        },
        {
          "locator": "233D",
          "kind": "proved construction",
          "proved_statement_or_definition": "On a probability space, conditional expectations of real integrable functions exist for every sub-sigma-algebra; the proof and measurable-version discussion are in 233Da–233Dc.",
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233D",
          "reader_language": "id-ID",
          "reader_sha256": "6cd843784e3c54cabab4776d777d27557d6900b28b86b17859094ad2cce12130",
          "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
        },
        {
          "locator": "233E",
          "kind": "proved auxiliary properties",
          "proved_statement_or_definition": "Conditional expectation is linear and order preserving, including bounds 0 <= E(1_G | T) <= 1; the corresponding proof is included.",
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/233/index.html#233E",
          "reader_language": "id-ID",
          "reader_sha256": "6cd843784e3c54cabab4776d777d27557d6900b28b86b17859094ad2cce12130",
          "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
        },
        {
          "locator": "275I",
          "kind": "proved theorem",
          "proved_statement_or_definition": "For increasing sub-sigma-algebras, E(X | Sigma_n) converges almost everywhere and in L1 to E(X | sigma(union Sigma_n)), for real integrable X on a probability space.",
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/275/index.html#275I",
          "reader_language": "id-ID",
          "reader_sha256": "92a6313fc33686f86346c8e3a77a49a004df4ccd462fd23f6988636570259581",
          "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
        },
        {
          "locator": "223B",
          "kind": "proved exercise prerequisite",
          "proved_statement_or_definition": "Lebesgue density on the real line: symmetric interval densities are 1 almost everywhere in a measurable set and 0 almost everywhere outside it.",
          "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D10/reader/223/index.html#223B",
          "reader_language": "id-ID",
          "reader_sha256": "f7ed9903b44c332e7459f1c490c4089955464c0bae9b9c323de875e164d01c8e",
          "component_terms": "D. H. Fremlin, Measure Theory, Volumes 1–2; Bahasa Indonesia adaptation by OpenAI Codex gpt-5.6-sol, Ultra (August 2026); Design Science License. Linked existing programme text, not copied or relicensed."
        }
      ],
      "offline_prerequisite_scope": "The two selected English lessons are bundled. Full prerequisite proofs are hosted separately in the programme D10 reader, in Bahasa Indonesia, and require a connection or its separate download.",
      "licence": "CC0-1.0 for the original lifting lesson; linked D10 adaptations retain Design Science License.",
      "authorship": "Claude Opus 5.5 (Anthropic), October 2026."
    },
    {
      "source": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/src/the-universal-enveloping-von-neumann-algebra-of-a-c-star-algebra-and-w-star-algebras.md",
      "reader": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/the-universal-enveloping-von-neumann-algebra-of-a-c-star-algebra-and-w-star-algebras.html#oa-fnd-wa-22",
      "source_sha256": "4de77e7e8e0e2ded632f7176ceb31036e9bdfd90a7e32156a59ff87afc0dccc3",
      "reader_sha256": "00a007f287d49f695fe799e65c40a7da651cb2aba9f9cbfa747097b7f957bdef",
      "version_commit": "b8b0537a78a9992716feb32f0fdbbec7903f9320",
      "conditions": "Theorem 9.2 and Proposition 12.1: abstract faithful normal representation, normal GNS, von Neumann image and normal inverse; no separability restriction.",
      "consumer": "src/base-changes-and-disintegration.md, Lemma 4.2",
      "role": "Complete earlier programme proof at the explicitly stated hypotheses."
    },
    {
      "source": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/src/representations-and-positive-functionals-the-gns-construction-and-the-gelfand-naimark.md",
      "reader": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/representations-and-positive-functionals-the-gns-construction-and-the-gelfand-naimark.html#oa-fnd-gn-05",
      "source_sha256": "04eedf8b559e12193fdfaabaf9dedd68dd89f49d2e91e23eeaaec275befdb97a",
      "reader_sha256": "b8ad59335cade91fc2ed8dacbf2eb3e7c86dea3c121ad4e26a14426de922364f",
      "version_commit": "b8b0537a78a9992716feb32f0fdbbec7903f9320",
      "conditions": "Construction 5.1, Lemma 5.2 and Theorem 5.4: Hilbert completion and bounded GNS left multiplication for a unital algebra and positive state.",
      "consumer": "src/base-changes-and-disintegration.md, Lemma 4.2",
      "role": "Complete earlier programme proof at the explicitly stated hypotheses."
    },
    {
      "source": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/src/weak-topologies-tychonoff-banach-alaoglu-mazur-bipolars-krein-milman-and-eberlein-smulian.md",
      "reader": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/weak-topologies-tychonoff-banach-alaoglu-mazur-bipolars-krein-milman-and-eberlein-smulian.html#oa-fnd-wt-03",
      "source_sha256": "3b191ac5f149ab4b7705128185f944e4227b250290a5593a4932b68a0fb05df9",
      "reader_sha256": "4be2a48bff7b78aed3a9689b5bd87e32b64b85fba139b06847acbb4d27452131",
      "version_commit": "b8b0537a78a9992716feb32f0fdbbec7903f9320",
      "conditions": "Theorem 3.1 and Proposition 3.2: compact dual unit ball, weak-star metrizable when the predual is norm separable.",
      "consumer": "src/base-changes-and-disintegration.md, Lemma 4.2",
      "role": "Complete earlier programme proof at the explicitly stated hypotheses."
    },
    {
      "source": "https://kokunoyumeto.github.io/open-math-courses/courses/OA-MOD/src/bounded-operator-kernel.md",
      "reader": "https://kokunoyumeto.github.io/open-math-courses/courses/OA-MOD/bounded-operator-kernel.html#OA-MOD-BK-03",
      "source_sha256": "04e0495ab7ec51fdc6b6f07a5dc835dfa623680103fc9f5bfc0cf30c9204fd3b",
      "reader_sha256": "64405e28af5f51be23ad3785e19b5454156904827d270295c4b813e24370211e",
      "version_commit": "b8b0537a78a9992716feb32f0fdbbec7903f9320",
      "conditions": "BK03, BK04 and BK06: fixed ultraweak multiplication, arbitrary bounded increasing nets and support cutoffs; arbitrary Hilbert space.",
      "consumer": "src/base-changes-and-disintegration.md, Lemma 4.2; supplements/atomic-central-decomposition.md",
      "role": "Complete earlier programme proof at the explicitly stated hypotheses."
    }
  ],
  "orbit_proof_route": {
    "guide": "reader/orbit-proof-route/index.html",
    "record": "orbit-proof-route.json",
    "source_manifest_sha256": "5631641a0335c3ceedb55d408e03138c3c452403b547a9a7b6a8a44747af3f78",
    "general_commutant_scope": "Arbitrary Hilbert spaces, locally compact Hausdorff groups, normal unital covariant representations including invariant central-kernel quotients.",
    "selected_application_review": "OT.1–3 including the full corner-completion argument were checked in a separate internal workflow.",
    "human_review": false,
    "whole_course_review": false
  },
  "assigned_provider_bindings": {
    "targets": 13,
    "record": "orbit-proof-route.json",
    "scope": "Exact complete provider proofs, including BF15 equivariant naturality and the CI06 scalar multiplier condition."
  }
}