{
  "schema": "programme-source-record/v1",
  "title": "Joint quotient comparisons with a common associator",
  "source": "src/joint-quotient-comparisons-with-a-common-associator.md",
  "reader": "joint-quotient-comparisons-with-a-common-associator.html",
  "source_sha256": "4f168bb0ab5bb84e07603dfa976a0e67974863511670b46e9550c8da96b6c95a",
  "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": "Simultaneous comparison of quotient maps and actual coefficients with a common scalar associator, followed by a genuine full-group cocycle.",
  "human_sources": [
    {
      "authors": "Toshihiko Masuda",
      "title": "Unified approach to classification of actions of discrete amenable groups on injective factors",
      "year": 2010,
      "url": "https://arxiv.org/abs/1006.1176v1",
      "scope": "arXivv1, Sections3–6,pp6–17.",
      "role": "The approximate-cochain correction, finite preparation of two subsequent comparisons, transported old states and coefficients, action-preserving gauge, and convergence of both actual coefficient limits are the classical strategy in [Masuda], Lemma 5.2 and Section 6. The estimates below use the programme’s exact internal towers, weighted squared sharp norms and two original-factor coefficient pairs. The scalar associator is retained throughout. These calculations explain and apply the classical strategy; they do not establish a new comparison method."
    }
  ],
  "figures": [
    {
      "path": "figures/joint-quotient-comparison.svg",
      "sha256": "30cf938be119fabde8c615e87d063e71cad3bbd8b5468bc37862131960186099"
    },
    {
      "path": "figures/joint-quotient-comparison.png",
      "sha256": "073bfc6fae666484ccde5756aa3785ac05afb9a906a74995ddde50e6004c677a"
    },
    {
      "path": "figures/draw_joint_quotient_comparison.py",
      "sha256": "e10def6705e5e512ee292b6962c216b48d81a969e8d5fd6f2278571a7b378704"
    }
  ],
  "programme_sources": [
    {
      "source": "src/alternating-comparisons-with-convergent-cocycles.md",
      "source_sha256": "9fbac2729c3dc58c96e9331e1919216542db199c108e2c860d126937a944b8ee"
    },
    {
      "source": "src/choosing-and-gluing-measurable-action-comparisons.md",
      "source_sha256": "4052173b8674a5c79cd29c18d2601271b926823e168fa518389a337770bcd03f"
    },
    {
      "source": "src/controlled-amenable-cohomology-and-finite-inner-comparisons.md",
      "source_sha256": "855621ffd309a58e84e27ff4a6e7f77cb6e776bace5fcb9106b5db1952a9eae1"
    },
    {
      "source": "src/gaussian-models-and-amenable-towers.md",
      "source_sha256": "7ea40159e16b17b753f158db4b31f1f684391f4700797aaf848bca7639e7e37b"
    },
    {
      "source": "src/quotient-associators-and-genuine-comparison-reconstruction.md",
      "source_sha256": "18c4fa98c2cca6bff10a73eaa5d418be91fd027cf808fa945a7431c64533d646"
    },
    {
      "source": "src/two-sided-convergence-and-transported-cocycle-limits.md",
      "source_sha256": "3aeec9dbcc0fa05da9c0409c515d5485229b61e17cd4c08f99e7a8be7106a204"
    }
  ]
}