{
  "schema": "programme-source-record/v1",
  "title": "Models with prescribed characteristic data",
  "source": "src/models-with-prescribed-characteristic-data.md",
  "reader": "models-with-prescribed-characteristic-data.html",
  "source_sha256": "777c484e2095e258ddf38d980c02b928610cf3f607d23d4b86613be86a76a586",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Model and normalization exposition, direct constructions, diagrams and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Invariant-state input, complete positive-cone trace argument, semifinite trace uniqueness and exact prerequisite exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; human works retain their own rights.",
  "scope": "Characteristic models for countable amenable groups with prescribed actual multiplication and transport phases, exact inner subgroup and arbitrary permitted trace modulus. Borel field transport uses supplied enumerations and a multiplicative principal section. General initial comparison, universal defect realization, fixed-factor Borel trivialization and",
  "human_sources": [
    {
      "authors": "Colin E. Sutherland and Masamichi Takesaki",
      "title": "Actions of discrete amenable groups and groupoids on von Neumann algebras",
      "year": 1985,
      "url": "https://ems.press/journals/prims/articles/3261",
      "scope": "Section3, especially Lemmas3.8–3.9 on printed1104–1107; Section4,printed1107–1112.",
      "role": "Classical characteristic model and scalar comparison character; the general classification and characteristic-defect realization have separate scope."
    }
  ],
  "programme_sources": [
    {
      "source": "foundations/crossed-product-and-injective-core-foundations.md",
      "source_sha256": "6c7edcf0b8972682b29fadb4a1d69012d43cd17e1332879ccf0563e7c2eaa17c"
    },
    {
      "source": "foundations/normal-tensor-and-tracial-product-foundations.md",
      "source_sha256": "b3ab37ad16ca110b4a3328fff5d603f3c6dc554898f5b857ca6d77d191eaeec0"
    },
    {
      "source": "foundations/trace-existence-foundations.md",
      "source_sha256": "d7912327394fc462f52c1fdb97d962ab7f2f64e2eb2eedd98ee613bf30b63dd8"
    },
    {
      "source": "src/central-sequences-and-the-module-circle.md",
      "source_sha256": "a6b57a0a7899e4e5738812e5b9862fb3898f339f66424b73860f8e86f97d62cb"
    },
    {
      "source": "src/gluing-comparisons-of-isotropy-actions.md",
      "source_sha256": "521f0912cb438e0972ae34843a88820fa98612918073941ba2229fa2646d2238"
    }
  ],
  "figures": [
    {
      "path": "figures/twisted-folner-compression.svg",
      "sha256": "803a07f6d0d5918d0a40544e326c1f19b987593fe11051d4fb3590c7632c3c12"
    },
    {
      "path": "figures/twisted-folner-compression.png",
      "sha256": "73c96571fe06091480cbfdbc75bfe96cf24848d3a15af6b90153f2472b629956"
    },
    {
      "path": "figures/draw_twisted_folner_compression.py",
      "sha256": "658ef567c60223c1fc0211f1b231bec9d0e9f78aaafe15a5dda38d3e8807e502"
    },
    {
      "path": "figures/characteristic-model-transport.svg",
      "sha256": "a7c77f2cad487ddf6ab97789f060111cd4d336da4abb4aea5255fb9c46f63244"
    },
    {
      "path": "figures/characteristic-model-transport.png",
      "sha256": "2578a666d99dbfc66b907f70dc7807edb73a277fa32b5f9cae625658cf89e083"
    },
    {
      "path": "figures/draw_characteristic_model_transport.py",
      "sha256": "d67f638f879974d2e256712850c2d52324d54ad767a5833cd2a66adcf1b09adf"
    }
  ]
}