{
  "schema": "programme-source-record/v1",
  "title": "Inner approximations compatible with a crossed product",
  "source": "src/inner-approximations-compatible-with-a-crossed-product.md",
  "reader": "inner-approximations-compatible-with-a-crossed-product.html",
  "source_sha256": "8abb14fb1e9fa359c2d5301e15096293dfd6d274fc8808b95ee3a53bd8ed373b",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Mathematical exposition, figure and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Source comparison, fixed-functional correction estimate and core-continuity exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; cited human works retain their rights.",
  "scope": "The module kernel for approximately finite type III-zero factors: nonfactor coefficient approximation, central coboundaries, return normalization and canonical-extension continuity; eight solved exercises.",
  "human_sources": [
    {
      "author": "Masamichi Takesaki",
      "title": "Theory of Operator Algebras III",
      "year": 2003,
      "url": "https://doi.org/10.1007/978-3-662-10453-8",
      "scope": "XVIII.2, Theorem2.8(i), Lemma2.9 and ExerciseXVIII.2.1, pp.326–328.",
      "role": "Classical module-kernel theorem, normal form and cyclic-coboundary correction route."
    },
    {
      "author": "Masamichi Takesaki",
      "title": "Theory of Operator Algebras II",
      "year": 2003,
      "url": "https://doi.org/10.1007/978-3-662-10451-4",
      "role": "Continuous decomposition, weight and return theory; detailed passage comparison remains incomplete."
    },
    {
      "author": "Alain Connes",
      "title": "Classification of injective factors. Cases II1, II infinity, III lambda, lambda not equal to1",
      "year": 1976,
      "url": "https://doi.org/10.2307/1971057",
      "role": "Classification and approximate finiteness context; full ancestry comparison remains incomplete."
    }
  ],
  "programme_sources": [
    {
      "source": "src/central-sequences-and-the-module-circle.md",
      "source_sha256": "4806c725352e2784ec480bab3200a96dd390ee83c944bb69517f365636902dd7"
    },
    {
      "source": "src/trace-scaling-on-the-hyperfinite-semifinite-factor.md",
      "source_sha256": "948c9151e55f8e01192f6068e74827cd49c635707465fcf4596650c658670f60"
    }
  ],
  "external_programme_sources": [
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-PC.md",
      "source_sha256": "ddf3c5bbeffa1f46d68941d589daa9791387d95497e4661bec94cb1e76b77463",
      "scope": "PC0–8: central comparison, finite/properly-infinite splitting, finite joins, filling families and countably decomposable comparison."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-L37.md",
      "source_sha256": "a6e50f46964dcbfeb09662d4678673e0b4c07533fda3fae05a346d2b9242e30b",
      "scope": "Marker lemma, F10–F11: exact increasing finite Borel relation exhaustion."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-L38.md",
      "source_sha256": "350b25105a0094f16c253ae39fcf5934ec29d2ad951303e1d5525d035ffd8099",
      "scope": "Full signed suspension construction throughS32; retained99 reading, unchanged bytes."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-DWC.md",
      "source_sha256": "ca0771968d6f96d9666d8a4c749e1b4bce63c34f74b13c1981058c304bd04e44",
      "scope": "Setting and Sections1–4 throughDWC4.j; retained101 reading, unchanged bytes."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-CST.md",
      "source_sha256": "38d1a56d8601eceab1761df4ad523e13bf5a61b873343df805b73418e0c18596",
      "scope": "Setting and Sections1–5; retained101 reading, unchanged bytes."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-SR.md",
      "source_sha256": "b868cfa83cfa7c925df5a1aac20b824f4e312cc23b57d5e083a4f06ea4e5b4ae",
      "scope": "Setting and Sections2–7: product models, faithful regular crossing maps, center and coarse-type transfer. Section1 and underlying IW/field foundations remain transitive inputs."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-ZDC.md",
      "source_sha256": "7136d488d023a539642e99c2ec177f6d42a103f1affdd50212b5ffc2e0b1eff2",
      "scope": "Setting and Sections3–4/7: global trace splitting, contraction and normal crossed-product identifications. Section2 retained103; other sections remain separately scoped."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/OA-FLOW/src/OA-FLOW-CIM.md",
      "source_sha256": "7a3e617d2985e9ae8fd54d1bc0171ba113bfbaec198417b0325cbd553c07a402",
      "scope": "Setting and Sections1–5: normalized canonical extension and u-continuity. OA-MOD-OC and the other cited modular/standard-form foundations remain transitive inputs."
    },
    {
      "source": "https://github.com/KokunoYumeto/open-math-courses/blob/86760c7c411f1e1ddab5f00876c2ead999fd6ee9/docs/courses/type-iii-factors/src/ultraproducts-and-the-asymptotic-centralizer.md",
      "source_sha256": "2a691267586b6544f8ab8c3570ac690b39194cc209292e84e68d184b9dbf95ee",
      "scope": "Sections7–8; retained101 reading, unchanged bytes. Earlier analytic foundations remain transitive inputs."
    }
  ],
  "figures": [
    {
      "path": "figures/rare-cut-coboundary.svg",
      "sha256": "d8b0f573bdfd6b426eb1b72d38985d2df86054456dc0cd6a4652c794d9ef7cd9"
    },
    {
      "path": "figures/rare-cut-coboundary.png",
      "sha256": "2700a4eb910539c80866945331c9aa9685c262d9bcd92389c9913f94abeaec3c"
    },
    {
      "path": "figures/draw_rare_cut_coboundary.py",
      "sha256": "478bdc04cb3aaa06568b03f25775631efac847cb57896d4627593f6c6719f372"
    }
  ]
}