{
  "schema": "programme-source-record/v1",
  "title": "Aligning traces and inner phases",
  "source": "src/aligning-traces-and-inner-phases.md",
  "reader": "aligning-traces-and-inner-phases.html",
  "source_sha256": "cd96eb52ede38af7f5743aa02fe30e578072910bf7b1684a596e3c18ee4af485",
  "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": "Explicit inverse-character and coherent trace corrections of supplied genuine isotropy comparisons, preserving chosen inner implementers and a prescribed positive trace gauge. Full Borel cochain witnesses and the existing gluing hypotheses are retained. Initial amenable comparison, field 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/trace-and-character-correction.svg",
      "sha256": "1aed08562e557f31fed99e9bc57bce6e1af4c6729d76d0b024171c999490f357"
    },
    {
      "path": "figures/trace-and-character-correction.png",
      "sha256": "1d6c96d7659d7c6f563d5e0af09ac5cf3506de78f30baa09946d7462a976c83b"
    },
    {
      "path": "figures/draw_trace_and_character_correction.py",
      "sha256": "a203e26611df4d4b2dee4c114b55c588c2a6e64516ffd12f0f3633d0101be61d"
    },
    {
      "path": "figures/trace-gauge-on-an-arrow.svg",
      "sha256": "dae29ee43e47a5ab7833e9ce22dfcafa54441ab7de3af3615502150185d75bda"
    },
    {
      "path": "figures/trace-gauge-on-an-arrow.png",
      "sha256": "c0fcb83f925b7815ef9f43b5547e66b195611aa3de027619d16e92ce4032de1b"
    },
    {
      "path": "figures/draw_trace_gauge_on_an_arrow.py",
      "sha256": "a6d123c02f6f56b65a71acd971a7a8f53375d6089a544b6d8c099cbf3911f5c7"
    }
  ]
}