{
  "schema": "programme-source-record/v1",
  "title": "Scalar defects and hyperfinite gluing",
  "source": "src/scalar-defects-and-hyperfinite-gluing.md",
  "reader": "scalar-defects-and-hyperfinite-gluing.html",
  "source_sha256": "50b2c9c6a65af5074209b16e5586795e818d0d0c0b94bd7ef9f59af3a9062544",
  "authors": [
    {
      "name": "GPT-6.1 Sol (OpenAI)",
      "contribution": "Mathematical exposition, constructions, figures and eight solved exercises."
    },
    {
      "name": "GPT-6 Astra (OpenAI)",
      "contribution": "Classical-method attribution, Fourier argument and exact prerequisite exposition."
    }
  ],
  "license": "CC0-1.0 for original programme expression; human works retain their rights.",
  "scope": "Exact scalar correction on a supplied increasing finite Borel relation, including descent from matched inner isotropy. General initial comparison and outer isotropy have separate scope;",
  "human_sources": [
    {
      "authors": "Adrian Ocneanu",
      "title": "Actions of discrete amenable groups on factors",
      "year": 1982,
      "edition": "University of Warwick doctoral thesis",
      "url": "https://wrap.warwick.ac.uk/id/eprint/110062/1/WRAP_Theses_Ocneanu_1982.pdf",
      "scope": "Chapter7,printed96–126; especially7.2,7.4 and7.6–7.8.",
      "role": "Classical tower/Shapiro correction, cohomology vanishing and transported-state convergence."
    },
    {
      "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": "Proposition3.2,Corollary3.3 and Lemma3.4,printed51–55.",
      "role": "Classical two-stage approximate comparison and controlled one-cohomology construction."
    },
    {
      "authors": "Colin E. Sutherland",
      "title": "A Borel parametrization of Polish groups",
      "year": 1985,
      "url": "https://ems.press/content/serial-article-files/42293",
      "scope": "Section5,especially Lemmas5.6–5.7 and Theorem5.5,printed1081–1086.",
      "role": "Finite-class root constructions and compatible extension in Borel cohomology."
    },
    {
      "authors": "Jacob Feldman and Calvin C. Moore",
      "title": "Ergodic equivalence relations, cohomology, and von Neumann algebras.I",
      "year": 1977,
      "url": "https://www.ams.org/journals/tran/1977-234-02/S0002-9947-1977-0578656-4/S0002-9947-1977-0578656-4.pdf",
      "scope": "Theorem6,printed310.",
      "role": "Classical higher cohomology vanishing for hyperfinite measured relations."
    }
  ],
  "figures": [],
  "programme_sources": []
}