{
  "schema": "programme-source-record/v1",
  "title": "Generator tests for cocycle stabilization",
  "source": "src/generator-tests-for-cocycle-stabilization.md",
  "reader": "generator-tests-for-cocycle-stabilization.html",
  "source_sha256": "ef4df56c8cd15fe282f60d5e352aa1b7fa470de0592537eaf76f36acc68ec8da",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Mathematical exposition, figures and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Source comparison, classical construction attribution and prerequisite exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; human works retain their rights.",
  "scope": "Generator and prefix-functional tests for finite cocycle stabilization, with quotient and original-factor laws distinguished.",
  "human_sources": [
    {
      "authors": "Toshihiko Masuda",
      "title": "Evans–Kishimoto type argument for actions of discrete amenable groups on McDuff factors",
      "year": 2007,
      "journal": "Mathematica Scandinavica101,48–64",
      "url": "https://journals.msp.org/mscand/article/view/666",
      "scope": "Lemma3.4 and Theorem3.1,printed52–62.",
      "role": "The generator-word reduction, prefix-functional tests and finite word-length threshold are the mechanism of [Masuda], Lemma 3.4, pp.52–55. Sections 2–4 below give the subgroup reduction, ordered word calculation and quotient-null error explicitly. The finite examples distinguish the transport directions and genuine quotient laws from coordinate laws."
    }
  ],
  "figures": [
    {
      "path": "figures/generator-prefix-tests.svg",
      "sha256": "86f00f80037b88a2c152ad396af445cd946e69ad0793287931dc4ed2edae237c"
    },
    {
      "path": "figures/generator-prefix-tests.png",
      "sha256": "35018439b217d14bd7e38fe58ede9e4e43058e6bcd80cde889dc569f4bf08d10"
    },
    {
      "path": "figures/draw_generator_prefix_tests.py",
      "sha256": "f7769be8b11a3db37244d62b298081a61be72005effbc6e700c9f2e0e2dc4e92"
    }
  ],
  "programme_sources": [
    {
      "source": "src/alternating-comparisons-with-convergent-cocycles.md",
      "source_sha256": "9fbac2729c3dc58c96e9331e1919216542db199c108e2c860d126937a944b8ee"
    },
    {
      "source": "src/controlled-amenable-cohomology-and-finite-inner-comparisons.md",
      "source_sha256": "855621ffd309a58e84e27ff4a6e7f77cb6e776bace5fcb9106b5db1952a9eae1"
    },
    {
      "source": "src/near-identity-two-cocycle-correction-on-the-original-factor.md",
      "source_sha256": "9f4ad1ae6137ffa09774acc1952d54e5bee5f37cd74f1d9bbd9da1779cffe832"
    },
    {
      "source": "src/two-sided-convergence-and-transported-cocycle-limits.md",
      "source_sha256": "3aeec9dbcc0fa05da9c0409c515d5485229b61e17cd4c08f99e7a8be7106a204"
    },
    {
      "source": "src/uniform-towers-and-genuine-cocycle-stabilization.md",
      "source_sha256": "9937e57edb4a80ee6b400e9385106affb3243b9f44cbdba05e00c4d1b684050f"
    },
    {
      "source": "src/unitary-two-cocycles-and-approximate-action-comparison.md",
      "source_sha256": "226c5df30cbeaf43ce5dc40ffc8b89dd158e10fac94aa34a419eca35cbdfc0c5"
    },
    {
      "source": "foundations/bounded-topology-foundations.md",
      "source_sha256": "d06bff624d30c09efdb83de081ab3684cfd014b6d8a79bdace59e0c391159d1b"
    },
    {
      "source": "foundations/normal-tensor-and-tracial-product-foundations.md",
      "source_sha256": "b3ab37ad16ca110b4a3328fff5d603f3c6dc554898f5b857ca6d77d191eaeec0"
    }
  ]
}